The number of elements in some power series could be more tightly bounded.

[expipiplus1]

At the moment they're fairly conservative.

For example:

At the moment the exponential function at precision 2^-p evaluates p terms, when it could be the first integer to satisfy 2^(p+2) < product [2..k+1]