Ensure expression is never equal to 0
Use rational expression module and simplify
Remove fluff
Merge pull request #46317 from petercollingridge/add-rat-exp

Switch to using rational expression module and simplify code.
Fix #46283 

Test Plan: Try and few exercises to make sure they still work

Auditors: eater, alpert