sin(3x) >= 0 ∧ cos(3x) >= 0