4. The method of claim 3 wherein said creating further comprises normalizing the syntax trees.
4. The method of claim 3 wherein said creating further comprises normalizing the syntax trees. 5. The method of claim 4 wherein during said normalizing, the syntax trees are normalized into canonical form where common operators are simplified to a single n-ary operator.