compute X3 = X1 / Z1
compute Z3 = 1
