Definition:Real Hyperbolic Sine