7. The method of claim 5 further comprising a step of verifying the optimized candidates according to syntax analysis of valid mathematical expressions.
7. The method of claim 5 further comprising a step of verifying the optimized candidates according to syntax analysis of valid mathematical expressions. 8. The method of claim 7 , further comprising a step of storing information of verified optimized candidates in a parse tree.