Technical Perspective: Making Equality Saturation Usable for Developing Vectorized Compilers | AMiner