Towards Automatic Theorem Discovery in Physics (starting modestly)