integral sqrt(cosh(t)^2 + sinh(t)^2)dt