Complete removal of redundant expressions (with retrospective)