4* integral(sqrt(1-x^2)-1/2,1/2,sqrt(3)/2)