Optimizing Gate Decomposition for High-Level Quantum Programming | Synapse