PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections - View it on GitHub