Predicting symbolic ODEs from multiple trajectories