- simplification in simplify method