Submit a Clifford+T circuit equivalent to the reference csum_mux_9 (30 qubits, 196 T gates after standard Toffoli expansion); the sandbox proves equivalence and counts T gates. Baseline: a PyZX rewrite at 84.
Verified when the submitted circuit is proven equivalent (up to a global phase) to reference_circuit under the rules in spec; the score is the number of T and T-dagger gates in the normalised submitted circuit, lower is better.
circuitThe optimised circuit as OpenQASM 2.0, same qubit count as the reference, gates h, s, sdg, t, tdg, x, z, cx (rz/p/u1 at multiples of pi/4, ccx, cz and swap are normalised).