find global min of 2sin(2x)^2-(5/2)cos(x/2)^2 from x=0.5 to 3.5