\[\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 r28314 = x;
        double r28315 = y;
        double r28316 = r28314 * r28315;
        double r28317 = z;
        double r28318 = t;
        double r28319 = r28317 * r28318;
        double r28320 = r28316 - r28319;
        double r28321 = a;
        double r28322 = b;
        double r28323 = r28321 * r28322;
        double r28324 = c;
        double r28325 = i;
        double r28326 = r28324 * r28325;
        double r28327 = r28323 - r28326;
        double r28328 = r28320 * r28327;
        double r28329 = j;
        double r28330 = r28314 * r28329;
        double r28331 = k;
        double r28332 = r28317 * r28331;
        double r28333 = r28330 - r28332;
        double r28334 = y0;
        double r28335 = r28334 * r28322;
        double r28336 = y1;
        double r28337 = r28336 * r28325;
        double r28338 = r28335 - r28337;
        double r28339 = r28333 * r28338;
        double r28340 = r28328 - r28339;
        double r28341 = y2;
        double r28342 = r28314 * r28341;
        double r28343 = y3;
        double r28344 = r28317 * r28343;
        double r28345 = r28342 - r28344;
        double r28346 = r28334 * r28324;
        double r28347 = r28336 * r28321;
        double r28348 = r28346 - r28347;
        double r28349 = r28345 * r28348;
        double r28350 = r28340 + r28349;
        double r28351 = r28318 * r28329;
        double r28352 = r28315 * r28331;
        double r28353 = r28351 - r28352;
        double r28354 = y4;
        double r28355 = r28354 * r28322;
        double r28356 = y5;
        double r28357 = r28356 * r28325;
        double r28358 = r28355 - r28357;
        double r28359 = r28353 * r28358;
        double r28360 = r28350 + r28359;
        double r28361 = r28318 * r28341;
        double r28362 = r28315 * r28343;
        double r28363 = r28361 - r28362;
        double r28364 = r28354 * r28324;
        double r28365 = r28356 * r28321;
        double r28366 = r28364 - r28365;
        double r28367 = r28363 * r28366;
        double r28368 = r28360 - r28367;
        double r28369 = r28331 * r28341;
        double r28370 = r28329 * r28343;
        double r28371 = r28369 - r28370;
        double r28372 = r28354 * r28336;
        double r28373 = r28356 * r28334;
        double r28374 = r28372 - r28373;
        double r28375 = r28371 * r28374;
        double r28376 = r28368 + r28375;
        return r28376;
}

Reproduce

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