(6sqrt(3))^2*sqrt(3)/4-4(integrate sqrt(9 - x^2)dx from x=0..((6sqrt(3))/2)*tan(pi/6))