Egglogによる等式飽和を用いた線形代数の最適化

このチュートリアルでは、Egglogを使って線形代数の最適化器を構築する方法を示します。単純な算術式（定数、変数、加算、乗算）から始め、等式飽和を用いて最適化ルール（交換法則、結合則、定数畳み込み）を構築します。チュートリアルでは、コンバーターの定義、書き換えルールの記述、`egraph.run()`を使用した最適化、そして2 * (x * 3)と6 * xの等価性の検証方法を詳しく説明します。