Basics of Equality Saturation

Equality saturation — это техника для построения оптимизирующих компиляторов с использованием e-графов. Создаем оптимизатор для подмножества линейной алгебры с помощью egglog. Начнём с оптимизации простых арифметических выражений с целыми числами.