Equivalence of Definitions of Hyperbolic Secant