x+y = a & y^2*(b+c+x)*(b+c-x)*(b-c+x)*(-b+c+x) = x^2*(c+d+y)*(c+d-y)*(c-d+y)*(-c+d+y)