integral of ln(cosh(x))