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