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 r3516174 = x;
        double r3516175 = y;
        double r3516176 = r3516174 * r3516175;
        double r3516177 = z;
        double r3516178 = t;
        double r3516179 = r3516177 * r3516178;
        double r3516180 = r3516176 - r3516179;
        double r3516181 = a;
        double r3516182 = b;
        double r3516183 = r3516181 * r3516182;
        double r3516184 = c;
        double r3516185 = i;
        double r3516186 = r3516184 * r3516185;
        double r3516187 = r3516183 - r3516186;
        double r3516188 = r3516180 * r3516187;
        double r3516189 = j;
        double r3516190 = r3516174 * r3516189;
        double r3516191 = k;
        double r3516192 = r3516177 * r3516191;
        double r3516193 = r3516190 - r3516192;
        double r3516194 = y0;
        double r3516195 = r3516194 * r3516182;
        double r3516196 = y1;
        double r3516197 = r3516196 * r3516185;
        double r3516198 = r3516195 - r3516197;
        double r3516199 = r3516193 * r3516198;
        double r3516200 = r3516188 - r3516199;
        double r3516201 = y2;
        double r3516202 = r3516174 * r3516201;
        double r3516203 = y3;
        double r3516204 = r3516177 * r3516203;
        double r3516205 = r3516202 - r3516204;
        double r3516206 = r3516194 * r3516184;
        double r3516207 = r3516196 * r3516181;
        double r3516208 = r3516206 - r3516207;
        double r3516209 = r3516205 * r3516208;
        double r3516210 = r3516200 + r3516209;
        double r3516211 = r3516178 * r3516189;
        double r3516212 = r3516175 * r3516191;
        double r3516213 = r3516211 - r3516212;
        double r3516214 = y4;
        double r3516215 = r3516214 * r3516182;
        double r3516216 = y5;
        double r3516217 = r3516216 * r3516185;
        double r3516218 = r3516215 - r3516217;
        double r3516219 = r3516213 * r3516218;
        double r3516220 = r3516210 + r3516219;
        double r3516221 = r3516178 * r3516201;
        double r3516222 = r3516175 * r3516203;
        double r3516223 = r3516221 - r3516222;
        double r3516224 = r3516214 * r3516184;
        double r3516225 = r3516216 * r3516181;
        double r3516226 = r3516224 - r3516225;
        double r3516227 = r3516223 * r3516226;
        double r3516228 = r3516220 - r3516227;
        double r3516229 = r3516191 * r3516201;
        double r3516230 = r3516189 * r3516203;
        double r3516231 = r3516229 - r3516230;
        double r3516232 = r3516214 * r3516196;
        double r3516233 = r3516216 * r3516194;
        double r3516234 = r3516232 - r3516233;
        double r3516235 = r3516231 * r3516234;
        double r3516236 = r3516228 + r3516235;
        return r3516236;
}

Reproduce

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"
  (+ (- (+ (+ (- (* (- (* 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)))))