{cos(2*x)+sin(2*x) = 1,3Pi<=x,x<=9Pi/2}