Rewriting Composition - Horner