Timeout in 10.0m

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)\]
\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 r2885147 = x;
        double r2885148 = y;
        double r2885149 = r2885147 * r2885148;
        double r2885150 = z;
        double r2885151 = t;
        double r2885152 = r2885150 * r2885151;
        double r2885153 = r2885149 - r2885152;
        double r2885154 = a;
        double r2885155 = b;
        double r2885156 = r2885154 * r2885155;
        double r2885157 = c;
        double r2885158 = i;
        double r2885159 = r2885157 * r2885158;
        double r2885160 = r2885156 - r2885159;
        double r2885161 = r2885153 * r2885160;
        double r2885162 = j;
        double r2885163 = r2885147 * r2885162;
        double r2885164 = k;
        double r2885165 = r2885150 * r2885164;
        double r2885166 = r2885163 - r2885165;
        double r2885167 = y0;
        double r2885168 = r2885167 * r2885155;
        double r2885169 = y1;
        double r2885170 = r2885169 * r2885158;
        double r2885171 = r2885168 - r2885170;
        double r2885172 = r2885166 * r2885171;
        double r2885173 = r2885161 - r2885172;
        double r2885174 = y2;
        double r2885175 = r2885147 * r2885174;
        double r2885176 = y3;
        double r2885177 = r2885150 * r2885176;
        double r2885178 = r2885175 - r2885177;
        double r2885179 = r2885167 * r2885157;
        double r2885180 = r2885169 * r2885154;
        double r2885181 = r2885179 - r2885180;
        double r2885182 = r2885178 * r2885181;
        double r2885183 = r2885173 + r2885182;
        double r2885184 = r2885151 * r2885162;
        double r2885185 = r2885148 * r2885164;
        double r2885186 = r2885184 - r2885185;
        double r2885187 = y4;
        double r2885188 = r2885187 * r2885155;
        double r2885189 = y5;
        double r2885190 = r2885189 * r2885158;
        double r2885191 = r2885188 - r2885190;
        double r2885192 = r2885186 * r2885191;
        double r2885193 = r2885183 + r2885192;
        double r2885194 = r2885151 * r2885174;
        double r2885195 = r2885148 * r2885176;
        double r2885196 = r2885194 - r2885195;
        double r2885197 = r2885187 * r2885157;
        double r2885198 = r2885189 * r2885154;
        double r2885199 = r2885197 - r2885198;
        double r2885200 = r2885196 * r2885199;
        double r2885201 = r2885193 - r2885200;
        double r2885202 = r2885164 * r2885174;
        double r2885203 = r2885162 * r2885176;
        double r2885204 = r2885202 - r2885203;
        double r2885205 = r2885187 * r2885169;
        double r2885206 = r2885189 * r2885167;
        double r2885207 = r2885205 - r2885206;
        double r2885208 = r2885204 * r2885207;
        double r2885209 = r2885201 + r2885208;
        return r2885209;
}

Reproduce

herbie shell --seed 2019169 +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"
  (+ (- (+ (+ (- (* (- (* 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)))))