When simplify fails due to contradictory assumptions, just back out for now
When simplify fails due to contradictory assumptions, just back out for now

zaxtax/hakaru,zachsully/hakaru,zachsully/hakaru,zaxtax/hakaru