integrate 1/(sqrt(arcosh^2(x) - 1) sqrt(1 - arcosh(x)^2))