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 r20491547 = x;
double r20491548 = y;
double r20491549 = r20491547 * r20491548;
double r20491550 = z;
double r20491551 = t;
double r20491552 = r20491550 * r20491551;
double r20491553 = r20491549 - r20491552;
double r20491554 = a;
double r20491555 = b;
double r20491556 = r20491554 * r20491555;
double r20491557 = c;
double r20491558 = i;
double r20491559 = r20491557 * r20491558;
double r20491560 = r20491556 - r20491559;
double r20491561 = r20491553 * r20491560;
double r20491562 = j;
double r20491563 = r20491547 * r20491562;
double r20491564 = k;
double r20491565 = r20491550 * r20491564;
double r20491566 = r20491563 - r20491565;
double r20491567 = y0;
double r20491568 = r20491567 * r20491555;
double r20491569 = y1;
double r20491570 = r20491569 * r20491558;
double r20491571 = r20491568 - r20491570;
double r20491572 = r20491566 * r20491571;
double r20491573 = r20491561 - r20491572;
double r20491574 = y2;
double r20491575 = r20491547 * r20491574;
double r20491576 = y3;
double r20491577 = r20491550 * r20491576;
double r20491578 = r20491575 - r20491577;
double r20491579 = r20491567 * r20491557;
double r20491580 = r20491569 * r20491554;
double r20491581 = r20491579 - r20491580;
double r20491582 = r20491578 * r20491581;
double r20491583 = r20491573 + r20491582;
double r20491584 = r20491551 * r20491562;
double r20491585 = r20491548 * r20491564;
double r20491586 = r20491584 - r20491585;
double r20491587 = y4;
double r20491588 = r20491587 * r20491555;
double r20491589 = y5;
double r20491590 = r20491589 * r20491558;
double r20491591 = r20491588 - r20491590;
double r20491592 = r20491586 * r20491591;
double r20491593 = r20491583 + r20491592;
double r20491594 = r20491551 * r20491574;
double r20491595 = r20491548 * r20491576;
double r20491596 = r20491594 - r20491595;
double r20491597 = r20491587 * r20491557;
double r20491598 = r20491589 * r20491554;
double r20491599 = r20491597 - r20491598;
double r20491600 = r20491596 * r20491599;
double r20491601 = r20491593 - r20491600;
double r20491602 = r20491564 * r20491574;
double r20491603 = r20491562 * r20491576;
double r20491604 = r20491602 - r20491603;
double r20491605 = r20491587 * r20491569;
double r20491606 = r20491589 * r20491567;
double r20491607 = r20491605 - r20491606;
double r20491608 = r20491604 * r20491607;
double r20491609 = r20491601 + r20491608;
return r20491609;
}
herbie shell --seed 2019171 +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)))))