integral of cosh^2(x)