superoptimizer (optimizer + super-; above_excessive)
An algorithm that carries out superoptimization