Syndrome extraction: an expensive operation #

Benchmark classical code, with and without optimisations enabled. -> Motivate the need for classical compiler optimisations.

An important point we have been ignoring: how do we even express and represent hybrid programs?

Guppy #

Internal representations #

Possibly split into

Classical Optimisation #

Quantum Optimisation #

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 #