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 r22510096 = x;
double r22510097 = y;
double r22510098 = r22510096 * r22510097;
double r22510099 = z;
double r22510100 = t;
double r22510101 = r22510099 * r22510100;
double r22510102 = r22510098 - r22510101;
double r22510103 = a;
double r22510104 = b;
double r22510105 = r22510103 * r22510104;
double r22510106 = c;
double r22510107 = i;
double r22510108 = r22510106 * r22510107;
double r22510109 = r22510105 - r22510108;
double r22510110 = r22510102 * r22510109;
double r22510111 = j;
double r22510112 = r22510096 * r22510111;
double r22510113 = k;
double r22510114 = r22510099 * r22510113;
double r22510115 = r22510112 - r22510114;
double r22510116 = y0;
double r22510117 = r22510116 * r22510104;
double r22510118 = y1;
double r22510119 = r22510118 * r22510107;
double r22510120 = r22510117 - r22510119;
double r22510121 = r22510115 * r22510120;
double r22510122 = r22510110 - r22510121;
double r22510123 = y2;
double r22510124 = r22510096 * r22510123;
double r22510125 = y3;
double r22510126 = r22510099 * r22510125;
double r22510127 = r22510124 - r22510126;
double r22510128 = r22510116 * r22510106;
double r22510129 = r22510118 * r22510103;
double r22510130 = r22510128 - r22510129;
double r22510131 = r22510127 * r22510130;
double r22510132 = r22510122 + r22510131;
double r22510133 = r22510100 * r22510111;
double r22510134 = r22510097 * r22510113;
double r22510135 = r22510133 - r22510134;
double r22510136 = y4;
double r22510137 = r22510136 * r22510104;
double r22510138 = y5;
double r22510139 = r22510138 * r22510107;
double r22510140 = r22510137 - r22510139;
double r22510141 = r22510135 * r22510140;
double r22510142 = r22510132 + r22510141;
double r22510143 = r22510100 * r22510123;
double r22510144 = r22510097 * r22510125;
double r22510145 = r22510143 - r22510144;
double r22510146 = r22510136 * r22510106;
double r22510147 = r22510138 * r22510103;
double r22510148 = r22510146 - r22510147;
double r22510149 = r22510145 * r22510148;
double r22510150 = r22510142 - r22510149;
double r22510151 = r22510113 * r22510123;
double r22510152 = r22510111 * r22510125;
double r22510153 = r22510151 - r22510152;
double r22510154 = r22510136 * r22510118;
double r22510155 = r22510138 * r22510116;
double r22510156 = r22510154 - r22510155;
double r22510157 = r22510153 * r22510156;
double r22510158 = r22510150 + r22510157;
return r22510158;
}
herbie shell --seed 2019192 +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)))))