Avoid redundant simplification