R0 = X1^2
R1 = Y1^2
R2 = Z1^2
R3 = R0+R1
R4 = R0+R2
R5 = R1+R2
R0 = X1+Y1
R0 = R0^2
R0 = R0-R3
R1 = X1+Z1
R1 = R1^2
R1 = R1-R4
R2 = Y1+Z1
R3 = 2*R3
R2 = R2^2
R4 = 2*R4
R2 = R2-R5
R5 = 2*R5
X3 = R2-R0
R4 = R1+R4
X3 = X3*R4
Y3 = R0-R1
R5 = R2+R5
Y3 = Y3*R5
Z3 = R1-R2
R0 = R0+R3
Z3 = Z3*R0