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 r23247451 = x;
double r23247452 = y;
double r23247453 = r23247451 * r23247452;
double r23247454 = z;
double r23247455 = t;
double r23247456 = r23247454 * r23247455;
double r23247457 = r23247453 - r23247456;
double r23247458 = a;
double r23247459 = b;
double r23247460 = r23247458 * r23247459;
double r23247461 = c;
double r23247462 = i;
double r23247463 = r23247461 * r23247462;
double r23247464 = r23247460 - r23247463;
double r23247465 = r23247457 * r23247464;
double r23247466 = j;
double r23247467 = r23247451 * r23247466;
double r23247468 = k;
double r23247469 = r23247454 * r23247468;
double r23247470 = r23247467 - r23247469;
double r23247471 = y0;
double r23247472 = r23247471 * r23247459;
double r23247473 = y1;
double r23247474 = r23247473 * r23247462;
double r23247475 = r23247472 - r23247474;
double r23247476 = r23247470 * r23247475;
double r23247477 = r23247465 - r23247476;
double r23247478 = y2;
double r23247479 = r23247451 * r23247478;
double r23247480 = y3;
double r23247481 = r23247454 * r23247480;
double r23247482 = r23247479 - r23247481;
double r23247483 = r23247471 * r23247461;
double r23247484 = r23247473 * r23247458;
double r23247485 = r23247483 - r23247484;
double r23247486 = r23247482 * r23247485;
double r23247487 = r23247477 + r23247486;
double r23247488 = r23247455 * r23247466;
double r23247489 = r23247452 * r23247468;
double r23247490 = r23247488 - r23247489;
double r23247491 = y4;
double r23247492 = r23247491 * r23247459;
double r23247493 = y5;
double r23247494 = r23247493 * r23247462;
double r23247495 = r23247492 - r23247494;
double r23247496 = r23247490 * r23247495;
double r23247497 = r23247487 + r23247496;
double r23247498 = r23247455 * r23247478;
double r23247499 = r23247452 * r23247480;
double r23247500 = r23247498 - r23247499;
double r23247501 = r23247491 * r23247461;
double r23247502 = r23247493 * r23247458;
double r23247503 = r23247501 - r23247502;
double r23247504 = r23247500 * r23247503;
double r23247505 = r23247497 - r23247504;
double r23247506 = r23247468 * r23247478;
double r23247507 = r23247466 * r23247480;
double r23247508 = r23247506 - r23247507;
double r23247509 = r23247491 * r23247473;
double r23247510 = r23247493 * r23247471;
double r23247511 = r23247509 - r23247510;
double r23247512 = r23247508 * r23247511;
double r23247513 = r23247505 + r23247512;
return r23247513;
}
herbie shell --seed 2019164 +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)))))