\[\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 r85668 = x;
        double r85669 = y;
        double r85670 = r85668 * r85669;
        double r85671 = z;
        double r85672 = t;
        double r85673 = r85671 * r85672;
        double r85674 = r85670 - r85673;
        double r85675 = a;
        double r85676 = b;
        double r85677 = r85675 * r85676;
        double r85678 = c;
        double r85679 = i;
        double r85680 = r85678 * r85679;
        double r85681 = r85677 - r85680;
        double r85682 = r85674 * r85681;
        double r85683 = j;
        double r85684 = r85668 * r85683;
        double r85685 = k;
        double r85686 = r85671 * r85685;
        double r85687 = r85684 - r85686;
        double r85688 = y0;
        double r85689 = r85688 * r85676;
        double r85690 = y1;
        double r85691 = r85690 * r85679;
        double r85692 = r85689 - r85691;
        double r85693 = r85687 * r85692;
        double r85694 = r85682 - r85693;
        double r85695 = y2;
        double r85696 = r85668 * r85695;
        double r85697 = y3;
        double r85698 = r85671 * r85697;
        double r85699 = r85696 - r85698;
        double r85700 = r85688 * r85678;
        double r85701 = r85690 * r85675;
        double r85702 = r85700 - r85701;
        double r85703 = r85699 * r85702;
        double r85704 = r85694 + r85703;
        double r85705 = r85672 * r85683;
        double r85706 = r85669 * r85685;
        double r85707 = r85705 - r85706;
        double r85708 = y4;
        double r85709 = r85708 * r85676;
        double r85710 = y5;
        double r85711 = r85710 * r85679;
        double r85712 = r85709 - r85711;
        double r85713 = r85707 * r85712;
        double r85714 = r85704 + r85713;
        double r85715 = r85672 * r85695;
        double r85716 = r85669 * r85697;
        double r85717 = r85715 - r85716;
        double r85718 = r85708 * r85678;
        double r85719 = r85710 * r85675;
        double r85720 = r85718 - r85719;
        double r85721 = r85717 * r85720;
        double r85722 = r85714 - r85721;
        double r85723 = r85685 * r85695;
        double r85724 = r85683 * r85697;
        double r85725 = r85723 - r85724;
        double r85726 = r85708 * r85690;
        double r85727 = r85710 * r85688;
        double r85728 = r85726 - r85727;
        double r85729 = r85725 * r85728;
        double r85730 = r85722 + r85729;
        return r85730;
}

Reproduce

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