Primitive of Square of Hyperbolic Cotangent Function

Theorem

 * $\ds \int \coth^2 x \rd x = x - \coth x + C$

where $C$ is an arbitrary constant.