Definition:Inverse Hyperbolic Cosine/Definition 1