((x_1^2+x_2^2)(y_1^2+y_2^2)+(x_1*y_1+x_2*y_2)^2-(x_1^2*y_1^2+x_2^2*y_2^2))^2-(x_1^4+x_2^4)(y_1^4+y_2^4)