Average Error: 27.2 → 27.8
Time: 3.3m
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 r26976392 = x;
        double r26976393 = y;
        double r26976394 = r26976392 * r26976393;
        double r26976395 = z;
        double r26976396 = t;
        double r26976397 = r26976395 * r26976396;
        double r26976398 = r26976394 - r26976397;
        double r26976399 = a;
        double r26976400 = b;
        double r26976401 = r26976399 * r26976400;
        double r26976402 = c;
        double r26976403 = i;
        double r26976404 = r26976402 * r26976403;
        double r26976405 = r26976401 - r26976404;
        double r26976406 = r26976398 * r26976405;
        double r26976407 = j;
        double r26976408 = r26976392 * r26976407;
        double r26976409 = k;
        double r26976410 = r26976395 * r26976409;
        double r26976411 = r26976408 - r26976410;
        double r26976412 = y0;
        double r26976413 = r26976412 * r26976400;
        double r26976414 = y1;
        double r26976415 = r26976414 * r26976403;
        double r26976416 = r26976413 - r26976415;
        double r26976417 = r26976411 * r26976416;
        double r26976418 = r26976406 - r26976417;
        double r26976419 = y2;
        double r26976420 = r26976392 * r26976419;
        double r26976421 = y3;
        double r26976422 = r26976395 * r26976421;
        double r26976423 = r26976420 - r26976422;
        double r26976424 = r26976412 * r26976402;
        double r26976425 = r26976414 * r26976399;
        double r26976426 = r26976424 - r26976425;
        double r26976427 = r26976423 * r26976426;
        double r26976428 = r26976418 + r26976427;
        double r26976429 = r26976396 * r26976407;
        double r26976430 = r26976393 * r26976409;
        double r26976431 = r26976429 - r26976430;
        double r26976432 = y4;
        double r26976433 = r26976432 * r26976400;
        double r26976434 = y5;
        double r26976435 = r26976434 * r26976403;
        double r26976436 = r26976433 - r26976435;
        double r26976437 = r26976431 * r26976436;
        double r26976438 = r26976428 + r26976437;
        double r26976439 = r26976396 * r26976419;
        double r26976440 = r26976393 * r26976421;
        double r26976441 = r26976439 - r26976440;
        double r26976442 = r26976432 * r26976402;
        double r26976443 = r26976434 * r26976399;
        double r26976444 = r26976442 - r26976443;
        double r26976445 = r26976441 * r26976444;
        double r26976446 = r26976438 - r26976445;
        double r26976447 = r26976409 * r26976419;
        double r26976448 = r26976407 * r26976421;
        double r26976449 = r26976447 - r26976448;
        double r26976450 = r26976432 * r26976414;
        double r26976451 = r26976434 * r26976412;
        double r26976452 = r26976450 - r26976451;
        double r26976453 = r26976449 * r26976452;
        double r26976454 = r26976446 + r26976453;
        return r26976454;
}
↓
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 r26976455 = i;
        double r26976456 = -3.478432364476206e+142;
        bool r26976457 = r26976455 <= r26976456;
        double r26976458 = y0;
        double r26976459 = c;
        double r26976460 = r26976458 * r26976459;
        double r26976461 = a;
        double r26976462 = y1;
        double r26976463 = r26976461 * r26976462;
        double r26976464 = r26976460 - r26976463;
        double r26976465 = x;
        double r26976466 = y2;
        double r26976467 = r26976465 * r26976466;
        double r26976468 = y3;
        double r26976469 = z;
        double r26976470 = r26976468 * r26976469;
        double r26976471 = r26976467 - r26976470;
        double r26976472 = r26976464 * r26976471;
        double r26976473 = y;
        double r26976474 = r26976465 * r26976473;
        double r26976475 = t;
        double r26976476 = r26976475 * r26976469;
        double r26976477 = r26976474 - r26976476;
        double r26976478 = b;
        double r26976479 = r26976461 * r26976478;
        double r26976480 = r26976459 * r26976455;
        double r26976481 = r26976479 - r26976480;
        double r26976482 = r26976477 * r26976481;
        double r26976483 = k;
        double r26976484 = r26976483 * r26976462;
        double r26976485 = r26976469 * r26976484;
        double r26976486 = r26976455 * r26976485;
        double r26976487 = r26976465 * r26976462;
        double r26976488 = j;
        double r26976489 = r26976487 * r26976488;
        double r26976490 = r26976455 * r26976489;
        double r26976491 = r26976478 * r26976458;
        double r26976492 = r26976491 * r26976469;
        double r26976493 = r26976492 * r26976483;
        double r26976494 = r26976490 + r26976493;
        double r26976495 = r26976486 - r26976494;
        double r26976496 = r26976482 - r26976495;
        double r26976497 = r26976472 + r26976496;
        double r26976498 = y4;
        double r26976499 = r26976478 * r26976498;
        double r26976500 = y5;
        double r26976501 = r26976500 * r26976455;
        double r26976502 = r26976499 - r26976501;
        double r26976503 = r26976488 * r26976475;
        double r26976504 = r26976473 * r26976483;
        double r26976505 = r26976503 - r26976504;
        double r26976506 = r26976502 * r26976505;
        double r26976507 = r26976497 + r26976506;
        double r26976508 = r26976459 * r26976498;
        double r26976509 = r26976461 * r26976500;
        double r26976510 = r26976508 - r26976509;
        double r26976511 = r26976475 * r26976466;
        double r26976512 = r26976468 * r26976473;
        double r26976513 = r26976511 - r26976512;
        double r26976514 = r26976510 * r26976513;
        double r26976515 = r26976507 - r26976514;
        double r26976516 = r26976466 * r26976483;
        double r26976517 = r26976468 * r26976488;
        double r26976518 = r26976516 - r26976517;
        double r26976519 = r26976462 * r26976498;
        double r26976520 = r26976500 * r26976458;
        double r26976521 = r26976519 - r26976520;
        double r26976522 = r26976518 * r26976521;
        double r26976523 = r26976515 + r26976522;
        double r26976524 = -7.571795248650015e-30;
        bool r26976525 = r26976455 <= r26976524;
        double r26976526 = r26976465 * r26976488;
        double r26976527 = r26976483 * r26976469;
        double r26976528 = r26976526 - r26976527;
        double r26976529 = r26976455 * r26976462;
        double r26976530 = r26976491 - r26976529;
        double r26976531 = r26976528 * r26976530;
        double r26976532 = r26976482 - r26976531;
        double r26976533 = r26976532 + r26976472;
        double r26976534 = r26976506 + r26976533;
        double r26976535 = r26976473 * r26976500;
        double r26976536 = r26976468 * r26976535;
        double r26976537 = r26976461 * r26976536;
        double r26976538 = r26976500 * r26976475;
        double r26976539 = r26976466 * r26976538;
        double r26976540 = r26976461 * r26976539;
        double r26976541 = r26976473 * r26976459;
        double r26976542 = r26976498 * r26976541;
        double r26976543 = r26976542 * r26976468;
        double r26976544 = r26976540 + r26976543;
        double r26976545 = r26976537 - r26976544;
        double r26976546 = r26976534 - r26976545;
        double r26976547 = r26976522 + r26976546;
        double r26976548 = -4.0262567889326796e-265;
        bool r26976549 = r26976455 <= r26976548;
        double r26976550 = r26976488 * r26976520;
        double r26976551 = r26976550 * r26976468;
        double r26976552 = r26976488 * r26976498;
        double r26976553 = r26976552 * r26976468;
        double r26976554 = r26976553 * r26976462;
        double r26976555 = r26976520 * r26976466;
        double r26976556 = r26976555 * r26976483;
        double r26976557 = r26976554 + r26976556;
        double r26976558 = r26976551 - r26976557;
        double r26976559 = r26976534 - r26976514;
        double r26976560 = r26976558 + r26976559;
        double r26976561 = 1.1091979624369743e-270;
        bool r26976562 = r26976455 <= r26976561;
        double r26976563 = cbrt(r26976530);
        double r26976564 = r26976563 * r26976563;
        double r26976565 = r26976564 * r26976563;
        double r26976566 = cbrt(r26976565);
        double r26976567 = r26976564 * r26976528;
        double r26976568 = r26976566 * r26976567;
        double r26976569 = r26976482 - r26976568;
        double r26976570 = r26976472 + r26976569;
        double r26976571 = r26976570 - r26976514;
        double r26976572 = r26976522 + r26976571;
        double r26976573 = 3.3965747309064316e+72;
        bool r26976574 = r26976455 <= r26976573;
        double r26976575 = cbrt(r26976510);
        double r26976576 = r26976575 * r26976575;
        double r26976577 = r26976576 * r26976513;
        double r26976578 = r26976577 * r26976575;
        double r26976579 = r26976534 - r26976578;
        double r26976580 = r26976522 + r26976579;
        double r26976581 = r26976574 ? r26976580 : r26976523;
        double r26976582 = r26976562 ? r26976572 : r26976581;
        double r26976583 = r26976549 ? r26976560 : r26976582;
        double r26976584 = r26976525 ? r26976547 : r26976583;
        double r26976585 = r26976457 ? r26976523 : r26976584;
        return r26976585;
}

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

Target

Original27.2
Target30.9
Herbie27.8
\[\begin{array}{l} \mathbf{if}\;y4 \lt -7.206256231996481342319540724063498925423 \cdot 10^{60}:\\ \;\;\;\;\left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right)\right) - \left(\frac{y2 \cdot t - y3 \cdot y}{\frac{1}{y4 \cdot c - y5 \cdot a}} - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\\ \mathbf{elif}\;y4 \lt -3.364603505246316896676998939327711644754 \cdot 10^{-66}:\\ \;\;\;\;\left(\left(\left(\left(t \cdot c\right) \cdot \left(i \cdot z\right) - \left(a \cdot t\right) \cdot \left(b \cdot z\right)\right) - \left(y \cdot c\right) \cdot \left(i \cdot x\right)\right) - \left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right)\right) + \left(\left(y0 \cdot c - a \cdot y1\right) \cdot \left(x \cdot y2 - z \cdot y3\right) - \left(\left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - a \cdot y5\right) - \left(y1 \cdot y4 - y5 \cdot y0\right) \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\right)\\ \mathbf{elif}\;y4 \lt -1.200006505568611600888263862102883004513 \cdot 10^{-105}:\\ \;\;\;\;\left(\left(\left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) - \left(y3 \cdot y\right) \cdot \left(y5 \cdot a - y4 \cdot c\right)\right) + \left(\left(y5 \cdot a\right) \cdot \left(t \cdot y2\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right) - \left(\left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right) - \left(y \cdot x - z \cdot t\right) \cdot \left(b \cdot a - i \cdot c\right)\right)\right)\\ \mathbf{elif}\;y4 \lt 6.718963124057494636349617318198742025856 \cdot 10^{-279}:\\ \;\;\;\;\left(\left(\left(\left(k \cdot y\right) \cdot \left(y5 \cdot i\right) - \left(y \cdot b\right) \cdot \left(y4 \cdot k\right)\right) - \left(y5 \cdot t\right) \cdot \left(i \cdot j\right)\right) - \left(\left(y2 \cdot t - y3 \cdot y\right) \cdot \left(y4 \cdot c - y5 \cdot a\right) - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(y2 \cdot x - y3 \cdot z\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right)\\ \mathbf{elif}\;y4 \lt 4.779626814037919873410686589412258835104 \cdot 10^{-222}:\\ \;\;\;\;\left(\left(\left(j \cdot t - k \cdot y\right) \cdot \left(y4 \cdot b - y5 \cdot i\right) - \left(y3 \cdot y\right) \cdot \left(y5 \cdot a - y4 \cdot c\right)\right) + \left(\left(y5 \cdot a\right) \cdot \left(t \cdot y2\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right) - \left(\left(b \cdot y0 - i \cdot y1\right) \cdot \left(j \cdot x - k \cdot z\right) - \left(y \cdot x - z \cdot t\right) \cdot \left(b \cdot a - i \cdot c\right)\right)\right)\\ \mathbf{elif}\;y4 \lt 2.285224154126683459205023499639872822811 \cdot 10^{-175}:\\ \;\;\;\;\left(\left(\left(\left(k \cdot y\right) \cdot \left(y5 \cdot i\right) - \left(y \cdot b\right) \cdot \left(y4 \cdot k\right)\right) - \left(y5 \cdot t\right) \cdot \left(i \cdot j\right)\right) - \left(\left(y2 \cdot t - y3 \cdot y\right) \cdot \left(y4 \cdot c - y5 \cdot a\right) - \left(y2 \cdot k - y3 \cdot j\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\right)\right) + \left(\left(b \cdot a - i \cdot c\right) \cdot \left(y \cdot x - t \cdot z\right) - \left(\left(j \cdot x - k \cdot z\right) \cdot \left(y0 \cdot b - i \cdot y1\right) - \left(y2 \cdot x - y3 \cdot z\right) \cdot \left(c \cdot y0 - y1 \cdot a\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(k \cdot \left(i \cdot \left(z \cdot y1\right)\right) - \left(j \cdot \left(i \cdot \left(x \cdot y1\right)\right) + y0 \cdot \left(k \cdot \left(z \cdot b\right)\right)\right)\right)\right) + \left(z \cdot \left(y3 \cdot \left(a \cdot y1\right)\right) - \left(y2 \cdot \left(x \cdot \left(a \cdot y1\right)\right) + y0 \cdot \left(z \cdot \left(c \cdot y3\right)\right)\right)\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)\\ \end{array}\]

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"

  :herbie-target
  (if (< y4 -7.206256231996481e+60) (- (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))))) (- (/ (- (* y2 t) (* y3 y)) (/ 1.0 (- (* y4 c) (* y5 a)))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (if (< y4 -3.364603505246317e-66) (+ (- (- (- (* (* t c) (* i z)) (* (* a t) (* b z))) (* (* y c) (* i x))) (* (- (* b y0) (* i y1)) (- (* j x) (* k z)))) (- (* (- (* y0 c) (* a y1)) (- (* x y2) (* z y3))) (- (* (- (* t y2) (* y y3)) (- (* y4 c) (* a y5))) (* (- (* y1 y4) (* y5 y0)) (- (* k y2) (* j y3)))))) (if (< y4 -1.2000065055686116e-105) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 6.718963124057495e-279) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (if (< y4 4.77962681403792e-222) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 2.2852241541266835e-175) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (- (* k (* i (* z y1))) (+ (* j (* i (* x y1))) (* y0 (* k (* z b)))))) (- (* z (* y3 (* a y1))) (+ (* y2 (* x (* a y1))) (* y0 (* z (* c y3)))))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))))))))

  (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))))