(x^2+y)(y^2+x)+xy(x+1)(y+1)-(x-y)^2-(1-xy)(x-y)^2