superoptimizer

Noun

 * 1)  An algorithm that carries out superoptimization.