Definition:Inverse Hyperbolic Cosine/Principal Branch