In quantum computing, computational tasks are represented by quantum circuits. These circuits are composed of gates whose physical realization comes at a cost. Typically, gates from the so-called Clifford group are considered ...