integrate x*arctan(x) dx