XX = X1^2 YY = Y1^2 t0 = c*Z1 ZZ = t0^2 D = XX+YY DD = D^2 t1 = d*ZZ t2 = D-t1 E = 4*t2 t3 = YY-XX t4 = D*t3 H = 2*t4 t5 = XX*E P = DD-t5 t6 = YY*E Q = DD-t6 t7 = H+Q t8 = Q*X1 X3 = t7*t8 t9 = H-P t10 = P*Y1 Y3 = t9*t10 t11 = Q*Z1 Z3 = P*t11