possibly playing with equality saturation - View it on GitHub