Bayesian symbolic regression: automated equation discovery from a physicist’s perspective | Synapse