circuit-static-collapsed

| ψ 0 | ψ 1 | ψ 2 fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); H fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); H fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); Rz 1.5708 fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); Rz -1.5708 fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); H fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); H Foo Main

circuit-static-expanded

| ψ 0 | ψ 1 | ψ 2 fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); H fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); H fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); Rz 1.5708 fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); Rz -1.5708 fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); H fir-hir-item-id-bug.qs:17:5 CtlExp(ancilla, system); H Foo Main

circuit-eval-collapsed

fir-hir-item-id-bug.qs:15:5 use ancilla = Qubit(); | ψ 0 fir-hir-item-id-bug.qs:16:5 use system = Qubit[2]; | ψ 1 fir-hir-item-id-bug.qs:16:5 use system = Qubit[2]; | ψ 2 fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); H fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); H fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); Rz 1.5708 fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); Rz -1.5708 fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); H fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); H CtlExp Foo Main

circuit-eval-expanded

fir-hir-item-id-bug.qs:15:5 use ancilla = Qubit(); | ψ 0 fir-hir-item-id-bug.qs:16:5 use system = Qubit[2]; | ψ 1 fir-hir-item-id-bug.qs:16:5 use system = Qubit[2]; | ψ 2 fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); H fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); H fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); Rz 1.5708 fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); Rz -1.5708 fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); H fir-hir-item-id-bug.qs:21:5 Controlled Exp([control], ([PauliX, PauliX], PI() / -2.0, system)); H CtlExp Foo Main