S0 = Y2^2
S1 = Z2^2
t0 = Y2+Z2
t1 = t0^2
t2 = t1-S0
S2 = t2-S1
S3 = 2*Y2
S4 = 2*Z2
R0 = X1^2
R1 = Y1^2
R2 = Z1^2
R3 = X1+Y1
Y3 = Y1+Z1
Y3 = Y3^2
Z3 = X1+Z1
Z3 = Z3^2
X3 = R3^2
R3 = Y3-R1
R3 = R3-R2
Y3 = R0*S2
Y3 = Y3-R3
R3 = X3-R0
R3 = R3-R1
Z3 = Z3-R0
Z3 = Z3-R2
X3 = R1*S4
R0 = Z3*S0
X3 = X3-R0
Z3 = R2*S3
R0 = R3*S1
Z3 = Z3-R0