integral arctan(1/(cosh(x)))