(Paper:Bansal S, Aiken A, Automatic generation of peephole superoptimizers)
This is the GRAIL. Infinity. The platonic ideal of optimization. Eu-optimization. One true optimization.
What we usually call optimization is nothing but improvement. Superoptimization is the real deal.
It's finding the one true optimal canonical fastest sequence of instructions to accomplish a task.