integral 1/atan(x) dx