Try specified reduction. If it succeeds, apply it permanently and save intermediate result.
See Implementation
Try specified reduction. If it succeeds, apply it permanently and save intermediate result.