Use the --timeout flag to change the timeout.
\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)
double f(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) {
double r8132378 = x;
double r8132379 = y;
double r8132380 = r8132378 * r8132379;
double r8132381 = z;
double r8132382 = t;
double r8132383 = r8132381 * r8132382;
double r8132384 = r8132380 - r8132383;
double r8132385 = a;
double r8132386 = b;
double r8132387 = r8132385 * r8132386;
double r8132388 = c;
double r8132389 = i;
double r8132390 = r8132388 * r8132389;
double r8132391 = r8132387 - r8132390;
double r8132392 = r8132384 * r8132391;
double r8132393 = j;
double r8132394 = r8132378 * r8132393;
double r8132395 = k;
double r8132396 = r8132381 * r8132395;
double r8132397 = r8132394 - r8132396;
double r8132398 = y0;
double r8132399 = r8132398 * r8132386;
double r8132400 = y1;
double r8132401 = r8132400 * r8132389;
double r8132402 = r8132399 - r8132401;
double r8132403 = r8132397 * r8132402;
double r8132404 = r8132392 - r8132403;
double r8132405 = y2;
double r8132406 = r8132378 * r8132405;
double r8132407 = y3;
double r8132408 = r8132381 * r8132407;
double r8132409 = r8132406 - r8132408;
double r8132410 = r8132398 * r8132388;
double r8132411 = r8132400 * r8132385;
double r8132412 = r8132410 - r8132411;
double r8132413 = r8132409 * r8132412;
double r8132414 = r8132404 + r8132413;
double r8132415 = r8132382 * r8132393;
double r8132416 = r8132379 * r8132395;
double r8132417 = r8132415 - r8132416;
double r8132418 = y4;
double r8132419 = r8132418 * r8132386;
double r8132420 = y5;
double r8132421 = r8132420 * r8132389;
double r8132422 = r8132419 - r8132421;
double r8132423 = r8132417 * r8132422;
double r8132424 = r8132414 + r8132423;
double r8132425 = r8132382 * r8132405;
double r8132426 = r8132379 * r8132407;
double r8132427 = r8132425 - r8132426;
double r8132428 = r8132418 * r8132388;
double r8132429 = r8132420 * r8132385;
double r8132430 = r8132428 - r8132429;
double r8132431 = r8132427 * r8132430;
double r8132432 = r8132424 - r8132431;
double r8132433 = r8132395 * r8132405;
double r8132434 = r8132393 * r8132407;
double r8132435 = r8132433 - r8132434;
double r8132436 = r8132418 * r8132400;
double r8132437 = r8132420 * r8132398;
double r8132438 = r8132436 - r8132437;
double r8132439 = r8132435 * r8132438;
double r8132440 = r8132432 + r8132439;
return r8132440;
}
herbie shell --seed 2019156 +o rules:numerics
(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
:name "Linear.Matrix:det44 from linear-1.19.1.3"
:herbie-target
(if (< y4 -7.206256231996481e+60) (- (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))))) (- (/ (- (* y2 t) (* y3 y)) (/ 1 (- (* y4 c) (* y5 a)))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (if (< y4 -3.364603505246317e-66) (+ (- (- (- (* (* t c) (* i z)) (* (* a t) (* b z))) (* (* y c) (* i x))) (* (- (* b y0) (* i y1)) (- (* j x) (* k z)))) (- (* (- (* y0 c) (* a y1)) (- (* x y2) (* z y3))) (- (* (- (* t y2) (* y y3)) (- (* y4 c) (* a y5))) (* (- (* y1 y4) (* y5 y0)) (- (* k y2) (* j y3)))))) (if (< y4 -1.2000065055686116e-105) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 6.718963124057495e-279) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (if (< y4 4.77962681403792e-222) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 2.2852241541266835e-175) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (- (* k (* i (* z y1))) (+ (* j (* i (* x y1))) (* y0 (* k (* z b)))))) (- (* z (* y3 (* a y1))) (+ (* y2 (* x (* a y1))) (* y0 (* z (* c y3)))))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))))))))
(+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))))