\[\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 r72710 = x;
        double r72711 = y;
        double r72712 = r72710 * r72711;
        double r72713 = z;
        double r72714 = t;
        double r72715 = r72713 * r72714;
        double r72716 = r72712 - r72715;
        double r72717 = a;
        double r72718 = b;
        double r72719 = r72717 * r72718;
        double r72720 = c;
        double r72721 = i;
        double r72722 = r72720 * r72721;
        double r72723 = r72719 - r72722;
        double r72724 = r72716 * r72723;
        double r72725 = j;
        double r72726 = r72710 * r72725;
        double r72727 = k;
        double r72728 = r72713 * r72727;
        double r72729 = r72726 - r72728;
        double r72730 = y0;
        double r72731 = r72730 * r72718;
        double r72732 = y1;
        double r72733 = r72732 * r72721;
        double r72734 = r72731 - r72733;
        double r72735 = r72729 * r72734;
        double r72736 = r72724 - r72735;
        double r72737 = y2;
        double r72738 = r72710 * r72737;
        double r72739 = y3;
        double r72740 = r72713 * r72739;
        double r72741 = r72738 - r72740;
        double r72742 = r72730 * r72720;
        double r72743 = r72732 * r72717;
        double r72744 = r72742 - r72743;
        double r72745 = r72741 * r72744;
        double r72746 = r72736 + r72745;
        double r72747 = r72714 * r72725;
        double r72748 = r72711 * r72727;
        double r72749 = r72747 - r72748;
        double r72750 = y4;
        double r72751 = r72750 * r72718;
        double r72752 = y5;
        double r72753 = r72752 * r72721;
        double r72754 = r72751 - r72753;
        double r72755 = r72749 * r72754;
        double r72756 = r72746 + r72755;
        double r72757 = r72714 * r72737;
        double r72758 = r72711 * r72739;
        double r72759 = r72757 - r72758;
        double r72760 = r72750 * r72720;
        double r72761 = r72752 * r72717;
        double r72762 = r72760 - r72761;
        double r72763 = r72759 * r72762;
        double r72764 = r72756 - r72763;
        double r72765 = r72727 * r72737;
        double r72766 = r72725 * r72739;
        double r72767 = r72765 - r72766;
        double r72768 = r72750 * r72732;
        double r72769 = r72752 * r72730;
        double r72770 = r72768 - r72769;
        double r72771 = r72767 * r72770;
        double r72772 = r72764 + r72771;
        return r72772;
}

Reproduce

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