Genetic Programming Symbolic Regression with Simplification-Pruning Operator for Solving Differential Equations