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