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 r21882226 = x;
double r21882227 = y;
double r21882228 = r21882226 * r21882227;
double r21882229 = z;
double r21882230 = t;
double r21882231 = r21882229 * r21882230;
double r21882232 = r21882228 - r21882231;
double r21882233 = a;
double r21882234 = b;
double r21882235 = r21882233 * r21882234;
double r21882236 = c;
double r21882237 = i;
double r21882238 = r21882236 * r21882237;
double r21882239 = r21882235 - r21882238;
double r21882240 = r21882232 * r21882239;
double r21882241 = j;
double r21882242 = r21882226 * r21882241;
double r21882243 = k;
double r21882244 = r21882229 * r21882243;
double r21882245 = r21882242 - r21882244;
double r21882246 = y0;
double r21882247 = r21882246 * r21882234;
double r21882248 = y1;
double r21882249 = r21882248 * r21882237;
double r21882250 = r21882247 - r21882249;
double r21882251 = r21882245 * r21882250;
double r21882252 = r21882240 - r21882251;
double r21882253 = y2;
double r21882254 = r21882226 * r21882253;
double r21882255 = y3;
double r21882256 = r21882229 * r21882255;
double r21882257 = r21882254 - r21882256;
double r21882258 = r21882246 * r21882236;
double r21882259 = r21882248 * r21882233;
double r21882260 = r21882258 - r21882259;
double r21882261 = r21882257 * r21882260;
double r21882262 = r21882252 + r21882261;
double r21882263 = r21882230 * r21882241;
double r21882264 = r21882227 * r21882243;
double r21882265 = r21882263 - r21882264;
double r21882266 = y4;
double r21882267 = r21882266 * r21882234;
double r21882268 = y5;
double r21882269 = r21882268 * r21882237;
double r21882270 = r21882267 - r21882269;
double r21882271 = r21882265 * r21882270;
double r21882272 = r21882262 + r21882271;
double r21882273 = r21882230 * r21882253;
double r21882274 = r21882227 * r21882255;
double r21882275 = r21882273 - r21882274;
double r21882276 = r21882266 * r21882236;
double r21882277 = r21882268 * r21882233;
double r21882278 = r21882276 - r21882277;
double r21882279 = r21882275 * r21882278;
double r21882280 = r21882272 - r21882279;
double r21882281 = r21882243 * r21882253;
double r21882282 = r21882241 * r21882255;
double r21882283 = r21882281 - r21882282;
double r21882284 = r21882266 * r21882248;
double r21882285 = r21882268 * r21882246;
double r21882286 = r21882284 - r21882285;
double r21882287 = r21882283 * r21882286;
double r21882288 = r21882280 + r21882287;
return r21882288;
}
herbie shell --seed 2019168 +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)))))