YY = Y1^2 t0 = Z1^2 ZZ = r*t0 t1 = ZZ-YY t2 = t1^2 V = s*t2 t3 = ZZ+YY W = t3^2 Y3 = W-V Z3 = W+V