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 r24349485 = x;
double r24349486 = y;
double r24349487 = r24349485 * r24349486;
double r24349488 = z;
double r24349489 = t;
double r24349490 = r24349488 * r24349489;
double r24349491 = r24349487 - r24349490;
double r24349492 = a;
double r24349493 = b;
double r24349494 = r24349492 * r24349493;
double r24349495 = c;
double r24349496 = i;
double r24349497 = r24349495 * r24349496;
double r24349498 = r24349494 - r24349497;
double r24349499 = r24349491 * r24349498;
double r24349500 = j;
double r24349501 = r24349485 * r24349500;
double r24349502 = k;
double r24349503 = r24349488 * r24349502;
double r24349504 = r24349501 - r24349503;
double r24349505 = y0;
double r24349506 = r24349505 * r24349493;
double r24349507 = y1;
double r24349508 = r24349507 * r24349496;
double r24349509 = r24349506 - r24349508;
double r24349510 = r24349504 * r24349509;
double r24349511 = r24349499 - r24349510;
double r24349512 = y2;
double r24349513 = r24349485 * r24349512;
double r24349514 = y3;
double r24349515 = r24349488 * r24349514;
double r24349516 = r24349513 - r24349515;
double r24349517 = r24349505 * r24349495;
double r24349518 = r24349507 * r24349492;
double r24349519 = r24349517 - r24349518;
double r24349520 = r24349516 * r24349519;
double r24349521 = r24349511 + r24349520;
double r24349522 = r24349489 * r24349500;
double r24349523 = r24349486 * r24349502;
double r24349524 = r24349522 - r24349523;
double r24349525 = y4;
double r24349526 = r24349525 * r24349493;
double r24349527 = y5;
double r24349528 = r24349527 * r24349496;
double r24349529 = r24349526 - r24349528;
double r24349530 = r24349524 * r24349529;
double r24349531 = r24349521 + r24349530;
double r24349532 = r24349489 * r24349512;
double r24349533 = r24349486 * r24349514;
double r24349534 = r24349532 - r24349533;
double r24349535 = r24349525 * r24349495;
double r24349536 = r24349527 * r24349492;
double r24349537 = r24349535 - r24349536;
double r24349538 = r24349534 * r24349537;
double r24349539 = r24349531 - r24349538;
double r24349540 = r24349502 * r24349512;
double r24349541 = r24349500 * r24349514;
double r24349542 = r24349540 - r24349541;
double r24349543 = r24349525 * r24349507;
double r24349544 = r24349527 * r24349505;
double r24349545 = r24349543 - r24349544;
double r24349546 = r24349542 * r24349545;
double r24349547 = r24349539 + r24349546;
return r24349547;
}
herbie shell --seed 2019162 +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)))))