A = Z2-Y2
B = Z2+Y2
t0 = A^2
V2 = s*t0
W2 = B^2
t1 = W2-V2
Y4 = t1^2
t2 = W2+V2
t3 = t2^2
Z4 = r*t3
t4 = Z3-Y3
t5 = A*t4
V = s*t5
t6 = Z3+Y3
W = B*t6
t7 = W-V
Y5 = t7^2
t8 = W+V
t9 = t8^2
Z5 = Y1*t9