Average Error: 25.8 → 26.5
Time: 2.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}\;b \le -1.2156124862150228 \cdot 10^{-174}:\\ \;\;\;\;\left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right) + \left(\left(\left(b \cdot \left(\left(j \cdot t - y \cdot k\right) \cdot y4\right) + \left(i \cdot \left(-\left(j \cdot t - y \cdot k\right)\right)\right) \cdot y5\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;b \le 2.334135835101937 \cdot 10^{-213}:\\ \;\;\;\;\left(\left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(i \cdot \left(\left(y1 \cdot k\right) \cdot z\right) - \left(k \cdot \left(\left(b \cdot y0\right) \cdot z\right) + i \cdot \left(j \cdot \left(y1 \cdot x\right)\right)\right)\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + \left(\left(b \cdot y4\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(i \cdot \left(-\left(j \cdot t - y \cdot k\right)\right)\right) \cdot y5\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\\ \mathbf{elif}\;b \le 1.0173669078649319 \cdot 10^{-47}:\\ \;\;\;\;\left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right) + \left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(\left(y3 \cdot \left(z \cdot y1\right) - \left(x \cdot y2\right) \cdot y1\right) \cdot a - \left(\left(y3 \cdot y0\right) \cdot z\right) \cdot c\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;b \le 3.628464615810776 \cdot 10^{+62}:\\ \;\;\;\;\left(y3 \cdot \left(\left(y5 \cdot y0\right) \cdot j\right) - \left(\left(y2 \cdot \left(y5 \cdot y0\right)\right) \cdot k + y1 \cdot \left(\left(j \cdot y4\right) \cdot y3\right)\right)\right) + \left(\left(\left(\left(\sqrt[3]{b \cdot a - i \cdot c} \cdot \left(\left(x \cdot y - t \cdot z\right) \cdot \left(\sqrt[3]{b \cdot a - i \cdot c} \cdot \sqrt[3]{b \cdot a - i \cdot c}\right)\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(-\left(j \cdot t - y \cdot k\right) \cdot \left(y5 \cdot i\right)\right) + \left(\left(j \cdot t - y \cdot k\right) \cdot \sqrt{b}\right) \cdot \left(\sqrt{b} \cdot y4\right)\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - 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}\;b \le -1.2156124862150228 \cdot 10^{-174}:\\
\;\;\;\;\left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right) + \left(\left(\left(b \cdot \left(\left(j \cdot t - y \cdot k\right) \cdot y4\right) + \left(i \cdot \left(-\left(j \cdot t - y \cdot k\right)\right)\right) \cdot y5\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\

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

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

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

\mathbf{else}:\\
\;\;\;\;\left(\left(\left(\left(-\left(j \cdot t - y \cdot k\right) \cdot \left(y5 \cdot i\right)\right) + \left(\left(j \cdot t - y \cdot k\right) \cdot \sqrt{b}\right) \cdot \left(\sqrt{b} \cdot y4\right)\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - 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 r6067561 = x;
        double r6067562 = y;
        double r6067563 = r6067561 * r6067562;
        double r6067564 = z;
        double r6067565 = t;
        double r6067566 = r6067564 * r6067565;
        double r6067567 = r6067563 - r6067566;
        double r6067568 = a;
        double r6067569 = b;
        double r6067570 = r6067568 * r6067569;
        double r6067571 = c;
        double r6067572 = i;
        double r6067573 = r6067571 * r6067572;
        double r6067574 = r6067570 - r6067573;
        double r6067575 = r6067567 * r6067574;
        double r6067576 = j;
        double r6067577 = r6067561 * r6067576;
        double r6067578 = k;
        double r6067579 = r6067564 * r6067578;
        double r6067580 = r6067577 - r6067579;
        double r6067581 = y0;
        double r6067582 = r6067581 * r6067569;
        double r6067583 = y1;
        double r6067584 = r6067583 * r6067572;
        double r6067585 = r6067582 - r6067584;
        double r6067586 = r6067580 * r6067585;
        double r6067587 = r6067575 - r6067586;
        double r6067588 = y2;
        double r6067589 = r6067561 * r6067588;
        double r6067590 = y3;
        double r6067591 = r6067564 * r6067590;
        double r6067592 = r6067589 - r6067591;
        double r6067593 = r6067581 * r6067571;
        double r6067594 = r6067583 * r6067568;
        double r6067595 = r6067593 - r6067594;
        double r6067596 = r6067592 * r6067595;
        double r6067597 = r6067587 + r6067596;
        double r6067598 = r6067565 * r6067576;
        double r6067599 = r6067562 * r6067578;
        double r6067600 = r6067598 - r6067599;
        double r6067601 = y4;
        double r6067602 = r6067601 * r6067569;
        double r6067603 = y5;
        double r6067604 = r6067603 * r6067572;
        double r6067605 = r6067602 - r6067604;
        double r6067606 = r6067600 * r6067605;
        double r6067607 = r6067597 + r6067606;
        double r6067608 = r6067565 * r6067588;
        double r6067609 = r6067562 * r6067590;
        double r6067610 = r6067608 - r6067609;
        double r6067611 = r6067601 * r6067571;
        double r6067612 = r6067603 * r6067568;
        double r6067613 = r6067611 - r6067612;
        double r6067614 = r6067610 * r6067613;
        double r6067615 = r6067607 - r6067614;
        double r6067616 = r6067578 * r6067588;
        double r6067617 = r6067576 * r6067590;
        double r6067618 = r6067616 - r6067617;
        double r6067619 = r6067601 * r6067583;
        double r6067620 = r6067603 * r6067581;
        double r6067621 = r6067619 - r6067620;
        double r6067622 = r6067618 * r6067621;
        double r6067623 = r6067615 + r6067622;
        return r6067623;
}
↓
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 r6067624 = b;
        double r6067625 = -1.2156124862150228e-174;
        bool r6067626 = r6067624 <= r6067625;
        double r6067627 = y2;
        double r6067628 = k;
        double r6067629 = r6067627 * r6067628;
        double r6067630 = j;
        double r6067631 = y3;
        double r6067632 = r6067630 * r6067631;
        double r6067633 = r6067629 - r6067632;
        double r6067634 = y4;
        double r6067635 = y1;
        double r6067636 = r6067634 * r6067635;
        double r6067637 = y5;
        double r6067638 = y0;
        double r6067639 = r6067637 * r6067638;
        double r6067640 = r6067636 - r6067639;
        double r6067641 = r6067633 * r6067640;
        double r6067642 = t;
        double r6067643 = r6067630 * r6067642;
        double r6067644 = y;
        double r6067645 = r6067644 * r6067628;
        double r6067646 = r6067643 - r6067645;
        double r6067647 = r6067646 * r6067634;
        double r6067648 = r6067624 * r6067647;
        double r6067649 = i;
        double r6067650 = -r6067646;
        double r6067651 = r6067649 * r6067650;
        double r6067652 = r6067651 * r6067637;
        double r6067653 = r6067648 + r6067652;
        double r6067654 = c;
        double r6067655 = r6067654 * r6067638;
        double r6067656 = a;
        double r6067657 = r6067635 * r6067656;
        double r6067658 = r6067655 - r6067657;
        double r6067659 = x;
        double r6067660 = r6067659 * r6067627;
        double r6067661 = z;
        double r6067662 = r6067661 * r6067631;
        double r6067663 = r6067660 - r6067662;
        double r6067664 = r6067658 * r6067663;
        double r6067665 = r6067659 * r6067644;
        double r6067666 = r6067642 * r6067661;
        double r6067667 = r6067665 - r6067666;
        double r6067668 = r6067624 * r6067656;
        double r6067669 = r6067649 * r6067654;
        double r6067670 = r6067668 - r6067669;
        double r6067671 = r6067667 * r6067670;
        double r6067672 = r6067659 * r6067630;
        double r6067673 = r6067661 * r6067628;
        double r6067674 = r6067672 - r6067673;
        double r6067675 = r6067624 * r6067638;
        double r6067676 = r6067649 * r6067635;
        double r6067677 = r6067675 - r6067676;
        double r6067678 = r6067674 * r6067677;
        double r6067679 = r6067671 - r6067678;
        double r6067680 = r6067664 + r6067679;
        double r6067681 = r6067653 + r6067680;
        double r6067682 = r6067634 * r6067654;
        double r6067683 = r6067637 * r6067656;
        double r6067684 = r6067682 - r6067683;
        double r6067685 = r6067642 * r6067627;
        double r6067686 = r6067644 * r6067631;
        double r6067687 = r6067685 - r6067686;
        double r6067688 = r6067684 * r6067687;
        double r6067689 = r6067681 - r6067688;
        double r6067690 = r6067641 + r6067689;
        double r6067691 = 2.334135835101937e-213;
        bool r6067692 = r6067624 <= r6067691;
        double r6067693 = r6067635 * r6067628;
        double r6067694 = r6067693 * r6067661;
        double r6067695 = r6067649 * r6067694;
        double r6067696 = r6067675 * r6067661;
        double r6067697 = r6067628 * r6067696;
        double r6067698 = r6067635 * r6067659;
        double r6067699 = r6067630 * r6067698;
        double r6067700 = r6067649 * r6067699;
        double r6067701 = r6067697 + r6067700;
        double r6067702 = r6067695 - r6067701;
        double r6067703 = r6067671 - r6067702;
        double r6067704 = r6067703 + r6067664;
        double r6067705 = r6067624 * r6067634;
        double r6067706 = r6067705 * r6067646;
        double r6067707 = r6067706 + r6067652;
        double r6067708 = r6067704 + r6067707;
        double r6067709 = r6067708 - r6067688;
        double r6067710 = r6067709 + r6067641;
        double r6067711 = 1.0173669078649319e-47;
        bool r6067712 = r6067624 <= r6067711;
        double r6067713 = r6067637 * r6067649;
        double r6067714 = r6067705 - r6067713;
        double r6067715 = r6067646 * r6067714;
        double r6067716 = r6067661 * r6067635;
        double r6067717 = r6067631 * r6067716;
        double r6067718 = r6067660 * r6067635;
        double r6067719 = r6067717 - r6067718;
        double r6067720 = r6067719 * r6067656;
        double r6067721 = r6067631 * r6067638;
        double r6067722 = r6067721 * r6067661;
        double r6067723 = r6067722 * r6067654;
        double r6067724 = r6067720 - r6067723;
        double r6067725 = r6067724 + r6067679;
        double r6067726 = r6067715 + r6067725;
        double r6067727 = r6067726 - r6067688;
        double r6067728 = r6067641 + r6067727;
        double r6067729 = 3.628464615810776e+62;
        bool r6067730 = r6067624 <= r6067729;
        double r6067731 = r6067639 * r6067630;
        double r6067732 = r6067631 * r6067731;
        double r6067733 = r6067627 * r6067639;
        double r6067734 = r6067733 * r6067628;
        double r6067735 = r6067630 * r6067634;
        double r6067736 = r6067735 * r6067631;
        double r6067737 = r6067635 * r6067736;
        double r6067738 = r6067734 + r6067737;
        double r6067739 = r6067732 - r6067738;
        double r6067740 = cbrt(r6067670);
        double r6067741 = r6067740 * r6067740;
        double r6067742 = r6067667 * r6067741;
        double r6067743 = r6067740 * r6067742;
        double r6067744 = r6067743 - r6067678;
        double r6067745 = r6067744 + r6067664;
        double r6067746 = r6067745 + r6067715;
        double r6067747 = r6067746 - r6067688;
        double r6067748 = r6067739 + r6067747;
        double r6067749 = r6067646 * r6067713;
        double r6067750 = -r6067749;
        double r6067751 = sqrt(r6067624);
        double r6067752 = r6067646 * r6067751;
        double r6067753 = r6067751 * r6067634;
        double r6067754 = r6067752 * r6067753;
        double r6067755 = r6067750 + r6067754;
        double r6067756 = r6067755 + r6067680;
        double r6067757 = r6067756 - r6067688;
        double r6067758 = r6067757 + r6067641;
        double r6067759 = r6067730 ? r6067748 : r6067758;
        double r6067760 = r6067712 ? r6067728 : r6067759;
        double r6067761 = r6067692 ? r6067710 : r6067760;
        double r6067762 = r6067626 ? r6067690 : r6067761;
        return r6067762;
}

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 b < -1.2156124862150228e-174

    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. Using strategy rm

    3. Applied sub-neg25.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 \color{blue}{\left(y4 \cdot b + \left(-y5 \cdot i\right)\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 distribute-rgt-in25.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) + \color{blue}{\left(\left(y4 \cdot b\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(-y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\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 distribute-rgt-neg-in25.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(\left(y4 \cdot b\right) \cdot \left(t \cdot j - y \cdot k\right) + \color{blue}{\left(y5 \cdot \left(-i\right)\right)} \cdot \left(t \cdot j - y \cdot k\right)\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. Applied associate-*l*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(\left(y4 \cdot b\right) \cdot \left(t \cdot j - y \cdot k\right) + \color{blue}{y5 \cdot \left(\left(-i\right) \cdot \left(t \cdot j - y \cdot k\right)\right)}\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)\]
    8. Using strategy rm

    9. Applied *-commutative25.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(\color{blue}{\left(b \cdot y4\right)} \cdot \left(t \cdot j - y \cdot k\right) + y5 \cdot \left(\left(-i\right) \cdot \left(t \cdot j - y \cdot k\right)\right)\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)\]

    10. Applied associate-*l*25.3

      \[\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(\color{blue}{b \cdot \left(y4 \cdot \left(t \cdot j - y \cdot k\right)\right)} + y5 \cdot \left(\left(-i\right) \cdot \left(t \cdot j - y \cdot k\right)\right)\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.2156124862150228e-174 < b < 2.334135835101937e-213

    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. Using strategy rm

    3. Applied sub-neg25.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 \color{blue}{\left(y4 \cdot b + \left(-y5 \cdot i\right)\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 distribute-rgt-in25.9

      \[\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) + \color{blue}{\left(\left(y4 \cdot b\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(-y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\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 distribute-rgt-neg-in25.9

      \[\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(\left(y4 \cdot b\right) \cdot \left(t \cdot j - y \cdot k\right) + \color{blue}{\left(y5 \cdot \left(-i\right)\right)} \cdot \left(t \cdot j - y \cdot k\right)\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. Applied associate-*l*26.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(\left(y4 \cdot b\right) \cdot \left(t \cdot j - y \cdot k\right) + \color{blue}{y5 \cdot \left(\left(-i\right) \cdot \left(t \cdot j - y \cdot k\right)\right)}\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)\]

    8. Taylor expanded around inf 27.3

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \color{blue}{\left(i \cdot \left(z \cdot \left(y1 \cdot k\right)\right) - \left(k \cdot \left(z \cdot \left(b \cdot y0\right)\right) + i \cdot \left(j \cdot \left(x \cdot y1\right)\right)\right)\right)}\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(\left(y4 \cdot b\right) \cdot \left(t \cdot j - y \cdot k\right) + y5 \cdot \left(\left(-i\right) \cdot \left(t \cdot j - y \cdot k\right)\right)\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    if 2.334135835101937e-213 < b < 1.0173669078649319e-47

    1. Initial program 24.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 27.1

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

    3. Simplified26.9

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

    if 1.0173669078649319e-47 < b < 3.628464615810776e+62

    1. Initial program 24.3

      \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
    2. Using strategy rm

    3. Applied add-cube-cbrt24.5

      \[\leadsto \left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \color{blue}{\left(\left(\sqrt[3]{a \cdot b - c \cdot i} \cdot \sqrt[3]{a \cdot b - c \cdot i}\right) \cdot \sqrt[3]{a \cdot b - c \cdot i}\right)} - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    4. Applied associate-*r*24.5

      \[\leadsto \left(\left(\left(\left(\color{blue}{\left(\left(x \cdot y - z \cdot t\right) \cdot \left(\sqrt[3]{a \cdot b - c \cdot i} \cdot \sqrt[3]{a \cdot b - c \cdot i}\right)\right) \cdot \sqrt[3]{a \cdot b - c \cdot i}} - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]

    5. Taylor expanded around inf 26.4

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

    1. Initial program 28.6

      \[\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\]
    2. Using strategy rm

    3. Applied sub-neg28.6

      \[\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 \color{blue}{\left(y4 \cdot b + \left(-y5 \cdot i\right)\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 distribute-rgt-in28.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) + \color{blue}{\left(\left(y4 \cdot b\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(-y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\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-sqr-sqrt28.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(\left(y4 \cdot \color{blue}{\left(\sqrt{b} \cdot \sqrt{b}\right)}\right) \cdot \left(t \cdot j - y \cdot k\right) + \left(-y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\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. Applied associate-*r*28.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(\color{blue}{\left(\left(y4 \cdot \sqrt{b}\right) \cdot \sqrt{b}\right)} \cdot \left(t \cdot j - y \cdot k\right) + \left(-y5 \cdot i\right) \cdot \left(t \cdot j - y \cdot k\right)\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)\]

    8. Applied associate-*l*27.9

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

  4. Final simplification26.5

    \[\leadsto \begin{array}{l} \mathbf{if}\;b \le -1.2156124862150228 \cdot 10^{-174}:\\ \;\;\;\;\left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right) + \left(\left(\left(b \cdot \left(\left(j \cdot t - y \cdot k\right) \cdot y4\right) + \left(i \cdot \left(-\left(j \cdot t - y \cdot k\right)\right)\right) \cdot y5\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;b \le 2.334135835101937 \cdot 10^{-213}:\\ \;\;\;\;\left(\left(\left(\left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(i \cdot \left(\left(y1 \cdot k\right) \cdot z\right) - \left(k \cdot \left(\left(b \cdot y0\right) \cdot z\right) + i \cdot \left(j \cdot \left(y1 \cdot x\right)\right)\right)\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + \left(\left(b \cdot y4\right) \cdot \left(j \cdot t - y \cdot k\right) + \left(i \cdot \left(-\left(j \cdot t - y \cdot k\right)\right)\right) \cdot y5\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\\ \mathbf{elif}\;b \le 1.0173669078649319 \cdot 10^{-47}:\\ \;\;\;\;\left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right) + \left(\left(\left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right) + \left(\left(\left(y3 \cdot \left(z \cdot y1\right) - \left(x \cdot y2\right) \cdot y1\right) \cdot a - \left(\left(y3 \cdot y0\right) \cdot z\right) \cdot c\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{elif}\;b \le 3.628464615810776 \cdot 10^{+62}:\\ \;\;\;\;\left(y3 \cdot \left(\left(y5 \cdot y0\right) \cdot j\right) - \left(\left(y2 \cdot \left(y5 \cdot y0\right)\right) \cdot k + y1 \cdot \left(\left(j \cdot y4\right) \cdot y3\right)\right)\right) + \left(\left(\left(\left(\sqrt[3]{b \cdot a - i \cdot c} \cdot \left(\left(x \cdot y - t \cdot z\right) \cdot \left(\sqrt[3]{b \cdot a - i \cdot c} \cdot \sqrt[3]{b \cdot a - i \cdot c}\right)\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right) + \left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + \left(j \cdot t - y \cdot k\right) \cdot \left(b \cdot y4 - y5 \cdot i\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(\left(\left(-\left(j \cdot t - y \cdot k\right) \cdot \left(y5 \cdot i\right)\right) + \left(\left(j \cdot t - y \cdot k\right) \cdot \sqrt{b}\right) \cdot \left(\sqrt{b} \cdot y4\right)\right) + \left(\left(c \cdot y0 - y1 \cdot a\right) \cdot \left(x \cdot y2 - z \cdot y3\right) + \left(\left(x \cdot y - t \cdot z\right) \cdot \left(b \cdot a - i \cdot c\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(b \cdot y0 - i \cdot y1\right)\right)\right)\right) - \left(y4 \cdot c - y5 \cdot a\right) \cdot \left(t \cdot y2 - y \cdot y3\right)\right) + \left(y2 \cdot k - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)\\ \end{array}\]

Reproduce

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