Average Error: 58.1 → 58.1
Time: 50.1s
Precision: 64
\[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]
↓
\[\frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(\left(5.5 \cdot {\left({\left({\left(\sqrt[3]{33096}\right)}^{2}\right)}^{\left(\sqrt{8}\right)}\right)}^{\left(\sqrt{8}\right)}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]
\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}
↓
\frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(\left(5.5 \cdot {\left({\left({\left(\sqrt[3]{33096}\right)}^{2}\right)}^{\left(\sqrt{8}\right)}\right)}^{\left(\sqrt{8}\right)}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}
double f() {
        double r58745 = 333.75;
        double r58746 = 33096.0;
        double r58747 = 6.0;
        double r58748 = pow(r58746, r58747);
        double r58749 = r58745 * r58748;
        double r58750 = 77617.0;
        double r58751 = r58750 * r58750;
        double r58752 = 11.0;
        double r58753 = r58752 * r58751;
        double r58754 = r58746 * r58746;
        double r58755 = r58753 * r58754;
        double r58756 = -r58748;
        double r58757 = r58755 + r58756;
        double r58758 = -121.0;
        double r58759 = 4.0;
        double r58760 = pow(r58746, r58759);
        double r58761 = r58758 * r58760;
        double r58762 = r58757 + r58761;
        double r58763 = -2.0;
        double r58764 = r58762 + r58763;
        double r58765 = r58751 * r58764;
        double r58766 = r58749 + r58765;
        double r58767 = 5.5;
        double r58768 = 8.0;
        double r58769 = pow(r58746, r58768);
        double r58770 = r58767 * r58769;
        double r58771 = r58766 + r58770;
        double r58772 = 2.0;
        double r58773 = r58772 * r58746;
        double r58774 = r58750 / r58773;
        double r58775 = r58771 + r58774;
        return r58775;
}
↓
double f() {
        double r58776 = 5.5;
        double r58777 = 33096.0;
        double r58778 = 8.0;
        double r58779 = pow(r58777, r58778);
        double r58780 = r58776 * r58779;
        double r58781 = 3.0;
        double r58782 = pow(r58780, r58781);
        double r58783 = 77617.0;
        double r58784 = r58783 * r58783;
        double r58785 = -121.0;
        double r58786 = 4.0;
        double r58787 = pow(r58777, r58786);
        double r58788 = r58785 * r58787;
        double r58789 = 11.0;
        double r58790 = r58789 * r58784;
        double r58791 = r58777 * r58777;
        double r58792 = r58790 * r58791;
        double r58793 = 6.0;
        double r58794 = pow(r58777, r58793);
        double r58795 = r58792 - r58794;
        double r58796 = r58788 + r58795;
        double r58797 = -2.0;
        double r58798 = r58796 + r58797;
        double r58799 = r58784 * r58798;
        double r58800 = 333.75;
        double r58801 = r58800 * r58794;
        double r58802 = r58799 + r58801;
        double r58803 = r58802 * r58802;
        double r58804 = r58803 * r58802;
        double r58805 = r58782 + r58804;
        double r58806 = 2.0;
        double r58807 = r58805 * r58806;
        double r58808 = r58807 * r58777;
        double r58809 = r58780 - r58802;
        double r58810 = r58780 * r58809;
        double r58811 = r58803 + r58810;
        double r58812 = r58811 * r58783;
        double r58813 = r58808 + r58812;
        double r58814 = cbrt(r58777);
        double r58815 = 2.0;
        double r58816 = pow(r58814, r58815);
        double r58817 = sqrt(r58778);
        double r58818 = pow(r58816, r58817);
        double r58819 = pow(r58818, r58817);
        double r58820 = r58776 * r58819;
        double r58821 = pow(r58814, r58778);
        double r58822 = r58820 * r58821;
        double r58823 = r58822 * r58809;
        double r58824 = r58803 + r58823;
        double r58825 = r58806 * r58777;
        double r58826 = r58824 * r58825;
        double r58827 = r58813 / r58826;
        return r58827;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 58.1

      \[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]
    2. Using strategy rm

    3. Applied flip3-+58.1

      \[\leadsto \color{blue}{\frac{{\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}}{\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right) - \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)}} + \frac{77617}{2 \cdot 33096}\]

    4. Applied frac-add58.1

      \[\leadsto \color{blue}{\frac{\left({\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) \cdot \left(2 \cdot 33096\right) + \left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right) - \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)\right) \cdot 77617}{\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right) - \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}}\]

    5. Simplified58.1

      \[\leadsto \frac{\color{blue}{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3}\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}}{\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right) - \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

    6. Simplified58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3}\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\color{blue}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}}\]
    7. Using strategy rm

    8. Applied add-cbrt-cube58.2

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\color{blue}{\left(\sqrt[3]{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}\right)}}^{3}\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

    9. Applied rem-cube-cbrt58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \color{blue}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]
    10. Using strategy rm

    11. Applied add-cube-cbrt58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {\color{blue}{\left(\left(\sqrt[3]{33096} \cdot \sqrt[3]{33096}\right) \cdot \sqrt[3]{33096}\right)}}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

    12. Applied unpow-prod-down58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot \color{blue}{\left({\left(\sqrt[3]{33096} \cdot \sqrt[3]{33096}\right)}^{8} \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right)}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

    13. Applied associate-*r*58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \color{blue}{\left(\left(5.5 \cdot {\left(\sqrt[3]{33096} \cdot \sqrt[3]{33096}\right)}^{8}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right)} \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]
    14. Using strategy rm

    15. Applied add-sqr-sqrt58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(\left(5.5 \cdot {\left(\sqrt[3]{33096} \cdot \sqrt[3]{33096}\right)}^{\color{blue}{\left(\sqrt{8} \cdot \sqrt{8}\right)}}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

    16. Applied pow-unpow58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(\left(5.5 \cdot \color{blue}{{\left({\left(\sqrt[3]{33096} \cdot \sqrt[3]{33096}\right)}^{\left(\sqrt{8}\right)}\right)}^{\left(\sqrt{8}\right)}}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

    17. Simplified58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(\left(5.5 \cdot {\color{blue}{\left({\left({\left(\sqrt[3]{33096}\right)}^{2}\right)}^{\left(\sqrt{8}\right)}\right)}}^{\left(\sqrt{8}\right)}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

    18. Final simplification58.1

      \[\leadsto \frac{\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot 2\right) \cdot 33096 + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617}{\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(\left(5.5 \cdot {\left({\left({\left(\sqrt[3]{33096}\right)}^{2}\right)}^{\left(\sqrt{8}\right)}\right)}^{\left(\sqrt{8}\right)}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

    Reproduce

    herbie shell --seed 2019323 
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  :precision binary64
  (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))