functionality for full simplification