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 r38014764 = x;
double r38014765 = y;
double r38014766 = r38014764 * r38014765;
double r38014767 = z;
double r38014768 = t;
double r38014769 = r38014767 * r38014768;
double r38014770 = r38014766 - r38014769;
double r38014771 = a;
double r38014772 = b;
double r38014773 = r38014771 * r38014772;
double r38014774 = c;
double r38014775 = i;
double r38014776 = r38014774 * r38014775;
double r38014777 = r38014773 - r38014776;
double r38014778 = r38014770 * r38014777;
double r38014779 = j;
double r38014780 = r38014764 * r38014779;
double r38014781 = k;
double r38014782 = r38014767 * r38014781;
double r38014783 = r38014780 - r38014782;
double r38014784 = y0;
double r38014785 = r38014784 * r38014772;
double r38014786 = y1;
double r38014787 = r38014786 * r38014775;
double r38014788 = r38014785 - r38014787;
double r38014789 = r38014783 * r38014788;
double r38014790 = r38014778 - r38014789;
double r38014791 = y2;
double r38014792 = r38014764 * r38014791;
double r38014793 = y3;
double r38014794 = r38014767 * r38014793;
double r38014795 = r38014792 - r38014794;
double r38014796 = r38014784 * r38014774;
double r38014797 = r38014786 * r38014771;
double r38014798 = r38014796 - r38014797;
double r38014799 = r38014795 * r38014798;
double r38014800 = r38014790 + r38014799;
double r38014801 = r38014768 * r38014779;
double r38014802 = r38014765 * r38014781;
double r38014803 = r38014801 - r38014802;
double r38014804 = y4;
double r38014805 = r38014804 * r38014772;
double r38014806 = y5;
double r38014807 = r38014806 * r38014775;
double r38014808 = r38014805 - r38014807;
double r38014809 = r38014803 * r38014808;
double r38014810 = r38014800 + r38014809;
double r38014811 = r38014768 * r38014791;
double r38014812 = r38014765 * r38014793;
double r38014813 = r38014811 - r38014812;
double r38014814 = r38014804 * r38014774;
double r38014815 = r38014806 * r38014771;
double r38014816 = r38014814 - r38014815;
double r38014817 = r38014813 * r38014816;
double r38014818 = r38014810 - r38014817;
double r38014819 = r38014781 * r38014791;
double r38014820 = r38014779 * r38014793;
double r38014821 = r38014819 - r38014820;
double r38014822 = r38014804 * r38014786;
double r38014823 = r38014806 * r38014784;
double r38014824 = r38014822 - r38014823;
double r38014825 = r38014821 * r38014824;
double r38014826 = r38014818 + r38014825;
return r38014826;
}
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)))))