integral sqrt(cosh(x)) dx