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 r3164744 = x;
        double r3164745 = y;
        double r3164746 = r3164744 * r3164745;
        double r3164747 = z;
        double r3164748 = t;
        double r3164749 = r3164747 * r3164748;
        double r3164750 = r3164746 - r3164749;
        double r3164751 = a;
        double r3164752 = b;
        double r3164753 = r3164751 * r3164752;
        double r3164754 = c;
        double r3164755 = i;
        double r3164756 = r3164754 * r3164755;
        double r3164757 = r3164753 - r3164756;
        double r3164758 = r3164750 * r3164757;
        double r3164759 = j;
        double r3164760 = r3164744 * r3164759;
        double r3164761 = k;
        double r3164762 = r3164747 * r3164761;
        double r3164763 = r3164760 - r3164762;
        double r3164764 = y0;
        double r3164765 = r3164764 * r3164752;
        double r3164766 = y1;
        double r3164767 = r3164766 * r3164755;
        double r3164768 = r3164765 - r3164767;
        double r3164769 = r3164763 * r3164768;
        double r3164770 = r3164758 - r3164769;
        double r3164771 = y2;
        double r3164772 = r3164744 * r3164771;
        double r3164773 = y3;
        double r3164774 = r3164747 * r3164773;
        double r3164775 = r3164772 - r3164774;
        double r3164776 = r3164764 * r3164754;
        double r3164777 = r3164766 * r3164751;
        double r3164778 = r3164776 - r3164777;
        double r3164779 = r3164775 * r3164778;
        double r3164780 = r3164770 + r3164779;
        double r3164781 = r3164748 * r3164759;
        double r3164782 = r3164745 * r3164761;
        double r3164783 = r3164781 - r3164782;
        double r3164784 = y4;
        double r3164785 = r3164784 * r3164752;
        double r3164786 = y5;
        double r3164787 = r3164786 * r3164755;
        double r3164788 = r3164785 - r3164787;
        double r3164789 = r3164783 * r3164788;
        double r3164790 = r3164780 + r3164789;
        double r3164791 = r3164748 * r3164771;
        double r3164792 = r3164745 * r3164773;
        double r3164793 = r3164791 - r3164792;
        double r3164794 = r3164784 * r3164754;
        double r3164795 = r3164786 * r3164751;
        double r3164796 = r3164794 - r3164795;
        double r3164797 = r3164793 * r3164796;
        double r3164798 = r3164790 - r3164797;
        double r3164799 = r3164761 * r3164771;
        double r3164800 = r3164759 * r3164773;
        double r3164801 = r3164799 - r3164800;
        double r3164802 = r3164784 * r3164766;
        double r3164803 = r3164786 * r3164764;
        double r3164804 = r3164802 - r3164803;
        double r3164805 = r3164801 * r3164804;
        double r3164806 = r3164798 + r3164805;
        return r3164806;
}

Reproduce

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