(2*sin^2(x)-cos(x)-1<0)&(1-tan(x)<=0)