Solving the simplification