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 r20775362 = x;
double r20775363 = y;
double r20775364 = r20775362 * r20775363;
double r20775365 = z;
double r20775366 = t;
double r20775367 = r20775365 * r20775366;
double r20775368 = r20775364 - r20775367;
double r20775369 = a;
double r20775370 = b;
double r20775371 = r20775369 * r20775370;
double r20775372 = c;
double r20775373 = i;
double r20775374 = r20775372 * r20775373;
double r20775375 = r20775371 - r20775374;
double r20775376 = r20775368 * r20775375;
double r20775377 = j;
double r20775378 = r20775362 * r20775377;
double r20775379 = k;
double r20775380 = r20775365 * r20775379;
double r20775381 = r20775378 - r20775380;
double r20775382 = y0;
double r20775383 = r20775382 * r20775370;
double r20775384 = y1;
double r20775385 = r20775384 * r20775373;
double r20775386 = r20775383 - r20775385;
double r20775387 = r20775381 * r20775386;
double r20775388 = r20775376 - r20775387;
double r20775389 = y2;
double r20775390 = r20775362 * r20775389;
double r20775391 = y3;
double r20775392 = r20775365 * r20775391;
double r20775393 = r20775390 - r20775392;
double r20775394 = r20775382 * r20775372;
double r20775395 = r20775384 * r20775369;
double r20775396 = r20775394 - r20775395;
double r20775397 = r20775393 * r20775396;
double r20775398 = r20775388 + r20775397;
double r20775399 = r20775366 * r20775377;
double r20775400 = r20775363 * r20775379;
double r20775401 = r20775399 - r20775400;
double r20775402 = y4;
double r20775403 = r20775402 * r20775370;
double r20775404 = y5;
double r20775405 = r20775404 * r20775373;
double r20775406 = r20775403 - r20775405;
double r20775407 = r20775401 * r20775406;
double r20775408 = r20775398 + r20775407;
double r20775409 = r20775366 * r20775389;
double r20775410 = r20775363 * r20775391;
double r20775411 = r20775409 - r20775410;
double r20775412 = r20775402 * r20775372;
double r20775413 = r20775404 * r20775369;
double r20775414 = r20775412 - r20775413;
double r20775415 = r20775411 * r20775414;
double r20775416 = r20775408 - r20775415;
double r20775417 = r20775379 * r20775389;
double r20775418 = r20775377 * r20775391;
double r20775419 = r20775417 - r20775418;
double r20775420 = r20775402 * r20775384;
double r20775421 = r20775404 * r20775382;
double r20775422 = r20775420 - r20775421;
double r20775423 = r20775419 * r20775422;
double r20775424 = r20775416 + r20775423;
return r20775424;
}
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)))))