Definition:Real Hyperbolic Secant