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 r2068140 = x;
double r2068141 = y;
double r2068142 = r2068140 * r2068141;
double r2068143 = z;
double r2068144 = t;
double r2068145 = r2068143 * r2068144;
double r2068146 = r2068142 - r2068145;
double r2068147 = a;
double r2068148 = b;
double r2068149 = r2068147 * r2068148;
double r2068150 = c;
double r2068151 = i;
double r2068152 = r2068150 * r2068151;
double r2068153 = r2068149 - r2068152;
double r2068154 = r2068146 * r2068153;
double r2068155 = j;
double r2068156 = r2068140 * r2068155;
double r2068157 = k;
double r2068158 = r2068143 * r2068157;
double r2068159 = r2068156 - r2068158;
double r2068160 = y0;
double r2068161 = r2068160 * r2068148;
double r2068162 = y1;
double r2068163 = r2068162 * r2068151;
double r2068164 = r2068161 - r2068163;
double r2068165 = r2068159 * r2068164;
double r2068166 = r2068154 - r2068165;
double r2068167 = y2;
double r2068168 = r2068140 * r2068167;
double r2068169 = y3;
double r2068170 = r2068143 * r2068169;
double r2068171 = r2068168 - r2068170;
double r2068172 = r2068160 * r2068150;
double r2068173 = r2068162 * r2068147;
double r2068174 = r2068172 - r2068173;
double r2068175 = r2068171 * r2068174;
double r2068176 = r2068166 + r2068175;
double r2068177 = r2068144 * r2068155;
double r2068178 = r2068141 * r2068157;
double r2068179 = r2068177 - r2068178;
double r2068180 = y4;
double r2068181 = r2068180 * r2068148;
double r2068182 = y5;
double r2068183 = r2068182 * r2068151;
double r2068184 = r2068181 - r2068183;
double r2068185 = r2068179 * r2068184;
double r2068186 = r2068176 + r2068185;
double r2068187 = r2068144 * r2068167;
double r2068188 = r2068141 * r2068169;
double r2068189 = r2068187 - r2068188;
double r2068190 = r2068180 * r2068150;
double r2068191 = r2068182 * r2068147;
double r2068192 = r2068190 - r2068191;
double r2068193 = r2068189 * r2068192;
double r2068194 = r2068186 - r2068193;
double r2068195 = r2068157 * r2068167;
double r2068196 = r2068155 * r2068169;
double r2068197 = r2068195 - r2068196;
double r2068198 = r2068180 * r2068162;
double r2068199 = r2068182 * r2068160;
double r2068200 = r2068198 - r2068199;
double r2068201 = r2068197 * r2068200;
double r2068202 = r2068194 + r2068201;
return r2068202;
}
herbie shell --seed 2020047 +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"
:precision binary64
: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)))))