cot(s) + 2 sin(x) cos(x)<=2
cos(s)\/sin(s) + sin(2 x)<=2
-1\/2 csc(s) (-cos(s - 2 x) + cos(s + 2 x) - 2 cos(s))<=2
cot(s) + 2 sin(x) cos(x)<=2
cos(s)\/sin(s) + sin(2 x)<=2
-1\/2 csc(s) (-cos(s - 2 x) + cos(s + 2 x) - 2 cos(s))<=2