Equivalence of Algebraic Expressions