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 r21230068 = x;
double r21230069 = y;
double r21230070 = r21230068 * r21230069;
double r21230071 = z;
double r21230072 = t;
double r21230073 = r21230071 * r21230072;
double r21230074 = r21230070 - r21230073;
double r21230075 = a;
double r21230076 = b;
double r21230077 = r21230075 * r21230076;
double r21230078 = c;
double r21230079 = i;
double r21230080 = r21230078 * r21230079;
double r21230081 = r21230077 - r21230080;
double r21230082 = r21230074 * r21230081;
double r21230083 = j;
double r21230084 = r21230068 * r21230083;
double r21230085 = k;
double r21230086 = r21230071 * r21230085;
double r21230087 = r21230084 - r21230086;
double r21230088 = y0;
double r21230089 = r21230088 * r21230076;
double r21230090 = y1;
double r21230091 = r21230090 * r21230079;
double r21230092 = r21230089 - r21230091;
double r21230093 = r21230087 * r21230092;
double r21230094 = r21230082 - r21230093;
double r21230095 = y2;
double r21230096 = r21230068 * r21230095;
double r21230097 = y3;
double r21230098 = r21230071 * r21230097;
double r21230099 = r21230096 - r21230098;
double r21230100 = r21230088 * r21230078;
double r21230101 = r21230090 * r21230075;
double r21230102 = r21230100 - r21230101;
double r21230103 = r21230099 * r21230102;
double r21230104 = r21230094 + r21230103;
double r21230105 = r21230072 * r21230083;
double r21230106 = r21230069 * r21230085;
double r21230107 = r21230105 - r21230106;
double r21230108 = y4;
double r21230109 = r21230108 * r21230076;
double r21230110 = y5;
double r21230111 = r21230110 * r21230079;
double r21230112 = r21230109 - r21230111;
double r21230113 = r21230107 * r21230112;
double r21230114 = r21230104 + r21230113;
double r21230115 = r21230072 * r21230095;
double r21230116 = r21230069 * r21230097;
double r21230117 = r21230115 - r21230116;
double r21230118 = r21230108 * r21230078;
double r21230119 = r21230110 * r21230075;
double r21230120 = r21230118 - r21230119;
double r21230121 = r21230117 * r21230120;
double r21230122 = r21230114 - r21230121;
double r21230123 = r21230085 * r21230095;
double r21230124 = r21230083 * r21230097;
double r21230125 = r21230123 - r21230124;
double r21230126 = r21230108 * r21230090;
double r21230127 = r21230110 * r21230088;
double r21230128 = r21230126 - r21230127;
double r21230129 = r21230125 * r21230128;
double r21230130 = r21230122 + r21230129;
return r21230130;
}
herbie shell --seed 2019179 +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)))))