This is just one of transformations performed by supercompilation. I recently discovered distillation [1], which could transform quadratic and even more comple

This is just one of transformations performed by supercompilation. I recently discovered distillation [1], which could transform quadratic and even more complex programs into linear ones (ie, perform non-linear complexity reduction). So there's more in supercompilation that partial evaluation. [1]: http://meta2010.pereslavl.ru/accepted-papers/paper-info-2.html http://meta2010.pereslavl.ru/accepted-papers/paper-info-2.ht...