\[\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 r86516 = x;
        double r86517 = y;
        double r86518 = r86516 * r86517;
        double r86519 = z;
        double r86520 = t;
        double r86521 = r86519 * r86520;
        double r86522 = r86518 - r86521;
        double r86523 = a;
        double r86524 = b;
        double r86525 = r86523 * r86524;
        double r86526 = c;
        double r86527 = i;
        double r86528 = r86526 * r86527;
        double r86529 = r86525 - r86528;
        double r86530 = r86522 * r86529;
        double r86531 = j;
        double r86532 = r86516 * r86531;
        double r86533 = k;
        double r86534 = r86519 * r86533;
        double r86535 = r86532 - r86534;
        double r86536 = y0;
        double r86537 = r86536 * r86524;
        double r86538 = y1;
        double r86539 = r86538 * r86527;
        double r86540 = r86537 - r86539;
        double r86541 = r86535 * r86540;
        double r86542 = r86530 - r86541;
        double r86543 = y2;
        double r86544 = r86516 * r86543;
        double r86545 = y3;
        double r86546 = r86519 * r86545;
        double r86547 = r86544 - r86546;
        double r86548 = r86536 * r86526;
        double r86549 = r86538 * r86523;
        double r86550 = r86548 - r86549;
        double r86551 = r86547 * r86550;
        double r86552 = r86542 + r86551;
        double r86553 = r86520 * r86531;
        double r86554 = r86517 * r86533;
        double r86555 = r86553 - r86554;
        double r86556 = y4;
        double r86557 = r86556 * r86524;
        double r86558 = y5;
        double r86559 = r86558 * r86527;
        double r86560 = r86557 - r86559;
        double r86561 = r86555 * r86560;
        double r86562 = r86552 + r86561;
        double r86563 = r86520 * r86543;
        double r86564 = r86517 * r86545;
        double r86565 = r86563 - r86564;
        double r86566 = r86556 * r86526;
        double r86567 = r86558 * r86523;
        double r86568 = r86566 - r86567;
        double r86569 = r86565 * r86568;
        double r86570 = r86562 - r86569;
        double r86571 = r86533 * r86543;
        double r86572 = r86531 * r86545;
        double r86573 = r86571 - r86572;
        double r86574 = r86556 * r86538;
        double r86575 = r86558 * r86536;
        double r86576 = r86574 - r86575;
        double r86577 = r86573 * r86576;
        double r86578 = r86570 + r86577;
        return r86578;
}

Reproduce

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