\[\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 r85523 = x;
        double r85524 = y;
        double r85525 = r85523 * r85524;
        double r85526 = z;
        double r85527 = t;
        double r85528 = r85526 * r85527;
        double r85529 = r85525 - r85528;
        double r85530 = a;
        double r85531 = b;
        double r85532 = r85530 * r85531;
        double r85533 = c;
        double r85534 = i;
        double r85535 = r85533 * r85534;
        double r85536 = r85532 - r85535;
        double r85537 = r85529 * r85536;
        double r85538 = j;
        double r85539 = r85523 * r85538;
        double r85540 = k;
        double r85541 = r85526 * r85540;
        double r85542 = r85539 - r85541;
        double r85543 = y0;
        double r85544 = r85543 * r85531;
        double r85545 = y1;
        double r85546 = r85545 * r85534;
        double r85547 = r85544 - r85546;
        double r85548 = r85542 * r85547;
        double r85549 = r85537 - r85548;
        double r85550 = y2;
        double r85551 = r85523 * r85550;
        double r85552 = y3;
        double r85553 = r85526 * r85552;
        double r85554 = r85551 - r85553;
        double r85555 = r85543 * r85533;
        double r85556 = r85545 * r85530;
        double r85557 = r85555 - r85556;
        double r85558 = r85554 * r85557;
        double r85559 = r85549 + r85558;
        double r85560 = r85527 * r85538;
        double r85561 = r85524 * r85540;
        double r85562 = r85560 - r85561;
        double r85563 = y4;
        double r85564 = r85563 * r85531;
        double r85565 = y5;
        double r85566 = r85565 * r85534;
        double r85567 = r85564 - r85566;
        double r85568 = r85562 * r85567;
        double r85569 = r85559 + r85568;
        double r85570 = r85527 * r85550;
        double r85571 = r85524 * r85552;
        double r85572 = r85570 - r85571;
        double r85573 = r85563 * r85533;
        double r85574 = r85565 * r85530;
        double r85575 = r85573 - r85574;
        double r85576 = r85572 * r85575;
        double r85577 = r85569 - r85576;
        double r85578 = r85540 * r85550;
        double r85579 = r85538 * r85552;
        double r85580 = r85578 - r85579;
        double r85581 = r85563 * r85545;
        double r85582 = r85565 * r85543;
        double r85583 = r85581 - r85582;
        double r85584 = r85580 * r85583;
        double r85585 = r85577 + r85584;
        return r85585;
}

Reproduce

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