A new blog post https://www.philipzucker.com/refinement_egraph/ "Refinement E-Graphs". Baking in a <= relation to support unidirectional refining rewrites, which are common in compilers. A surprisingly natural generalization of the e-graph pieces. Microegg based prototype https://github.com/philzook58/refinement-microegg
@regehr Probably does not overcome your egraph objections but maybe a step towards things you might like
@sandmouth awesome! anyway I don't have objections, I'm e-graph-curious
@sandmouth I love how your posts always devolve into random notes towards the end! (not making fun-- am totally serious)
Oct 5, 2026, 1:14 PM@sandmouth really excited to dive into this. I’ve attempted to use e-graphs in a numerical solver, but one of the pieces I couldn’t see a path to was inequalities. (Plus my implementation was not great and I didn’t know what to do about that.)
I’ve deprioritized solving, but simplification of expressions is still quite valuable for compiling to shaders.
Thanks for writing these posts!