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