Formal power series exponential

For a formal power series $A$ with zero constant term over a characteristic-zero field, its exponential is $\exp A={\sum }_{k\ge 0}{A}^k/k!$. Every coefficient is a finite sum because $A^k$ starts in degree at least $k$. In finite characteristic, truncated computations require the factorial denominators that occur to be invertible.

To solve $\log G=A$ with $A(0)=0$, start with $G=1$ and update $G\leftarrow G(1+A-\log G)$ at successively doubled truncation precision. The correction removes the current logarithmic error to first order. This is Newton iteration applied to the formal power series exponential, using a formal power series logarithm.