pi/2*(integrate (((1-x^2)/(1+x^2))**(1/2))*x dx)