On the Complexity of Quantum Circuit Compilation | Synapse