integrate arctan(x) dx