A = X1^2 B = A^2 X3 = B+a6 Z3 = X1 t0 = A+Y1 t1 = t0+Z3 t2 = A+Y1 t3 = t2*B t4 = a6*t1 Y3 = t4+t3