integral of arccosh(x)/(sqrt(x^2-4))