local max 2sin(2x)^2-(5/2)cos(x/2), x=0 to pi