Egglog 教程：基于等式饱和的线性代数优化器

本教程介绍了如何使用 Egglog 构建线性代数子集的优化器。通过定义简单的算术表达式（常数、变量、加法、乘法），并运用等式饱和技术，逐步构建优化规则（交换律、结合律、常量折叠等）。教程详细解释了如何定义转换器、编写重写规则，以及使用 `egraph.run()` 执行优化，最终验证了表达式等价性，例如 2 * (x * 3) 与 6 * x 的等价性。