t0 = Z1^3 t1 = X1^3 t2 = X1^3 t3 = Y1^3 t4 = Y1^3 t5 = Z1^3 t6 = Y1^3 t7 = Z1^3 t8 = t0-t1 t9 = t2-t3 t10 = t4-t5 t11 = t6-t7 t12 = Y1^3 t13 = X1^3 t14 = t10*t11 t15 = t13*t14 t16 = t8*t9 t17 = t12*t16 t18 = t17-t15 t19 = d*t18 X3 = 3*t19 t20 = Y1^3 t21 = Z1^3 t22 = X1^3 t23 = Y1^3 t24 = Z1^3 t25 = X1^3 t26 = Z1^3 t27 = X1^3 t28 = t20-t21 t29 = t22-t23 t30 = t24-t25 t31 = t26-t27 t32 = X1^3 t33 = Y1^3 t34 = t30*t31 t35 = t33*t34 t36 = t28*t29 t37 = t32*t36 t38 = t37-t35 t39 = d*t38 Y3 = 3*t39 t40 = Y1^3 t41 = Z1^3 t42 = Z1^3 t43 = X1^3 t44 = X1^3 t45 = Y1^3 t46 = t40-t41 t47 = t42-t43 t48 = t44-t45 t49 = X1^3 t50 = Y1^3 t51 = Z1^3 t52 = t48^2 t53 = t46*t47 t54 = t49+t50 t55 = t54+t51 t56 = t53-t52 Z3 = t55*t56