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 r3950096 = x;
        double r3950097 = y;
        double r3950098 = r3950096 * r3950097;
        double r3950099 = z;
        double r3950100 = t;
        double r3950101 = r3950099 * r3950100;
        double r3950102 = r3950098 - r3950101;
        double r3950103 = a;
        double r3950104 = b;
        double r3950105 = r3950103 * r3950104;
        double r3950106 = c;
        double r3950107 = i;
        double r3950108 = r3950106 * r3950107;
        double r3950109 = r3950105 - r3950108;
        double r3950110 = r3950102 * r3950109;
        double r3950111 = j;
        double r3950112 = r3950096 * r3950111;
        double r3950113 = k;
        double r3950114 = r3950099 * r3950113;
        double r3950115 = r3950112 - r3950114;
        double r3950116 = y0;
        double r3950117 = r3950116 * r3950104;
        double r3950118 = y1;
        double r3950119 = r3950118 * r3950107;
        double r3950120 = r3950117 - r3950119;
        double r3950121 = r3950115 * r3950120;
        double r3950122 = r3950110 - r3950121;
        double r3950123 = y2;
        double r3950124 = r3950096 * r3950123;
        double r3950125 = y3;
        double r3950126 = r3950099 * r3950125;
        double r3950127 = r3950124 - r3950126;
        double r3950128 = r3950116 * r3950106;
        double r3950129 = r3950118 * r3950103;
        double r3950130 = r3950128 - r3950129;
        double r3950131 = r3950127 * r3950130;
        double r3950132 = r3950122 + r3950131;
        double r3950133 = r3950100 * r3950111;
        double r3950134 = r3950097 * r3950113;
        double r3950135 = r3950133 - r3950134;
        double r3950136 = y4;
        double r3950137 = r3950136 * r3950104;
        double r3950138 = y5;
        double r3950139 = r3950138 * r3950107;
        double r3950140 = r3950137 - r3950139;
        double r3950141 = r3950135 * r3950140;
        double r3950142 = r3950132 + r3950141;
        double r3950143 = r3950100 * r3950123;
        double r3950144 = r3950097 * r3950125;
        double r3950145 = r3950143 - r3950144;
        double r3950146 = r3950136 * r3950106;
        double r3950147 = r3950138 * r3950103;
        double r3950148 = r3950146 - r3950147;
        double r3950149 = r3950145 * r3950148;
        double r3950150 = r3950142 - r3950149;
        double r3950151 = r3950113 * r3950123;
        double r3950152 = r3950111 * r3950125;
        double r3950153 = r3950151 - r3950152;
        double r3950154 = r3950136 * r3950118;
        double r3950155 = r3950138 * r3950116;
        double r3950156 = r3950154 - r3950155;
        double r3950157 = r3950153 * r3950156;
        double r3950158 = r3950150 + r3950157;
        return r3950158;
}

Reproduce

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