integrate arctan(cosh(x))dx