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 r20137291 = x;
double r20137292 = y;
double r20137293 = r20137291 * r20137292;
double r20137294 = z;
double r20137295 = t;
double r20137296 = r20137294 * r20137295;
double r20137297 = r20137293 - r20137296;
double r20137298 = a;
double r20137299 = b;
double r20137300 = r20137298 * r20137299;
double r20137301 = c;
double r20137302 = i;
double r20137303 = r20137301 * r20137302;
double r20137304 = r20137300 - r20137303;
double r20137305 = r20137297 * r20137304;
double r20137306 = j;
double r20137307 = r20137291 * r20137306;
double r20137308 = k;
double r20137309 = r20137294 * r20137308;
double r20137310 = r20137307 - r20137309;
double r20137311 = y0;
double r20137312 = r20137311 * r20137299;
double r20137313 = y1;
double r20137314 = r20137313 * r20137302;
double r20137315 = r20137312 - r20137314;
double r20137316 = r20137310 * r20137315;
double r20137317 = r20137305 - r20137316;
double r20137318 = y2;
double r20137319 = r20137291 * r20137318;
double r20137320 = y3;
double r20137321 = r20137294 * r20137320;
double r20137322 = r20137319 - r20137321;
double r20137323 = r20137311 * r20137301;
double r20137324 = r20137313 * r20137298;
double r20137325 = r20137323 - r20137324;
double r20137326 = r20137322 * r20137325;
double r20137327 = r20137317 + r20137326;
double r20137328 = r20137295 * r20137306;
double r20137329 = r20137292 * r20137308;
double r20137330 = r20137328 - r20137329;
double r20137331 = y4;
double r20137332 = r20137331 * r20137299;
double r20137333 = y5;
double r20137334 = r20137333 * r20137302;
double r20137335 = r20137332 - r20137334;
double r20137336 = r20137330 * r20137335;
double r20137337 = r20137327 + r20137336;
double r20137338 = r20137295 * r20137318;
double r20137339 = r20137292 * r20137320;
double r20137340 = r20137338 - r20137339;
double r20137341 = r20137331 * r20137301;
double r20137342 = r20137333 * r20137298;
double r20137343 = r20137341 - r20137342;
double r20137344 = r20137340 * r20137343;
double r20137345 = r20137337 - r20137344;
double r20137346 = r20137308 * r20137318;
double r20137347 = r20137306 * r20137320;
double r20137348 = r20137346 - r20137347;
double r20137349 = r20137331 * r20137313;
double r20137350 = r20137333 * r20137311;
double r20137351 = r20137349 - r20137350;
double r20137352 = r20137348 * r20137351;
double r20137353 = r20137345 + r20137352;
return r20137353;
}
herbie shell --seed 2019172 +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)))))