[cschmidt]

You can't use it as an input form, but you can view a nice tree of your expression automatically.

TreeForm[ x^2 + 2 x + 1 == (x + 1)^2]