Algebraic expressions and simplification