Primitive of Hyperbolic Tangent Function

Theorem

 * $\displaystyle \int \tanh x \rd x = \ln \cosh x + C$

Also see

 * Primitive of Hyperbolic Cotangent Function