Double Angle Formulas/Hyperbolic Tangent

Theorem

 * $\tanh \left({2 x}\right) = \dfrac {2 \tanh x} {1 + \tanh^2 x}$

where $\tanh$ denotes hyperbolic tangent.