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 r2748757 = x;
        double r2748758 = y;
        double r2748759 = r2748757 * r2748758;
        double r2748760 = z;
        double r2748761 = t;
        double r2748762 = r2748760 * r2748761;
        double r2748763 = r2748759 - r2748762;
        double r2748764 = a;
        double r2748765 = b;
        double r2748766 = r2748764 * r2748765;
        double r2748767 = c;
        double r2748768 = i;
        double r2748769 = r2748767 * r2748768;
        double r2748770 = r2748766 - r2748769;
        double r2748771 = r2748763 * r2748770;
        double r2748772 = j;
        double r2748773 = r2748757 * r2748772;
        double r2748774 = k;
        double r2748775 = r2748760 * r2748774;
        double r2748776 = r2748773 - r2748775;
        double r2748777 = y0;
        double r2748778 = r2748777 * r2748765;
        double r2748779 = y1;
        double r2748780 = r2748779 * r2748768;
        double r2748781 = r2748778 - r2748780;
        double r2748782 = r2748776 * r2748781;
        double r2748783 = r2748771 - r2748782;
        double r2748784 = y2;
        double r2748785 = r2748757 * r2748784;
        double r2748786 = y3;
        double r2748787 = r2748760 * r2748786;
        double r2748788 = r2748785 - r2748787;
        double r2748789 = r2748777 * r2748767;
        double r2748790 = r2748779 * r2748764;
        double r2748791 = r2748789 - r2748790;
        double r2748792 = r2748788 * r2748791;
        double r2748793 = r2748783 + r2748792;
        double r2748794 = r2748761 * r2748772;
        double r2748795 = r2748758 * r2748774;
        double r2748796 = r2748794 - r2748795;
        double r2748797 = y4;
        double r2748798 = r2748797 * r2748765;
        double r2748799 = y5;
        double r2748800 = r2748799 * r2748768;
        double r2748801 = r2748798 - r2748800;
        double r2748802 = r2748796 * r2748801;
        double r2748803 = r2748793 + r2748802;
        double r2748804 = r2748761 * r2748784;
        double r2748805 = r2748758 * r2748786;
        double r2748806 = r2748804 - r2748805;
        double r2748807 = r2748797 * r2748767;
        double r2748808 = r2748799 * r2748764;
        double r2748809 = r2748807 - r2748808;
        double r2748810 = r2748806 * r2748809;
        double r2748811 = r2748803 - r2748810;
        double r2748812 = r2748774 * r2748784;
        double r2748813 = r2748772 * r2748786;
        double r2748814 = r2748812 - r2748813;
        double r2748815 = r2748797 * r2748779;
        double r2748816 = r2748799 * r2748777;
        double r2748817 = r2748815 - r2748816;
        double r2748818 = r2748814 * r2748817;
        double r2748819 = r2748811 + r2748818;
        return r2748819;
}

Reproduce

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