9. The method of claim 6 wherein the optimizing the word-level representation includes re-writing an expression to simplify an equation.
9. The method of claim 6 wherein the optimizing the word-level representation includes re-writing an expression to simplify an equation. 11. The method of claim 9 wherein the re-writing includes merging an internal equivalence point.