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 r24545026 = x;
double r24545027 = y;
double r24545028 = r24545026 * r24545027;
double r24545029 = z;
double r24545030 = t;
double r24545031 = r24545029 * r24545030;
double r24545032 = r24545028 - r24545031;
double r24545033 = a;
double r24545034 = b;
double r24545035 = r24545033 * r24545034;
double r24545036 = c;
double r24545037 = i;
double r24545038 = r24545036 * r24545037;
double r24545039 = r24545035 - r24545038;
double r24545040 = r24545032 * r24545039;
double r24545041 = j;
double r24545042 = r24545026 * r24545041;
double r24545043 = k;
double r24545044 = r24545029 * r24545043;
double r24545045 = r24545042 - r24545044;
double r24545046 = y0;
double r24545047 = r24545046 * r24545034;
double r24545048 = y1;
double r24545049 = r24545048 * r24545037;
double r24545050 = r24545047 - r24545049;
double r24545051 = r24545045 * r24545050;
double r24545052 = r24545040 - r24545051;
double r24545053 = y2;
double r24545054 = r24545026 * r24545053;
double r24545055 = y3;
double r24545056 = r24545029 * r24545055;
double r24545057 = r24545054 - r24545056;
double r24545058 = r24545046 * r24545036;
double r24545059 = r24545048 * r24545033;
double r24545060 = r24545058 - r24545059;
double r24545061 = r24545057 * r24545060;
double r24545062 = r24545052 + r24545061;
double r24545063 = r24545030 * r24545041;
double r24545064 = r24545027 * r24545043;
double r24545065 = r24545063 - r24545064;
double r24545066 = y4;
double r24545067 = r24545066 * r24545034;
double r24545068 = y5;
double r24545069 = r24545068 * r24545037;
double r24545070 = r24545067 - r24545069;
double r24545071 = r24545065 * r24545070;
double r24545072 = r24545062 + r24545071;
double r24545073 = r24545030 * r24545053;
double r24545074 = r24545027 * r24545055;
double r24545075 = r24545073 - r24545074;
double r24545076 = r24545066 * r24545036;
double r24545077 = r24545068 * r24545033;
double r24545078 = r24545076 - r24545077;
double r24545079 = r24545075 * r24545078;
double r24545080 = r24545072 - r24545079;
double r24545081 = r24545043 * r24545053;
double r24545082 = r24545041 * r24545055;
double r24545083 = r24545081 - r24545082;
double r24545084 = r24545066 * r24545048;
double r24545085 = r24545068 * r24545046;
double r24545086 = r24545084 - r24545085;
double r24545087 = r24545083 * r24545086;
double r24545088 = r24545080 + r24545087;
return r24545088;
}
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 (- (* 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)))))