Average Error: 58.1 → 58.0
Time: 31.7s
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}\]
↓
\[\mathsf{fma}\left(-\sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}, \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}} \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}, \left(\sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}} \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}\right) \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}\right) + \left(\left(-\left(\sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}} \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}\right) \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}\right) + \frac{\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right)\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}
↓
\mathsf{fma}\left(-\sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}, \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}} \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}, \left(\sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}} \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}\right) \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}\right) + \left(\left(-\left(\sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}} \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}\right) \cdot \sqrt[3]{\frac{\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} - \frac{77617}{33096 \cdot 2}}\right) + \frac{\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - 5.5 \cdot {33096}^{8}} \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right)\right)
double f() {
        double r4676422 = 333.75;
        double r4676423 = 33096.0;
        double r4676424 = 6.0;
        double r4676425 = pow(r4676423, r4676424);
        double r4676426 = r4676422 * r4676425;
        double r4676427 = 77617.0;
        double r4676428 = r4676427 * r4676427;
        double r4676429 = 11.0;
        double r4676430 = r4676429 * r4676428;
        double r4676431 = r4676423 * r4676423;
        double r4676432 = r4676430 * r4676431;
        double r4676433 = -r4676425;
        double r4676434 = r4676432 + r4676433;
        double r4676435 = -121.0;
        double r4676436 = 4.0;
        double r4676437 = pow(r4676423, r4676436);
        double r4676438 = r4676435 * r4676437;
        double r4676439 = r4676434 + r4676438;
        double r4676440 = -2.0;
        double r4676441 = r4676439 + r4676440;
        double r4676442 = r4676428 * r4676441;
        double r4676443 = r4676426 + r4676442;
        double r4676444 = 5.5;
        double r4676445 = 8.0;
        double r4676446 = pow(r4676423, r4676445);
        double r4676447 = r4676444 * r4676446;
        double r4676448 = r4676443 + r4676447;
        double r4676449 = 2.0;
        double r4676450 = r4676449 * r4676423;
        double r4676451 = r4676427 / r4676450;
        double r4676452 = r4676448 + r4676451;
        return r4676452;
}
↓
double f() {
        double r4676453 = 5.5;
        double r4676454 = 33096.0;
        double r4676455 = 8.0;
        double r4676456 = pow(r4676454, r4676455);
        double r4676457 = r4676453 * r4676456;
        double r4676458 = r4676457 * r4676457;
        double r4676459 = 77617.0;
        double r4676460 = r4676459 * r4676459;
        double r4676461 = -121.0;
        double r4676462 = 4.0;
        double r4676463 = pow(r4676454, r4676462);
        double r4676464 = r4676461 * r4676463;
        double r4676465 = 6.0;
        double r4676466 = pow(r4676454, r4676465);
        double r4676467 = -r4676466;
        double r4676468 = r4676454 * r4676454;
        double r4676469 = 11.0;
        double r4676470 = r4676469 * r4676460;
        double r4676471 = r4676468 * r4676470;
        double r4676472 = r4676467 + r4676471;
        double r4676473 = r4676464 + r4676472;
        double r4676474 = -2.0;
        double r4676475 = r4676473 + r4676474;
        double r4676476 = r4676460 * r4676475;
        double r4676477 = 333.75;
        double r4676478 = r4676466 * r4676477;
        double r4676479 = r4676476 + r4676478;
        double r4676480 = r4676479 - r4676457;
        double r4676481 = r4676458 / r4676480;
        double r4676482 = 2.0;
        double r4676483 = r4676454 * r4676482;
        double r4676484 = r4676459 / r4676483;
        double r4676485 = r4676481 - r4676484;
        double r4676486 = cbrt(r4676485);
        double r4676487 = -r4676486;
        double r4676488 = r4676486 * r4676486;
        double r4676489 = r4676488 * r4676486;
        double r4676490 = fma(r4676487, r4676488, r4676489);
        double r4676491 = -r4676489;
        double r4676492 = r4676479 / r4676480;
        double r4676493 = r4676492 * r4676479;
        double r4676494 = r4676491 + r4676493;
        double r4676495 = r4676490 + r4676494;
        return r4676495;
}

Error

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 flip-+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) \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(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) - 5.5 \cdot {33096}^{8}}} + \frac{77617}{2 \cdot 33096}\]
  4. Using strategy rm

  5. Applied div-sub58.1

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

  6. Applied associate-+l-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) \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(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}} - \left(\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}\right)}\]
  7. Using strategy rm

  8. Applied add-cube-cbrt63.0

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

  9. Applied *-un-lft-identity63.0

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

  10. Applied times-frac62.0

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

  11. Applied prod-diff58.1

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

  13. Applied fma-udef58.0

    \[\leadsto \color{blue}{\left(\frac{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)}{1} \cdot \frac{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)}{\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}} + \left(-\sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}} \cdot \left(\sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}} \cdot \sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}}\right)\right)\right)} + \mathsf{fma}\left(-\sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}}, \sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}} \cdot \sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}}, \sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}} \cdot \left(\sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}} \cdot \sqrt[3]{\frac{\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) - 5.5 \cdot {33096}^{8}} - \frac{77617}{2 \cdot 33096}}\right)\right)\]

  14. Final simplification58.0

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

Reproduce

herbie shell --seed 2019172 +o rules:numerics
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0))))