Definition:Inverse Hyperbolic Cosine