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 r27259239 = x;
double r27259240 = y;
double r27259241 = r27259239 * r27259240;
double r27259242 = z;
double r27259243 = t;
double r27259244 = r27259242 * r27259243;
double r27259245 = r27259241 - r27259244;
double r27259246 = a;
double r27259247 = b;
double r27259248 = r27259246 * r27259247;
double r27259249 = c;
double r27259250 = i;
double r27259251 = r27259249 * r27259250;
double r27259252 = r27259248 - r27259251;
double r27259253 = r27259245 * r27259252;
double r27259254 = j;
double r27259255 = r27259239 * r27259254;
double r27259256 = k;
double r27259257 = r27259242 * r27259256;
double r27259258 = r27259255 - r27259257;
double r27259259 = y0;
double r27259260 = r27259259 * r27259247;
double r27259261 = y1;
double r27259262 = r27259261 * r27259250;
double r27259263 = r27259260 - r27259262;
double r27259264 = r27259258 * r27259263;
double r27259265 = r27259253 - r27259264;
double r27259266 = y2;
double r27259267 = r27259239 * r27259266;
double r27259268 = y3;
double r27259269 = r27259242 * r27259268;
double r27259270 = r27259267 - r27259269;
double r27259271 = r27259259 * r27259249;
double r27259272 = r27259261 * r27259246;
double r27259273 = r27259271 - r27259272;
double r27259274 = r27259270 * r27259273;
double r27259275 = r27259265 + r27259274;
double r27259276 = r27259243 * r27259254;
double r27259277 = r27259240 * r27259256;
double r27259278 = r27259276 - r27259277;
double r27259279 = y4;
double r27259280 = r27259279 * r27259247;
double r27259281 = y5;
double r27259282 = r27259281 * r27259250;
double r27259283 = r27259280 - r27259282;
double r27259284 = r27259278 * r27259283;
double r27259285 = r27259275 + r27259284;
double r27259286 = r27259243 * r27259266;
double r27259287 = r27259240 * r27259268;
double r27259288 = r27259286 - r27259287;
double r27259289 = r27259279 * r27259249;
double r27259290 = r27259281 * r27259246;
double r27259291 = r27259289 - r27259290;
double r27259292 = r27259288 * r27259291;
double r27259293 = r27259285 - r27259292;
double r27259294 = r27259256 * r27259266;
double r27259295 = r27259254 * r27259268;
double r27259296 = r27259294 - r27259295;
double r27259297 = r27259279 * r27259261;
double r27259298 = r27259281 * r27259259;
double r27259299 = r27259297 - r27259298;
double r27259300 = r27259296 * r27259299;
double r27259301 = r27259293 + r27259300;
return r27259301;
}
herbie shell --seed 2019163 +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)))))