Antiderivative of coth

Theorem: The following formula holds: $$\displaystyle\int \mathrm{coth}(z)dz=\log(\sinh(z)),$$ where $\mathrm{coth}$ denotes the hyperbolic cotangent, $\log$ denotes the logarithm, and $\sinh$ denotes the hyperbolic sine.

Proof: █