Computer Algebra System for converting text inputs to trees, manipulating them with rules, and evaluating their values.