Derivative of tanh

Proposition: The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}x} \tanh(x)=\sech(x),$$ where $\tanh$ denotes the hyperbolic tangent and $\sech$ denotes the hyperbolic secant.

Proof: █