由于 T 门主导了容错程序的代价，编译器花了大量功夫去消除它们。有些仅靠代数就能去掉：T·T = S，T⁴ = Z，T·T† = I。一个 T 门也可以穿过与它对易的门，去和它的另一半相遇。 引擎的重写（rewrite）每次只做一步，每一步都在它所触及的量子比特上经过检查，所以一连串重写就证明了结果与原线路是同一条线路： ```sh runnable cat > ts.qasm <<'QASM' OPENQASM 3.0; include "stdgates.inc"; qubit[1] q; t q[0]; tdg q[0]; h q[0]; QASM wai-quantum rewrite simplify ts.qasm ``` 编译器走得更远（`wai-quantum compile`）：它把相位折叠穿过受控非门、重新综合小的门块，并把每个不是 π/4 整数倍的旋转在误差预算之内写成 Clifford+T 门序列，并为每一遍处理（pass）出具证书。它得到的 T 门数，就是下一课估算的起点。