Primitive of Hyperbolic Tangent Function

Theorem

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

Also see

 * Primitive of Hyperbolic Cotangent Function