\[\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 r91154 = x;
        double r91155 = y;
        double r91156 = r91154 * r91155;
        double r91157 = z;
        double r91158 = t;
        double r91159 = r91157 * r91158;
        double r91160 = r91156 - r91159;
        double r91161 = a;
        double r91162 = b;
        double r91163 = r91161 * r91162;
        double r91164 = c;
        double r91165 = i;
        double r91166 = r91164 * r91165;
        double r91167 = r91163 - r91166;
        double r91168 = r91160 * r91167;
        double r91169 = j;
        double r91170 = r91154 * r91169;
        double r91171 = k;
        double r91172 = r91157 * r91171;
        double r91173 = r91170 - r91172;
        double r91174 = y0;
        double r91175 = r91174 * r91162;
        double r91176 = y1;
        double r91177 = r91176 * r91165;
        double r91178 = r91175 - r91177;
        double r91179 = r91173 * r91178;
        double r91180 = r91168 - r91179;
        double r91181 = y2;
        double r91182 = r91154 * r91181;
        double r91183 = y3;
        double r91184 = r91157 * r91183;
        double r91185 = r91182 - r91184;
        double r91186 = r91174 * r91164;
        double r91187 = r91176 * r91161;
        double r91188 = r91186 - r91187;
        double r91189 = r91185 * r91188;
        double r91190 = r91180 + r91189;
        double r91191 = r91158 * r91169;
        double r91192 = r91155 * r91171;
        double r91193 = r91191 - r91192;
        double r91194 = y4;
        double r91195 = r91194 * r91162;
        double r91196 = y5;
        double r91197 = r91196 * r91165;
        double r91198 = r91195 - r91197;
        double r91199 = r91193 * r91198;
        double r91200 = r91190 + r91199;
        double r91201 = r91158 * r91181;
        double r91202 = r91155 * r91183;
        double r91203 = r91201 - r91202;
        double r91204 = r91194 * r91164;
        double r91205 = r91196 * r91161;
        double r91206 = r91204 - r91205;
        double r91207 = r91203 * r91206;
        double r91208 = r91200 - r91207;
        double r91209 = r91171 * r91181;
        double r91210 = r91169 * r91183;
        double r91211 = r91209 - r91210;
        double r91212 = r91194 * r91176;
        double r91213 = r91196 * r91174;
        double r91214 = r91212 - r91213;
        double r91215 = r91211 * r91214;
        double r91216 = r91208 + r91215;
        return r91216;
}

Reproduce

herbie shell --seed 2020049 +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