Inverse hyperbolic cosine ($\mathrm{arcosh}$)

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.

For $a>0$ and $|x|>a$, the displayed real antiderivative equals $\mathrm{arcosh}(x/a)$ on the right component and $-\mathrm{arcosh}(-x/a)$ on the left, up to constants. Differentiating the absolute logarithm gives $1/\sqrt{x^2-a^2}$ on both components. The constants are independent because the domain is disconnected. The integrals from either finite singular boundary are improper integrals that converge, since their integrands diverge only like the inverse square root of distance to that boundary.