Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...