XX = X1^2 ZZ = Z1^2 t0 = 3*XX t1 = a*ZZ w = t1+t0 t2 = Y1*Z1 s = 2*t2 ss = s^2 sss = s*ss R = Y1*s RR = R^2 t3 = X1+R t4 = t3^2 t5 = t4-XX B = t5-RR t6 = w^2 t7 = 2*B h = t6-t7 X3 = h*s t8 = B-h t9 = 2*RR t10 = w*t8 Y3 = t10-t9 Z3 = sss