Additional simplification and pruning.