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 r24737179 = x;
double r24737180 = y;
double r24737181 = r24737179 * r24737180;
double r24737182 = z;
double r24737183 = t;
double r24737184 = r24737182 * r24737183;
double r24737185 = r24737181 - r24737184;
double r24737186 = a;
double r24737187 = b;
double r24737188 = r24737186 * r24737187;
double r24737189 = c;
double r24737190 = i;
double r24737191 = r24737189 * r24737190;
double r24737192 = r24737188 - r24737191;
double r24737193 = r24737185 * r24737192;
double r24737194 = j;
double r24737195 = r24737179 * r24737194;
double r24737196 = k;
double r24737197 = r24737182 * r24737196;
double r24737198 = r24737195 - r24737197;
double r24737199 = y0;
double r24737200 = r24737199 * r24737187;
double r24737201 = y1;
double r24737202 = r24737201 * r24737190;
double r24737203 = r24737200 - r24737202;
double r24737204 = r24737198 * r24737203;
double r24737205 = r24737193 - r24737204;
double r24737206 = y2;
double r24737207 = r24737179 * r24737206;
double r24737208 = y3;
double r24737209 = r24737182 * r24737208;
double r24737210 = r24737207 - r24737209;
double r24737211 = r24737199 * r24737189;
double r24737212 = r24737201 * r24737186;
double r24737213 = r24737211 - r24737212;
double r24737214 = r24737210 * r24737213;
double r24737215 = r24737205 + r24737214;
double r24737216 = r24737183 * r24737194;
double r24737217 = r24737180 * r24737196;
double r24737218 = r24737216 - r24737217;
double r24737219 = y4;
double r24737220 = r24737219 * r24737187;
double r24737221 = y5;
double r24737222 = r24737221 * r24737190;
double r24737223 = r24737220 - r24737222;
double r24737224 = r24737218 * r24737223;
double r24737225 = r24737215 + r24737224;
double r24737226 = r24737183 * r24737206;
double r24737227 = r24737180 * r24737208;
double r24737228 = r24737226 - r24737227;
double r24737229 = r24737219 * r24737189;
double r24737230 = r24737221 * r24737186;
double r24737231 = r24737229 - r24737230;
double r24737232 = r24737228 * r24737231;
double r24737233 = r24737225 - r24737232;
double r24737234 = r24737196 * r24737206;
double r24737235 = r24737194 * r24737208;
double r24737236 = r24737234 - r24737235;
double r24737237 = r24737219 * r24737201;
double r24737238 = r24737221 * r24737199;
double r24737239 = r24737237 - r24737238;
double r24737240 = r24737236 * r24737239;
double r24737241 = r24737233 + r24737240;
return r24737241;
}
herbie shell --seed 2019158 +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)))))