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 r9545762 = x;
        double r9545763 = y;
        double r9545764 = r9545762 * r9545763;
        double r9545765 = z;
        double r9545766 = t;
        double r9545767 = r9545765 * r9545766;
        double r9545768 = r9545764 - r9545767;
        double r9545769 = a;
        double r9545770 = b;
        double r9545771 = r9545769 * r9545770;
        double r9545772 = c;
        double r9545773 = i;
        double r9545774 = r9545772 * r9545773;
        double r9545775 = r9545771 - r9545774;
        double r9545776 = r9545768 * r9545775;
        double r9545777 = j;
        double r9545778 = r9545762 * r9545777;
        double r9545779 = k;
        double r9545780 = r9545765 * r9545779;
        double r9545781 = r9545778 - r9545780;
        double r9545782 = y0;
        double r9545783 = r9545782 * r9545770;
        double r9545784 = y1;
        double r9545785 = r9545784 * r9545773;
        double r9545786 = r9545783 - r9545785;
        double r9545787 = r9545781 * r9545786;
        double r9545788 = r9545776 - r9545787;
        double r9545789 = y2;
        double r9545790 = r9545762 * r9545789;
        double r9545791 = y3;
        double r9545792 = r9545765 * r9545791;
        double r9545793 = r9545790 - r9545792;
        double r9545794 = r9545782 * r9545772;
        double r9545795 = r9545784 * r9545769;
        double r9545796 = r9545794 - r9545795;
        double r9545797 = r9545793 * r9545796;
        double r9545798 = r9545788 + r9545797;
        double r9545799 = r9545766 * r9545777;
        double r9545800 = r9545763 * r9545779;
        double r9545801 = r9545799 - r9545800;
        double r9545802 = y4;
        double r9545803 = r9545802 * r9545770;
        double r9545804 = y5;
        double r9545805 = r9545804 * r9545773;
        double r9545806 = r9545803 - r9545805;
        double r9545807 = r9545801 * r9545806;
        double r9545808 = r9545798 + r9545807;
        double r9545809 = r9545766 * r9545789;
        double r9545810 = r9545763 * r9545791;
        double r9545811 = r9545809 - r9545810;
        double r9545812 = r9545802 * r9545772;
        double r9545813 = r9545804 * r9545769;
        double r9545814 = r9545812 - r9545813;
        double r9545815 = r9545811 * r9545814;
        double r9545816 = r9545808 - r9545815;
        double r9545817 = r9545779 * r9545789;
        double r9545818 = r9545777 * r9545791;
        double r9545819 = r9545817 - r9545818;
        double r9545820 = r9545802 * r9545784;
        double r9545821 = r9545804 * r9545782;
        double r9545822 = r9545820 - r9545821;
        double r9545823 = r9545819 * r9545822;
        double r9545824 = r9545816 + r9545823;
        return r9545824;
}

Reproduce

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