SymbolNet: Neural Symbolic Regression with Adaptive Dynamic Pruning