Changed symbolic simplifier to work for multi-variate models and return a symbolic expression tree that can be directly evaluated. #1142