Extended Simplification Algorithm Completed