Average Error: 26.6 → 27.4
Time: 1.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}\;y5 \le -1.519073525029182728022166700974427579413 \cdot 10^{-77}:\\ \;\;\;\;\left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(i \cdot \left(z \cdot \left(y1 \cdot k\right)\right) - \left(k \cdot \left(\left(y0 \cdot b\right) \cdot z\right) + i \cdot \left(j \cdot \left(x \cdot y1\right)\right)\right)\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y0 \cdot y5\right)\\ \mathbf{elif}\;y5 \le -2.439851216521733893640331957392868450328 \cdot 10^{-256}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - 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(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - i \cdot y1\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right) - \left(a \cdot \left(\left(t \cdot y5\right) \cdot y2\right) + y3 \cdot \left(\left(y \cdot c\right) \cdot y4\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - 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(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - i \cdot y1\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(\sqrt[3]{\left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)} \cdot \sqrt[3]{\left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)}\right) \cdot \sqrt[3]{\left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)}\right)\\ \end{array}\]
\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)
↓
\begin{array}{l}
\mathbf{if}\;y5 \le -1.519073525029182728022166700974427579413 \cdot 10^{-77}:\\
\;\;\;\;\left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(i \cdot \left(z \cdot \left(y1 \cdot k\right)\right) - \left(k \cdot \left(\left(y0 \cdot b\right) \cdot z\right) + i \cdot \left(j \cdot \left(x \cdot y1\right)\right)\right)\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y0 \cdot y5\right)\\

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

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

\end{array}
double f(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) {
        double r5660465 = x;
        double r5660466 = y;
        double r5660467 = r5660465 * r5660466;
        double r5660468 = z;
        double r5660469 = t;
        double r5660470 = r5660468 * r5660469;
        double r5660471 = r5660467 - r5660470;
        double r5660472 = a;
        double r5660473 = b;
        double r5660474 = r5660472 * r5660473;
        double r5660475 = c;
        double r5660476 = i;
        double r5660477 = r5660475 * r5660476;
        double r5660478 = r5660474 - r5660477;
        double r5660479 = r5660471 * r5660478;
        double r5660480 = j;
        double r5660481 = r5660465 * r5660480;
        double r5660482 = k;
        double r5660483 = r5660468 * r5660482;
        double r5660484 = r5660481 - r5660483;
        double r5660485 = y0;
        double r5660486 = r5660485 * r5660473;
        double r5660487 = y1;
        double r5660488 = r5660487 * r5660476;
        double r5660489 = r5660486 - r5660488;
        double r5660490 = r5660484 * r5660489;
        double r5660491 = r5660479 - r5660490;
        double r5660492 = y2;
        double r5660493 = r5660465 * r5660492;
        double r5660494 = y3;
        double r5660495 = r5660468 * r5660494;
        double r5660496 = r5660493 - r5660495;
        double r5660497 = r5660485 * r5660475;
        double r5660498 = r5660487 * r5660472;
        double r5660499 = r5660497 - r5660498;
        double r5660500 = r5660496 * r5660499;
        double r5660501 = r5660491 + r5660500;
        double r5660502 = r5660469 * r5660480;
        double r5660503 = r5660466 * r5660482;
        double r5660504 = r5660502 - r5660503;
        double r5660505 = y4;
        double r5660506 = r5660505 * r5660473;
        double r5660507 = y5;
        double r5660508 = r5660507 * r5660476;
        double r5660509 = r5660506 - r5660508;
        double r5660510 = r5660504 * r5660509;
        double r5660511 = r5660501 + r5660510;
        double r5660512 = r5660469 * r5660492;
        double r5660513 = r5660466 * r5660494;
        double r5660514 = r5660512 - r5660513;
        double r5660515 = r5660505 * r5660475;
        double r5660516 = r5660507 * r5660472;
        double r5660517 = r5660515 - r5660516;
        double r5660518 = r5660514 * r5660517;
        double r5660519 = r5660511 - r5660518;
        double r5660520 = r5660482 * r5660492;
        double r5660521 = r5660480 * r5660494;
        double r5660522 = r5660520 - r5660521;
        double r5660523 = r5660505 * r5660487;
        double r5660524 = r5660507 * r5660485;
        double r5660525 = r5660523 - r5660524;
        double r5660526 = r5660522 * r5660525;
        double r5660527 = r5660519 + r5660526;
        return r5660527;
}
↓
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 r5660528 = y5;
        double r5660529 = -1.5190735250291827e-77;
        bool r5660530 = r5660528 <= r5660529;
        double r5660531 = b;
        double r5660532 = y4;
        double r5660533 = r5660531 * r5660532;
        double r5660534 = i;
        double r5660535 = r5660528 * r5660534;
        double r5660536 = r5660533 - r5660535;
        double r5660537 = t;
        double r5660538 = j;
        double r5660539 = r5660537 * r5660538;
        double r5660540 = y;
        double r5660541 = k;
        double r5660542 = r5660540 * r5660541;
        double r5660543 = r5660539 - r5660542;
        double r5660544 = r5660536 * r5660543;
        double r5660545 = x;
        double r5660546 = r5660545 * r5660540;
        double r5660547 = z;
        double r5660548 = r5660537 * r5660547;
        double r5660549 = r5660546 - r5660548;
        double r5660550 = a;
        double r5660551 = r5660550 * r5660531;
        double r5660552 = c;
        double r5660553 = r5660534 * r5660552;
        double r5660554 = r5660551 - r5660553;
        double r5660555 = r5660549 * r5660554;
        double r5660556 = y1;
        double r5660557 = r5660556 * r5660541;
        double r5660558 = r5660547 * r5660557;
        double r5660559 = r5660534 * r5660558;
        double r5660560 = y0;
        double r5660561 = r5660560 * r5660531;
        double r5660562 = r5660561 * r5660547;
        double r5660563 = r5660541 * r5660562;
        double r5660564 = r5660545 * r5660556;
        double r5660565 = r5660538 * r5660564;
        double r5660566 = r5660534 * r5660565;
        double r5660567 = r5660563 + r5660566;
        double r5660568 = r5660559 - r5660567;
        double r5660569 = r5660555 - r5660568;
        double r5660570 = r5660560 * r5660552;
        double r5660571 = r5660556 * r5660550;
        double r5660572 = r5660570 - r5660571;
        double r5660573 = y2;
        double r5660574 = r5660573 * r5660545;
        double r5660575 = y3;
        double r5660576 = r5660575 * r5660547;
        double r5660577 = r5660574 - r5660576;
        double r5660578 = r5660572 * r5660577;
        double r5660579 = r5660569 + r5660578;
        double r5660580 = r5660544 + r5660579;
        double r5660581 = r5660552 * r5660532;
        double r5660582 = r5660528 * r5660550;
        double r5660583 = r5660581 - r5660582;
        double r5660584 = r5660573 * r5660537;
        double r5660585 = r5660540 * r5660575;
        double r5660586 = r5660584 - r5660585;
        double r5660587 = r5660583 * r5660586;
        double r5660588 = r5660580 - r5660587;
        double r5660589 = r5660541 * r5660573;
        double r5660590 = r5660538 * r5660575;
        double r5660591 = r5660589 - r5660590;
        double r5660592 = r5660532 * r5660556;
        double r5660593 = r5660560 * r5660528;
        double r5660594 = r5660592 - r5660593;
        double r5660595 = r5660591 * r5660594;
        double r5660596 = r5660588 + r5660595;
        double r5660597 = -2.439851216521734e-256;
        bool r5660598 = r5660528 <= r5660597;
        double r5660599 = r5660545 * r5660538;
        double r5660600 = r5660547 * r5660541;
        double r5660601 = r5660599 - r5660600;
        double r5660602 = r5660534 * r5660556;
        double r5660603 = r5660561 - r5660602;
        double r5660604 = r5660601 * r5660603;
        double r5660605 = r5660555 - r5660604;
        double r5660606 = r5660605 + r5660578;
        double r5660607 = r5660544 + r5660606;
        double r5660608 = r5660540 * r5660528;
        double r5660609 = r5660575 * r5660608;
        double r5660610 = r5660550 * r5660609;
        double r5660611 = r5660537 * r5660528;
        double r5660612 = r5660611 * r5660573;
        double r5660613 = r5660550 * r5660612;
        double r5660614 = r5660540 * r5660552;
        double r5660615 = r5660614 * r5660532;
        double r5660616 = r5660575 * r5660615;
        double r5660617 = r5660613 + r5660616;
        double r5660618 = r5660610 - r5660617;
        double r5660619 = r5660607 - r5660618;
        double r5660620 = r5660595 + r5660619;
        double r5660621 = cbrt(r5660587);
        double r5660622 = r5660621 * r5660621;
        double r5660623 = r5660622 * r5660621;
        double r5660624 = r5660607 - r5660623;
        double r5660625 = r5660595 + r5660624;
        double r5660626 = r5660598 ? r5660620 : r5660625;
        double r5660627 = r5660530 ? r5660596 : r5660626;
        return r5660627;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Bits error versus c

Bits error versus i

Bits error versus j

Bits error versus k

Bits error versus y0

Bits error versus y1

Bits error versus y2

Bits error versus y3

Bits error versus y4

Bits error versus y5

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Split input into 3 regimes

  2. if y5 < -1.5190735250291827e-77

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

      \[\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 -1.5190735250291827e-77 < y5 < -2.439851216521734e-256

    1. Initial program 26.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 27.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) - \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 -2.439851216521734e-256 < y5

    1. Initial program 26.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-cbrt26.5

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

  4. Final simplification27.4

    \[\leadsto \begin{array}{l} \mathbf{if}\;y5 \le -1.519073525029182728022166700974427579413 \cdot 10^{-77}:\\ \;\;\;\;\left(\left(\left(b \cdot y4 - y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(i \cdot \left(z \cdot \left(y1 \cdot k\right)\right) - \left(k \cdot \left(\left(y0 \cdot b\right) \cdot z\right) + i \cdot \left(j \cdot \left(x \cdot y1\right)\right)\right)\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y0 \cdot y5\right)\\ \mathbf{elif}\;y5 \le -2.439851216521733893640331957392868450328 \cdot 10^{-256}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - 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(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - i \cdot y1\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(a \cdot \left(y3 \cdot \left(y \cdot y5\right)\right) - \left(a \cdot \left(\left(t \cdot y5\right) \cdot y2\right) + y3 \cdot \left(\left(y \cdot c\right) \cdot y4\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - 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(x \cdot y - t \cdot z\right) \cdot \left(a \cdot b - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - i \cdot y1\right)\right) + \left(y0 \cdot c - y1 \cdot a\right) \cdot \left(y2 \cdot x - y3 \cdot z\right)\right)\right) - \left(\sqrt[3]{\left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)} \cdot \sqrt[3]{\left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)}\right) \cdot \sqrt[3]{\left(c \cdot y4 - y5 \cdot a\right) \cdot \left(y2 \cdot t - y \cdot y3\right)}\right)\\ \end{array}\]

Reproduce

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