A = 1/ZZZ1
t0 = ZZ1*A
B = t0^2
X3 = X1*B
Y3 = Y1*A
ZZ3 = 1
ZZZ3 = 1