function [Ph]=get_plan_meth_3(X,Y,Z)

    x1=X(1);x2=X(2);x3=X(3);x4=X(4);
    y1=Y(1);y2=Y(2);y3=Y(3);y4=Y(4);
    z1=Z(1);z2=Z(2);z3=Z(3);z4=Z(4);

                  
         % Plano

          A=  (x1*(y1^2*z2^2 + y2^2*z1^2 + y1^2*z3^2 + y3^2*z1^2 + y1^2*z4^2 + y2^2*z3^2 + y3^2*z2^2 + y4^2*z1^2 + y2^2*z4^2 + y4^2*z2^2 + y3^2*z4^2 + y4^2*z3^2 - 2*y1*y2*z1*z2 - 2*y1*y3*z1*z3 - 2*y1*y4*z1*z4 - 2*y2*y3*z2*z3 - 2*y2*y4*z2*z4 - 2*y3*y4*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (x2*(y1^2*z2^2 + y2^2*z1^2 + y1^2*z3^2 + y3^2*z1^2 + y1^2*z4^2 + y2^2*z3^2 + y3^2*z2^2 + y4^2*z1^2 + y2^2*z4^2 + y4^2*z2^2 + y3^2*z4^2 + y4^2*z3^2 - 2*y1*y2*z1*z2 - 2*y1*y3*z1*z3 - 2*y1*y4*z1*z4 - 2*y2*y3*z2*z3 - 2*y2*y4*z2*z4 - 2*y3*y4*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (x3*(y1^2*z2^2 + y2^2*z1^2 + y1^2*z3^2 + y3^2*z1^2 + y1^2*z4^2 + y2^2*z3^2 + y3^2*z2^2 + y4^2*z1^2 + y2^2*z4^2 + y4^2*z2^2 + y3^2*z4^2 + y4^2*z3^2 - 2*y1*y2*z1*z2 - 2*y1*y3*z1*z3 - 2*y1*y4*z1*z4 - 2*y2*y3*z2*z3 - 2*y2*y4*z2*z4 - 2*y3*y4*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (x4*(y1^2*z2^2 + y2^2*z1^2 + y1^2*z3^2 + y3^2*z1^2 + y1^2*z4^2 + y2^2*z3^2 + y3^2*z2^2 + y4^2*z1^2 + y2^2*z4^2 + y4^2*z2^2 + y3^2*z4^2 + y4^2*z3^2 - 2*y1*y2*z1*z2 - 2*y1*y3*z1*z3 - 2*y1*y4*z1*z4 - 2*y2*y3*z2*z3 - 2*y2*y4*z2*z4 - 2*y3*y4*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (z1*(x1*y2^2*z1 + x1*y3^2*z1 + x2*y1^2*z2 + x1*y4^2*z1 + x2*y3^2*z2 + x3*y1^2*z3 + x2*y4^2*z2 + x3*y2^2*z3 + x4*y1^2*z4 + x3*y4^2*z3 + x4*y2^2*z4 + x4*y3^2*z4 - x1*y1*y2*z2 - x2*y1*y2*z1 - x1*y1*y3*z3 - x3*y1*y3*z1 - x1*y1*y4*z4 - x2*y2*y3*z3 - x3*y2*y3*z2 - x4*y1*y4*z1 - x2*y2*y4*z4 - x4*y2*y4*z2 - x3*y3*y4*z4 - x4*y3*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (z2*(x1*y2^2*z1 + x1*y3^2*z1 + x2*y1^2*z2 + x1*y4^2*z1 + x2*y3^2*z2 + x3*y1^2*z3 + x2*y4^2*z2 + x3*y2^2*z3 + x4*y1^2*z4 + x3*y4^2*z3 + x4*y2^2*z4 + x4*y3^2*z4 - x1*y1*y2*z2 - x2*y1*y2*z1 - x1*y1*y3*z3 - x3*y1*y3*z1 - x1*y1*y4*z4 - x2*y2*y3*z3 - x3*y2*y3*z2 - x4*y1*y4*z1 - x2*y2*y4*z4 - x4*y2*y4*z2 - x3*y3*y4*z4 - x4*y3*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (z3*(x1*y2^2*z1 + x1*y3^2*z1 + x2*y1^2*z2 + x1*y4^2*z1 + x2*y3^2*z2 + x3*y1^2*z3 + x2*y4^2*z2 + x3*y2^2*z3 + x4*y1^2*z4 + x3*y4^2*z3 + x4*y2^2*z4 + x4*y3^2*z4 - x1*y1*y2*z2 - x2*y1*y2*z1 - x1*y1*y3*z3 - x3*y1*y3*z1 - x1*y1*y4*z4 - x2*y2*y3*z3 - x3*y2*y3*z2 - x4*y1*y4*z1 - x2*y2*y4*z4 - x4*y2*y4*z2 - x3*y3*y4*z4 - x4*y3*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (z4*(x1*y2^2*z1 + x1*y3^2*z1 + x2*y1^2*z2 + x1*y4^2*z1 + x2*y3^2*z2 + x3*y1^2*z3 + x2*y4^2*z2 + x3*y2^2*z3 + x4*y1^2*z4 + x3*y4^2*z3 + x4*y2^2*z4 + x4*y3^2*z4 - x1*y1*y2*z2 - x2*y1*y2*z1 - x1*y1*y3*z3 - x3*y1*y3*z1 - x1*y1*y4*z4 - x2*y2*y3*z3 - x3*y2*y3*z2 - x4*y1*y4*z1 - x2*y2*y4*z4 - x4*y2*y4*z2 - x3*y3*y4*z4 - x4*y3*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (y1*(x1*y1*z2^2 + x1*y1*z3^2 + x2*y2*z1^2 + x1*y1*z4^2 + x2*y2*z3^2 + x3*y3*z1^2 + x2*y2*z4^2 + x3*y3*z2^2 + x4*y4*z1^2 + x3*y3*z4^2 + x4*y4*z2^2 + x4*y4*z3^2 - x1*y2*z1*z2 - x2*y1*z1*z2 - x1*y3*z1*z3 - x3*y1*z1*z3 - x1*y4*z1*z4 - x2*y3*z2*z3 - x3*y2*z2*z3 - x4*y1*z1*z4 - x2*y4*z2*z4 - x4*y2*z2*z4 - x3*y4*z3*z4 - x4*y3*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (y2*(x1*y1*z2^2 + x1*y1*z3^2 + x2*y2*z1^2 + x1*y1*z4^2 + x2*y2*z3^2 + x3*y3*z1^2 + x2*y2*z4^2 + x3*y3*z2^2 + x4*y4*z1^2 + x3*y3*z4^2 + x4*y4*z2^2 + x4*y4*z3^2 - x1*y2*z1*z2 - x2*y1*z1*z2 - x1*y3*z1*z3 - x3*y1*z1*z3 - x1*y4*z1*z4 - x2*y3*z2*z3 - x3*y2*z2*z3 - x4*y1*z1*z4 - x2*y4*z2*z4 - x4*y2*z2*z4 - x3*y4*z3*z4 - x4*y3*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (y3*(x1*y1*z2^2 + x1*y1*z3^2 + x2*y2*z1^2 + x1*y1*z4^2 + x2*y2*z3^2 + x3*y3*z1^2 + x2*y2*z4^2 + x3*y3*z2^2 + x4*y4*z1^2 + x3*y3*z4^2 + x4*y4*z2^2 + x4*y4*z3^2 - x1*y2*z1*z2 - x2*y1*z1*z2 - x1*y3*z1*z3 - x3*y1*z1*z3 - x1*y4*z1*z4 - x2*y3*z2*z3 - x3*y2*z2*z3 - x4*y1*z1*z4 - x2*y4*z2*z4 - x4*y2*z2*z4 - x3*y4*z3*z4 - x4*y3*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (y4*(x1*y1*z2^2 + x1*y1*z3^2 + x2*y2*z1^2 + x1*y1*z4^2 + x2*y2*z3^2 + x3*y3*z1^2 + x2*y2*z4^2 + x3*y3*z2^2 + x4*y4*z1^2 + x3*y3*z4^2 + x4*y4*z2^2 + x4*y4*z3^2 - x1*y2*z1*z2 - x2*y1*z1*z2 - x1*y3*z1*z3 - x3*y1*z1*z3 - x1*y4*z1*z4 - x2*y3*z2*z3 - x3*y2*z2*z3 - x4*y1*z1*z4 - x2*y4*z2*z4 - x4*y2*z2*z4 - x3*y4*z3*z4 - x4*y3*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3);
          B=  (y1*(x1^2*z2^2 + x2^2*z1^2 + x1^2*z3^2 + x3^2*z1^2 + x1^2*z4^2 + x2^2*z3^2 + x3^2*z2^2 + x4^2*z1^2 + x2^2*z4^2 + x4^2*z2^2 + x3^2*z4^2 + x4^2*z3^2 - 2*x1*x2*z1*z2 - 2*x1*x3*z1*z3 - 2*x1*x4*z1*z4 - 2*x2*x3*z2*z3 - 2*x2*x4*z2*z4 - 2*x3*x4*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (y2*(x1^2*z2^2 + x2^2*z1^2 + x1^2*z3^2 + x3^2*z1^2 + x1^2*z4^2 + x2^2*z3^2 + x3^2*z2^2 + x4^2*z1^2 + x2^2*z4^2 + x4^2*z2^2 + x3^2*z4^2 + x4^2*z3^2 - 2*x1*x2*z1*z2 - 2*x1*x3*z1*z3 - 2*x1*x4*z1*z4 - 2*x2*x3*z2*z3 - 2*x2*x4*z2*z4 - 2*x3*x4*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (y3*(x1^2*z2^2 + x2^2*z1^2 + x1^2*z3^2 + x3^2*z1^2 + x1^2*z4^2 + x2^2*z3^2 + x3^2*z2^2 + x4^2*z1^2 + x2^2*z4^2 + x4^2*z2^2 + x3^2*z4^2 + x4^2*z3^2 - 2*x1*x2*z1*z2 - 2*x1*x3*z1*z3 - 2*x1*x4*z1*z4 - 2*x2*x3*z2*z3 - 2*x2*x4*z2*z4 - 2*x3*x4*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (y4*(x1^2*z2^2 + x2^2*z1^2 + x1^2*z3^2 + x3^2*z1^2 + x1^2*z4^2 + x2^2*z3^2 + x3^2*z2^2 + x4^2*z1^2 + x2^2*z4^2 + x4^2*z2^2 + x3^2*z4^2 + x4^2*z3^2 - 2*x1*x2*z1*z2 - 2*x1*x3*z1*z3 - 2*x1*x4*z1*z4 - 2*x2*x3*z2*z3 - 2*x2*x4*z2*z4 - 2*x3*x4*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (z1*(x2^2*y1*z1 + x1^2*y2*z2 + x3^2*y1*z1 + x4^2*y1*z1 + x1^2*y3*z3 + x3^2*y2*z2 + x2^2*y3*z3 + x4^2*y2*z2 + x1^2*y4*z4 + x2^2*y4*z4 + x4^2*y3*z3 + x3^2*y4*z4 - x1*x2*y1*z2 - x1*x2*y2*z1 - x1*x3*y1*z3 - x1*x3*y3*z1 - x1*x4*y1*z4 - x1*x4*y4*z1 - x2*x3*y2*z3 - x2*x3*y3*z2 - x2*x4*y2*z4 - x2*x4*y4*z2 - x3*x4*y3*z4 - x3*x4*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (z2*(x2^2*y1*z1 + x1^2*y2*z2 + x3^2*y1*z1 + x4^2*y1*z1 + x1^2*y3*z3 + x3^2*y2*z2 + x2^2*y3*z3 + x4^2*y2*z2 + x1^2*y4*z4 + x2^2*y4*z4 + x4^2*y3*z3 + x3^2*y4*z4 - x1*x2*y1*z2 - x1*x2*y2*z1 - x1*x3*y1*z3 - x1*x3*y3*z1 - x1*x4*y1*z4 - x1*x4*y4*z1 - x2*x3*y2*z3 - x2*x3*y3*z2 - x2*x4*y2*z4 - x2*x4*y4*z2 - x3*x4*y3*z4 - x3*x4*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (z3*(x2^2*y1*z1 + x1^2*y2*z2 + x3^2*y1*z1 + x4^2*y1*z1 + x1^2*y3*z3 + x3^2*y2*z2 + x2^2*y3*z3 + x4^2*y2*z2 + x1^2*y4*z4 + x2^2*y4*z4 + x4^2*y3*z3 + x3^2*y4*z4 - x1*x2*y1*z2 - x1*x2*y2*z1 - x1*x3*y1*z3 - x1*x3*y3*z1 - x1*x4*y1*z4 - x1*x4*y4*z1 - x2*x3*y2*z3 - x2*x3*y3*z2 - x2*x4*y2*z4 - x2*x4*y4*z2 - x3*x4*y3*z4 - x3*x4*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (z4*(x2^2*y1*z1 + x1^2*y2*z2 + x3^2*y1*z1 + x4^2*y1*z1 + x1^2*y3*z3 + x3^2*y2*z2 + x2^2*y3*z3 + x4^2*y2*z2 + x1^2*y4*z4 + x2^2*y4*z4 + x4^2*y3*z3 + x3^2*y4*z4 - x1*x2*y1*z2 - x1*x2*y2*z1 - x1*x3*y1*z3 - x1*x3*y3*z1 - x1*x4*y1*z4 - x1*x4*y4*z1 - x2*x3*y2*z3 - x2*x3*y3*z2 - x2*x4*y2*z4 - x2*x4*y4*z2 - x3*x4*y3*z4 - x3*x4*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (x1*(x1*y1*z2^2 + x1*y1*z3^2 + x2*y2*z1^2 + x1*y1*z4^2 + x2*y2*z3^2 + x3*y3*z1^2 + x2*y2*z4^2 + x3*y3*z2^2 + x4*y4*z1^2 + x3*y3*z4^2 + x4*y4*z2^2 + x4*y4*z3^2 - x1*y2*z1*z2 - x2*y1*z1*z2 - x1*y3*z1*z3 - x3*y1*z1*z3 - x1*y4*z1*z4 - x2*y3*z2*z3 - x3*y2*z2*z3 - x4*y1*z1*z4 - x2*y4*z2*z4 - x4*y2*z2*z4 - x3*y4*z3*z4 - x4*y3*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (x2*(x1*y1*z2^2 + x1*y1*z3^2 + x2*y2*z1^2 + x1*y1*z4^2 + x2*y2*z3^2 + x3*y3*z1^2 + x2*y2*z4^2 + x3*y3*z2^2 + x4*y4*z1^2 + x3*y3*z4^2 + x4*y4*z2^2 + x4*y4*z3^2 - x1*y2*z1*z2 - x2*y1*z1*z2 - x1*y3*z1*z3 - x3*y1*z1*z3 - x1*y4*z1*z4 - x2*y3*z2*z3 - x3*y2*z2*z3 - x4*y1*z1*z4 - x2*y4*z2*z4 - x4*y2*z2*z4 - x3*y4*z3*z4 - x4*y3*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (x3*(x1*y1*z2^2 + x1*y1*z3^2 + x2*y2*z1^2 + x1*y1*z4^2 + x2*y2*z3^2 + x3*y3*z1^2 + x2*y2*z4^2 + x3*y3*z2^2 + x4*y4*z1^2 + x3*y3*z4^2 + x4*y4*z2^2 + x4*y4*z3^2 - x1*y2*z1*z2 - x2*y1*z1*z2 - x1*y3*z1*z3 - x3*y1*z1*z3 - x1*y4*z1*z4 - x2*y3*z2*z3 - x3*y2*z2*z3 - x4*y1*z1*z4 - x2*y4*z2*z4 - x4*y2*z2*z4 - x3*y4*z3*z4 - x4*y3*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (x4*(x1*y1*z2^2 + x1*y1*z3^2 + x2*y2*z1^2 + x1*y1*z4^2 + x2*y2*z3^2 + x3*y3*z1^2 + x2*y2*z4^2 + x3*y3*z2^2 + x4*y4*z1^2 + x3*y3*z4^2 + x4*y4*z2^2 + x4*y4*z3^2 - x1*y2*z1*z2 - x2*y1*z1*z2 - x1*y3*z1*z3 - x3*y1*z1*z3 - x1*y4*z1*z4 - x2*y3*z2*z3 - x3*y2*z2*z3 - x4*y1*z1*z4 - x2*y4*z2*z4 - x4*y2*z2*z4 - x3*y4*z3*z4 - x4*y3*z3*z4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3);
          C=  (z1*(x1^2*y2^2 + x2^2*y1^2 + x1^2*y3^2 + x3^2*y1^2 + x1^2*y4^2 + x2^2*y3^2 + x3^2*y2^2 + x4^2*y1^2 + x2^2*y4^2 + x4^2*y2^2 + x3^2*y4^2 + x4^2*y3^2 - 2*x1*x2*y1*y2 - 2*x1*x3*y1*y3 - 2*x1*x4*y1*y4 - 2*x2*x3*y2*y3 - 2*x2*x4*y2*y4 - 2*x3*x4*y3*y4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (y2*(x2^2*y1*z1 + x1^2*y2*z2 + x3^2*y1*z1 + x4^2*y1*z1 + x1^2*y3*z3 + x3^2*y2*z2 + x2^2*y3*z3 + x4^2*y2*z2 + x1^2*y4*z4 + x2^2*y4*z4 + x4^2*y3*z3 + x3^2*y4*z4 - x1*x2*y1*z2 - x1*x2*y2*z1 - x1*x3*y1*z3 - x1*x3*y3*z1 - x1*x4*y1*z4 - x1*x4*y4*z1 - x2*x3*y2*z3 - x2*x3*y3*z2 - x2*x4*y2*z4 - x2*x4*y4*z2 - x3*x4*y3*z4 - x3*x4*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (y3*(x2^2*y1*z1 + x1^2*y2*z2 + x3^2*y1*z1 + x4^2*y1*z1 + x1^2*y3*z3 + x3^2*y2*z2 + x2^2*y3*z3 + x4^2*y2*z2 + x1^2*y4*z4 + x2^2*y4*z4 + x4^2*y3*z3 + x3^2*y4*z4 - x1*x2*y1*z2 - x1*x2*y2*z1 - x1*x3*y1*z3 - x1*x3*y3*z1 - x1*x4*y1*z4 - x1*x4*y4*z1 - x2*x3*y2*z3 - x2*x3*y3*z2 - x2*x4*y2*z4 - x2*x4*y4*z2 - x3*x4*y3*z4 - x3*x4*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (y4*(x2^2*y1*z1 + x1^2*y2*z2 + x3^2*y1*z1 + x4^2*y1*z1 + x1^2*y3*z3 + x3^2*y2*z2 + x2^2*y3*z3 + x4^2*y2*z2 + x1^2*y4*z4 + x2^2*y4*z4 + x4^2*y3*z3 + x3^2*y4*z4 - x1*x2*y1*z2 - x1*x2*y2*z1 - x1*x3*y1*z3 - x1*x3*y3*z1 - x1*x4*y1*z4 - x1*x4*y4*z1 - x2*x3*y2*z3 - x2*x3*y3*z2 - x2*x4*y2*z4 - x2*x4*y4*z2 - x3*x4*y3*z4 - x3*x4*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (x1*(x1*y2^2*z1 + x1*y3^2*z1 + x2*y1^2*z2 + x1*y4^2*z1 + x2*y3^2*z2 + x3*y1^2*z3 + x2*y4^2*z2 + x3*y2^2*z3 + x4*y1^2*z4 + x3*y4^2*z3 + x4*y2^2*z4 + x4*y3^2*z4 - x1*y1*y2*z2 - x2*y1*y2*z1 - x1*y1*y3*z3 - x3*y1*y3*z1 - x1*y1*y4*z4 - x2*y2*y3*z3 - x3*y2*y3*z2 - x4*y1*y4*z1 - x2*y2*y4*z4 - x4*y2*y4*z2 - x3*y3*y4*z4 - x4*y3*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (x2*(x1*y2^2*z1 + x1*y3^2*z1 + x2*y1^2*z2 + x1*y4^2*z1 + x2*y3^2*z2 + x3*y1^2*z3 + x2*y4^2*z2 + x3*y2^2*z3 + x4*y1^2*z4 + x3*y4^2*z3 + x4*y2^2*z4 + x4*y3^2*z4 - x1*y1*y2*z2 - x2*y1*y2*z1 - x1*y1*y3*z3 - x3*y1*y3*z1 - x1*y1*y4*z4 - x2*y2*y3*z3 - x3*y2*y3*z2 - x4*y1*y4*z1 - x2*y2*y4*z4 - x4*y2*y4*z2 - x3*y3*y4*z4 - x4*y3*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (x3*(x1*y2^2*z1 + x1*y3^2*z1 + x2*y1^2*z2 + x1*y4^2*z1 + x2*y3^2*z2 + x3*y1^2*z3 + x2*y4^2*z2 + x3*y2^2*z3 + x4*y1^2*z4 + x3*y4^2*z3 + x4*y2^2*z4 + x4*y3^2*z4 - x1*y1*y2*z2 - x2*y1*y2*z1 - x1*y1*y3*z3 - x3*y1*y3*z1 - x1*y1*y4*z4 - x2*y2*y3*z3 - x3*y2*y3*z2 - x4*y1*y4*z1 - x2*y2*y4*z4 - x4*y2*y4*z2 - x3*y3*y4*z4 - x4*y3*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (x4*(x1*y2^2*z1 + x1*y3^2*z1 + x2*y1^2*z2 + x1*y4^2*z1 + x2*y3^2*z2 + x3*y1^2*z3 + x2*y4^2*z2 + x3*y2^2*z3 + x4*y1^2*z4 + x3*y4^2*z3 + x4*y2^2*z4 + x4*y3^2*z4 - x1*y1*y2*z2 - x2*y1*y2*z1 - x1*y1*y3*z3 - x3*y1*y3*z1 - x1*y1*y4*z4 - x2*y2*y3*z3 - x3*y2*y3*z2 - x4*y1*y4*z1 - x2*y2*y4*z4 - x4*y2*y4*z2 - x3*y3*y4*z4 - x4*y3*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) - (y1*(x2^2*y1*z1 + x1^2*y2*z2 + x3^2*y1*z1 + x4^2*y1*z1 + x1^2*y3*z3 + x3^2*y2*z2 + x2^2*y3*z3 + x4^2*y2*z2 + x1^2*y4*z4 + x2^2*y4*z4 + x4^2*y3*z3 + x3^2*y4*z4 - x1*x2*y1*z2 - x1*x2*y2*z1 - x1*x3*y1*z3 - x1*x3*y3*z1 - x1*x4*y1*z4 - x1*x4*y4*z1 - x2*x3*y2*z3 - x2*x3*y3*z2 - x2*x4*y2*z4 - x2*x4*y4*z2 - x3*x4*y3*z4 - x3*x4*y4*z3))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (z2*(x1^2*y2^2 + x2^2*y1^2 + x1^2*y3^2 + x3^2*y1^2 + x1^2*y4^2 + x2^2*y3^2 + x3^2*y2^2 + x4^2*y1^2 + x2^2*y4^2 + x4^2*y2^2 + x3^2*y4^2 + x4^2*y3^2 - 2*x1*x2*y1*y2 - 2*x1*x3*y1*y3 - 2*x1*x4*y1*y4 - 2*x2*x3*y2*y3 - 2*x2*x4*y2*y4 - 2*x3*x4*y3*y4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (z3*(x1^2*y2^2 + x2^2*y1^2 + x1^2*y3^2 + x3^2*y1^2 + x1^2*y4^2 + x2^2*y3^2 + x3^2*y2^2 + x4^2*y1^2 + x2^2*y4^2 + x4^2*y2^2 + x3^2*y4^2 + x4^2*y3^2 - 2*x1*x2*y1*y2 - 2*x1*x3*y1*y3 - 2*x1*x4*y1*y4 - 2*x2*x3*y2*y3 - 2*x2*x4*y2*y4 - 2*x3*x4*y3*y4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3) + (z4*(x1^2*y2^2 + x2^2*y1^2 + x1^2*y3^2 + x3^2*y1^2 + x1^2*y4^2 + x2^2*y3^2 + x3^2*y2^2 + x4^2*y1^2 + x2^2*y4^2 + x4^2*y2^2 + x3^2*y4^2 + x4^2*y3^2 - 2*x1*x2*y1*y2 - 2*x1*x3*y1*y3 - 2*x1*x4*y1*y4 - 2*x2*x3*y2*y3 - 2*x2*x4*y2*y4 - 2*x3*x4*y3*y4))/(x1^2*y2^2*z3^2 + x1^2*y3^2*z2^2 + x2^2*y1^2*z3^2 + x2^2*y3^2*z1^2 + x3^2*y1^2*z2^2 + x3^2*y2^2*z1^2 + x1^2*y2^2*z4^2 + x1^2*y4^2*z2^2 + x2^2*y1^2*z4^2 + x2^2*y4^2*z1^2 + x4^2*y1^2*z2^2 + x4^2*y2^2*z1^2 + x1^2*y3^2*z4^2 + x1^2*y4^2*z3^2 + x3^2*y1^2*z4^2 + x3^2*y4^2*z1^2 + x4^2*y1^2*z3^2 + x4^2*y3^2*z1^2 + x2^2*y3^2*z4^2 + x2^2*y4^2*z3^2 + x3^2*y2^2*z4^2 + x3^2*y4^2*z2^2 + x4^2*y2^2*z3^2 + x4^2*y3^2*z2^2 - 2*x1*x2*y1*y2*z3^2 - 2*x1*x2*y1*y2*z4^2 - 2*x1*x3*y1*y3*z2^2 - 2*x2*x3*y2*y3*z1^2 - 2*x1*x3*y1*y3*z4^2 - 2*x1*x4*y1*y4*z2^2 - 2*x1*x4*y1*y4*z3^2 - 2*x2*x4*y2*y4*z1^2 - 2*x2*x3*y2*y3*z4^2 - 2*x2*x4*y2*y4*z3^2 - 2*x3*x4*y3*y4*z1^2 - 2*x3*x4*y3*y4*z2^2 - 2*x1*x2*y3^2*z1*z2 - 2*x1*x2*y4^2*z1*z2 - 2*x1*x3*y2^2*z1*z3 - 2*x2*x3*y1^2*z2*z3 - 2*x1*x3*y4^2*z1*z3 - 2*x1*x4*y2^2*z1*z4 - 2*x1*x4*y3^2*z1*z4 - 2*x2*x4*y1^2*z2*z4 - 2*x2*x3*y4^2*z2*z3 - 2*x2*x4*y3^2*z2*z4 - 2*x3*x4*y1^2*z3*z4 - 2*x3*x4*y2^2*z3*z4 - 2*x3^2*y1*y2*z1*z2 - 2*x2^2*y1*y3*z1*z3 - 2*x4^2*y1*y2*z1*z2 - 2*x1^2*y2*y3*z2*z3 - 2*x2^2*y1*y4*z1*z4 - 2*x4^2*y1*y3*z1*z3 - 2*x1^2*y2*y4*z2*z4 - 2*x3^2*y1*y4*z1*z4 - 2*x4^2*y2*y3*z2*z3 - 2*x1^2*y3*y4*z3*z4 - 2*x3^2*y2*y4*z2*z4 - 2*x2^2*y3*y4*z3*z4 + 2*x1*x2*y1*y3*z2*z3 + 2*x1*x2*y2*y3*z1*z3 + 2*x1*x3*y1*y2*z2*z3 + 2*x1*x3*y2*y3*z1*z2 + 2*x2*x3*y1*y2*z1*z3 + 2*x2*x3*y1*y3*z1*z2 + 2*x1*x2*y1*y4*z2*z4 + 2*x1*x2*y2*y4*z1*z4 + 2*x1*x4*y1*y2*z2*z4 + 2*x1*x4*y2*y4*z1*z2 + 2*x2*x4*y1*y2*z1*z4 + 2*x2*x4*y1*y4*z1*z2 + 2*x1*x3*y1*y4*z3*z4 + 2*x1*x3*y3*y4*z1*z4 + 2*x1*x4*y1*y3*z3*z4 + 2*x1*x4*y3*y4*z1*z3 + 2*x3*x4*y1*y3*z1*z4 + 2*x3*x4*y1*y4*z1*z3 + 2*x2*x3*y2*y4*z3*z4 + 2*x2*x3*y3*y4*z2*z4 + 2*x2*x4*y2*y3*z3*z4 + 2*x2*x4*y3*y4*z2*z3 + 2*x3*x4*y2*y3*z2*z4 + 2*x3*x4*y2*y4*z2*z3);

         
         % D calculator
         % a/d x + b/d y + c/d z == 1
         % A x + B y + C z == 1
         
         Zpt=A/C*x3+B/C*y3;
         D=z3+Zpt;
         
         a=A*D; b=B*D; c=C*D; d=D;



    Ph=[a b c d];
end