Then there is a lot of test failures.  I don't think it's a good idea in general: `simplify` is a kind of heuristic, but here we want a more robust output.