y /x y\ x + -*|- + y - x - -| y \x x/
y 1 + y - - x
y + x/x - y/x
2 / 2 \ y*x + y*\x - y - x + x*y/ --------------------------- x*y
2 x - y + x*(1 + y - x) ---------------------- x
x - y + x*y ----------- x