Definition:Real Area Hyperbolic Secant