2 tan(x) + x + 2*x > tan(x) + 3
2*x + x^2 + tan(x) > tan(x) + 3
Or(And(-oo < x, x < -3), And(1 < x, x < oo))
((-oo < x)∧(x < -3))∨((1 < x)∧(x < oo))
(-oo, -3) U (1, oo)
x in Union(Interval.open(-oo, -3), Interval.open(1, oo))