Expressive Symbolic Regression for Interpretable Models of Discrete-Time Dynamical Systems