Как упростить формулу в 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 дает результат, который можно визуально упростить.