Term rewriting with equality saturation is the most promising technique #

Description of eqsat #

No-clone makes it impossible to use in quantum! Problems with DAGs #