Difference between revisions of "Relationship between sech, inverse Gudermannian, and cos"

Theorem: The following formula holds: $$\mathrm{sech}(\mathrm{gd}^{-1}(x))=\cos(x),$$ where $\mathrm{sech}$ is the hyperbolic secant, $\mathrm{gd}^{-1}$ is the inverse Gudermannian, and $\cos$ is the cosine.