integrate (2sqrt(r^2-x^2)-r)dx from x=0 to r*sqrt(3)/2