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 r22178657 = x;
double r22178658 = y;
double r22178659 = r22178657 * r22178658;
double r22178660 = z;
double r22178661 = t;
double r22178662 = r22178660 * r22178661;
double r22178663 = r22178659 - r22178662;
double r22178664 = a;
double r22178665 = b;
double r22178666 = r22178664 * r22178665;
double r22178667 = c;
double r22178668 = i;
double r22178669 = r22178667 * r22178668;
double r22178670 = r22178666 - r22178669;
double r22178671 = r22178663 * r22178670;
double r22178672 = j;
double r22178673 = r22178657 * r22178672;
double r22178674 = k;
double r22178675 = r22178660 * r22178674;
double r22178676 = r22178673 - r22178675;
double r22178677 = y0;
double r22178678 = r22178677 * r22178665;
double r22178679 = y1;
double r22178680 = r22178679 * r22178668;
double r22178681 = r22178678 - r22178680;
double r22178682 = r22178676 * r22178681;
double r22178683 = r22178671 - r22178682;
double r22178684 = y2;
double r22178685 = r22178657 * r22178684;
double r22178686 = y3;
double r22178687 = r22178660 * r22178686;
double r22178688 = r22178685 - r22178687;
double r22178689 = r22178677 * r22178667;
double r22178690 = r22178679 * r22178664;
double r22178691 = r22178689 - r22178690;
double r22178692 = r22178688 * r22178691;
double r22178693 = r22178683 + r22178692;
double r22178694 = r22178661 * r22178672;
double r22178695 = r22178658 * r22178674;
double r22178696 = r22178694 - r22178695;
double r22178697 = y4;
double r22178698 = r22178697 * r22178665;
double r22178699 = y5;
double r22178700 = r22178699 * r22178668;
double r22178701 = r22178698 - r22178700;
double r22178702 = r22178696 * r22178701;
double r22178703 = r22178693 + r22178702;
double r22178704 = r22178661 * r22178684;
double r22178705 = r22178658 * r22178686;
double r22178706 = r22178704 - r22178705;
double r22178707 = r22178697 * r22178667;
double r22178708 = r22178699 * r22178664;
double r22178709 = r22178707 - r22178708;
double r22178710 = r22178706 * r22178709;
double r22178711 = r22178703 - r22178710;
double r22178712 = r22178674 * r22178684;
double r22178713 = r22178672 * r22178686;
double r22178714 = r22178712 - r22178713;
double r22178715 = r22178697 * r22178679;
double r22178716 = r22178699 * r22178677;
double r22178717 = r22178715 - r22178716;
double r22178718 = r22178714 * r22178717;
double r22178719 = r22178711 + r22178718;
return r22178719;
}
herbie shell --seed 2019169 +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)))))