XX = X1^2 A = XX*X1 YY = Y1^2 B = YY*Y1 ZZ = Z1^2 C = ZZ*Z1 AB = A-B BC = B-C CA = C-A U = B*CA V = A*BC t0 = V*BC t1 = U*AB t2 = t1-t0 X3 = a*t2 t3 = U*CA t4 = V*AB t5 = t4-t3 Y3 = a*t5 t6 = AB^2 t7 = BC*CA t8 = A+B t9 = t8+C t10 = t7-t6 Z3 = t9*t10