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