Saola (System for Advanced Optimization of Logical Assertions), Numerical Expression Compiler