int sqrt(2)*y^2/((1-y^2)^2+2*y^2) from y=0 to inf