AQT Optimizations with Cirq — Superstaq documentation