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