C = X1^2 Z3 = C t0 = C^2 X3 = t0+a6 t1 = Y1^2 t2 = a2*Z3 t3 = t1+t2 t4 = t3+a6 t5 = a6*Z3 t6 = t4*X3 Y3 = t6+t5