(cos(x)/2>-2*sin(x)-1/2)&(0<=x<=π)