(a+b+c)+(x+y)**2 equals (x**2+b+c+a+2*x*y+y**2)