int(sqrt(1+cosh(x)^2),x)