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 r14194943 = x;
double r14194944 = y;
double r14194945 = r14194943 * r14194944;
double r14194946 = z;
double r14194947 = t;
double r14194948 = r14194946 * r14194947;
double r14194949 = r14194945 - r14194948;
double r14194950 = a;
double r14194951 = b;
double r14194952 = r14194950 * r14194951;
double r14194953 = c;
double r14194954 = i;
double r14194955 = r14194953 * r14194954;
double r14194956 = r14194952 - r14194955;
double r14194957 = r14194949 * r14194956;
double r14194958 = j;
double r14194959 = r14194943 * r14194958;
double r14194960 = k;
double r14194961 = r14194946 * r14194960;
double r14194962 = r14194959 - r14194961;
double r14194963 = y0;
double r14194964 = r14194963 * r14194951;
double r14194965 = y1;
double r14194966 = r14194965 * r14194954;
double r14194967 = r14194964 - r14194966;
double r14194968 = r14194962 * r14194967;
double r14194969 = r14194957 - r14194968;
double r14194970 = y2;
double r14194971 = r14194943 * r14194970;
double r14194972 = y3;
double r14194973 = r14194946 * r14194972;
double r14194974 = r14194971 - r14194973;
double r14194975 = r14194963 * r14194953;
double r14194976 = r14194965 * r14194950;
double r14194977 = r14194975 - r14194976;
double r14194978 = r14194974 * r14194977;
double r14194979 = r14194969 + r14194978;
double r14194980 = r14194947 * r14194958;
double r14194981 = r14194944 * r14194960;
double r14194982 = r14194980 - r14194981;
double r14194983 = y4;
double r14194984 = r14194983 * r14194951;
double r14194985 = y5;
double r14194986 = r14194985 * r14194954;
double r14194987 = r14194984 - r14194986;
double r14194988 = r14194982 * r14194987;
double r14194989 = r14194979 + r14194988;
double r14194990 = r14194947 * r14194970;
double r14194991 = r14194944 * r14194972;
double r14194992 = r14194990 - r14194991;
double r14194993 = r14194983 * r14194953;
double r14194994 = r14194985 * r14194950;
double r14194995 = r14194993 - r14194994;
double r14194996 = r14194992 * r14194995;
double r14194997 = r14194989 - r14194996;
double r14194998 = r14194960 * r14194970;
double r14194999 = r14194958 * r14194972;
double r14195000 = r14194998 - r14194999;
double r14195001 = r14194983 * r14194965;
double r14195002 = r14194985 * r14194963;
double r14195003 = r14195001 - r14195002;
double r14195004 = r14195000 * r14195003;
double r14195005 = r14194997 + r14195004;
return r14195005;
}
herbie shell --seed 2019200 +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)))))