From Warwick Tucker's Validated Numerics

Average Error: 58.1 → 58.1

Time: 18.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(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)}{\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)} + \frac{77617}{2 \cdot 33096}\]

C

double f() {
        double r40374 = 333.75;
        double r40375 = 33096.0;
        double r40376 = 6.0;
        double r40377 = pow(r40375, r40376);
        double r40378 = r40374 * r40377;
        double r40379 = 77617.0;
        double r40380 = r40379 * r40379;
        double r40381 = 11.0;
        double r40382 = r40381 * r40380;
        double r40383 = r40375 * r40375;
        double r40384 = r40382 * r40383;
        double r40385 = -r40377;
        double r40386 = r40384 + r40385;
        double r40387 = -121.0;
        double r40388 = 4.0;
        double r40389 = pow(r40375, r40388);
        double r40390 = r40387 * r40389;
        double r40391 = r40386 + r40390;
        double r40392 = -2.0;
        double r40393 = r40391 + r40392;
        double r40394 = r40380 * r40393;
        double r40395 = r40378 + r40394;
        double r40396 = 5.5;
        double r40397 = 8.0;
        double r40398 = pow(r40375, r40397);
        double r40399 = r40396 * r40398;
        double r40400 = r40395 + r40399;
        double r40401 = 2.0;
        double r40402 = r40401 * r40375;
        double r40403 = r40379 / r40402;
        double r40404 = r40400 + r40403;
        return r40404;
}

↓

double f() {
        double r40405 = 5.5;
        double r40406 = 33096.0;
        double r40407 = 8.0;
        double r40408 = pow(r40406, r40407);
        double r40409 = r40405 * r40408;
        double r40410 = 3.0;
        double r40411 = pow(r40409, r40410);
        double r40412 = 77617.0;
        double r40413 = r40412 * r40412;
        double r40414 = -121.0;
        double r40415 = 4.0;
        double r40416 = pow(r40406, r40415);
        double r40417 = r40414 * r40416;
        double r40418 = 11.0;
        double r40419 = r40418 * r40413;
        double r40420 = r40406 * r40406;
        double r40421 = r40419 * r40420;
        double r40422 = 6.0;
        double r40423 = pow(r40406, r40422);
        double r40424 = r40421 - r40423;
        double r40425 = r40417 + r40424;
        double r40426 = -2.0;
        double r40427 = r40425 + r40426;
        double r40428 = r40413 * r40427;
        double r40429 = 333.75;
        double r40430 = r40429 * r40423;
        double r40431 = r40428 + r40430;
        double r40432 = r40431 * r40431;
        double r40433 = r40432 * r40431;
        double r40434 = r40411 + r40433;
        double r40435 = cbrt(r40406);
        double r40436 = 2.0;
        double r40437 = pow(r40435, r40436);
        double r40438 = sqrt(r40407);
        double r40439 = pow(r40437, r40438);
        double r40440 = pow(r40439, r40438);
        double r40441 = r40405 * r40440;
        double r40442 = pow(r40435, r40407);
        double r40443 = r40441 * r40442;
        double r40444 = r40409 - r40431;
        double r40445 = r40443 * r40444;
        double r40446 = r40432 + r40445;
        double r40447 = r40434 / r40446;
        double r40448 = 2.0;
        double r40449 = r40448 * r40406;
        double r40450 = r40412 / r40449;
        double r40451 = r40447 + r40450;
        return r40451;
}

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

   \[\leadsto \frac{\color{blue}{{\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}}}{\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}\]

5. Simplified 58.1

   \[\leadsto \frac{{\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}}{\color{blue}{\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)}} + \frac{77617}{2 \cdot 33096}\]
6. Using strategy rm

7. Applied add-cbrt-cube 58.2

   \[\leadsto \frac{{\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}}{\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)} + \frac{77617}{2 \cdot 33096}\]

8. Applied rem-cube-cbrt 58.1

   \[\leadsto \frac{{\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)}}{\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)} + \frac{77617}{2 \cdot 33096}\]
9. Using strategy rm

10. Applied add-cube-cbrt 58.1

    \[\leadsto \frac{{\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)}{\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)} + \frac{77617}{2 \cdot 33096}\]

11. Applied unpow-prod-down 58.1

    \[\leadsto \frac{{\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)}{\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)} + \frac{77617}{2 \cdot 33096}\]

12. Applied associate-*r* 58.1

    \[\leadsto \frac{{\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)}{\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)} + \frac{77617}{2 \cdot 33096}\]
13. Using strategy rm

14. Applied add-sqr-sqrt 58.1

    \[\leadsto \frac{{\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)}{\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)} + \frac{77617}{2 \cdot 33096}\]

15. Applied pow-unpow 58.1

    \[\leadsto \frac{{\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)}{\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)} + \frac{77617}{2 \cdot 33096}\]

16. Simplified 58.1

    \[\leadsto \frac{{\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)}{\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)} + \frac{77617}{2 \cdot 33096}\]

17. Final simplification 58.1

    \[\leadsto \frac{{\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)}{\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)} + \frac{77617}{2 \cdot 33096}\]

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