## Binary expression tree

Posted on: June 28th, 2013 by
Is there any way to algorithmically determine if two algebraic expressions are equivalent? For example is 5+x equal to x+5? Or how will a computer know $(a+b)^2=a^2+2ab+b^2$? Does the figure below give you a hint?