{cos(2*x) = 3/4-sin(x)^2,2Pi<=x,x<=7Pi/2}