Average Error: 25.7 → 26.0
Time: 4.4m
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}\;i \le -6.178543334280027 \cdot 10^{+37}:\\ \;\;\;\;\left(y4 \cdot y1 - y0 \cdot y5\right) \cdot \left(y2 \cdot k - j \cdot y3\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y1 \cdot \left(k \cdot z - j \cdot x\right)\right) \cdot i + \left(\left(k \cdot z\right) \cdot \left(-y0\right)\right) \cdot b\right)\right)\right) - \left(y4 \cdot c - a \cdot y5\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\ \mathbf{elif}\;i \le 2.7548120842702724 \cdot 10^{+49}:\\ \;\;\;\;\left(y4 \cdot y1 - y0 \cdot y5\right) \cdot \left(y2 \cdot k - j \cdot y3\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(\sqrt[3]{a \cdot b - c \cdot i} \cdot \sqrt[3]{a \cdot b - c \cdot i}\right)\right) \cdot \sqrt[3]{a \cdot b - c \cdot i} - \left(j \cdot x - k \cdot z\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right) + \left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right)\right)\right) - \left(y4 \cdot c - a \cdot y5\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(y4 \cdot y1 - y0 \cdot y5\right) \cdot \left(y2 \cdot k - j \cdot y3\right) + \left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y1 \cdot \left(k \cdot z - j \cdot x\right)\right) \cdot i + \left(\left(k \cdot z\right) \cdot \left(-y0\right)\right) \cdot b\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\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}\;i \le -6.178543334280027 \cdot 10^{+37}:\\
\;\;\;\;\left(y4 \cdot y1 - y0 \cdot y5\right) \cdot \left(y2 \cdot k - j \cdot y3\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y1 \cdot \left(k \cdot z - j \cdot x\right)\right) \cdot i + \left(\left(k \cdot z\right) \cdot \left(-y0\right)\right) \cdot b\right)\right)\right) - \left(y4 \cdot c - a \cdot y5\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right)\\

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

\mathbf{else}:\\
\;\;\;\;\left(y4 \cdot y1 - y0 \cdot y5\right) \cdot \left(y2 \cdot k - j \cdot y3\right) + \left(\left(\left(c \cdot y0 - a \cdot y1\right) \cdot \left(y2 \cdot x - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y1 \cdot \left(k \cdot z - j \cdot x\right)\right) \cdot i + \left(\left(k \cdot z\right) \cdot \left(-y0\right)\right) \cdot b\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\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 r23563979 = x;
        double r23563980 = y;
        double r23563981 = r23563979 * r23563980;
        double r23563982 = z;
        double r23563983 = t;
        double r23563984 = r23563982 * r23563983;
        double r23563985 = r23563981 - r23563984;
        double r23563986 = a;
        double r23563987 = b;
        double r23563988 = r23563986 * r23563987;
        double r23563989 = c;
        double r23563990 = i;
        double r23563991 = r23563989 * r23563990;
        double r23563992 = r23563988 - r23563991;
        double r23563993 = r23563985 * r23563992;
        double r23563994 = j;
        double r23563995 = r23563979 * r23563994;
        double r23563996 = k;
        double r23563997 = r23563982 * r23563996;
        double r23563998 = r23563995 - r23563997;
        double r23563999 = y0;
        double r23564000 = r23563999 * r23563987;
        double r23564001 = y1;
        double r23564002 = r23564001 * r23563990;
        double r23564003 = r23564000 - r23564002;
        double r23564004 = r23563998 * r23564003;
        double r23564005 = r23563993 - r23564004;
        double r23564006 = y2;
        double r23564007 = r23563979 * r23564006;
        double r23564008 = y3;
        double r23564009 = r23563982 * r23564008;
        double r23564010 = r23564007 - r23564009;
        double r23564011 = r23563999 * r23563989;
        double r23564012 = r23564001 * r23563986;
        double r23564013 = r23564011 - r23564012;
        double r23564014 = r23564010 * r23564013;
        double r23564015 = r23564005 + r23564014;
        double r23564016 = r23563983 * r23563994;
        double r23564017 = r23563980 * r23563996;
        double r23564018 = r23564016 - r23564017;
        double r23564019 = y4;
        double r23564020 = r23564019 * r23563987;
        double r23564021 = y5;
        double r23564022 = r23564021 * r23563990;
        double r23564023 = r23564020 - r23564022;
        double r23564024 = r23564018 * r23564023;
        double r23564025 = r23564015 + r23564024;
        double r23564026 = r23563983 * r23564006;
        double r23564027 = r23563980 * r23564008;
        double r23564028 = r23564026 - r23564027;
        double r23564029 = r23564019 * r23563989;
        double r23564030 = r23564021 * r23563986;
        double r23564031 = r23564029 - r23564030;
        double r23564032 = r23564028 * r23564031;
        double r23564033 = r23564025 - r23564032;
        double r23564034 = r23563996 * r23564006;
        double r23564035 = r23563994 * r23564008;
        double r23564036 = r23564034 - r23564035;
        double r23564037 = r23564019 * r23564001;
        double r23564038 = r23564021 * r23563999;
        double r23564039 = r23564037 - r23564038;
        double r23564040 = r23564036 * r23564039;
        double r23564041 = r23564033 + r23564040;
        return r23564041;
}
↓
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 r23564042 = i;
        double r23564043 = -6.178543334280027e+37;
        bool r23564044 = r23564042 <= r23564043;
        double r23564045 = y4;
        double r23564046 = y1;
        double r23564047 = r23564045 * r23564046;
        double r23564048 = y0;
        double r23564049 = y5;
        double r23564050 = r23564048 * r23564049;
        double r23564051 = r23564047 - r23564050;
        double r23564052 = y2;
        double r23564053 = k;
        double r23564054 = r23564052 * r23564053;
        double r23564055 = j;
        double r23564056 = y3;
        double r23564057 = r23564055 * r23564056;
        double r23564058 = r23564054 - r23564057;
        double r23564059 = r23564051 * r23564058;
        double r23564060 = b;
        double r23564061 = r23564060 * r23564045;
        double r23564062 = r23564049 * r23564042;
        double r23564063 = r23564061 - r23564062;
        double r23564064 = t;
        double r23564065 = r23564055 * r23564064;
        double r23564066 = y;
        double r23564067 = r23564066 * r23564053;
        double r23564068 = r23564065 - r23564067;
        double r23564069 = r23564063 * r23564068;
        double r23564070 = x;
        double r23564071 = r23564070 * r23564066;
        double r23564072 = z;
        double r23564073 = r23564064 * r23564072;
        double r23564074 = r23564071 - r23564073;
        double r23564075 = a;
        double r23564076 = r23564075 * r23564060;
        double r23564077 = c;
        double r23564078 = r23564077 * r23564042;
        double r23564079 = r23564076 - r23564078;
        double r23564080 = r23564074 * r23564079;
        double r23564081 = r23564053 * r23564072;
        double r23564082 = r23564055 * r23564070;
        double r23564083 = r23564081 - r23564082;
        double r23564084 = r23564046 * r23564083;
        double r23564085 = r23564084 * r23564042;
        double r23564086 = -r23564048;
        double r23564087 = r23564081 * r23564086;
        double r23564088 = r23564087 * r23564060;
        double r23564089 = r23564085 + r23564088;
        double r23564090 = r23564080 - r23564089;
        double r23564091 = r23564069 + r23564090;
        double r23564092 = r23564045 * r23564077;
        double r23564093 = r23564075 * r23564049;
        double r23564094 = r23564092 - r23564093;
        double r23564095 = r23564052 * r23564064;
        double r23564096 = r23564066 * r23564056;
        double r23564097 = r23564095 - r23564096;
        double r23564098 = r23564094 * r23564097;
        double r23564099 = r23564091 - r23564098;
        double r23564100 = r23564059 + r23564099;
        double r23564101 = 2.7548120842702724e+49;
        bool r23564102 = r23564042 <= r23564101;
        double r23564103 = cbrt(r23564079);
        double r23564104 = r23564103 * r23564103;
        double r23564105 = r23564074 * r23564104;
        double r23564106 = r23564105 * r23564103;
        double r23564107 = r23564082 - r23564081;
        double r23564108 = r23564060 * r23564048;
        double r23564109 = r23564042 * r23564046;
        double r23564110 = r23564108 - r23564109;
        double r23564111 = r23564107 * r23564110;
        double r23564112 = r23564106 - r23564111;
        double r23564113 = r23564077 * r23564048;
        double r23564114 = r23564075 * r23564046;
        double r23564115 = r23564113 - r23564114;
        double r23564116 = r23564052 * r23564070;
        double r23564117 = r23564072 * r23564056;
        double r23564118 = r23564116 - r23564117;
        double r23564119 = r23564115 * r23564118;
        double r23564120 = r23564112 + r23564119;
        double r23564121 = r23564069 + r23564120;
        double r23564122 = r23564121 - r23564098;
        double r23564123 = r23564059 + r23564122;
        double r23564124 = r23564119 + r23564090;
        double r23564125 = r23564124 + r23564069;
        double r23564126 = r23564059 + r23564125;
        double r23564127 = r23564102 ? r23564123 : r23564126;
        double r23564128 = r23564044 ? r23564100 : r23564127;
        return r23564128;
}

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 3 regimes

  2. if i < -6.178543334280027e+37

    1. Initial program 27.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 26.9

      \[\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. Simplified26.9

      \[\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(y1 \cdot \left(k \cdot z - x \cdot j\right)\right) + \left(\left(-y0\right) \cdot \left(k \cdot z\right)\right) \cdot b\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. Taylor expanded around 0 29.1

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(i \cdot \left(y1 \cdot \left(k \cdot z - x \cdot j\right)\right) + \left(\left(-y0\right) \cdot \left(k \cdot z\right)\right) \cdot b\right)\right) + \color{blue}{0}\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 -6.178543334280027e+37 < i < 2.7548120842702724e+49

    1. Initial program 24.8

      \[\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-cbrt24.9

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

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

    1. Initial program 28.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 26.8

      \[\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. Simplified26.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(y1 \cdot \left(k \cdot z - x \cdot j\right)\right) + \left(\left(-y0\right) \cdot \left(k \cdot z\right)\right) \cdot b\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. Taylor expanded around 0 28.5

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

  4. Final simplification26.0

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

Reproduce

herbie shell --seed 2019125 
(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)))))