integrate 1/(1+2*x^2)