Add extra domain requirement when dividing by x
Remove assumption in question
Merge pull request #156705 from petercollingridge/sim-rat-exp-4

Add domain requirement to simplifying rational expressions 4 when needed