hckrnws

Took me a while to figure it out but is the last graph supposed to display both addition and multiplication as '. * .'? It makes it a bit hard to read which expressions are equivalent.

And for visualisation purposes commutativity is not as visually interesting, at the very least it's not particularly readable in the current form, making it more confusing that useful.

See also the ORConf talk on eqsat from a few days ago: https://youtube.com/watch?v=gybuWGEXC9c