integrate cos x/cosh^2x