Average Error: 25.5 → 27.2
Time: 3.6m
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}\;z \le -3.960708742560639 \cdot 10^{+59}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(\left(\left(c \cdot i - a \cdot b\right) \cdot t\right) \cdot z - \left(x \cdot \left(y \cdot i\right)\right) \cdot c\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;z \le -1.2520966132508891 \cdot 10^{-107}:\\ \;\;\;\;\left(\left(\left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\\ \mathbf{elif}\;z \le -3.0721755404718725 \cdot 10^{-140}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(\left(b \cdot y0 - y1 \cdot i\right) \cdot \left(-\left(x \cdot j - k \cdot z\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;z \le -1.0700549611874369 \cdot 10^{-203}:\\ \;\;\;\;\left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y0 \cdot \left(k \cdot z\right)\right) \cdot \left(-b\right) + \left(\left(k \cdot z - x \cdot j\right) \cdot y1\right) \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\\ \mathbf{elif}\;z \le -3.6156725693082273 \cdot 10^{-252}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right)\\ \mathbf{elif}\;z \le 1.4432964133751273 \cdot 10^{-184}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(\sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)} \cdot \sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)}\right) \cdot \sqrt[3]{\left(\sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)} \cdot \sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)}\right) \cdot \sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)}} - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;z \le 1.5912059750980174 \cdot 10^{-91}:\\ \;\;\;\;\left(y3 \cdot \left(\left(y0 \cdot y5 - y1 \cdot y4\right) \cdot j\right) + \left(-k\right) \cdot \left(y2 \cdot \left(y0 \cdot y5\right)\right)\right) + \left(\left(\left(\left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;z \le 2.3434277833159463 \cdot 10^{-30}:\\ \;\;\;\;\left(\left(\left(\left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(\left(y \cdot y3 - t \cdot y2\right) \cdot \left(y5 \cdot a\right) - \left(y3 \cdot \left(y \cdot y4\right)\right) \cdot c\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\\ \mathbf{elif}\;z \le 3.305478721719315 \cdot 10^{+160}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(\left(\left(c \cdot i - a \cdot b\right) \cdot t\right) \cdot z - \left(x \cdot \left(y \cdot i\right)\right) \cdot c\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y0 \cdot \left(k \cdot z\right)\right) \cdot \left(-b\right) + \left(\left(k \cdot z - x \cdot j\right) \cdot y1\right) \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\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}\;z \le -3.960708742560639 \cdot 10^{+59}:\\
\;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(\left(\left(c \cdot i - a \cdot b\right) \cdot t\right) \cdot z - \left(x \cdot \left(y \cdot i\right)\right) \cdot c\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\

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

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

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

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

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

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

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

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

\mathbf{else}:\\
\;\;\;\;\left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y0 \cdot \left(k \cdot z\right)\right) \cdot \left(-b\right) + \left(\left(k \cdot z - x \cdot j\right) \cdot y1\right) \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\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 r14452294 = x;
        double r14452295 = y;
        double r14452296 = r14452294 * r14452295;
        double r14452297 = z;
        double r14452298 = t;
        double r14452299 = r14452297 * r14452298;
        double r14452300 = r14452296 - r14452299;
        double r14452301 = a;
        double r14452302 = b;
        double r14452303 = r14452301 * r14452302;
        double r14452304 = c;
        double r14452305 = i;
        double r14452306 = r14452304 * r14452305;
        double r14452307 = r14452303 - r14452306;
        double r14452308 = r14452300 * r14452307;
        double r14452309 = j;
        double r14452310 = r14452294 * r14452309;
        double r14452311 = k;
        double r14452312 = r14452297 * r14452311;
        double r14452313 = r14452310 - r14452312;
        double r14452314 = y0;
        double r14452315 = r14452314 * r14452302;
        double r14452316 = y1;
        double r14452317 = r14452316 * r14452305;
        double r14452318 = r14452315 - r14452317;
        double r14452319 = r14452313 * r14452318;
        double r14452320 = r14452308 - r14452319;
        double r14452321 = y2;
        double r14452322 = r14452294 * r14452321;
        double r14452323 = y3;
        double r14452324 = r14452297 * r14452323;
        double r14452325 = r14452322 - r14452324;
        double r14452326 = r14452314 * r14452304;
        double r14452327 = r14452316 * r14452301;
        double r14452328 = r14452326 - r14452327;
        double r14452329 = r14452325 * r14452328;
        double r14452330 = r14452320 + r14452329;
        double r14452331 = r14452298 * r14452309;
        double r14452332 = r14452295 * r14452311;
        double r14452333 = r14452331 - r14452332;
        double r14452334 = y4;
        double r14452335 = r14452334 * r14452302;
        double r14452336 = y5;
        double r14452337 = r14452336 * r14452305;
        double r14452338 = r14452335 - r14452337;
        double r14452339 = r14452333 * r14452338;
        double r14452340 = r14452330 + r14452339;
        double r14452341 = r14452298 * r14452321;
        double r14452342 = r14452295 * r14452323;
        double r14452343 = r14452341 - r14452342;
        double r14452344 = r14452334 * r14452304;
        double r14452345 = r14452336 * r14452301;
        double r14452346 = r14452344 - r14452345;
        double r14452347 = r14452343 * r14452346;
        double r14452348 = r14452340 - r14452347;
        double r14452349 = r14452311 * r14452321;
        double r14452350 = r14452309 * r14452323;
        double r14452351 = r14452349 - r14452350;
        double r14452352 = r14452334 * r14452316;
        double r14452353 = r14452336 * r14452314;
        double r14452354 = r14452352 - r14452353;
        double r14452355 = r14452351 * r14452354;
        double r14452356 = r14452348 + r14452355;
        return r14452356;
}
↓
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 r14452357 = z;
        double r14452358 = -3.960708742560639e+59;
        bool r14452359 = r14452357 <= r14452358;
        double r14452360 = k;
        double r14452361 = y2;
        double r14452362 = r14452360 * r14452361;
        double r14452363 = j;
        double r14452364 = y3;
        double r14452365 = r14452363 * r14452364;
        double r14452366 = r14452362 - r14452365;
        double r14452367 = y1;
        double r14452368 = y4;
        double r14452369 = r14452367 * r14452368;
        double r14452370 = y0;
        double r14452371 = y5;
        double r14452372 = r14452370 * r14452371;
        double r14452373 = r14452369 - r14452372;
        double r14452374 = r14452366 * r14452373;
        double r14452375 = b;
        double r14452376 = r14452375 * r14452368;
        double r14452377 = i;
        double r14452378 = r14452371 * r14452377;
        double r14452379 = r14452376 - r14452378;
        double r14452380 = t;
        double r14452381 = r14452380 * r14452363;
        double r14452382 = y;
        double r14452383 = r14452382 * r14452360;
        double r14452384 = r14452381 - r14452383;
        double r14452385 = r14452379 * r14452384;
        double r14452386 = c;
        double r14452387 = r14452386 * r14452377;
        double r14452388 = a;
        double r14452389 = r14452388 * r14452375;
        double r14452390 = r14452387 - r14452389;
        double r14452391 = r14452390 * r14452380;
        double r14452392 = r14452391 * r14452357;
        double r14452393 = x;
        double r14452394 = r14452382 * r14452377;
        double r14452395 = r14452393 * r14452394;
        double r14452396 = r14452395 * r14452386;
        double r14452397 = r14452392 - r14452396;
        double r14452398 = r14452393 * r14452363;
        double r14452399 = r14452360 * r14452357;
        double r14452400 = r14452398 - r14452399;
        double r14452401 = r14452375 * r14452370;
        double r14452402 = r14452367 * r14452377;
        double r14452403 = r14452401 - r14452402;
        double r14452404 = r14452400 * r14452403;
        double r14452405 = r14452397 - r14452404;
        double r14452406 = r14452361 * r14452393;
        double r14452407 = r14452357 * r14452364;
        double r14452408 = r14452406 - r14452407;
        double r14452409 = r14452386 * r14452370;
        double r14452410 = r14452367 * r14452388;
        double r14452411 = r14452409 - r14452410;
        double r14452412 = r14452408 * r14452411;
        double r14452413 = r14452405 + r14452412;
        double r14452414 = r14452385 + r14452413;
        double r14452415 = r14452386 * r14452368;
        double r14452416 = r14452371 * r14452388;
        double r14452417 = r14452415 - r14452416;
        double r14452418 = r14452380 * r14452361;
        double r14452419 = r14452382 * r14452364;
        double r14452420 = r14452418 - r14452419;
        double r14452421 = r14452417 * r14452420;
        double r14452422 = r14452414 - r14452421;
        double r14452423 = r14452374 + r14452422;
        double r14452424 = -1.2520966132508891e-107;
        bool r14452425 = r14452357 <= r14452424;
        double r14452426 = r14452382 * r14452393;
        double r14452427 = r14452380 * r14452357;
        double r14452428 = r14452426 - r14452427;
        double r14452429 = r14452389 - r14452387;
        double r14452430 = r14452428 * r14452429;
        double r14452431 = r14452430 - r14452404;
        double r14452432 = r14452412 + r14452431;
        double r14452433 = r14452432 + r14452385;
        double r14452434 = r14452433 - r14452421;
        double r14452435 = -3.0721755404718725e-140;
        bool r14452436 = r14452357 <= r14452435;
        double r14452437 = -r14452400;
        double r14452438 = r14452403 * r14452437;
        double r14452439 = r14452438 + r14452412;
        double r14452440 = r14452439 + r14452385;
        double r14452441 = r14452440 - r14452421;
        double r14452442 = r14452374 + r14452441;
        double r14452443 = -1.0700549611874369e-203;
        bool r14452444 = r14452357 <= r14452443;
        double r14452445 = r14452370 * r14452399;
        double r14452446 = -r14452375;
        double r14452447 = r14452445 * r14452446;
        double r14452448 = r14452399 - r14452398;
        double r14452449 = r14452448 * r14452367;
        double r14452450 = r14452449 * r14452377;
        double r14452451 = r14452447 + r14452450;
        double r14452452 = r14452430 - r14452451;
        double r14452453 = r14452452 + r14452412;
        double r14452454 = r14452385 + r14452453;
        double r14452455 = r14452454 - r14452421;
        double r14452456 = r14452455 + r14452374;
        double r14452457 = -3.6156725693082273e-252;
        bool r14452458 = r14452357 <= r14452457;
        double r14452459 = r14452374 + r14452433;
        double r14452460 = 1.4432964133751273e-184;
        bool r14452461 = r14452357 <= r14452460;
        double r14452462 = cbrt(r14452430);
        double r14452463 = r14452462 * r14452462;
        double r14452464 = r14452463 * r14452462;
        double r14452465 = cbrt(r14452464);
        double r14452466 = r14452463 * r14452465;
        double r14452467 = r14452466 - r14452404;
        double r14452468 = r14452467 + r14452412;
        double r14452469 = r14452385 + r14452468;
        double r14452470 = r14452469 - r14452421;
        double r14452471 = r14452374 + r14452470;
        double r14452472 = 1.5912059750980174e-91;
        bool r14452473 = r14452357 <= r14452472;
        double r14452474 = r14452372 - r14452369;
        double r14452475 = r14452474 * r14452363;
        double r14452476 = r14452364 * r14452475;
        double r14452477 = -r14452360;
        double r14452478 = r14452361 * r14452372;
        double r14452479 = r14452477 * r14452478;
        double r14452480 = r14452476 + r14452479;
        double r14452481 = r14452480 + r14452434;
        double r14452482 = 2.3434277833159463e-30;
        bool r14452483 = r14452357 <= r14452482;
        double r14452484 = r14452419 - r14452418;
        double r14452485 = r14452484 * r14452416;
        double r14452486 = r14452382 * r14452368;
        double r14452487 = r14452364 * r14452486;
        double r14452488 = r14452487 * r14452386;
        double r14452489 = r14452485 - r14452488;
        double r14452490 = r14452433 - r14452489;
        double r14452491 = r14452490 + r14452374;
        double r14452492 = 3.305478721719315e+160;
        bool r14452493 = r14452357 <= r14452492;
        double r14452494 = r14452493 ? r14452423 : r14452456;
        double r14452495 = r14452483 ? r14452491 : r14452494;
        double r14452496 = r14452473 ? r14452481 : r14452495;
        double r14452497 = r14452461 ? r14452471 : r14452496;
        double r14452498 = r14452458 ? r14452459 : r14452497;
        double r14452499 = r14452444 ? r14452456 : r14452498;
        double r14452500 = r14452436 ? r14452442 : r14452499;
        double r14452501 = r14452425 ? r14452434 : r14452500;
        double r14452502 = r14452359 ? r14452423 : r14452501;
        return r14452502;
}

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

  2. if z < -3.960708742560639e+59 or 2.3434277833159463e-30 < z < 3.305478721719315e+160

    1. Initial program 26.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. Taylor expanded around -inf 31.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)\]

    3. Simplified26.5

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

    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 0 26.2

      \[\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 \left(y4 \cdot c - y5 \cdot a\right)\right) + \color{blue}{0}\]

    if -1.2520966132508891e-107 < z < -3.0721755404718725e-140

    1. Initial program 24.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. Taylor expanded around 0 25.5

      \[\leadsto \left(\left(\left(\left(\color{blue}{0} - \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 -3.0721755404718725e-140 < z < -1.0700549611874369e-203 or 3.305478721719315e+160 < z

    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 30.3

      \[\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. Simplified29.2

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

    if -1.0700549611874369e-203 < z < -3.6156725693082273e-252

    1. Initial program 25.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. Taylor expanded around 0 33.7

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

    if -3.6156725693082273e-252 < z < 1.4432964133751273e-184

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

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

    5. Applied add-cube-cbrt27.0

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

    if 1.4432964133751273e-184 < z < 1.5912059750980174e-91

    1. Initial program 24.5

      \[\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 27.4

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

    3. Simplified27.0

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

    if 1.5912059750980174e-91 < z < 2.3434277833159463e-30

    1. Initial program 22.6

      \[\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 25.8

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

    3. Simplified24.8

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

  4. Final simplification27.2

    \[\leadsto \begin{array}{l} \mathbf{if}\;z \le -3.960708742560639 \cdot 10^{+59}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(\left(\left(c \cdot i - a \cdot b\right) \cdot t\right) \cdot z - \left(x \cdot \left(y \cdot i\right)\right) \cdot c\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;z \le -1.2520966132508891 \cdot 10^{-107}:\\ \;\;\;\;\left(\left(\left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\\ \mathbf{elif}\;z \le -3.0721755404718725 \cdot 10^{-140}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(\left(b \cdot y0 - y1 \cdot i\right) \cdot \left(-\left(x \cdot j - k \cdot z\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;z \le -1.0700549611874369 \cdot 10^{-203}:\\ \;\;\;\;\left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y0 \cdot \left(k \cdot z\right)\right) \cdot \left(-b\right) + \left(\left(k \cdot z - x \cdot j\right) \cdot y1\right) \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\\ \mathbf{elif}\;z \le -3.6156725693082273 \cdot 10^{-252}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right)\\ \mathbf{elif}\;z \le 1.4432964133751273 \cdot 10^{-184}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(\sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)} \cdot \sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)}\right) \cdot \sqrt[3]{\left(\sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)} \cdot \sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)}\right) \cdot \sqrt[3]{\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right)}} - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;z \le 1.5912059750980174 \cdot 10^{-91}:\\ \;\;\;\;\left(y3 \cdot \left(\left(y0 \cdot y5 - y1 \cdot y4\right) \cdot j\right) + \left(-k\right) \cdot \left(y2 \cdot \left(y0 \cdot y5\right)\right)\right) + \left(\left(\left(\left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;z \le 2.3434277833159463 \cdot 10^{-30}:\\ \;\;\;\;\left(\left(\left(\left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right) + \left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\right) - \left(\left(y \cdot y3 - t \cdot y2\right) \cdot \left(y5 \cdot a\right) - \left(y3 \cdot \left(y \cdot y4\right)\right) \cdot c\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\\ \mathbf{elif}\;z \le 3.305478721719315 \cdot 10^{+160}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(\left(\left(c \cdot i - a \cdot b\right) \cdot t\right) \cdot z - \left(x \cdot \left(y \cdot i\right)\right) \cdot c\right) - \left(x \cdot j - k \cdot z\right) \cdot \left(b \cdot y0 - y1 \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(y \cdot x - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(y0 \cdot \left(k \cdot z\right)\right) \cdot \left(-b\right) + \left(\left(k \cdot z - x \cdot j\right) \cdot y1\right) \cdot i\right)\right) + \left(y2 \cdot x - z \cdot y3\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\\ \end{array}\]

Reproduce

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