100*pi - (15/2)^2*pi- 100*pi / 3 + 25sqrt{3}