PIR: Physics Intermediate Representation for Automated Discovery of Physical Laws | Synapse