integrate sqrt(1 + cosh^2(x))