egg integration for globally optimal array operation graphs

[alxmrs]

Could we re-implement this (operation graph optimization on top of ND arrays) by extending this library with egg (an efficient data structure for fixed-point based search with a simple, rewrite-rule based interface)?

xref: cubed-dev/cubed#333

[alxmrs]

CC: @saulshanabrook

[saulshanabrook]

FYI https://egglog-python.readthedocs.io/latest/tutorials/sklearn.html does end up using https://github.com/egraphs-good/egglog under the hood which is also in rust, so you could use egglog directly to do something similar.

https://github.com/luminal-ai/luminal is in rust and is using egglog to maybe do something similar?

Do you have array ops you are trying to optimize now and are doing them with something else or would this be a new feature?