From Warwick Tucker's Validated Numerics

Average Error: 58.1 → 58.1

Time: 13.1s

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 r47510 = 333.75;
        double r47511 = 33096.0;
        double r47512 = 6.0;
        double r47513 = pow(r47511, r47512);
        double r47514 = r47510 * r47513;
        double r47515 = 77617.0;
        double r47516 = r47515 * r47515;
        double r47517 = 11.0;
        double r47518 = r47517 * r47516;
        double r47519 = r47511 * r47511;
        double r47520 = r47518 * r47519;
        double r47521 = -r47513;
        double r47522 = r47520 + r47521;
        double r47523 = -121.0;
        double r47524 = 4.0;
        double r47525 = pow(r47511, r47524);
        double r47526 = r47523 * r47525;
        double r47527 = r47522 + r47526;
        double r47528 = -2.0;
        double r47529 = r47527 + r47528;
        double r47530 = r47516 * r47529;
        double r47531 = r47514 + r47530;
        double r47532 = 5.5;
        double r47533 = 8.0;
        double r47534 = pow(r47511, r47533);
        double r47535 = r47532 * r47534;
        double r47536 = r47531 + r47535;
        double r47537 = 2.0;
        double r47538 = r47537 * r47511;
        double r47539 = r47515 / r47538;
        double r47540 = r47536 + r47539;
        return r47540;
}

↓

double f() {
        double r47541 = 77617.0;
        double r47542 = r47541 * r47541;
        double r47543 = -2.0;
        double r47544 = -121.0;
        double r47545 = 33096.0;
        double r47546 = 4.0;
        double r47547 = pow(r47545, r47546);
        double r47548 = r47544 * r47547;
        double r47549 = 11.0;
        double r47550 = r47549 * r47542;
        double r47551 = r47545 * r47545;
        double r47552 = r47550 * r47551;
        double r47553 = 6.0;
        double r47554 = pow(r47545, r47553);
        double r47555 = r47552 - r47554;
        double r47556 = r47548 + r47555;
        double r47557 = r47543 + r47556;
        double r47558 = r47542 * r47557;
        double r47559 = 333.75;
        double r47560 = r47559 * r47554;
        double r47561 = r47558 + r47560;
        double r47562 = r47561 * r47561;
        double r47563 = 5.5;
        double r47564 = 8.0;
        double r47565 = pow(r47545, r47564);
        double r47566 = r47563 * r47565;
        double r47567 = 2.0;
        double r47568 = r47567 * r47545;
        double r47569 = r47541 / r47568;
        double r47570 = r47566 + r47569;
        double r47571 = r47570 * r47570;
        double r47572 = r47562 - r47571;
        double r47573 = log(r47572);
        double r47574 = cbrt(r47573);
        double r47575 = r47574 * r47574;
        double r47576 = exp(r47575);
        double r47577 = cbrt(r47574);
        double r47578 = r47577 * r47577;
        double r47579 = pow(r47576, r47578);
        double r47580 = pow(r47579, r47577);
        double r47581 = r47561 - r47570;
        double r47582 = r47580 / r47581;
        return r47582;
}

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 2020047 
(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))))