Simplify ((x+1)^2==x^2+2x+1)