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