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 r2898053 = x;
        double r2898054 = y;
        double r2898055 = r2898053 * r2898054;
        double r2898056 = z;
        double r2898057 = t;
        double r2898058 = r2898056 * r2898057;
        double r2898059 = r2898055 - r2898058;
        double r2898060 = a;
        double r2898061 = b;
        double r2898062 = r2898060 * r2898061;
        double r2898063 = c;
        double r2898064 = i;
        double r2898065 = r2898063 * r2898064;
        double r2898066 = r2898062 - r2898065;
        double r2898067 = r2898059 * r2898066;
        double r2898068 = j;
        double r2898069 = r2898053 * r2898068;
        double r2898070 = k;
        double r2898071 = r2898056 * r2898070;
        double r2898072 = r2898069 - r2898071;
        double r2898073 = y0;
        double r2898074 = r2898073 * r2898061;
        double r2898075 = y1;
        double r2898076 = r2898075 * r2898064;
        double r2898077 = r2898074 - r2898076;
        double r2898078 = r2898072 * r2898077;
        double r2898079 = r2898067 - r2898078;
        double r2898080 = y2;
        double r2898081 = r2898053 * r2898080;
        double r2898082 = y3;
        double r2898083 = r2898056 * r2898082;
        double r2898084 = r2898081 - r2898083;
        double r2898085 = r2898073 * r2898063;
        double r2898086 = r2898075 * r2898060;
        double r2898087 = r2898085 - r2898086;
        double r2898088 = r2898084 * r2898087;
        double r2898089 = r2898079 + r2898088;
        double r2898090 = r2898057 * r2898068;
        double r2898091 = r2898054 * r2898070;
        double r2898092 = r2898090 - r2898091;
        double r2898093 = y4;
        double r2898094 = r2898093 * r2898061;
        double r2898095 = y5;
        double r2898096 = r2898095 * r2898064;
        double r2898097 = r2898094 - r2898096;
        double r2898098 = r2898092 * r2898097;
        double r2898099 = r2898089 + r2898098;
        double r2898100 = r2898057 * r2898080;
        double r2898101 = r2898054 * r2898082;
        double r2898102 = r2898100 - r2898101;
        double r2898103 = r2898093 * r2898063;
        double r2898104 = r2898095 * r2898060;
        double r2898105 = r2898103 - r2898104;
        double r2898106 = r2898102 * r2898105;
        double r2898107 = r2898099 - r2898106;
        double r2898108 = r2898070 * r2898080;
        double r2898109 = r2898068 * r2898082;
        double r2898110 = r2898108 - r2898109;
        double r2898111 = r2898093 * r2898075;
        double r2898112 = r2898095 * r2898073;
        double r2898113 = r2898111 - r2898112;
        double r2898114 = r2898110 * r2898113;
        double r2898115 = r2898107 + r2898114;
        return r2898115;
}

Reproduce

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