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 r22248513 = x;
double r22248514 = y;
double r22248515 = r22248513 * r22248514;
double r22248516 = z;
double r22248517 = t;
double r22248518 = r22248516 * r22248517;
double r22248519 = r22248515 - r22248518;
double r22248520 = a;
double r22248521 = b;
double r22248522 = r22248520 * r22248521;
double r22248523 = c;
double r22248524 = i;
double r22248525 = r22248523 * r22248524;
double r22248526 = r22248522 - r22248525;
double r22248527 = r22248519 * r22248526;
double r22248528 = j;
double r22248529 = r22248513 * r22248528;
double r22248530 = k;
double r22248531 = r22248516 * r22248530;
double r22248532 = r22248529 - r22248531;
double r22248533 = y0;
double r22248534 = r22248533 * r22248521;
double r22248535 = y1;
double r22248536 = r22248535 * r22248524;
double r22248537 = r22248534 - r22248536;
double r22248538 = r22248532 * r22248537;
double r22248539 = r22248527 - r22248538;
double r22248540 = y2;
double r22248541 = r22248513 * r22248540;
double r22248542 = y3;
double r22248543 = r22248516 * r22248542;
double r22248544 = r22248541 - r22248543;
double r22248545 = r22248533 * r22248523;
double r22248546 = r22248535 * r22248520;
double r22248547 = r22248545 - r22248546;
double r22248548 = r22248544 * r22248547;
double r22248549 = r22248539 + r22248548;
double r22248550 = r22248517 * r22248528;
double r22248551 = r22248514 * r22248530;
double r22248552 = r22248550 - r22248551;
double r22248553 = y4;
double r22248554 = r22248553 * r22248521;
double r22248555 = y5;
double r22248556 = r22248555 * r22248524;
double r22248557 = r22248554 - r22248556;
double r22248558 = r22248552 * r22248557;
double r22248559 = r22248549 + r22248558;
double r22248560 = r22248517 * r22248540;
double r22248561 = r22248514 * r22248542;
double r22248562 = r22248560 - r22248561;
double r22248563 = r22248553 * r22248523;
double r22248564 = r22248555 * r22248520;
double r22248565 = r22248563 - r22248564;
double r22248566 = r22248562 * r22248565;
double r22248567 = r22248559 - r22248566;
double r22248568 = r22248530 * r22248540;
double r22248569 = r22248528 * r22248542;
double r22248570 = r22248568 - r22248569;
double r22248571 = r22248553 * r22248535;
double r22248572 = r22248555 * r22248533;
double r22248573 = r22248571 - r22248572;
double r22248574 = r22248570 * r22248573;
double r22248575 = r22248567 + r22248574;
return r22248575;
}
herbie shell --seed 2019172 +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.0 (- (* 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)))))