Discovering physical laws with parallel symbolic enumeration