Simplify the simple_solver