Primitive of Hyperbolic Tangent Function

Theorem

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

Also see

 * Primitive of Hyperbolic Cotangent Function