\[\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 r80060 = x;
        double r80061 = y;
        double r80062 = r80060 * r80061;
        double r80063 = z;
        double r80064 = t;
        double r80065 = r80063 * r80064;
        double r80066 = r80062 - r80065;
        double r80067 = a;
        double r80068 = b;
        double r80069 = r80067 * r80068;
        double r80070 = c;
        double r80071 = i;
        double r80072 = r80070 * r80071;
        double r80073 = r80069 - r80072;
        double r80074 = r80066 * r80073;
        double r80075 = j;
        double r80076 = r80060 * r80075;
        double r80077 = k;
        double r80078 = r80063 * r80077;
        double r80079 = r80076 - r80078;
        double r80080 = y0;
        double r80081 = r80080 * r80068;
        double r80082 = y1;
        double r80083 = r80082 * r80071;
        double r80084 = r80081 - r80083;
        double r80085 = r80079 * r80084;
        double r80086 = r80074 - r80085;
        double r80087 = y2;
        double r80088 = r80060 * r80087;
        double r80089 = y3;
        double r80090 = r80063 * r80089;
        double r80091 = r80088 - r80090;
        double r80092 = r80080 * r80070;
        double r80093 = r80082 * r80067;
        double r80094 = r80092 - r80093;
        double r80095 = r80091 * r80094;
        double r80096 = r80086 + r80095;
        double r80097 = r80064 * r80075;
        double r80098 = r80061 * r80077;
        double r80099 = r80097 - r80098;
        double r80100 = y4;
        double r80101 = r80100 * r80068;
        double r80102 = y5;
        double r80103 = r80102 * r80071;
        double r80104 = r80101 - r80103;
        double r80105 = r80099 * r80104;
        double r80106 = r80096 + r80105;
        double r80107 = r80064 * r80087;
        double r80108 = r80061 * r80089;
        double r80109 = r80107 - r80108;
        double r80110 = r80100 * r80070;
        double r80111 = r80102 * r80067;
        double r80112 = r80110 - r80111;
        double r80113 = r80109 * r80112;
        double r80114 = r80106 - r80113;
        double r80115 = r80077 * r80087;
        double r80116 = r80075 * r80089;
        double r80117 = r80115 - r80116;
        double r80118 = r80100 * r80082;
        double r80119 = r80102 * r80080;
        double r80120 = r80118 - r80119;
        double r80121 = r80117 * r80120;
        double r80122 = r80114 + r80121;
        return r80122;
}

Reproduce

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