(sin^2(x)+4*sin(x)*cos(x)+3*cos^2(x)>0)&(0<=x<2*π)