Sum of Hyperbolic Tangent and Cotangent

Theorem

 * $\tanh x + \coth x = 2 \coth 2 x$