solve(sin(x)*(cos^2(x)--2*cos(x))>=0)&((cos(x)--1)/(tg(x)-1)<=0)&(0<=x<2*π)for x real