Gravity Assist Space Pruning Based on Differential Algebra