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.

Proof: █