Average Error: 25.3 → 26.0
Time: 1.9m
Precision: 64
\[\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)\]
↓
\[\begin{array}{l} \mathbf{if}\;y2 \le -1.1377816797716678 \cdot 10^{+87}:\\ \;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(\left(b \cdot a - c \cdot i\right) \cdot \sqrt[3]{x \cdot y - t \cdot z}\right) \cdot \left(\sqrt[3]{x \cdot y - t \cdot z} \cdot \sqrt[3]{x \cdot y - t \cdot z}\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right)\\ \mathbf{elif}\;y2 \le -4.558806736300179 \cdot 10^{-116}:\\ \;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(\left(\left(\left(c \cdot z\right) \cdot i\right) \cdot t - \left(\left(\left(b \cdot z\right) \cdot t\right) \cdot a + \left(\left(y \cdot c\right) \cdot x\right) \cdot i\right)\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(j \cdot x - k \cdot z\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right)\\ \mathbf{elif}\;y2 \le 7.734092366103082 \cdot 10^{-74}:\\ \;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - c \cdot i\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(j \cdot x - k \cdot z\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right)\right) - \left(\left(-y5\right) \cdot \left(\left(t \cdot y2 - y \cdot y3\right) \cdot a\right) + \left(y4 \cdot c\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - c \cdot i\right) - \left(\left(z \cdot \left(y1 \cdot k\right)\right) \cdot i - \left(\left(j \cdot \left(x \cdot y1\right)\right) \cdot i + k \cdot \left(z \cdot \left(y0 \cdot b\right)\right)\right)\right)\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\ \end{array}\]
\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)
↓
\begin{array}{l}
\mathbf{if}\;y2 \le -1.1377816797716678 \cdot 10^{+87}:\\
\;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(\left(b \cdot a - c \cdot i\right) \cdot \sqrt[3]{x \cdot y - t \cdot z}\right) \cdot \left(\sqrt[3]{x \cdot y - t \cdot z} \cdot \sqrt[3]{x \cdot y - t \cdot z}\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right)\\

\mathbf{elif}\;y2 \le -4.558806736300179 \cdot 10^{-116}:\\
\;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(\left(\left(\left(c \cdot z\right) \cdot i\right) \cdot t - \left(\left(\left(b \cdot z\right) \cdot t\right) \cdot a + \left(\left(y \cdot c\right) \cdot x\right) \cdot i\right)\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(j \cdot x - k \cdot z\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right)\\

\mathbf{elif}\;y2 \le 7.734092366103082 \cdot 10^{-74}:\\
\;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - c \cdot i\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(j \cdot x - k \cdot z\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right)\right) - \left(\left(-y5\right) \cdot \left(\left(t \cdot y2 - y \cdot y3\right) \cdot a\right) + \left(y4 \cdot c\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\right)\\

\mathbf{else}:\\
\;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - c \cdot i\right) - \left(\left(z \cdot \left(y1 \cdot k\right)\right) \cdot i - \left(\left(j \cdot \left(x \cdot y1\right)\right) \cdot i + k \cdot \left(z \cdot \left(y0 \cdot b\right)\right)\right)\right)\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\

\end{array}
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 r2034750 = x;
        double r2034751 = y;
        double r2034752 = r2034750 * r2034751;
        double r2034753 = z;
        double r2034754 = t;
        double r2034755 = r2034753 * r2034754;
        double r2034756 = r2034752 - r2034755;
        double r2034757 = a;
        double r2034758 = b;
        double r2034759 = r2034757 * r2034758;
        double r2034760 = c;
        double r2034761 = i;
        double r2034762 = r2034760 * r2034761;
        double r2034763 = r2034759 - r2034762;
        double r2034764 = r2034756 * r2034763;
        double r2034765 = j;
        double r2034766 = r2034750 * r2034765;
        double r2034767 = k;
        double r2034768 = r2034753 * r2034767;
        double r2034769 = r2034766 - r2034768;
        double r2034770 = y0;
        double r2034771 = r2034770 * r2034758;
        double r2034772 = y1;
        double r2034773 = r2034772 * r2034761;
        double r2034774 = r2034771 - r2034773;
        double r2034775 = r2034769 * r2034774;
        double r2034776 = r2034764 - r2034775;
        double r2034777 = y2;
        double r2034778 = r2034750 * r2034777;
        double r2034779 = y3;
        double r2034780 = r2034753 * r2034779;
        double r2034781 = r2034778 - r2034780;
        double r2034782 = r2034770 * r2034760;
        double r2034783 = r2034772 * r2034757;
        double r2034784 = r2034782 - r2034783;
        double r2034785 = r2034781 * r2034784;
        double r2034786 = r2034776 + r2034785;
        double r2034787 = r2034754 * r2034765;
        double r2034788 = r2034751 * r2034767;
        double r2034789 = r2034787 - r2034788;
        double r2034790 = y4;
        double r2034791 = r2034790 * r2034758;
        double r2034792 = y5;
        double r2034793 = r2034792 * r2034761;
        double r2034794 = r2034791 - r2034793;
        double r2034795 = r2034789 * r2034794;
        double r2034796 = r2034786 + r2034795;
        double r2034797 = r2034754 * r2034777;
        double r2034798 = r2034751 * r2034779;
        double r2034799 = r2034797 - r2034798;
        double r2034800 = r2034790 * r2034760;
        double r2034801 = r2034792 * r2034757;
        double r2034802 = r2034800 - r2034801;
        double r2034803 = r2034799 * r2034802;
        double r2034804 = r2034796 - r2034803;
        double r2034805 = r2034767 * r2034777;
        double r2034806 = r2034765 * r2034779;
        double r2034807 = r2034805 - r2034806;
        double r2034808 = r2034790 * r2034772;
        double r2034809 = r2034792 * r2034770;
        double r2034810 = r2034808 - r2034809;
        double r2034811 = r2034807 * r2034810;
        double r2034812 = r2034804 + r2034811;
        return r2034812;
}
↓
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 r2034813 = y2;
        double r2034814 = -1.1377816797716678e+87;
        bool r2034815 = r2034813 <= r2034814;
        double r2034816 = j;
        double r2034817 = t;
        double r2034818 = r2034816 * r2034817;
        double r2034819 = y;
        double r2034820 = k;
        double r2034821 = r2034819 * r2034820;
        double r2034822 = r2034818 - r2034821;
        double r2034823 = b;
        double r2034824 = y4;
        double r2034825 = r2034823 * r2034824;
        double r2034826 = y5;
        double r2034827 = i;
        double r2034828 = r2034826 * r2034827;
        double r2034829 = r2034825 - r2034828;
        double r2034830 = r2034822 * r2034829;
        double r2034831 = a;
        double r2034832 = r2034823 * r2034831;
        double r2034833 = c;
        double r2034834 = r2034833 * r2034827;
        double r2034835 = r2034832 - r2034834;
        double r2034836 = x;
        double r2034837 = r2034836 * r2034819;
        double r2034838 = z;
        double r2034839 = r2034817 * r2034838;
        double r2034840 = r2034837 - r2034839;
        double r2034841 = cbrt(r2034840);
        double r2034842 = r2034835 * r2034841;
        double r2034843 = r2034841 * r2034841;
        double r2034844 = r2034842 * r2034843;
        double r2034845 = y0;
        double r2034846 = r2034833 * r2034845;
        double r2034847 = y1;
        double r2034848 = r2034847 * r2034831;
        double r2034849 = r2034846 - r2034848;
        double r2034850 = r2034836 * r2034813;
        double r2034851 = y3;
        double r2034852 = r2034838 * r2034851;
        double r2034853 = r2034850 - r2034852;
        double r2034854 = r2034849 * r2034853;
        double r2034855 = r2034844 + r2034854;
        double r2034856 = r2034830 + r2034855;
        double r2034857 = r2034817 * r2034813;
        double r2034858 = r2034819 * r2034851;
        double r2034859 = r2034857 - r2034858;
        double r2034860 = r2034824 * r2034833;
        double r2034861 = r2034826 * r2034831;
        double r2034862 = r2034860 - r2034861;
        double r2034863 = r2034859 * r2034862;
        double r2034864 = r2034856 - r2034863;
        double r2034865 = r2034847 * r2034824;
        double r2034866 = r2034826 * r2034845;
        double r2034867 = r2034865 - r2034866;
        double r2034868 = r2034820 * r2034813;
        double r2034869 = r2034851 * r2034816;
        double r2034870 = r2034868 - r2034869;
        double r2034871 = r2034867 * r2034870;
        double r2034872 = r2034864 + r2034871;
        double r2034873 = -4.558806736300179e-116;
        bool r2034874 = r2034813 <= r2034873;
        double r2034875 = r2034833 * r2034838;
        double r2034876 = r2034875 * r2034827;
        double r2034877 = r2034876 * r2034817;
        double r2034878 = r2034823 * r2034838;
        double r2034879 = r2034878 * r2034817;
        double r2034880 = r2034879 * r2034831;
        double r2034881 = r2034819 * r2034833;
        double r2034882 = r2034881 * r2034836;
        double r2034883 = r2034882 * r2034827;
        double r2034884 = r2034880 + r2034883;
        double r2034885 = r2034877 - r2034884;
        double r2034886 = r2034845 * r2034823;
        double r2034887 = r2034847 * r2034827;
        double r2034888 = r2034886 - r2034887;
        double r2034889 = r2034816 * r2034836;
        double r2034890 = r2034820 * r2034838;
        double r2034891 = r2034889 - r2034890;
        double r2034892 = r2034888 * r2034891;
        double r2034893 = r2034885 - r2034892;
        double r2034894 = r2034893 + r2034854;
        double r2034895 = r2034830 + r2034894;
        double r2034896 = r2034895 - r2034863;
        double r2034897 = r2034896 + r2034871;
        double r2034898 = 7.734092366103082e-74;
        bool r2034899 = r2034813 <= r2034898;
        double r2034900 = r2034840 * r2034835;
        double r2034901 = r2034900 - r2034892;
        double r2034902 = r2034854 + r2034901;
        double r2034903 = r2034902 + r2034830;
        double r2034904 = -r2034826;
        double r2034905 = r2034859 * r2034831;
        double r2034906 = r2034904 * r2034905;
        double r2034907 = r2034860 * r2034859;
        double r2034908 = r2034906 + r2034907;
        double r2034909 = r2034903 - r2034908;
        double r2034910 = r2034871 + r2034909;
        double r2034911 = r2034847 * r2034820;
        double r2034912 = r2034838 * r2034911;
        double r2034913 = r2034912 * r2034827;
        double r2034914 = r2034836 * r2034847;
        double r2034915 = r2034816 * r2034914;
        double r2034916 = r2034915 * r2034827;
        double r2034917 = r2034838 * r2034886;
        double r2034918 = r2034820 * r2034917;
        double r2034919 = r2034916 + r2034918;
        double r2034920 = r2034913 - r2034919;
        double r2034921 = r2034900 - r2034920;
        double r2034922 = r2034854 + r2034921;
        double r2034923 = r2034830 + r2034922;
        double r2034924 = r2034923 - r2034863;
        double r2034925 = r2034871 + r2034924;
        double r2034926 = r2034899 ? r2034910 : r2034925;
        double r2034927 = r2034874 ? r2034897 : r2034926;
        double r2034928 = r2034815 ? r2034872 : r2034927;
        return r2034928;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus i

Bits error versus j

Bits error versus k

Bits error versus y0

Bits error versus y1

Bits error versus y2

Bits error versus y3

Bits error versus y4

Bits error versus y5

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Split input into 4 regimes

  2. if y2 < -1.1377816797716678e+87

    1. Initial program 29.0

      \[\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)\]
    2. Using strategy rm

    3. Applied add-cube-cbrt29.1

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(\sqrt[3]{x \cdot y - z \cdot t} \cdot \sqrt[3]{x \cdot y - z \cdot t}\right) \cdot \sqrt[3]{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)\]

    4. Applied associate-*l*29.1

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\sqrt[3]{x \cdot y - z \cdot t} \cdot \sqrt[3]{x \cdot y - z \cdot t}\right) \cdot \left(\sqrt[3]{x \cdot y - z \cdot t} \cdot \left(a \cdot b - c \cdot i\right)\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)\]

    5. Taylor expanded around 0 31.2

      \[\leadsto \left(\left(\left(\left(\left(\sqrt[3]{x \cdot y - z \cdot t} \cdot \sqrt[3]{x \cdot y - z \cdot t}\right) \cdot \left(\sqrt[3]{x \cdot y - z \cdot t} \cdot \left(a \cdot b - c \cdot i\right)\right) - \color{blue}{0}\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)\]

    if -1.1377816797716678e+87 < y2 < -4.558806736300179e-116

    1. Initial program 22.2

      \[\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)\]

    2. Taylor expanded around -inf 24.3

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(t \cdot \left(i \cdot \left(z \cdot c\right)\right) - \left(a \cdot \left(t \cdot \left(b \cdot z\right)\right) + i \cdot \left(x \cdot \left(c \cdot y\right)\right)\right)\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)\]

    if -4.558806736300179e-116 < y2 < 7.734092366103082e-74

    1. Initial program 25.1

      \[\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)\]
    2. Using strategy rm

    3. Applied sub-neg25.1

      \[\leadsto \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 \color{blue}{\left(y4 \cdot c + \left(-y5 \cdot a\right)\right)}\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    4. Applied distribute-rgt-in25.1

      \[\leadsto \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) - \color{blue}{\left(\left(y4 \cdot c\right) \cdot \left(t \cdot y2 - y \cdot y3\right) + \left(-y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)}\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
    5. Using strategy rm

    6. Applied distribute-rgt-neg-in25.1

      \[\leadsto \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(\left(y4 \cdot c\right) \cdot \left(t \cdot y2 - y \cdot y3\right) + \color{blue}{\left(y5 \cdot \left(-a\right)\right)} \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    7. Applied associate-*l*24.6

      \[\leadsto \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(\left(y4 \cdot c\right) \cdot \left(t \cdot y2 - y \cdot y3\right) + \color{blue}{y5 \cdot \left(\left(-a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)}\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    if 7.734092366103082e-74 < y2

    1. Initial program 26.7

      \[\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)\]

    2. Taylor expanded around -inf 28.0

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{\left(i \cdot \left(z \cdot \left(y1 \cdot k\right)\right) - \left(k \cdot \left(z \cdot \left(b \cdot y0\right)\right) + i \cdot \left(j \cdot \left(x \cdot y1\right)\right)\right)\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)\]
  3. Recombined 4 regimes into one program.

  4. Final simplification26.0

    \[\leadsto \begin{array}{l} \mathbf{if}\;y2 \le -1.1377816797716678 \cdot 10^{+87}:\\ \;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(\left(b \cdot a - c \cdot i\right) \cdot \sqrt[3]{x \cdot y - t \cdot z}\right) \cdot \left(\sqrt[3]{x \cdot y - t \cdot z} \cdot \sqrt[3]{x \cdot y - t \cdot z}\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right)\\ \mathbf{elif}\;y2 \le -4.558806736300179 \cdot 10^{-116}:\\ \;\;\;\;\left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(\left(\left(\left(c \cdot z\right) \cdot i\right) \cdot t - \left(\left(\left(b \cdot z\right) \cdot t\right) \cdot a + \left(\left(y \cdot c\right) \cdot x\right) \cdot i\right)\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(j \cdot x - k \cdot z\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right)\\ \mathbf{elif}\;y2 \le 7.734092366103082 \cdot 10^{-74}:\\ \;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - c \cdot i\right) - \left(y0 \cdot b - y1 \cdot i\right) \cdot \left(j \cdot x - k \cdot z\right)\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right)\right) - \left(\left(-y5\right) \cdot \left(\left(t \cdot y2 - y \cdot y3\right) \cdot a\right) + \left(y4 \cdot c\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - y3 \cdot j\right) + \left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - c \cdot i\right) - \left(\left(z \cdot \left(y1 \cdot k\right)\right) \cdot i - \left(\left(j \cdot \left(x \cdot y1\right)\right) \cdot i + k \cdot \left(z \cdot \left(y0 \cdot b\right)\right)\right)\right)\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right)\\ \end{array}\]

Reproduce

herbie shell --seed 2019153 
(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"
  (+ (- (+ (+ (- (* (- (* 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)))))