 Inverse hyperbolic cosine

For $x\ge 1$, the inverse hyperbolic cosine on its nonnegative real branch is $\mathrm{arcosh}x=\log (x+\sqrt{x^2-1})$. It is the real cosine member of the inverse hyperbolic functions.