\[\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 r99058 = x;
        double r99059 = y;
        double r99060 = r99058 * r99059;
        double r99061 = z;
        double r99062 = t;
        double r99063 = r99061 * r99062;
        double r99064 = r99060 - r99063;
        double r99065 = a;
        double r99066 = b;
        double r99067 = r99065 * r99066;
        double r99068 = c;
        double r99069 = i;
        double r99070 = r99068 * r99069;
        double r99071 = r99067 - r99070;
        double r99072 = r99064 * r99071;
        double r99073 = j;
        double r99074 = r99058 * r99073;
        double r99075 = k;
        double r99076 = r99061 * r99075;
        double r99077 = r99074 - r99076;
        double r99078 = y0;
        double r99079 = r99078 * r99066;
        double r99080 = y1;
        double r99081 = r99080 * r99069;
        double r99082 = r99079 - r99081;
        double r99083 = r99077 * r99082;
        double r99084 = r99072 - r99083;
        double r99085 = y2;
        double r99086 = r99058 * r99085;
        double r99087 = y3;
        double r99088 = r99061 * r99087;
        double r99089 = r99086 - r99088;
        double r99090 = r99078 * r99068;
        double r99091 = r99080 * r99065;
        double r99092 = r99090 - r99091;
        double r99093 = r99089 * r99092;
        double r99094 = r99084 + r99093;
        double r99095 = r99062 * r99073;
        double r99096 = r99059 * r99075;
        double r99097 = r99095 - r99096;
        double r99098 = y4;
        double r99099 = r99098 * r99066;
        double r99100 = y5;
        double r99101 = r99100 * r99069;
        double r99102 = r99099 - r99101;
        double r99103 = r99097 * r99102;
        double r99104 = r99094 + r99103;
        double r99105 = r99062 * r99085;
        double r99106 = r99059 * r99087;
        double r99107 = r99105 - r99106;
        double r99108 = r99098 * r99068;
        double r99109 = r99100 * r99065;
        double r99110 = r99108 - r99109;
        double r99111 = r99107 * r99110;
        double r99112 = r99104 - r99111;
        double r99113 = r99075 * r99085;
        double r99114 = r99073 * r99087;
        double r99115 = r99113 - r99114;
        double r99116 = r99098 * r99080;
        double r99117 = r99100 * r99078;
        double r99118 = r99116 - r99117;
        double r99119 = r99115 * r99118;
        double r99120 = r99112 + r99119;
        return r99120;
}

Reproduce

herbie shell --seed 2020062 +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"
  :precision binary64
  (+ (- (+ (+ (- (* (- (* 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)))))

Timeout in 10.0m

Reproduce