integrate 1/cosh(x)