Derivative of Hyperbolic Secant Function

Theorem

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

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