Shaping vs. Reduction: Which Tree Pruning Method is Right for You?