2 2 x - 2*y
x^2 - 2*y^2
/ ___\ / ___\ 1*\x + y*\/ 2 /*\x - y*\/ 2 /
(1*(x + y*sqrt(2)))*(x - y*sqrt(2))
x^2 - 2.0*y^2