t0 = roota6*Z1 t1 = X1+t0 t2 = t1^2 X3 = t2^2 t3 = X1*Z1 Z3 = t3^2