Differentiable Genetic Programming for High-dimensional Symbolic Regression