Average Error: 58.1 → 58.1
Time: 1.5m
Precision: 64
\[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]
↓
\[\frac{\left(\frac{{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right)}^{6}}{{\left({\left(\sqrt[3]{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}\right)}^{6} - {\left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}^{2}\right)}^{3}} - \frac{{\left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}^{6}}{{\left({\left(\sqrt[3]{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}\right)}^{6} - {\left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}^{2}\right)}^{3}}\right) \cdot {\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}^{3}}{\frac{\frac{{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right)}^{3}}{\frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}}}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)} + \left(\frac{5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}}{\frac{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}{5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}} - 1} + \frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\right) \cdot \frac{5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}}{\frac{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}{5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}} - 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}
↓
\frac{\left(\frac{{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right)}^{6}}{{\left({\left(\sqrt[3]{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}\right)}^{6} - {\left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}^{2}\right)}^{3}} - \frac{{\left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}^{6}}{{\left({\left(\sqrt[3]{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}\right)}^{6} - {\left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}^{2}\right)}^{3}}\right) \cdot {\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)\right)}^{3}}{\frac{\frac{{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right)}^{3}}{\frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}}}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)} + \left(\frac{5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}}{\frac{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}{5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}} - 1} + \frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)}\right) \cdot \frac{5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}}{\frac{\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}}{5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}} - 1}}
double f() {
        double r44540 = 333.75;
        double r44541 = 33096.0;
        double r44542 = 6.0;
        double r44543 = pow(r44541, r44542);
        double r44544 = r44540 * r44543;
        double r44545 = 77617.0;
        double r44546 = r44545 * r44545;
        double r44547 = 11.0;
        double r44548 = r44547 * r44546;
        double r44549 = r44541 * r44541;
        double r44550 = r44548 * r44549;
        double r44551 = -r44543;
        double r44552 = r44550 + r44551;
        double r44553 = -121.0;
        double r44554 = 4.0;
        double r44555 = pow(r44541, r44554);
        double r44556 = r44553 * r44555;
        double r44557 = r44552 + r44556;
        double r44558 = -2.0;
        double r44559 = r44557 + r44558;
        double r44560 = r44546 * r44559;
        double r44561 = r44544 + r44560;
        double r44562 = 5.5;
        double r44563 = 8.0;
        double r44564 = pow(r44541, r44563);
        double r44565 = r44562 * r44564;
        double r44566 = r44561 + r44565;
        double r44567 = 2.0;
        double r44568 = r44567 * r44541;
        double r44569 = r44545 / r44568;
        double r44570 = r44566 + r44569;
        return r44570;
}
↓
double f() {
        double r44571 = 77617.0;
        double r44572 = r44571 * r44571;
        double r44573 = 11.0;
        double r44574 = r44573 * r44572;
        double r44575 = 33096.0;
        double r44576 = r44575 * r44575;
        double r44577 = r44574 * r44576;
        double r44578 = 6.0;
        double r44579 = pow(r44575, r44578);
        double r44580 = r44577 - r44579;
        double r44581 = -121.0;
        double r44582 = 4.0;
        double r44583 = pow(r44575, r44582);
        double r44584 = r44581 * r44583;
        double r44585 = -2.0;
        double r44586 = r44584 + r44585;
        double r44587 = r44580 + r44586;
        double r44588 = r44572 * r44587;
        double r44589 = 333.75;
        double r44590 = r44589 * r44579;
        double r44591 = r44588 + r44590;
        double r44592 = 6.0;
        double r44593 = pow(r44591, r44592);
        double r44594 = cbrt(r44591);
        double r44595 = pow(r44594, r44592);
        double r44596 = 5.5;
        double r44597 = 8.0;
        double r44598 = pow(r44575, r44597);
        double r44599 = r44596 * r44598;
        double r44600 = 2.0;
        double r44601 = r44600 * r44575;
        double r44602 = r44571 / r44601;
        double r44603 = r44599 + r44602;
        double r44604 = 2.0;
        double r44605 = pow(r44603, r44604);
        double r44606 = r44595 - r44605;
        double r44607 = 3.0;
        double r44608 = pow(r44606, r44607);
        double r44609 = r44593 / r44608;
        double r44610 = pow(r44603, r44592);
        double r44611 = r44610 / r44608;
        double r44612 = r44609 - r44611;
        double r44613 = r44591 + r44603;
        double r44614 = pow(r44613, r44607);
        double r44615 = r44612 * r44614;
        double r44616 = pow(r44591, r44607);
        double r44617 = r44591 - r44603;
        double r44618 = r44617 / r44591;
        double r44619 = r44616 / r44618;
        double r44620 = r44619 / r44617;
        double r44621 = r44591 / r44603;
        double r44622 = 1.0;
        double r44623 = r44621 - r44622;
        double r44624 = r44603 / r44623;
        double r44625 = r44591 * r44591;
        double r44626 = r44625 / r44617;
        double r44627 = r44624 + r44626;
        double r44628 = r44627 * r44624;
        double r44629 = r44620 + r44628;
        double r44630 = r44615 / r44629;
        return r44630;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 58.1

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

    2. Simplified58.1

      \[\leadsto \color{blue}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\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(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\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(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\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 div-sub58.1

      \[\leadsto \color{blue}{\frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\right)\right) + 333.75 \cdot {33096}^{6}\right) - \left(5.5 \cdot {33096}^{8} + \frac{77617}{2 \cdot 33096}\right)} - \frac{\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(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right) + \left(-121 \cdot {33096}^{4} + -2\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 flip3--58.1

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

    9. Simplified58.1

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

    10. Simplified58.1

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

    12. Applied flip--63.1

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

    13. Applied cube-div63.1

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

    14. Applied associate-/r/63.1

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

    15. Applied flip--58.2

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

    16. Applied associate-/r/58.2

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

    17. Applied unpow-prod-down58.2

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

    18. Applied distribute-rgt-out--58.2

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

    19. Simplified58.1

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

    20. Final simplification58.1

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

    Reproduce

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