R1 = X1 R2 = Y1 R3 = Z1 R4 = X2 R5 = Y2 R6 = Z2 R7 = R6^2 R1 = R1*R7 R7 = R6*R7 R2 = R2*R7 R7 = R3^2 R8 = R4*R7 R7 = R3*R7 R7 = R5*R7 R2 = R2-R7 R7 = 2*R7 R7 = R2+R7 R1 = R1-R8 R8 = 2*R8 R8 = R1+R8 R3 = R3*R6 R3 = R3*R1 R7 = R7*R1 R1 = R1^2 R8 = R8*R1 R7 = R7*R1 R1 = R2^2 R1 = R1-R8 R8 = R8-R1 R8 = R8-R1 R8 = R8*R2 R2 = R8-R7 R2 = half*R2 X3 = R1 Y3 = R2 Z3 = R3