find global min of 2sin(2x)^2-(5/2)cos(x/2)^2 for 0<x<pi