x^y( y-x(x^y(x+y)))