Integrate 2(3-2(sin x+cos x))^2/9/pi from 0 to pi/2