reduce relational expression in SymPy I’m using Sympy to work with inequalties. An example of expression would be: