Evaluate and Simplify Mathematical Expressions

Design an algorithm to parse, evaluate, and simplify mathematical expressions. The expressions may contain arithmetic operators (+, -, *, /), variables, and parentheses. Handle operator precedence correctly and support both numeric evaluation and algebraic simplification. The solution should efficiently handle complex expressions and multiple queries.