Derivative of Hyperbolic Cotangent/Corollary

Theorem

 * $\map {\dfrac \d {\d x} } {\coth x} = 1 - \coth^2 x$

where $\coth x$ denotes the hyperbolic cotangent.