A = X1^2 t0 = X1^2 t1 = Z1^2 t2 = a16*t1 B = t0-t2 YT = Y1*B X3 = B^2 t3 = Y1^2 Z3 = 4*t3 t4 = X1^2 t5 = Z1^2 t6 = a*t5 C = t4*t6 D = Z3^2 t7 = 4*C t8 = Z3-t7 E = a*t8 t9 = 256*C t10 = 2*X3 t11 = t10+E t12 = t11+t9 Y3 = YT*t12 ZZ3 = D