code: def append_to_circuit(self, circuit, simplify=True):
          
          if simplify:
              term = self.simplify()
          else:
              term = self
          for op in term.ops[::-1]:
              gate = op.op.lower()
              if gate != "i":
                  getattr(circuit, gate)[op.n]
docs: Append Pauli gates to `Circuit`.