Equivalence simplification improved