Definition:Real Inverse Hyperbolic Cosine