Ensure expression is never equal to 0
Use rational expression module and simplify