A new paper “Quantum circuit unoptimization” is now published here.