\[\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 r14792 = x;
        double r14793 = y;
        double r14794 = r14792 * r14793;
        double r14795 = z;
        double r14796 = t;
        double r14797 = r14795 * r14796;
        double r14798 = r14794 - r14797;
        double r14799 = a;
        double r14800 = b;
        double r14801 = r14799 * r14800;
        double r14802 = c;
        double r14803 = i;
        double r14804 = r14802 * r14803;
        double r14805 = r14801 - r14804;
        double r14806 = r14798 * r14805;
        double r14807 = j;
        double r14808 = r14792 * r14807;
        double r14809 = k;
        double r14810 = r14795 * r14809;
        double r14811 = r14808 - r14810;
        double r14812 = y0;
        double r14813 = r14812 * r14800;
        double r14814 = y1;
        double r14815 = r14814 * r14803;
        double r14816 = r14813 - r14815;
        double r14817 = r14811 * r14816;
        double r14818 = r14806 - r14817;
        double r14819 = y2;
        double r14820 = r14792 * r14819;
        double r14821 = y3;
        double r14822 = r14795 * r14821;
        double r14823 = r14820 - r14822;
        double r14824 = r14812 * r14802;
        double r14825 = r14814 * r14799;
        double r14826 = r14824 - r14825;
        double r14827 = r14823 * r14826;
        double r14828 = r14818 + r14827;
        double r14829 = r14796 * r14807;
        double r14830 = r14793 * r14809;
        double r14831 = r14829 - r14830;
        double r14832 = y4;
        double r14833 = r14832 * r14800;
        double r14834 = y5;
        double r14835 = r14834 * r14803;
        double r14836 = r14833 - r14835;
        double r14837 = r14831 * r14836;
        double r14838 = r14828 + r14837;
        double r14839 = r14796 * r14819;
        double r14840 = r14793 * r14821;
        double r14841 = r14839 - r14840;
        double r14842 = r14832 * r14802;
        double r14843 = r14834 * r14799;
        double r14844 = r14842 - r14843;
        double r14845 = r14841 * r14844;
        double r14846 = r14838 - r14845;
        double r14847 = r14809 * r14819;
        double r14848 = r14807 * r14821;
        double r14849 = r14847 - r14848;
        double r14850 = r14832 * r14814;
        double r14851 = r14834 * r14812;
        double r14852 = r14850 - r14851;
        double r14853 = r14849 * r14852;
        double r14854 = r14846 + r14853;
        return r14854;
}

Reproduce

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