 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})$.