Use the --timeout flag to change the timeout.
\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 r17901809 = x;
double r17901810 = y;
double r17901811 = r17901809 * r17901810;
double r17901812 = z;
double r17901813 = t;
double r17901814 = r17901812 * r17901813;
double r17901815 = r17901811 - r17901814;
double r17901816 = a;
double r17901817 = b;
double r17901818 = r17901816 * r17901817;
double r17901819 = c;
double r17901820 = i;
double r17901821 = r17901819 * r17901820;
double r17901822 = r17901818 - r17901821;
double r17901823 = r17901815 * r17901822;
double r17901824 = j;
double r17901825 = r17901809 * r17901824;
double r17901826 = k;
double r17901827 = r17901812 * r17901826;
double r17901828 = r17901825 - r17901827;
double r17901829 = y0;
double r17901830 = r17901829 * r17901817;
double r17901831 = y1;
double r17901832 = r17901831 * r17901820;
double r17901833 = r17901830 - r17901832;
double r17901834 = r17901828 * r17901833;
double r17901835 = r17901823 - r17901834;
double r17901836 = y2;
double r17901837 = r17901809 * r17901836;
double r17901838 = y3;
double r17901839 = r17901812 * r17901838;
double r17901840 = r17901837 - r17901839;
double r17901841 = r17901829 * r17901819;
double r17901842 = r17901831 * r17901816;
double r17901843 = r17901841 - r17901842;
double r17901844 = r17901840 * r17901843;
double r17901845 = r17901835 + r17901844;
double r17901846 = r17901813 * r17901824;
double r17901847 = r17901810 * r17901826;
double r17901848 = r17901846 - r17901847;
double r17901849 = y4;
double r17901850 = r17901849 * r17901817;
double r17901851 = y5;
double r17901852 = r17901851 * r17901820;
double r17901853 = r17901850 - r17901852;
double r17901854 = r17901848 * r17901853;
double r17901855 = r17901845 + r17901854;
double r17901856 = r17901813 * r17901836;
double r17901857 = r17901810 * r17901838;
double r17901858 = r17901856 - r17901857;
double r17901859 = r17901849 * r17901819;
double r17901860 = r17901851 * r17901816;
double r17901861 = r17901859 - r17901860;
double r17901862 = r17901858 * r17901861;
double r17901863 = r17901855 - r17901862;
double r17901864 = r17901826 * r17901836;
double r17901865 = r17901824 * r17901838;
double r17901866 = r17901864 - r17901865;
double r17901867 = r17901849 * r17901831;
double r17901868 = r17901851 * r17901829;
double r17901869 = r17901867 - r17901868;
double r17901870 = r17901866 * r17901869;
double r17901871 = r17901863 + r17901870;
return r17901871;
}
herbie shell --seed 2019200 +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"
:herbie-target
(if (< y4 -7.206256231996481e+60) (- (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))))) (- (/ (- (* y2 t) (* y3 y)) (/ 1.0 (- (* y4 c) (* y5 a)))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (if (< y4 -3.364603505246317e-66) (+ (- (- (- (* (* t c) (* i z)) (* (* a t) (* b z))) (* (* y c) (* i x))) (* (- (* b y0) (* i y1)) (- (* j x) (* k z)))) (- (* (- (* y0 c) (* a y1)) (- (* x y2) (* z y3))) (- (* (- (* t y2) (* y y3)) (- (* y4 c) (* a y5))) (* (- (* y1 y4) (* y5 y0)) (- (* k y2) (* j y3)))))) (if (< y4 -1.2000065055686116e-105) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 6.718963124057495e-279) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (if (< y4 4.77962681403792e-222) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 2.2852241541266835e-175) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (- (* k (* i (* z y1))) (+ (* j (* i (* x y1))) (* y0 (* k (* z b)))))) (- (* z (* y3 (* a y1))) (+ (* y2 (* x (* a y1))) (* y0 (* z (* c y3)))))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))))))))
(+ (- (+ (+ (- (* (- (* 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)))))