source 2007 Hisil--Carter--Dawson compute X3 = 3 d(Y1^3 (Z1^3 - X1^3) (X1^3 - Y1^3)- X1^3 (Y1^3 - Z1^3) (Y1^3 - Z1^3)) compute Y3 = 3 d(X1^3 (Y1^3 - Z1^3) (X1^3 - Y1^3)- Y1^3 (Z1^3 - X1^3) (Z1^3 - X1^3)) compute Z3 = (X1^3 + Y1^3 + Z1^3) ((Y1^3 - Z1^3) (Z1^3 - X1^3)-(X1^3 - Y1^3)^2)