From Warwick Tucker's Validated Numerics

Average Error: 58.1 → 58.1

Time: 13.3s

Precision: 64

• Falling back on racket egraph because egg-herbie package not installed

Math

\[\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(e^{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)} \cdot \sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}^{\left(\sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}\right)}^{\left(\sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\]

C

double f() {
        double r84597 = 333.75;
        double r84598 = 33096.0;
        double r84599 = 6.0;
        double r84600 = pow(r84598, r84599);
        double r84601 = r84597 * r84600;
        double r84602 = 77617.0;
        double r84603 = r84602 * r84602;
        double r84604 = 11.0;
        double r84605 = r84604 * r84603;
        double r84606 = r84598 * r84598;
        double r84607 = r84605 * r84606;
        double r84608 = -r84600;
        double r84609 = r84607 + r84608;
        double r84610 = -121.0;
        double r84611 = 4.0;
        double r84612 = pow(r84598, r84611);
        double r84613 = r84610 * r84612;
        double r84614 = r84609 + r84613;
        double r84615 = -2.0;
        double r84616 = r84614 + r84615;
        double r84617 = r84603 * r84616;
        double r84618 = r84601 + r84617;
        double r84619 = 5.5;
        double r84620 = 8.0;
        double r84621 = pow(r84598, r84620);
        double r84622 = r84619 * r84621;
        double r84623 = r84618 + r84622;
        double r84624 = 2.0;
        double r84625 = r84624 * r84598;
        double r84626 = r84602 / r84625;
        double r84627 = r84623 + r84626;
        return r84627;
}

↓

double f() {
        double r84628 = 77617.0;
        double r84629 = r84628 * r84628;
        double r84630 = -2.0;
        double r84631 = -121.0;
        double r84632 = 33096.0;
        double r84633 = 4.0;
        double r84634 = pow(r84632, r84633);
        double r84635 = r84631 * r84634;
        double r84636 = 11.0;
        double r84637 = r84636 * r84629;
        double r84638 = r84632 * r84632;
        double r84639 = r84637 * r84638;
        double r84640 = 6.0;
        double r84641 = pow(r84632, r84640);
        double r84642 = r84639 - r84641;
        double r84643 = r84635 + r84642;
        double r84644 = r84630 + r84643;
        double r84645 = r84629 * r84644;
        double r84646 = 333.75;
        double r84647 = r84646 * r84641;
        double r84648 = r84645 + r84647;
        double r84649 = r84648 * r84648;
        double r84650 = 5.5;
        double r84651 = 8.0;
        double r84652 = pow(r84632, r84651);
        double r84653 = r84650 * r84652;
        double r84654 = 2.0;
        double r84655 = r84654 * r84632;
        double r84656 = r84628 / r84655;
        double r84657 = r84653 + r84656;
        double r84658 = r84657 * r84657;
        double r84659 = r84649 - r84658;
        double r84660 = log(r84659);
        double r84661 = cbrt(r84660);
        double r84662 = r84661 * r84661;
        double r84663 = exp(r84662);
        double r84664 = cbrt(r84661);
        double r84665 = r84664 * r84664;
        double r84666 = pow(r84663, r84665);
        double r84667 = pow(r84666, r84664);
        double r84668 = r84648 - r84657;
        double r84669 = r84667 / r84668;
        return r84669;
}

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. Simplified 58.1

   \[\leadsto \color{blue}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\]
3. Using strategy rm

4. Applied flip-+ 58.1

   \[\leadsto \color{blue}{\frac{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}}\]
5. Using strategy rm

6. Applied add-exp-log 58.1

   \[\leadsto \frac{\color{blue}{e^{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\]
7. Using strategy rm

8. Applied add-cube-cbrt 58.1

   \[\leadsto \frac{e^{\color{blue}{\left(\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)} \cdot \sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}\right) \cdot \sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}}}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\]

9. Applied exp-prod 58.1

   \[\leadsto \frac{\color{blue}{{\left(e^{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)} \cdot \sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}\right)}}}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\]
10. Using strategy rm

11. Applied add-cube-cbrt 58.1

    \[\leadsto \frac{{\left(e^{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)} \cdot \sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}^{\color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}}}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\]

12. Applied pow-unpow 58.1

    \[\leadsto \frac{\color{blue}{{\left({\left(e^{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)} \cdot \sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}^{\left(\sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}\right)}^{\left(\sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}}}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\]

13. Final simplification 58.1

    \[\leadsto \frac{{\left({\left(e^{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)} \cdot \sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}^{\left(\sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}\right)}^{\left(\sqrt[3]{\sqrt[3]{\log \left(\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right) \cdot \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}}\right)}}{\left(\left(77617 \cdot 77617\right) \cdot \left(-2 + \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)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\]

Reproduce

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