Derivative of Hyperbolic Tangent/Corollary

Theorem

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

where $\tanh$ is the hyperbolic tangent.