finished simplification phase