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)
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 r21876791 = x;
double r21876792 = y;
double r21876793 = r21876791 * r21876792;
double r21876794 = z;
double r21876795 = t;
double r21876796 = r21876794 * r21876795;
double r21876797 = r21876793 - r21876796;
double r21876798 = a;
double r21876799 = b;
double r21876800 = r21876798 * r21876799;
double r21876801 = c;
double r21876802 = i;
double r21876803 = r21876801 * r21876802;
double r21876804 = r21876800 - r21876803;
double r21876805 = r21876797 * r21876804;
double r21876806 = j;
double r21876807 = r21876791 * r21876806;
double r21876808 = k;
double r21876809 = r21876794 * r21876808;
double r21876810 = r21876807 - r21876809;
double r21876811 = y0;
double r21876812 = r21876811 * r21876799;
double r21876813 = y1;
double r21876814 = r21876813 * r21876802;
double r21876815 = r21876812 - r21876814;
double r21876816 = r21876810 * r21876815;
double r21876817 = r21876805 - r21876816;
double r21876818 = y2;
double r21876819 = r21876791 * r21876818;
double r21876820 = y3;
double r21876821 = r21876794 * r21876820;
double r21876822 = r21876819 - r21876821;
double r21876823 = r21876811 * r21876801;
double r21876824 = r21876813 * r21876798;
double r21876825 = r21876823 - r21876824;
double r21876826 = r21876822 * r21876825;
double r21876827 = r21876817 + r21876826;
double r21876828 = r21876795 * r21876806;
double r21876829 = r21876792 * r21876808;
double r21876830 = r21876828 - r21876829;
double r21876831 = y4;
double r21876832 = r21876831 * r21876799;
double r21876833 = y5;
double r21876834 = r21876833 * r21876802;
double r21876835 = r21876832 - r21876834;
double r21876836 = r21876830 * r21876835;
double r21876837 = r21876827 + r21876836;
double r21876838 = r21876795 * r21876818;
double r21876839 = r21876792 * r21876820;
double r21876840 = r21876838 - r21876839;
double r21876841 = r21876831 * r21876801;
double r21876842 = r21876833 * r21876798;
double r21876843 = r21876841 - r21876842;
double r21876844 = r21876840 * r21876843;
double r21876845 = r21876837 - r21876844;
double r21876846 = r21876808 * r21876818;
double r21876847 = r21876806 * r21876820;
double r21876848 = r21876846 - r21876847;
double r21876849 = r21876831 * r21876813;
double r21876850 = r21876833 * r21876811;
double r21876851 = r21876849 - r21876850;
double r21876852 = r21876848 * r21876851;
double r21876853 = r21876845 + r21876852;
return r21876853;
}
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"
:herbie-target
(if (< y4 -7.206256231996481e+60) (- (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))))) (- (/ (- (* y2 t) (* y3 y)) (/ 1.0 (- (* y4 c) (* y5 a)))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (if (< y4 -3.364603505246317e-66) (+ (- (- (- (* (* t c) (* i z)) (* (* a t) (* b z))) (* (* y c) (* i x))) (* (- (* b y0) (* i y1)) (- (* j x) (* k z)))) (- (* (- (* y0 c) (* a y1)) (- (* x y2) (* z y3))) (- (* (- (* t y2) (* y y3)) (- (* y4 c) (* a y5))) (* (- (* y1 y4) (* y5 y0)) (- (* k y2) (* j y3)))))) (if (< y4 -1.2000065055686116e-105) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 6.718963124057495e-279) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (if (< y4 4.77962681403792e-222) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 2.2852241541266835e-175) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (- (* k (* i (* z y1))) (+ (* j (* i (* x y1))) (* y0 (* k (* z b)))))) (- (* z (* y3 (* a y1))) (+ (* y2 (* x (* a y1))) (* y0 (* z (* c y3)))))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))))))))
(+ (- (+ (+ (- (* (- (* 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)))))