Definition:Real Inverse Hyperbolic Sine