Sum of Squares of Hyperbolic Secant and Tangent

Theorem

 * $\operatorname{sech}^2 x + \tanh^2 x = 1$

where $\operatorname{sech}$ and $\tanh$ are hyperbolic secant and hyperbolic tangent.