Average Error: 27.2 → 27.8
Time: 2.8m
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 -3.478432364476206089569583868354549967711 \cdot 10^{142}:\\ \;\;\;\;\left(\left(\left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(i \cdot \left(z \cdot \left(k \cdot y1\right)\right) - \left(i \cdot \left(\left(x \cdot y1\right) \cdot j\right) + \left(\left(b \cdot y0\right) \cdot z\right) \cdot k\right)\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\ \mathbf{elif}\;i \le -7.571795248650015211841267720095007610628 \cdot 10^{-30}:\\ \;\;\;\;\left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right) - \left(a \cdot \left(y2 \cdot \left(y5 \cdot t\right)\right) + \left(y4 \cdot \left(y \cdot c\right)\right) \cdot y3\right)\right)\right)\\ \mathbf{elif}\;i \le -4.026256788932679584953483316322469443143 \cdot 10^{-265}:\\ \;\;\;\;\left(\left(j \cdot \left(y5 \cdot y0\right)\right) \cdot y3 - \left(\left(\left(j \cdot y4\right) \cdot y3\right) \cdot y1 + \left(\left(y5 \cdot y0\right) \cdot y2\right) \cdot k\right)\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right)\\ \mathbf{elif}\;i \le 1.109197962436974270945876934149177833039 \cdot 10^{-270}:\\ \;\;\;\;\left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right) + \left(\left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \sqrt[3]{\left(\sqrt[3]{b \cdot y0 - i \cdot y1} \cdot \sqrt[3]{b \cdot y0 - i \cdot y1}\right) \cdot \sqrt[3]{b \cdot y0 - i \cdot y1}} \cdot \left(\left(\sqrt[3]{b \cdot y0 - i \cdot y1} \cdot \sqrt[3]{b \cdot y0 - i \cdot y1}\right) \cdot \left(x \cdot j - k \cdot z\right)\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right)\\ \mathbf{elif}\;i \le 3.396574730906431561055541908728700159657 \cdot 10^{72}:\\ \;\;\;\;\left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(\left(\sqrt[3]{c \cdot y4 - a \cdot y5} \cdot \sqrt[3]{c \cdot y4 - a \cdot y5}\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) \cdot \sqrt[3]{c \cdot y4 - a \cdot y5}\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(i \cdot \left(z \cdot \left(k \cdot y1\right)\right) - \left(i \cdot \left(\left(x \cdot y1\right) \cdot j\right) + \left(\left(b \cdot y0\right) \cdot z\right) \cdot k\right)\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\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 -3.478432364476206089569583868354549967711 \cdot 10^{142}:\\
\;\;\;\;\left(\left(\left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(i \cdot \left(z \cdot \left(k \cdot y1\right)\right) - \left(i \cdot \left(\left(x \cdot y1\right) \cdot j\right) + \left(\left(b \cdot y0\right) \cdot z\right) \cdot k\right)\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\

\mathbf{elif}\;i \le -7.571795248650015211841267720095007610628 \cdot 10^{-30}:\\
\;\;\;\;\left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right) - \left(a \cdot \left(y2 \cdot \left(y5 \cdot t\right)\right) + \left(y4 \cdot \left(y \cdot c\right)\right) \cdot y3\right)\right)\right)\\

\mathbf{elif}\;i \le -4.026256788932679584953483316322469443143 \cdot 10^{-265}:\\
\;\;\;\;\left(\left(j \cdot \left(y5 \cdot y0\right)\right) \cdot y3 - \left(\left(\left(j \cdot y4\right) \cdot y3\right) \cdot y1 + \left(\left(y5 \cdot y0\right) \cdot y2\right) \cdot k\right)\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right)\\

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

\mathbf{elif}\;i \le 3.396574730906431561055541908728700159657 \cdot 10^{72}:\\
\;\;\;\;\left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(\left(\sqrt[3]{c \cdot y4 - a \cdot y5} \cdot \sqrt[3]{c \cdot y4 - a \cdot y5}\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) \cdot \sqrt[3]{c \cdot y4 - a \cdot y5}\right)\\

\mathbf{else}:\\
\;\;\;\;\left(\left(\left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(i \cdot \left(z \cdot \left(k \cdot y1\right)\right) - \left(i \cdot \left(\left(x \cdot y1\right) \cdot j\right) + \left(\left(b \cdot y0\right) \cdot z\right) \cdot k\right)\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\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 r4961418 = x;
        double r4961419 = y;
        double r4961420 = r4961418 * r4961419;
        double r4961421 = z;
        double r4961422 = t;
        double r4961423 = r4961421 * r4961422;
        double r4961424 = r4961420 - r4961423;
        double r4961425 = a;
        double r4961426 = b;
        double r4961427 = r4961425 * r4961426;
        double r4961428 = c;
        double r4961429 = i;
        double r4961430 = r4961428 * r4961429;
        double r4961431 = r4961427 - r4961430;
        double r4961432 = r4961424 * r4961431;
        double r4961433 = j;
        double r4961434 = r4961418 * r4961433;
        double r4961435 = k;
        double r4961436 = r4961421 * r4961435;
        double r4961437 = r4961434 - r4961436;
        double r4961438 = y0;
        double r4961439 = r4961438 * r4961426;
        double r4961440 = y1;
        double r4961441 = r4961440 * r4961429;
        double r4961442 = r4961439 - r4961441;
        double r4961443 = r4961437 * r4961442;
        double r4961444 = r4961432 - r4961443;
        double r4961445 = y2;
        double r4961446 = r4961418 * r4961445;
        double r4961447 = y3;
        double r4961448 = r4961421 * r4961447;
        double r4961449 = r4961446 - r4961448;
        double r4961450 = r4961438 * r4961428;
        double r4961451 = r4961440 * r4961425;
        double r4961452 = r4961450 - r4961451;
        double r4961453 = r4961449 * r4961452;
        double r4961454 = r4961444 + r4961453;
        double r4961455 = r4961422 * r4961433;
        double r4961456 = r4961419 * r4961435;
        double r4961457 = r4961455 - r4961456;
        double r4961458 = y4;
        double r4961459 = r4961458 * r4961426;
        double r4961460 = y5;
        double r4961461 = r4961460 * r4961429;
        double r4961462 = r4961459 - r4961461;
        double r4961463 = r4961457 * r4961462;
        double r4961464 = r4961454 + r4961463;
        double r4961465 = r4961422 * r4961445;
        double r4961466 = r4961419 * r4961447;
        double r4961467 = r4961465 - r4961466;
        double r4961468 = r4961458 * r4961428;
        double r4961469 = r4961460 * r4961425;
        double r4961470 = r4961468 - r4961469;
        double r4961471 = r4961467 * r4961470;
        double r4961472 = r4961464 - r4961471;
        double r4961473 = r4961435 * r4961445;
        double r4961474 = r4961433 * r4961447;
        double r4961475 = r4961473 - r4961474;
        double r4961476 = r4961458 * r4961440;
        double r4961477 = r4961460 * r4961438;
        double r4961478 = r4961476 - r4961477;
        double r4961479 = r4961475 * r4961478;
        double r4961480 = r4961472 + r4961479;
        return r4961480;
}
↓
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 r4961481 = i;
        double r4961482 = -3.478432364476206e+142;
        bool r4961483 = r4961481 <= r4961482;
        double r4961484 = y0;
        double r4961485 = c;
        double r4961486 = r4961484 * r4961485;
        double r4961487 = a;
        double r4961488 = y1;
        double r4961489 = r4961487 * r4961488;
        double r4961490 = r4961486 - r4961489;
        double r4961491 = x;
        double r4961492 = y2;
        double r4961493 = r4961491 * r4961492;
        double r4961494 = y3;
        double r4961495 = z;
        double r4961496 = r4961494 * r4961495;
        double r4961497 = r4961493 - r4961496;
        double r4961498 = r4961490 * r4961497;
        double r4961499 = y;
        double r4961500 = r4961491 * r4961499;
        double r4961501 = t;
        double r4961502 = r4961501 * r4961495;
        double r4961503 = r4961500 - r4961502;
        double r4961504 = b;
        double r4961505 = r4961487 * r4961504;
        double r4961506 = r4961485 * r4961481;
        double r4961507 = r4961505 - r4961506;
        double r4961508 = r4961503 * r4961507;
        double r4961509 = k;
        double r4961510 = r4961509 * r4961488;
        double r4961511 = r4961495 * r4961510;
        double r4961512 = r4961481 * r4961511;
        double r4961513 = r4961491 * r4961488;
        double r4961514 = j;
        double r4961515 = r4961513 * r4961514;
        double r4961516 = r4961481 * r4961515;
        double r4961517 = r4961504 * r4961484;
        double r4961518 = r4961517 * r4961495;
        double r4961519 = r4961518 * r4961509;
        double r4961520 = r4961516 + r4961519;
        double r4961521 = r4961512 - r4961520;
        double r4961522 = r4961508 - r4961521;
        double r4961523 = r4961498 + r4961522;
        double r4961524 = y4;
        double r4961525 = r4961504 * r4961524;
        double r4961526 = y5;
        double r4961527 = r4961526 * r4961481;
        double r4961528 = r4961525 - r4961527;
        double r4961529 = r4961514 * r4961501;
        double r4961530 = r4961499 * r4961509;
        double r4961531 = r4961529 - r4961530;
        double r4961532 = r4961528 * r4961531;
        double r4961533 = r4961523 + r4961532;
        double r4961534 = r4961485 * r4961524;
        double r4961535 = r4961487 * r4961526;
        double r4961536 = r4961534 - r4961535;
        double r4961537 = r4961501 * r4961492;
        double r4961538 = r4961494 * r4961499;
        double r4961539 = r4961537 - r4961538;
        double r4961540 = r4961536 * r4961539;
        double r4961541 = r4961533 - r4961540;
        double r4961542 = r4961492 * r4961509;
        double r4961543 = r4961494 * r4961514;
        double r4961544 = r4961542 - r4961543;
        double r4961545 = r4961488 * r4961524;
        double r4961546 = r4961526 * r4961484;
        double r4961547 = r4961545 - r4961546;
        double r4961548 = r4961544 * r4961547;
        double r4961549 = r4961541 + r4961548;
        double r4961550 = -7.571795248650015e-30;
        bool r4961551 = r4961481 <= r4961550;
        double r4961552 = r4961491 * r4961514;
        double r4961553 = r4961509 * r4961495;
        double r4961554 = r4961552 - r4961553;
        double r4961555 = r4961481 * r4961488;
        double r4961556 = r4961517 - r4961555;
        double r4961557 = r4961554 * r4961556;
        double r4961558 = r4961508 - r4961557;
        double r4961559 = r4961558 + r4961498;
        double r4961560 = r4961532 + r4961559;
        double r4961561 = r4961499 * r4961526;
        double r4961562 = r4961494 * r4961561;
        double r4961563 = r4961487 * r4961562;
        double r4961564 = r4961526 * r4961501;
        double r4961565 = r4961492 * r4961564;
        double r4961566 = r4961487 * r4961565;
        double r4961567 = r4961499 * r4961485;
        double r4961568 = r4961524 * r4961567;
        double r4961569 = r4961568 * r4961494;
        double r4961570 = r4961566 + r4961569;
        double r4961571 = r4961563 - r4961570;
        double r4961572 = r4961560 - r4961571;
        double r4961573 = r4961548 + r4961572;
        double r4961574 = -4.0262567889326796e-265;
        bool r4961575 = r4961481 <= r4961574;
        double r4961576 = r4961514 * r4961546;
        double r4961577 = r4961576 * r4961494;
        double r4961578 = r4961514 * r4961524;
        double r4961579 = r4961578 * r4961494;
        double r4961580 = r4961579 * r4961488;
        double r4961581 = r4961546 * r4961492;
        double r4961582 = r4961581 * r4961509;
        double r4961583 = r4961580 + r4961582;
        double r4961584 = r4961577 - r4961583;
        double r4961585 = r4961560 - r4961540;
        double r4961586 = r4961584 + r4961585;
        double r4961587 = 1.1091979624369743e-270;
        bool r4961588 = r4961481 <= r4961587;
        double r4961589 = cbrt(r4961556);
        double r4961590 = r4961589 * r4961589;
        double r4961591 = r4961590 * r4961589;
        double r4961592 = cbrt(r4961591);
        double r4961593 = r4961590 * r4961554;
        double r4961594 = r4961592 * r4961593;
        double r4961595 = r4961508 - r4961594;
        double r4961596 = r4961498 + r4961595;
        double r4961597 = r4961596 - r4961540;
        double r4961598 = r4961548 + r4961597;
        double r4961599 = 3.3965747309064316e+72;
        bool r4961600 = r4961481 <= r4961599;
        double r4961601 = cbrt(r4961536);
        double r4961602 = r4961601 * r4961601;
        double r4961603 = r4961602 * r4961539;
        double r4961604 = r4961603 * r4961601;
        double r4961605 = r4961560 - r4961604;
        double r4961606 = r4961548 + r4961605;
        double r4961607 = r4961600 ? r4961606 : r4961549;
        double r4961608 = r4961588 ? r4961598 : r4961607;
        double r4961609 = r4961575 ? r4961586 : r4961608;
        double r4961610 = r4961551 ? r4961573 : r4961609;
        double r4961611 = r4961483 ? r4961549 : r4961610;
        return r4961611;
}

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

  2. if i < -3.478432364476206e+142 or 3.3965747309064316e+72 < i

    1. Initial program 31.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 29.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)\]

    if -3.478432364476206e+142 < i < -7.571795248650015e-30

    1. Initial program 27.4

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

    if -7.571795248650015e-30 < i < -4.0262567889326796e-265

    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 inf 27.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) - \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)}\]

    if -4.0262567889326796e-265 < i < 1.1091979624369743e-270

    1. Initial program 28.4

      \[\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-cbrt28.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 \color{blue}{\left(\left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) \cdot \sqrt[3]{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*28.4

      \[\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(\left(x \cdot j - z \cdot k\right) \cdot \left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right)\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}}\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. Using strategy rm

    6. Applied add-cbrt-cube28.4

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

    7. Taylor expanded around 0 30.7

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(\left(x \cdot j - z \cdot k\right) \cdot \left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right)\right) \cdot \sqrt[3]{\left(\sqrt[3]{y0 \cdot b - y1 \cdot i} \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}\right) \cdot \sqrt[3]{y0 \cdot b - y1 \cdot i}}\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \color{blue}{0}\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.1091979624369743e-270 < i < 3.3965747309064316e+72

    1. Initial program 25.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. Using strategy rm

    3. Applied add-cube-cbrt25.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) - \left(t \cdot y2 - y \cdot y3\right) \cdot \color{blue}{\left(\left(\sqrt[3]{y4 \cdot c - y5 \cdot a} \cdot \sqrt[3]{y4 \cdot c - y5 \cdot a}\right) \cdot \sqrt[3]{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*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(\left(t \cdot y2 - y \cdot y3\right) \cdot \left(\sqrt[3]{y4 \cdot c - y5 \cdot a} \cdot \sqrt[3]{y4 \cdot c - y5 \cdot a}\right)\right) \cdot \sqrt[3]{y4 \cdot c - y5 \cdot a}}\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
  3. Recombined 5 regimes into one program.

  4. Final simplification27.8

    \[\leadsto \begin{array}{l} \mathbf{if}\;i \le -3.478432364476206089569583868354549967711 \cdot 10^{142}:\\ \;\;\;\;\left(\left(\left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(i \cdot \left(z \cdot \left(k \cdot y1\right)\right) - \left(i \cdot \left(\left(x \cdot y1\right) \cdot j\right) + \left(\left(b \cdot y0\right) \cdot z\right) \cdot k\right)\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\ \mathbf{elif}\;i \le -7.571795248650015211841267720095007610628 \cdot 10^{-30}:\\ \;\;\;\;\left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right) - \left(a \cdot \left(y2 \cdot \left(y5 \cdot t\right)\right) + \left(y4 \cdot \left(y \cdot c\right)\right) \cdot y3\right)\right)\right)\\ \mathbf{elif}\;i \le -4.026256788932679584953483316322469443143 \cdot 10^{-265}:\\ \;\;\;\;\left(\left(j \cdot \left(y5 \cdot y0\right)\right) \cdot y3 - \left(\left(\left(j \cdot y4\right) \cdot y3\right) \cdot y1 + \left(\left(y5 \cdot y0\right) \cdot y2\right) \cdot k\right)\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right)\\ \mathbf{elif}\;i \le 1.109197962436974270945876934149177833039 \cdot 10^{-270}:\\ \;\;\;\;\left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right) + \left(\left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \sqrt[3]{\left(\sqrt[3]{b \cdot y0 - i \cdot y1} \cdot \sqrt[3]{b \cdot y0 - i \cdot y1}\right) \cdot \sqrt[3]{b \cdot y0 - i \cdot y1}} \cdot \left(\left(\sqrt[3]{b \cdot y0 - i \cdot y1} \cdot \sqrt[3]{b \cdot y0 - i \cdot y1}\right) \cdot \left(x \cdot j - k \cdot z\right)\right)\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right)\\ \mathbf{elif}\;i \le 3.396574730906431561055541908728700159657 \cdot 10^{72}:\\ \;\;\;\;\left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right) + \left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(\left(\left(x \cdot y - 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 - i \cdot y1\right)\right) + \left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right)\right)\right) - \left(\left(\sqrt[3]{c \cdot y4 - a \cdot y5} \cdot \sqrt[3]{c \cdot y4 - a \cdot y5}\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) \cdot \sqrt[3]{c \cdot y4 - a \cdot y5}\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - y3 \cdot z\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(i \cdot \left(z \cdot \left(k \cdot y1\right)\right) - \left(i \cdot \left(\left(x \cdot y1\right) \cdot j\right) + \left(\left(b \cdot y0\right) \cdot z\right) \cdot k\right)\right)\right)\right) + \left(b \cdot y4 - y5 \cdot i\right) \cdot \left(j \cdot t - y \cdot k\right)\right) - \left(c \cdot y4 - a \cdot y5\right) \cdot \left(t \cdot y2 - y3 \cdot y\right)\right) + \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y1 \cdot y4 - y5 \cdot y0\right)\\ \end{array}\]

Reproduce

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