Average Error: 58.1 → 58.1
Time: 36.2s
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(\left(2 \cdot 33096\right) \cdot \left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right)}^{3} + {\left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617\right)}^{3}}{\left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)\right) \cdot \left(\left(\left(2 \cdot 33096\right) \cdot \left(2 \cdot 33096\right)\right) \cdot \left(\left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) - 5.5 \cdot {33096}^{8}\right) + \left(5.5 \cdot 5.5\right) \cdot {33096}^{\left(2 \cdot 8\right)}\right) \cdot \left(5.5 \cdot {33096}^{8} + \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3}\right)\right) + \left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617\right) \cdot \left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617 - \left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3}\right) \cdot \left(2 \cdot 33096\right)\right)\right)}\]
\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}
↓
\frac{{\left(\left(2 \cdot 33096\right) \cdot \left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right)}^{3} + {\left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617\right)}^{3}}{\left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left(2 \cdot 33096\right)\right) \cdot \left(\left(\left(2 \cdot 33096\right) \cdot \left(2 \cdot 33096\right)\right) \cdot \left(\left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) - 5.5 \cdot {33096}^{8}\right) + \left(5.5 \cdot 5.5\right) \cdot {33096}^{\left(2 \cdot 8\right)}\right) \cdot \left(5.5 \cdot {33096}^{8} + \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot \left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3}\right)\right) + \left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617\right) \cdot \left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617 - \left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3}\right) \cdot \left(2 \cdot 33096\right)\right)\right)}
double f() {
        double r57390 = 333.75;
        double r57391 = 33096.0;
        double r57392 = 6.0;
        double r57393 = pow(r57391, r57392);
        double r57394 = r57390 * r57393;
        double r57395 = 77617.0;
        double r57396 = r57395 * r57395;
        double r57397 = 11.0;
        double r57398 = r57397 * r57396;
        double r57399 = r57391 * r57391;
        double r57400 = r57398 * r57399;
        double r57401 = -r57393;
        double r57402 = r57400 + r57401;
        double r57403 = -121.0;
        double r57404 = 4.0;
        double r57405 = pow(r57391, r57404);
        double r57406 = r57403 * r57405;
        double r57407 = r57402 + r57406;
        double r57408 = -2.0;
        double r57409 = r57407 + r57408;
        double r57410 = r57396 * r57409;
        double r57411 = r57394 + r57410;
        double r57412 = 5.5;
        double r57413 = 8.0;
        double r57414 = pow(r57391, r57413);
        double r57415 = r57412 * r57414;
        double r57416 = r57411 + r57415;
        double r57417 = 2.0;
        double r57418 = r57417 * r57391;
        double r57419 = r57395 / r57418;
        double r57420 = r57416 + r57419;
        return r57420;
}
↓
double f() {
        double r57421 = 2.0;
        double r57422 = 33096.0;
        double r57423 = r57421 * r57422;
        double r57424 = 5.5;
        double r57425 = 8.0;
        double r57426 = pow(r57422, r57425);
        double r57427 = r57424 * r57426;
        double r57428 = 3.0;
        double r57429 = pow(r57427, r57428);
        double r57430 = 77617.0;
        double r57431 = r57430 * r57430;
        double r57432 = -121.0;
        double r57433 = 4.0;
        double r57434 = pow(r57422, r57433);
        double r57435 = r57432 * r57434;
        double r57436 = 11.0;
        double r57437 = r57436 * r57431;
        double r57438 = r57422 * r57422;
        double r57439 = r57437 * r57438;
        double r57440 = 6.0;
        double r57441 = pow(r57422, r57440);
        double r57442 = r57439 - r57441;
        double r57443 = r57435 + r57442;
        double r57444 = -2.0;
        double r57445 = r57443 + r57444;
        double r57446 = r57431 * r57445;
        double r57447 = 333.75;
        double r57448 = r57447 * r57441;
        double r57449 = r57446 + r57448;
        double r57450 = r57449 * r57449;
        double r57451 = r57450 * r57449;
        double r57452 = r57429 + r57451;
        double r57453 = r57423 * r57452;
        double r57454 = pow(r57453, r57428);
        double r57455 = r57427 - r57449;
        double r57456 = r57427 * r57455;
        double r57457 = r57450 + r57456;
        double r57458 = r57457 * r57430;
        double r57459 = pow(r57458, r57428);
        double r57460 = r57454 + r57459;
        double r57461 = r57457 * r57423;
        double r57462 = r57423 * r57423;
        double r57463 = r57449 - r57427;
        double r57464 = r57449 * r57463;
        double r57465 = r57424 * r57424;
        double r57466 = 2.0;
        double r57467 = r57466 * r57425;
        double r57468 = pow(r57422, r57467);
        double r57469 = r57465 * r57468;
        double r57470 = r57464 + r57469;
        double r57471 = r57427 + r57449;
        double r57472 = r57470 * r57471;
        double r57473 = pow(r57449, r57428);
        double r57474 = r57429 + r57473;
        double r57475 = r57472 * r57474;
        double r57476 = r57462 * r57475;
        double r57477 = r57474 * r57423;
        double r57478 = r57458 - r57477;
        double r57479 = r57458 * r57478;
        double r57480 = r57476 + r57479;
        double r57481 = r57461 * r57480;
        double r57482 = r57460 / r57481;
        return r57482;
}

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. Using strategy rm

    3. Applied flip3-+58.1

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

    4. Applied frac-add58.1

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

    5. Simplified58.1

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

    6. Simplified58.1

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

    8. Applied add-cbrt-cube58.2

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

    9. Applied rem-cube-cbrt58.1

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

    11. Applied flip3-+58.1

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

    12. Applied associate-/l/58.1

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

    13. Simplified58.1

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

    15. Applied sum-cubes58.1

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

    16. Simplified58.1

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

    17. Final simplification58.1

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

    Reproduce

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