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 r64475 = 333.75;
        double r64476 = 33096.0;
        double r64477 = 6.0;
        double r64478 = pow(r64476, r64477);
        double r64479 = r64475 * r64478;
        double r64480 = 77617.0;
        double r64481 = r64480 * r64480;
        double r64482 = 11.0;
        double r64483 = r64482 * r64481;
        double r64484 = r64476 * r64476;
        double r64485 = r64483 * r64484;
        double r64486 = -r64478;
        double r64487 = r64485 + r64486;
        double r64488 = -121.0;
        double r64489 = 4.0;
        double r64490 = pow(r64476, r64489);
        double r64491 = r64488 * r64490;
        double r64492 = r64487 + r64491;
        double r64493 = -2.0;
        double r64494 = r64492 + r64493;
        double r64495 = r64481 * r64494;
        double r64496 = r64479 + r64495;
        double r64497 = 5.5;
        double r64498 = 8.0;
        double r64499 = pow(r64476, r64498);
        double r64500 = r64497 * r64499;
        double r64501 = r64496 + r64500;
        double r64502 = 2.0;
        double r64503 = r64502 * r64476;
        double r64504 = r64480 / r64503;
        double r64505 = r64501 + r64504;
        return r64505;
}
↓
double f() {
        double r64506 = 77617.0;
        double r64507 = r64506 * r64506;
        double r64508 = 11.0;
        double r64509 = r64508 * r64507;
        double r64510 = 33096.0;
        double r64511 = r64510 * r64510;
        double r64512 = r64509 * r64511;
        double r64513 = 6.0;
        double r64514 = pow(r64510, r64513);
        double r64515 = r64512 - r64514;
        double r64516 = -121.0;
        double r64517 = 4.0;
        double r64518 = pow(r64510, r64517);
        double r64519 = r64516 * r64518;
        double r64520 = -2.0;
        double r64521 = r64519 + r64520;
        double r64522 = r64515 + r64521;
        double r64523 = r64507 * r64522;
        double r64524 = 333.75;
        double r64525 = r64524 * r64514;
        double r64526 = r64523 + r64525;
        double r64527 = 6.0;
        double r64528 = pow(r64526, r64527);
        double r64529 = cbrt(r64526);
        double r64530 = pow(r64529, r64527);
        double r64531 = 5.5;
        double r64532 = 8.0;
        double r64533 = pow(r64510, r64532);
        double r64534 = r64531 * r64533;
        double r64535 = 2.0;
        double r64536 = r64535 * r64510;
        double r64537 = r64506 / r64536;
        double r64538 = r64534 + r64537;
        double r64539 = 2.0;
        double r64540 = pow(r64538, r64539);
        double r64541 = r64530 - r64540;
        double r64542 = 3.0;
        double r64543 = pow(r64541, r64542);
        double r64544 = r64528 / r64543;
        double r64545 = pow(r64538, r64527);
        double r64546 = r64545 / r64543;
        double r64547 = r64544 - r64546;
        double r64548 = r64526 + r64538;
        double r64549 = pow(r64548, r64542);
        double r64550 = r64547 * r64549;
        double r64551 = pow(r64526, r64542);
        double r64552 = r64526 - r64538;
        double r64553 = r64552 / r64526;
        double r64554 = r64551 / r64553;
        double r64555 = r64554 / r64552;
        double r64556 = r64526 / r64538;
        double r64557 = 1.0;
        double r64558 = r64556 - r64557;
        double r64559 = r64538 / r64558;
        double r64560 = r64526 * r64526;
        double r64561 = r64560 / r64552;
        double r64562 = r64559 + r64561;
        double r64563 = r64562 * r64559;
        double r64564 = r64555 + r64563;
        double r64565 = r64550 / r64564;
        return r64565;
}

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