Definition:Real Inverse Hyperbolic Secant