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 r21761603 = x;
double r21761604 = y;
double r21761605 = r21761603 * r21761604;
double r21761606 = z;
double r21761607 = t;
double r21761608 = r21761606 * r21761607;
double r21761609 = r21761605 - r21761608;
double r21761610 = a;
double r21761611 = b;
double r21761612 = r21761610 * r21761611;
double r21761613 = c;
double r21761614 = i;
double r21761615 = r21761613 * r21761614;
double r21761616 = r21761612 - r21761615;
double r21761617 = r21761609 * r21761616;
double r21761618 = j;
double r21761619 = r21761603 * r21761618;
double r21761620 = k;
double r21761621 = r21761606 * r21761620;
double r21761622 = r21761619 - r21761621;
double r21761623 = y0;
double r21761624 = r21761623 * r21761611;
double r21761625 = y1;
double r21761626 = r21761625 * r21761614;
double r21761627 = r21761624 - r21761626;
double r21761628 = r21761622 * r21761627;
double r21761629 = r21761617 - r21761628;
double r21761630 = y2;
double r21761631 = r21761603 * r21761630;
double r21761632 = y3;
double r21761633 = r21761606 * r21761632;
double r21761634 = r21761631 - r21761633;
double r21761635 = r21761623 * r21761613;
double r21761636 = r21761625 * r21761610;
double r21761637 = r21761635 - r21761636;
double r21761638 = r21761634 * r21761637;
double r21761639 = r21761629 + r21761638;
double r21761640 = r21761607 * r21761618;
double r21761641 = r21761604 * r21761620;
double r21761642 = r21761640 - r21761641;
double r21761643 = y4;
double r21761644 = r21761643 * r21761611;
double r21761645 = y5;
double r21761646 = r21761645 * r21761614;
double r21761647 = r21761644 - r21761646;
double r21761648 = r21761642 * r21761647;
double r21761649 = r21761639 + r21761648;
double r21761650 = r21761607 * r21761630;
double r21761651 = r21761604 * r21761632;
double r21761652 = r21761650 - r21761651;
double r21761653 = r21761643 * r21761613;
double r21761654 = r21761645 * r21761610;
double r21761655 = r21761653 - r21761654;
double r21761656 = r21761652 * r21761655;
double r21761657 = r21761649 - r21761656;
double r21761658 = r21761620 * r21761630;
double r21761659 = r21761618 * r21761632;
double r21761660 = r21761658 - r21761659;
double r21761661 = r21761643 * r21761625;
double r21761662 = r21761645 * r21761623;
double r21761663 = r21761661 - r21761662;
double r21761664 = r21761660 * r21761663;
double r21761665 = r21761657 + r21761664;
return r21761665;
}
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)))))