applying the simplification