x(30 - x - (pi/2)x)/2 + (pi/8)x^2