Efficient E-Matching for Super Optimizers