Antiderivative of coth

Theorem

The following formula holds: $$\displaystyle\int \mathrm{coth}(z) \mathrm{d}z=\log(\sinh(z)) + C,$$ for arbitrary constant $C$, where $\mathrm{coth}$ denotes the hyperbolic cotangent, $\log$ denotes the logarithm, and $\sinh$ denotes the hyperbolic sine.