XX1 = X1^2 t0 = XX1-1 X3 = t0^2 t1 = a*X1 t2 = XX1+t1 t3 = t2+1 t4 = X1*t3 Z3 = 4*t4