So the conditional that you are after is `Or(And(x < 1, cos(x) < 0), And(x >= 1, 1/x > 0))`, isn't it?