integral of sqrt(cosh(x))