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 r29186930 = x;
double r29186931 = y;
double r29186932 = r29186930 * r29186931;
double r29186933 = z;
double r29186934 = t;
double r29186935 = r29186933 * r29186934;
double r29186936 = r29186932 - r29186935;
double r29186937 = a;
double r29186938 = b;
double r29186939 = r29186937 * r29186938;
double r29186940 = c;
double r29186941 = i;
double r29186942 = r29186940 * r29186941;
double r29186943 = r29186939 - r29186942;
double r29186944 = r29186936 * r29186943;
double r29186945 = j;
double r29186946 = r29186930 * r29186945;
double r29186947 = k;
double r29186948 = r29186933 * r29186947;
double r29186949 = r29186946 - r29186948;
double r29186950 = y0;
double r29186951 = r29186950 * r29186938;
double r29186952 = y1;
double r29186953 = r29186952 * r29186941;
double r29186954 = r29186951 - r29186953;
double r29186955 = r29186949 * r29186954;
double r29186956 = r29186944 - r29186955;
double r29186957 = y2;
double r29186958 = r29186930 * r29186957;
double r29186959 = y3;
double r29186960 = r29186933 * r29186959;
double r29186961 = r29186958 - r29186960;
double r29186962 = r29186950 * r29186940;
double r29186963 = r29186952 * r29186937;
double r29186964 = r29186962 - r29186963;
double r29186965 = r29186961 * r29186964;
double r29186966 = r29186956 + r29186965;
double r29186967 = r29186934 * r29186945;
double r29186968 = r29186931 * r29186947;
double r29186969 = r29186967 - r29186968;
double r29186970 = y4;
double r29186971 = r29186970 * r29186938;
double r29186972 = y5;
double r29186973 = r29186972 * r29186941;
double r29186974 = r29186971 - r29186973;
double r29186975 = r29186969 * r29186974;
double r29186976 = r29186966 + r29186975;
double r29186977 = r29186934 * r29186957;
double r29186978 = r29186931 * r29186959;
double r29186979 = r29186977 - r29186978;
double r29186980 = r29186970 * r29186940;
double r29186981 = r29186972 * r29186937;
double r29186982 = r29186980 - r29186981;
double r29186983 = r29186979 * r29186982;
double r29186984 = r29186976 - r29186983;
double r29186985 = r29186947 * r29186957;
double r29186986 = r29186945 * r29186959;
double r29186987 = r29186985 - r29186986;
double r29186988 = r29186970 * r29186952;
double r29186989 = r29186972 * r29186950;
double r29186990 = r29186988 - r29186989;
double r29186991 = r29186987 * r29186990;
double r29186992 = r29186984 + r29186991;
return r29186992;
}
herbie shell --seed 2019165 +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)))))