Antiderivative of tanh

Theorem

The following formula holds: $$\displaystyle\int \tanh(z)\mathrm{d}z = \log(\cosh(z)),$$ where $\tanh$ denotes the hyperbolic tangent, $\log$ denotes the logarithm, and $\cosh$ denotes the hyperbolic cosine.