integral of arctan(x^2)/(1+x^2) from 0 to 1