Definition:Inverse Hyperbolic Cosine/Definition 2