Thanks @skirpichev.

I'm not aware of the capabilities of the new assumption system but it would be nice if sympy can assume arbitrary conditions for variables. Something like `x = Symbol('x', assume=And(x < -1/E, x > 0)`