如何在Mathlab中简化公式：
t =
((((z_1 - z_2)/(x_1^2 - x_2^2) - (z_1 - z_3)/(x_1^2 - x_3^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_3)/(x_1^2 - x_3^2)) - ((z_1 - z_2)/(x_1^2 - x_2^2) - (z_1 - z_4)/(x_1^2 - x_4^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_4)/(x_1^2 - x_4^2)))/(((y_1^2 - y_2^2)/(x_1^2 - x_2^2) - (y_1^2 - y_3^2)/(x_1^2 - x_3^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_3)/(x_1^2 - x_3^2)) - ((y_1^2 - y_2^2)/(x_1^2 - x_2^2) - (y_1^2 - y_4^2)/(x_1^2 - x_4^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_4)/(x_1^2 - x_4^2))) - (((z_1 - z_2)/(x_1^2 - x_2^2) - (z_1 - z_3)/(x_1^2 - x_3^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_3)/(x_1^2 - x_3^2)) - ((z_1 - z_2)/(x_1^2 - x_2^2) - (z_1 - z_5)/(x_1^2 - x_5^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_5)/(x_1^2 - x_5^2)))/(((y_1^2 - y_2^2)/(x_1^2 - x_2^2) - (y_1^2 - y_3^2)/(x_1^2 - x_3^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_3)/(x_1^2 - x_3^2)) - ((y_1^2 - y_2^2)/(x_1^2 - x_2^2) - (y_1^2 - y_5^2)/(x_1^2 - x_5^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_5)/(x_1^2 - x_5^2))))/((((y_1 - y_2)/(x_1^2 - x_2^2) - (y_1 - y_3)/(x_1^2 - x_3^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_3)/(x_1^2 - x_3^2)) - ((y_1 - y_2)/(x_1^2 - x_2^2) - (y_1 - y_4)/(x_1^2 - x_4^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_4)/(x_1^2 - x_4^2)))/(((y_1^2 - y_2^2)/(x_1^2 - x_2^2) - (y_1^2 - y_3^2)/(x_1^2 - x_3^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_3)/(x_1^2 - x_3^2)) - ((y_1^2 - y_2^2)/(x_1^2 - x_2^2) - (y_1^2 - y_4^2)/(x_1^2 - x_4^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_4)/(x_1^2 - x_4^2))) - (((y_1 - y_2)/(x_1^2 - x_2^2) - (y_1 - y_3)/(x_1^2 - x_3^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_3)/(x_1^2 - x_3^2)) - ((y_1 - y_2)/(x_1^2 - x_2^2) - (y_1 - y_5)/(x_1^2 - x_5^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_5)/(x_1^2 - x_5^2)))/(((y_1^2 - y_2^2)/(x_1^2 - x_2^2) - (y_1^2 - y_3^2)/(x_1^2 - x_3^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_3)/(x_1^2 - x_3^2)) - ((y_1^2 - y_2^2)/(x_1^2 - x_2^2) - (y_1^2 - y_5^2)/(x_1^2 - x_5^2))/((x_1 - x_2)/(x_1^2 - x_2^2) - (x_1 - x_5)/(x_1^2 - x_5^2))))
如果使用factor命令，则：
ans =
[ x_1*x_2^2*y_4^2*z_3 - x_1*x_2^2*y_3^2*z_4 + x_1*x_3^2*y_2^2*z_4 - x_1*x_3^2*y_4^2*z_2 - x_1*x_4^2*y_2^2*z_3 + x_1*x_4^2*y_3^2*z_2 - x_2*x_3^2*y_1^2*z_4 + x_2*x_3^2*y_4^2*z_1 + x_2*x_4^2*y_1^2*z_3 - x_2*x_4^2*y_3^2*z_1 - x_3*x_4^2*y_1^2*z_2 + x_3*x_4^2*y_2^2*z_1 + x_1^2*x_2*y_3^2*z_4 - x_1^2*x_2*y_4^2*z_3 - x_1^2*x_3*y_2^2*z_4 + x_1^2*x_3*y_4^2*z_2 + x_1^2*x_4*y_2^2*z_3 - x_1^2*x_4*y_3^2*z_2 + x_2^2*x_3*y_1^2*z_4 - x_2^2*x_3*y_4^2*z_1 - x_2^2*x_4*y_1^2*z_3 + x_2^2*x_4*y_3^2*z_1 + x_3^2*x_4*y_1^2*z_2 - x_3^2*x_4*y_2^2*z_1 + x_1*x_2^2*y_3^2*z_5 - x_1*x_2^2*y_5^2*z_3 - x_1*x_3^2*y_2^2*z_5 + x_1*x_3^2*y_5^2*z_2 + x_1*x_5^2*y_2^2*z_3 - x_1*x_5^2*y_3^2*z_2 + x_2*x_3^2*y_1^2*z_5 - x_2*x_3^2*y_5^2*z_1 - x_2*x_5^2*y_1^2*z_3 + x_2*x_5^2*y_3^2*z_1 + x_3*x_5^2*y_1^2*z_2 - x_3*x_5^2*y_2^2*z_1 - x_1^2*x_2*y_3^2*z_5 + x_1^2*x_2*y_5^2*z_3 + x_1^2*x_3*y_2^2*z_5 - x_1^2*x_3*y_5^2*z_2 - x_1^2*x_5*y_2^2*z_3 + x_1^2*x_5*y_3^2*z_2 - x_2^2*x_3*y_1^2*z_5 + x_2^2*x_3*y_5^2*z_1 + x_2^2*x_5*y_1^2*z_3 - x_2^2*x_5*y_3^2*z_1 - x_3^2*x_5*y_1^2*z_2 + x_3^2*x_5*y_2^2*z_1 - x_1*x_2^2*y_4^2*z_5 + x_1*x_2^2*y_5^2*z_4 + x_1*x_4^2*y_2^2*z_5 - x_1*x_4^2*y_5^2*z_2 - x_1*x_5^2*y_2^2*z_4 + x_1*x_5^2*y_4^2*z_2 - x_2*x_4^2*y_1^2*z_5 + x_2*x_4^2*y_5^2*z_1 + x_2*x_5^2*y_1^2*z_4 - x_2*x_5^2*y_4^2*z_1 - x_4*x_5^2*y_1^2*z_2 + x_4*x_5^2*y_2^2*z_1 + x_1^2*x_2*y_4^2*z_5 - x_1^2*x_2*y_5^2*z_4 - x_1^2*x_4*y_2^2*z_5 + x_1^2*x_4*y_5^2*z_2 + x_1^2*x_5*y_2^2*z_4 - x_1^2*x_5*y_4^2*z_2 + x_2^2*x_4*y_1^2*z_5 - x_2^2*x_4*y_5^2*z_1 - x_2^2*x_5*y_1^2*z_4 + x_2^2*x_5*y_4^2*z_1 + x_4^2*x_5*y_1^2*z_2 - x_4^2*x_5*y_2^2*z_1 + x_1*x_3^2*y_4^2*z_5 - x_1*x_3^2*y_5^2*z_4 - x_1*x_4^2*y_3^2*z_5 + x_1*x_4^2*y_5^2*z_3 + x_1*x_5^2*y_3^2*z_4 - x_1*x_5^2*y_4^2*z_3 + x_3*x_4^2*y_1^2*z_5 - x_3*x_4^2*y_5^2*z_1 - x_3*x_5^2*y_1^2*z_4 + x_3*x_5^2*y_4^2*z_1 + x_4*x_5^2*y_1^2*z_3 - x_4*x_5^2*y_3^2*z_1 - x_1^2*x_3*y_4^2*z_5 + x_1^2*x_3*y_5^2*z_4 + x_1^2*x_4*y_3^2*z_5 - x_1^2*x_4*y_5^2*z_3 - x_1^2*x_5*y_3^2*z_4 + x_1^2*x_5*y_4^2*z_3 - x_3^2*x_4*y_1^2*z_5 + x_3^2*x_4*y_5^2*z_1 + x_3^2*x_5*y_1^2*z_4 - x_3^2*x_5*y_4^2*z_1 - x_4^2*x_5*y_1^2*z_3 + x_4^2*x_5*y_3^2*z_1 - x_2*x_3^2*y_4^2*z_5 + x_2*x_3^2*y_5^2*z_4 + x_2*x_4^2*y_3^2*z_5 - x_2*x_4^2*y_5^2*z_3 - x_2*x_5^2*y_3^2*z_4 + x_2*x_5^2*y_4^2*z_3 - x_3*x_4^2*y_2^2*z_5 + x_3*x_4^2*y_5^2*z_2 + x_3*x_5^2*y_2^2*z_4 - x_3*x_5^2*y_4^2*z_2 - x_4*x_5^2*y_2^2*z_3 + x_4*x_5^2*y_3^2*z_2 + x_2^2*x_3*y_4^2*z_5 - x_2^2*x_3*y_5^2*z_4 - x_2^2*x_4*y_3^2*z_5 + x_2^2*x_4*y_5^2*z_3 + x_2^2*x_5*y_3^2*z_4 - x_2^2*x_5*y_4^2*z_3 + x_3^2*x_4*y_2^2*z_5 - x_3^2*x_4*y_5^2*z_2 - x_3^2*x_5*y_2^2*z_4 + x_3^2*x_5*y_4^2*z_2 + x_4^2*x_5*y_2^2*z_3 - x_4^2*x_5*y_3^2*z_2, 1/(x_1^2*x_2*y_3^2*y_4 - x_1^2*x_2*y_3^2*y_5 - x_1^2*x_2*y_3*y_4^2 + x_1^2*x_2*y_3*y_5^2 + x_1^2*x_2*y_4^2*y_5 - x_1^2*x_2*y_4*y_5^2 - x_1^2*x_3*y_2^2*y_4 + x_1^2*x_3*y_2^2*y_5 + x_1^2*x_3*y_2*y_4^2 - x_1^2*x_3*y_2*y_5^2 - x_1^2*x_3*y_4^2*y_5 + x_1^2*x_3*y_4*y_5^2 + x_1^2*x_4*y_2^2*y_3 - x_1^2*x_4*y_2^2*y_5 - x_1^2*x_4*y_2*y_3^2 + x_1^2*x_4*y_2*y_5^2 + x_1^2*x_4*y_3^2*y_5 - x_1^2*x_4*y_3*y_5^2 - x_1^2*x_5*y_2^2*y_3 + x_1^2*x_5*y_2^2*y_4 + x_1^2*x_5*y_2*y_3^2 - x_1^2*x_5*y_2*y_4^2 - x_1^2*x_5*y_3^2*y_4 + x_1^2*x_5*y_3*y_4^2 - x_1*x_2^2*y_3^2*y_4 + x_1*x_2^2*y_3^2*y_5 + x_1*x_2^2*y_3*y_4^2 - x_1*x_2^2*y_3*y_5^2 - x_1*x_2^2*y_4^2*y_5 + x_1*x_2^2*y_4*y_5^2 + x_1*x_3^2*y_2^2*y_4 - x_1*x_3^2*y_2^2*y_5 - x_1*x_3^2*y_2*y_4^2 + x_1*x_3^2*y_2*y_5^2 + x_1*x_3^2*y_4^2*y_5 - x_1*x_3^2*y_4*y_5^2 - x_1*x_4^2*y_2^2*y_3 + x_1*x_4^2*y_2^2*y_5 + x_1*x_4^2*y_2*y_3^2 - x_1*x_4^2*y_2*y_5^2 - x_1*x_4^2*y_3^2*y_5 + x_1*x_4^2*y_3*y_5^2 + x_1*x_5^2*y_2^2*y_3 - x_1*x_5^2*y_2^2*y_4 - x_1*x_5^2*y_2*y_3^2 + x_1*x_5^2*y_2*y_4^2 + x_1*x_5^2*y_3^2*y_4 - x_1*x_5^2*y_3*y_4^2 + x_2^2*x_3*y_1^2*y_4 - x_2^2*x_3*y_1^2*y_5 - x_2^2*x_3*y_1*y_4^2 + x_2^2*x_3*y_1*y_5^2 + x_2^2*x_3*y_4^2*y_5 - x_2^2*x_3*y_4*y_5^2 - x_2^2*x_4*y_1^2*y_3 + x_2^2*x_4*y_1^2*y_5 + x_2^2*x_4*y_1*y_3^2 - x_2^2*x_4*y_1*y_5^2 - x_2^2*x_4*y_3^2*y_5 + x_2^2*x_4*y_3*y_5^2 + x_2^2*x_5*y_1^2*y_3 - x_2^2*x_5*y_1^2*y_4 - x_2^2*x_5*y_1*y_3^2 + x_2^2*x_5*y_1*y_4^2 + x_2^2*x_5*y_3^2*y_4 - x_2^2*x_5*y_3*y_4^2 - x_2*x_3^2*y_1^2*y_4 + x_2*x_3^2*y_1^2*y_5 + x_2*x_3^2*y_1*y_4^2 - x_2*x_3^2*y_1*y_5^2 - x_2*x_3^2*y_4^2*y_5 + x_2*x_3^2*y_4*y_5^2 + x_2*x_4^2*y_1^2*y_3 - x_2*x_4^2*y_1^2*y_5 - x_2*x_4^2*y_1*y_3^2 + x_2*x_4^2*y_1*y_5^2 + x_2*x_4^2*y_3^2*y_5 - x_2*x_4^2*y_3*y_5^2 - x_2*x_5^2*y_1^2*y_3 + x_2*x_5^2*y_1^2*y_4 + x_2*x_5^2*y_1*y_3^2 - x_2*x_5^2*y_1*y_4^2 - x_2*x_5^2*y_3^2*y_4 + x_2*x_5^2*y_3*y_4^2 + x_3^2*x_4*y_1^2*y_2 - x_3^2*x_4*y_1^2*y_5 - x_3^2*x_4*y_1*y_2^2 + x_3^2*x_4*y_1*y_5^2 + x_3^2*x_4*y_2^2*y_5 - x_3^2*x_4*y_2*y_5^2 - x_3^2*x_5*y_1^2*y_2 + x_3^2*x_5*y_1^2*y_4 + x_3^2*x_5*y_1*y_2^2 - x_3^2*x_5*y_1*y_4^2 - x_3^2*x_5*y_2^2*y_4 + x_3^2*x_5*y_2*y_4^2 - x_3*x_4^2*y_1^2*y_2 + x_3*x_4^2*y_1^2*y_5 + x_3*x_4^2*y_1*y_2^2 - x_3*x_4^2*y_1*y_5^2 - x_3*x_4^2*y_2^2*y_5 + x_3*x_4^2*y_2*y_5^2 + x_3*x_5^2*y_1^2*y_2 - x_3*x_5^2*y_1^2*y_4 - x_3*x_5^2*y_1*y_2^2 + x_3*x_5^2*y_1*y_4^2 + x_3*x_5^2*y_2^2*y_4 - x_3*x_5^2*y_2*y_4^2 + x_4^2*x_5*y_1^2*y_2 - x_4^2*x_5*y_1^2*y_3 - x_4^2*x_5*y_1*y_2^2 + x_4^2*x_5*y_1*y_3^2 + x_4^2*x_5*y_2^2*y_3 - x_4^2*x_5*y_2*y_3^2 - x_4*x_5^2*y_1^2*y_2 + x_4*x_5^2*y_1^2*y_3 + x_4*x_5^2*y_1*y_2^2 - x_4*x_5^2*y_1*y_3^2 - x_4*x_5^2*y_2^2*y_3 + x_4*x_5^2*y_2*y_3^2)]
如果使用simplify，则：
ans =
(((x_1^2*z_2 - x_2^2*z_1 - x_1^2*z_3 + x_3^2*z_1 + x_2^2*z_3 - x_3^2*z_2)/((x_1 - x_2)*(x_1 - x_3)*(x_2 - x_3)) - (x_1^2*z_2 - x_2^2*z_1 - x_1^2*z_4 + x_4^2*z_1 + x_2^2*z_4 - x_4^2*z_2)/((x_1 - x_2)*(x_1 - x_4)*(x_2 - x_4)))/((x_1^2*y_2^2 - x_1^2*y_3^2 - x_2^2*y_1^2 + x_2^2*y_3^2 + x_3^2*y_1^2 - x_3^2*y_2^2)/((x_1 - x_2)*(x_1 - x_3)*(x_2 - x_3)) - (x_1^2*y_2^2 - x_1^2*y_4^2 - x_2^2*y_1^2 + x_2^2*y_4^2 + x_4^2*y_1^2 - x_4^2*y_2^2)/((x_1 - x_2)*(x_1 - x_4)*(x_2 - x_4))) - ((x_1^2*z_2 - x_2^2*z_1 - x_1^2*z_3 + x_3^2*z_1 + x_2^2*z_3 - x_3^2*z_2)/((x_1 - x_2)*(x_1 - x_3)*(x_2 - x_3)) - (x_1^2*z_2 - x_2^2*z_1 - x_1^2*z_5 + x_5^2*z_1 + x_2^2*z_5 - x_5^2*z_2)/((x_1 - x_2)*(x_1 - x_5)*(x_2 - x_5)))/((x_1^2*y_2^2 - x_1^2*y_3^2 - x_2^2*y_1^2 + x_2^2*y_3^2 + x_3^2*y_1^2 - x_3^2*y_2^2)/((x_1 - x_2)*(x_1 - x_3)*(x_2 - x_3)) - (x_1^2*y_2^2 - x_1^2*y_5^2 - x_2^2*y_1^2 + x_2^2*y_5^2 + x_5^2*y_1^2 - x_5^2*y_2^2)/((x_1 - x_2)*(x_1 - x_5)*(x_2 - x_5))))/(((x_1^2*y_2 - x_2^2*y_1 - x_1^2*y_3 + x_3^2*y_1 + x_2^2*y_3 - x_3^2*y_2)/((x_1 - x_2)*(x_1 - x_3)*(x_2 - x_3)) - (x_1^2*y_2 - x_2^2*y_1 - x_1^2*y_4 + x_4^2*y_1 + x_2^2*y_4 - x_4^2*y_2)/((x_1 - x_2)*(x_1 - x_4)*(x_2 - x_4)))/((x_1^2*y_2^2 - x_1^2*y_3^2 - x_2^2*y_1^2 + x_2^2*y_3^2 + x_3^2*y_1^2 - x_3^2*y_2^2)/((x_1 - x_2)*(x_1 - x_3)*(x_2 - x_3)) - (x_1^2*y_2^2 - x_1^2*y_4^2 - x_2^2*y_1^2 + x_2^2*y_4^2 + x_4^2*y_1^2 - x_4^2*y_2^2)/((x_1 - x_2)*(x_1 - x_4)*(x_2 - x_4))) - ((x_1^2*y_2 - x_2^2*y_1 - x_1^2*y_3 + x_3^2*y_1 + x_2^2*y_3 - x_3^2*y_2)/((x_1 - x_2)*(x_1 - x_3)*(x_2 - x_3)) - (x_1^2*y_2 - x_2^2*y_1 - x_1^2*y_5 + x_5^2*y_1 + x_2^2*y_5 - x_5^2*y_2)/((x_1 - x_2)*(x_1 - x_5)*(x_2 - x_5)))/((x_1^2*y_2^2 - x_1^2*y_3^2 - x_2^2*y_1^2 + x_2^2*y_3^2 + x_3^2*y_1^2 - x_3^2*y_2^2)/((x_1 - x_2)*(x_1 - x_3)*(x_2 - x_3)) - (x_1^2*y_2^2 - x_1^2*y_5^2 - x_2^2*y_1^2 + x_2^2*y_5^2 + x_5^2*y_1^2 - x_5^2*y_2^2)/((x_1 - x_2)*(x_1 - x_5)*(x_2 - x_5))))
如果使用solve，则：
ans =
(((x_2^2*y_3^2*z_4 - x_2^2*y_4^2*z_3 - x_3^2*y_2^2*z_4 + x_3^2*y_4^2*z_2 + x_4^2*y_2^2*z_3 - x_4^2*y_3^2*z_2 - x_2^2*y_3^2*z_5 + x_2^2*y_5^2*z_3 + x_3^2*y_2^2*z_5 - x_3^2*y_5^2*z_2 - x_5^2*y_2^2*z_3 + x_5^2*y_3^2*z_2 + x_2^2*y_4^2*z_5 - x_2^2*y_5^2*z_4 - x_4^2*y_2^2*z_5 + x_4^2*y_5^2*z_2 + x_5^2*y_2^2*z_4 - x_5^2*y_4^2*z_2 - x_3^2*y_4^2*z_5 + x_3^2*y_5^2*z_4 + x_4^2*y_3^2*z_5 - x_4^2*y_5^2*z_3 - x_5^2*y_3^2*z_4 + x_5^2*y_4^2*z_3)^2 + 4*(x_2*y_3^2*z_4 - x_2*y_4^2*z_3 - x_3*y_2^2*z_4 + x_3*y_4^2*z_2 + x_4*y_2^2*z_3 - x_4*y_3^2*z_2 - x_2*y_3^2*z_5 + x_2*y_5^2*z_3 + x_3*y_2^2*z_5 - x_3*y_5^2*z_2 - x_5*y_2^2*z_3 + x_5*y_3^2*z_2 + x_2*y_4^2*z_5 - x_2*y_5^2*z_4 - x_4*y_2^2*z_5 + x_4*y_5^2*z_2 + x_5*y_2^2*z_4 - x_5*y_4^2*z_2 - x_3*y_4^2*z_5 + x_3*y_5^2*z_4 + x_4*y_3^2*z_5 - x_4*y_5^2*z_3 - x_5*y_3^2*z_4 + x_5*y_4^2*z_3)*(x_2*x_3^2*y_1^2*z_4 - x_2*x_3^2*y_4^2*z_1 - x_2*x_4^2*y_1^2*z_3 + x_2*x_4^2*y_3^2*z_1 + x_3*x_4^2*y_1^2*z_2 - x_3*x_4^2*y_2^2*z_1 - x_2^2*x_3*y_1^2*z_4 + x_2^2*x_3*y_4^2*z_1 + x_2^2*x_4*y_1^2*z_3 - x_2^2*x_4*y_3^2*z_1 - x_3^2*x_4*y_1^2*z_2 + x_3^2*x_4*y_2^2*z_1 - x_2*x_3^2*y_1^2*z_5 + x_2*x_3^2*y_5^2*z_1 + x_2*x_5^2*y_1^2*z_3 - x_2*x_5^2*y_3^2*z_1 - x_3*x_5^2*y_1^2*z_2 + x_3*x_5^2*y_2^2*z_1 + x_2^2*x_3*y_1^2*z_5 - x_2^2*x_3*y_5^2*z_1 - x_2^2*x_5*y_1^2*z_3 + x_2^2*x_5*y_3^2*z_1 + x_3^2*x_5*y_1^2*z_2 - x_3^2*x_5*y_2^2*z_1 + x_2*x_4^2*y_1^2*z_5 - x_2*x_4^2*y_5^2*z_1 - x_2*x_5^2*y_1^2*z_4 + x_2*x_5^2*y_4^2*z_1 + x_4*x_5^2*y_1^2*z_2 - x_4*x_5^2*y_2^2*z_1 - x_2^2*x_4*y_1^2*z_5 + x_2^2*x_4*y_5^2*z_1 + x_2^2*x_5*y_1^2*z_4 - x_2^2*x_5*y_4^2*z_1 - x_4^2*x_5*y_1^2*z_2 + x_4^2*x_5*y_2^2*z_1 - x_3*x_4^2*y_1^2*z_5 + x_3*x_4^2*y_5^2*z_1 + x_3*x_5^2*y_1^2*z_4 - x_3*x_5^2*y_4^2*z_1 - x_4*x_5^2*y_1^2*z_3 + x_4*x_5^2*y_3^2*z_1 + x_3^2*x_4*y_1^2*z_5 - x_3^2*x_4*y_5^2*z_1 - x_3^2*x_5*y_1^2*z_4 + x_3^2*x_5*y_4^2*z_1 + x_4^2*x_5*y_1^2*z_3 - x_4^2*x_5*y_3^2*z_1 + x_2*x_3^2*y_4^2*z_5 - x_2*x_3^2*y_5^2*z_4 - x_2*x_4^2*y_3^2*z_5 + x_2*x_4^2*y_5^2*z_3 + x_2*x_5^2*y_3^2*z_4 - x_2*x_5^2*y_4^2*z_3 + x_3*x_4^2*y_2^2*z_5 - x_3*x_4^2*y_5^2*z_2 - x_3*x_5^2*y_2^2*z_4 + x_3*x_5^2*y_4^2*z_2 + x_4*x_5^2*y_2^2*z_3 - x_4*x_5^2*y_3^2*z_2 - x_2^2*x_3*y_4^2*z_5 + x_2^2*x_3*y_5^2*z_4 + x_2^2*x_4*y_3^2*z_5 - x_2^2*x_4*y_5^2*z_3 - x_2^2*x_5*y_3^2*z_4 + x_2^2*x_5*y_4^2*z_3 - x_3^2*x_4*y_2^2*z_5 + x_3^2*x_4*y_5^2*z_2 + x_3^2*x_5*y_2^2*z_4 - x_3^2*x_5*y_4^2*z_2 - x_4^2*x_5*y_2^2*z_3 + x_4^2*x_5*y_3^2*z_2))^(1/2) + x_2^2*y_3^2*z_4 - x_2^2*y_4^2*z_3 - x_3^2*y_2^2*z_4 + x_3^2*y_4^2*z_2 + x_4^2*y_2^2*z_3 - x_4^2*y_3^2*z_2 - x_2^2*y_3^2*z_5 + x_2^2*y_5^2*z_3 + x_3^2*y_2^2*z_5 - x_3^2*y_5^2*z_2 - x_5^2*y_2^2*z_3 + x_5^2*y_3^2*z_2 + x_2^2*y_4^2*z_5 - x_2^2*y_5^2*z_4 - x_4^2*y_2^2*z_5 + x_4^2*y_5^2*z_2 + x_5^2*y_2^2*z_4 - x_5^2*y_4^2*z_2 - x_3^2*y_4^2*z_5 + x_3^2*y_5^2*z_4 + x_4^2*y_3^2*z_5 - x_4^2*y_5^2*z_3 - x_5^2*y_3^2*z_4 + x_5^2*y_4^2*z_3)/(2*(x_2*y_3^2*z_4 - x_2*y_4^2*z_3 - x_3*y_2^2*z_4 + x_3*y_4^2*z_2 + x_4*y_2^2*z_3 - x_4*y_3^2*z_2 - x_2*y_3^2*z_5 + x_2*y_5^2*z_3 + x_3*y_2^2*z_5 - x_3*y_5^2*z_2 - x_5*y_2^2*z_3 + x_5*y_3^2*z_2 + x_2*y_4^2*z_5 - x_2*y_5^2*z_4 - x_4*y_2^2*z_5 + x_4*y_5^2*z_2 + x_5*y_2^2*z_4 - x_5*y_4^2*z_2 - x_3*y_4^2*z_5 + x_3*y_5^2*z_4 + x_4*y_3^2*z_5 - x_4*y_5^2*z_3 - x_5*y_3^2*z_4 + x_5*y_4^2*z_3))
-(((x_2^2*y_3^2*z_4 - x_2^2*y_4^2*z_3 - x_3^2*y_2^2*z_4 + x_3^2*y_4^2*z_2 + x_4^2*y_2^2*z_3 - x_4^2*y_3^2*z_2 - x_2^2*y_3^2*z_5 + x_2^2*y_5^2*z_3 + x_3^2*y_2^2*z_5 - x_3^2*y_5^2*z_2 - x_5^2*y_2^2*z_3 + x_5^2*y_3^2*z_2 + x_2^2*y_4^2*z_5 - x_2^2*y_5^2*z_4 - x_4^2*y_2^2*z_5 + x_4^2*y_5^2*z_2 + x_5^2*y_2^2*z_4 - x_5^2*y_4^2*z_2 - x_3^2*y_4^2*z_5 + x_3^2*y_5^2*z_4 + x_4^2*y_3^2*z_5 - x_4^2*y_5^2*z_3 - x_5^2*y_3^2*z_4 + x_5^2*y_4^2*z_3)^2 + 4*(x_2*y_3^2*z_4 - x_2*y_4^2*z_3 - x_3*y_2^2*z_4 + x_3*y_4^2*z_2 + x_4*y_2^2*z_3 - x_4*y_3^2*z_2 - x_2*y_3^2*z_5 + x_2*y_5^2*z_3 + x_3*y_2^2*z_5 - x_3*y_5^2*z_2 - x_5*y_2^2*z_3 + x_5*y_3^2*z_2 + x_2*y_4^2*z_5 - x_2*y_5^2*z_4 - x_4*y_2^2*z_5 + x_4*y_5^2*z_2 + x_5*y_2^2*z_4 - x_5*y_4^2*z_2 - x_3*y_4^2*z_5 + x_3*y_5^2*z_4 + x_4*y_3^2*z_5 - x_4*y_5^2*z_3 - x_5*y_3^2*z_4 + x_5*y_4^2*z_3)*(x_2*x_3^2*y_1^2*z_4 - x_2*x_3^2*y_4^2*z_1 - x_2*x_4^2*y_1^2*z_3 + x_2*x_4^2*y_3^2*z_1 + x_3*x_4^2*y_1^2*z_2 - x_3*x_4^2*y_2^2*z_1 - x_2^2*x_3*y_1^2*z_4 + x_2^2*x_3*y_4^2*z_1 + x_2^2*x_4*y_1^2*z_3 - x_2^2*x_4*y_3^2*z_1 - x_3^2*x_4*y_1^2*z_2 + x_3^2*x_4*y_2^2*z_1 - x_2*x_3^2*y_1^2*z_5 + x_2*x_3^2*y_5^2*z_1 + x_2*x_5^2*y_1^2*z_3 - x_2*x_5^2*y_3^2*z_1 - x_3*x_5^2*y_1^2*z_2 + x_3*x_5^2*y_2^2*z_1 + x_2^2*x_3*y_1^2*z_5 - x_2^2*x_3*y_5^2*z_1 - x_2^2*x_5*y_1^2*z_3 + x_2^2*x_5*y_3^2*z_1 + x_3^2*x_5*y_1^2*z_2 - x_3^2*x_5*y_2^2*z_1 + x_2*x_4^2*y_1^2*z_5 - x_2*x_4^2*y_5^2*z_1 - x_2*x_5^2*y_1^2*z_4 + x_2*x_5^2*y_4^2*z_1 + x_4*x_5^2*y_1^2*z_2 - x_4*x_5^2*y_2^2*z_1 - x_2^2*x_4*y_1^2*z_5 + x_2^2*x_4*y_5^2*z_1 + x_2^2*x_5*y_1^2*z_4 - x_2^2*x_5*y_4^2*z_1 - x_4^2*x_5*y_1^2*z_2 + x_4^2*x_5*y_2^2*z_1 - x_3*x_4^2*y_1^2*z_5 + x_3*x_4^2*y_5^2*z_1 + x_3*x_5^2*y_1^2*z_4 - x_3*x_5^2*y_4^2*z_1 - x_4*x_5^2*y_1^2*z_3 + x_4*x_5^2*y_3^2*z_1 + x_3^2*x_4*y_1^2*z_5 - x_3^2*x_4*y_5^2*z_1 - x_3^2*x_5*y_1^2*z_4 + x_3^2*x_5*y_4^2*z_1 + x_4^2*x_5*y_1^2*z_3 - x_4^2*x_5*y_3^2*z_1 + x_2*x_3^2*y_4^2*z_5 - x_2*x_3^2*y_5^2*z_4 - x_2*x_4^2*y_3^2*z_5 + x_2*x_4^2*y_5^2*z_3 + x_2*x_5^2*y_3^2*z_4 - x_2*x_5^2*y_4^2*z_3 + x_3*x_4^2*y_2^2*z_5 - x_3*x_4^2*y_5^2*z_2 - x_3*x_5^2*y_2^2*z_4 + x_3*x_5^2*y_4^2*z_2 + x_4*x_5^2*y_2^2*z_3 - x_4*x_5^2*y_3^2*z_2 - x_2^2*x_3*y_4^2*z_5 + x_2^2*x_3*y_5^2*z_4 + x_2^2*x_4*y_3^2*z_5 - x_2^2*x_4*y_5^2*z_3 - x_2^2*x_5*y_3^2*z_4 + x_2^2*x_5*y_4^2*z_3 - x_3^2*x_4*y_2^2*z_5 + x_3^2*x_4*y_5^2*z_2 + x_3^2*x_5*y_2^2*z_4 - x_3^2*x_5*y_4^2*z_2 - x_4^2*x_5*y_2^2*z_3 + x_4^2*x_5*y_3^2*z_2))^(1/2) - x_2^2*y_3^2*z_4 + x_2^2*y_4^2*z_3 + x_3^2*y_2^2*z_4 - x_3^2*y_4^2*z_2 - x_4^2*y_2^2*z_3 + x_4^2*y_3^2*z_2 + x_2^2*y_3^2*z_5 - x_2^2*y_5^2*z_3 - x_3^2*y_2^2*z_5 + x_3^2*y_5^2*z_2 + x_5^2*y_2^2*z_3 - x_5^2*y_3^2*z_2 - x_2^2*y_4^2*z_5 + x_2^2*y_5^2*z_4 + x_4^2*y_2^2*z_5 - x_4^2*y_5^2*z_2 - x_5^2*y_2^2*z_4 + x_5^2*y_4^2*z_2 + x_3^2*y_4^2*z_5 - x_3^2*y_5^2*z_4 - x_4^2*y_3^2*z_5 + x_4^2*y_5^2*z_3 + x_5^2*y_3^2*z_4 - x_5^2*y_4^2*z_3)/(2*(x_2*y_3^2*z_4 - x_2*y_4^2*z_3 - x_3*y_2^2*z_4 + x_3*y_4^2*z_2 + x_4*y_2^2*z_3 - x_4*y_3^2*z_2 - x_2*y_3^2*z_5 + x_2*y_5^2*z_3 + x_3*y_2^2*z_5 - x_3*y_5^2*z_2 - x_5*y_2^2*z_3 + x_5*y_3^2*z_2 + x_2*y_4^2*z_5 - x_2*y_5^2*z_4 - x_4*y_2^2*z_5 + x_4*y_5^2*z_2 + x_5*y_2^2*z_4 - x_5*y_4^2*z_2 - x_3*y_4^2*z_5 + x_3*y_5^2*z_4 + x_4*y_3^2*z_5 - x_4*y_5^2*z_3 - x_5*y_3^2*z_4 + x_5*y_4^2*z_3))
我需要一个除数最小的公式，因为我需要程序中计算的最大准确性
使用什么更好？同时，simplify方法产生的结果可以在视觉上简化。