Automatically Simplifying Reductions