We present PHOENIX, a pauli-based high-level optimization engine for instruction execution on nisq devices. Our approach leverages the unique properties of pauli operators to …