x - y - (x - y)*(x + y)
x - y - (x + y)*(x - y)
(x - y)*(1 - x - y)
2 2 x + y - y - x
-(x - y)*(-1 + x + y)