Hyperbolic Cotangent is Reciprocal of Hyperbolic Tangent

Theorem

 * $\coth x = \dfrac 1 {\tanh x}$

where $\tanh$ and $\coth$ denote hyperbolic tangent and hyperbolic cotangent respectively.