Physics-aware symbolic simulation