integral arctan(x)^2 dx