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 r21526422 = x;
double r21526423 = y;
double r21526424 = r21526422 * r21526423;
double r21526425 = z;
double r21526426 = t;
double r21526427 = r21526425 * r21526426;
double r21526428 = r21526424 - r21526427;
double r21526429 = a;
double r21526430 = b;
double r21526431 = r21526429 * r21526430;
double r21526432 = c;
double r21526433 = i;
double r21526434 = r21526432 * r21526433;
double r21526435 = r21526431 - r21526434;
double r21526436 = r21526428 * r21526435;
double r21526437 = j;
double r21526438 = r21526422 * r21526437;
double r21526439 = k;
double r21526440 = r21526425 * r21526439;
double r21526441 = r21526438 - r21526440;
double r21526442 = y0;
double r21526443 = r21526442 * r21526430;
double r21526444 = y1;
double r21526445 = r21526444 * r21526433;
double r21526446 = r21526443 - r21526445;
double r21526447 = r21526441 * r21526446;
double r21526448 = r21526436 - r21526447;
double r21526449 = y2;
double r21526450 = r21526422 * r21526449;
double r21526451 = y3;
double r21526452 = r21526425 * r21526451;
double r21526453 = r21526450 - r21526452;
double r21526454 = r21526442 * r21526432;
double r21526455 = r21526444 * r21526429;
double r21526456 = r21526454 - r21526455;
double r21526457 = r21526453 * r21526456;
double r21526458 = r21526448 + r21526457;
double r21526459 = r21526426 * r21526437;
double r21526460 = r21526423 * r21526439;
double r21526461 = r21526459 - r21526460;
double r21526462 = y4;
double r21526463 = r21526462 * r21526430;
double r21526464 = y5;
double r21526465 = r21526464 * r21526433;
double r21526466 = r21526463 - r21526465;
double r21526467 = r21526461 * r21526466;
double r21526468 = r21526458 + r21526467;
double r21526469 = r21526426 * r21526449;
double r21526470 = r21526423 * r21526451;
double r21526471 = r21526469 - r21526470;
double r21526472 = r21526462 * r21526432;
double r21526473 = r21526464 * r21526429;
double r21526474 = r21526472 - r21526473;
double r21526475 = r21526471 * r21526474;
double r21526476 = r21526468 - r21526475;
double r21526477 = r21526439 * r21526449;
double r21526478 = r21526437 * r21526451;
double r21526479 = r21526477 - r21526478;
double r21526480 = r21526462 * r21526444;
double r21526481 = r21526464 * r21526442;
double r21526482 = r21526480 - r21526481;
double r21526483 = r21526479 * r21526482;
double r21526484 = r21526476 + r21526483;
return r21526484;
}
herbie shell --seed 2019163 +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)))))