4 ms·

Yes, I believe what they're doing already exists in the literature as "supercompilation", though good to see its application under any name.