\[\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 r92603 = x;
        double r92604 = y;
        double r92605 = r92603 * r92604;
        double r92606 = z;
        double r92607 = t;
        double r92608 = r92606 * r92607;
        double r92609 = r92605 - r92608;
        double r92610 = a;
        double r92611 = b;
        double r92612 = r92610 * r92611;
        double r92613 = c;
        double r92614 = i;
        double r92615 = r92613 * r92614;
        double r92616 = r92612 - r92615;
        double r92617 = r92609 * r92616;
        double r92618 = j;
        double r92619 = r92603 * r92618;
        double r92620 = k;
        double r92621 = r92606 * r92620;
        double r92622 = r92619 - r92621;
        double r92623 = y0;
        double r92624 = r92623 * r92611;
        double r92625 = y1;
        double r92626 = r92625 * r92614;
        double r92627 = r92624 - r92626;
        double r92628 = r92622 * r92627;
        double r92629 = r92617 - r92628;
        double r92630 = y2;
        double r92631 = r92603 * r92630;
        double r92632 = y3;
        double r92633 = r92606 * r92632;
        double r92634 = r92631 - r92633;
        double r92635 = r92623 * r92613;
        double r92636 = r92625 * r92610;
        double r92637 = r92635 - r92636;
        double r92638 = r92634 * r92637;
        double r92639 = r92629 + r92638;
        double r92640 = r92607 * r92618;
        double r92641 = r92604 * r92620;
        double r92642 = r92640 - r92641;
        double r92643 = y4;
        double r92644 = r92643 * r92611;
        double r92645 = y5;
        double r92646 = r92645 * r92614;
        double r92647 = r92644 - r92646;
        double r92648 = r92642 * r92647;
        double r92649 = r92639 + r92648;
        double r92650 = r92607 * r92630;
        double r92651 = r92604 * r92632;
        double r92652 = r92650 - r92651;
        double r92653 = r92643 * r92613;
        double r92654 = r92645 * r92610;
        double r92655 = r92653 - r92654;
        double r92656 = r92652 * r92655;
        double r92657 = r92649 - r92656;
        double r92658 = r92620 * r92630;
        double r92659 = r92618 * r92632;
        double r92660 = r92658 - r92659;
        double r92661 = r92643 * r92625;
        double r92662 = r92645 * r92623;
        double r92663 = r92661 - r92662;
        double r92664 = r92660 * r92663;
        double r92665 = r92657 + r92664;
        return r92665;
}

Reproduce

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