Gudermannian
From specialfunctionswiki
The Gudermannian $\mathrm{gd}$ is defined for $x \in \mathbb{R}$ by the formula $$\mathrm{gd}(x) = \displaystyle\int_0^x \dfrac{1}{\cosh t} dt$$
Properties
Theorem: The following formula holds: $$\sin(\mathrm{gd}(x))=\tanh(x),$$ where $\sin$ denotes the sine, $\mathrm{gd}$ denotes the Gudermannian, and $\tanh$ denotes the hyperbolic tangent.
Proof: █
