sin(2*x)*sin(3*x) - cos(2*x)*cos(3*x) > sin(10*x)
sin(2*x)*sin(3*x) - cos(2*x)*cos(3*x) > sin(10*x)
pi 7*pi 3*pi 11*pi (--, ----) U (----, -----) 10 30 10 30
x in Union(Interval.open(pi/10, 7*pi/30), Interval.open(3*pi/10, 11*pi/30))
/ /pi 7*pi\ /3*pi 11*pi\\ Or|And|-- < x, x < ----|, And|---- < x, x < -----|| \ \10 30 / \ 10 30 //
((pi/10 < x)∧(x < 7*pi/30))∨((3*pi/10 < x)∧(x < 11*pi/30))