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 r13460643 = x;
        double r13460644 = y;
        double r13460645 = r13460643 * r13460644;
        double r13460646 = z;
        double r13460647 = t;
        double r13460648 = r13460646 * r13460647;
        double r13460649 = r13460645 - r13460648;
        double r13460650 = a;
        double r13460651 = b;
        double r13460652 = r13460650 * r13460651;
        double r13460653 = c;
        double r13460654 = i;
        double r13460655 = r13460653 * r13460654;
        double r13460656 = r13460652 - r13460655;
        double r13460657 = r13460649 * r13460656;
        double r13460658 = j;
        double r13460659 = r13460643 * r13460658;
        double r13460660 = k;
        double r13460661 = r13460646 * r13460660;
        double r13460662 = r13460659 - r13460661;
        double r13460663 = y0;
        double r13460664 = r13460663 * r13460651;
        double r13460665 = y1;
        double r13460666 = r13460665 * r13460654;
        double r13460667 = r13460664 - r13460666;
        double r13460668 = r13460662 * r13460667;
        double r13460669 = r13460657 - r13460668;
        double r13460670 = y2;
        double r13460671 = r13460643 * r13460670;
        double r13460672 = y3;
        double r13460673 = r13460646 * r13460672;
        double r13460674 = r13460671 - r13460673;
        double r13460675 = r13460663 * r13460653;
        double r13460676 = r13460665 * r13460650;
        double r13460677 = r13460675 - r13460676;
        double r13460678 = r13460674 * r13460677;
        double r13460679 = r13460669 + r13460678;
        double r13460680 = r13460647 * r13460658;
        double r13460681 = r13460644 * r13460660;
        double r13460682 = r13460680 - r13460681;
        double r13460683 = y4;
        double r13460684 = r13460683 * r13460651;
        double r13460685 = y5;
        double r13460686 = r13460685 * r13460654;
        double r13460687 = r13460684 - r13460686;
        double r13460688 = r13460682 * r13460687;
        double r13460689 = r13460679 + r13460688;
        double r13460690 = r13460647 * r13460670;
        double r13460691 = r13460644 * r13460672;
        double r13460692 = r13460690 - r13460691;
        double r13460693 = r13460683 * r13460653;
        double r13460694 = r13460685 * r13460650;
        double r13460695 = r13460693 - r13460694;
        double r13460696 = r13460692 * r13460695;
        double r13460697 = r13460689 - r13460696;
        double r13460698 = r13460660 * r13460670;
        double r13460699 = r13460658 * r13460672;
        double r13460700 = r13460698 - r13460699;
        double r13460701 = r13460683 * r13460665;
        double r13460702 = r13460685 * r13460663;
        double r13460703 = r13460701 - r13460702;
        double r13460704 = r13460700 * r13460703;
        double r13460705 = r13460697 + r13460704;
        return r13460705;
}

Reproduce

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