Double Angle Formulas/Hyperbolic Tangent

Theorem

 * $\tanh 2 x = \dfrac {2 \tanh x} {1 + \tanh^2 x}$

where $\tanh$ denotes hyperbolic tangent.