integrate arctan(x)^2