[applicative]

You are taking `exp` and `ln` to require infinite series, because you aren't taking his operator as primitive.