Derivative of Hyperbolic Tangent Function

Theorem

 * $D_z \left({\tanh z}\right) = \mathrm {sech}^2 z$

where $\tanh$ is the hyperbolic tangent and $\mathrm {sech}$ is the hyperbolic secant.