{cos(2*x)+1/4 = cos(x)^2,2Pi<=x,x<=7Pi/2}