Data-driven symbolic discovery of nonlinear dynamics