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 r3179085 = x;
        double r3179086 = y;
        double r3179087 = r3179085 * r3179086;
        double r3179088 = z;
        double r3179089 = t;
        double r3179090 = r3179088 * r3179089;
        double r3179091 = r3179087 - r3179090;
        double r3179092 = a;
        double r3179093 = b;
        double r3179094 = r3179092 * r3179093;
        double r3179095 = c;
        double r3179096 = i;
        double r3179097 = r3179095 * r3179096;
        double r3179098 = r3179094 - r3179097;
        double r3179099 = r3179091 * r3179098;
        double r3179100 = j;
        double r3179101 = r3179085 * r3179100;
        double r3179102 = k;
        double r3179103 = r3179088 * r3179102;
        double r3179104 = r3179101 - r3179103;
        double r3179105 = y0;
        double r3179106 = r3179105 * r3179093;
        double r3179107 = y1;
        double r3179108 = r3179107 * r3179096;
        double r3179109 = r3179106 - r3179108;
        double r3179110 = r3179104 * r3179109;
        double r3179111 = r3179099 - r3179110;
        double r3179112 = y2;
        double r3179113 = r3179085 * r3179112;
        double r3179114 = y3;
        double r3179115 = r3179088 * r3179114;
        double r3179116 = r3179113 - r3179115;
        double r3179117 = r3179105 * r3179095;
        double r3179118 = r3179107 * r3179092;
        double r3179119 = r3179117 - r3179118;
        double r3179120 = r3179116 * r3179119;
        double r3179121 = r3179111 + r3179120;
        double r3179122 = r3179089 * r3179100;
        double r3179123 = r3179086 * r3179102;
        double r3179124 = r3179122 - r3179123;
        double r3179125 = y4;
        double r3179126 = r3179125 * r3179093;
        double r3179127 = y5;
        double r3179128 = r3179127 * r3179096;
        double r3179129 = r3179126 - r3179128;
        double r3179130 = r3179124 * r3179129;
        double r3179131 = r3179121 + r3179130;
        double r3179132 = r3179089 * r3179112;
        double r3179133 = r3179086 * r3179114;
        double r3179134 = r3179132 - r3179133;
        double r3179135 = r3179125 * r3179095;
        double r3179136 = r3179127 * r3179092;
        double r3179137 = r3179135 - r3179136;
        double r3179138 = r3179134 * r3179137;
        double r3179139 = r3179131 - r3179138;
        double r3179140 = r3179102 * r3179112;
        double r3179141 = r3179100 * r3179114;
        double r3179142 = r3179140 - r3179141;
        double r3179143 = r3179125 * r3179107;
        double r3179144 = r3179127 * r3179105;
        double r3179145 = r3179143 - r3179144;
        double r3179146 = r3179142 * r3179145;
        double r3179147 = r3179139 + r3179146;
        return r3179147;
}

Reproduce

herbie shell --seed 2019171 +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)))))