Average Error: 58.1 → 58.1
Time: 29.0s
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{\frac{\left(\frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right)\right)\right) \cdot \left(\left(\left(2 \cdot 33096\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right)\right) \cdot \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} + \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \frac{77617}{2 \cdot 33096} + \frac{77617}{2 \cdot 33096} \cdot \frac{77617}{2 \cdot 33096}\right)\right)\right) - \left(\left({\left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5}\right)}^{3} - {\left(\frac{77617}{2 \cdot 33096}\right)}^{3}\right) \cdot \left(\left(2 \cdot 33096\right) \cdot \left(\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)\right) - \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right) \cdot 77617\right)\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right)}{\left(\left(\left(2 \cdot 33096\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right)\right) \cdot \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} + \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \frac{77617}{2 \cdot 33096} + \frac{77617}{2 \cdot 33096} \cdot \frac{77617}{2 \cdot 33096}\right)\right)\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right)}}{\frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} + \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} - \frac{77617}{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) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}
\frac{\frac{\left(\frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right)\right)\right) \cdot \left(\left(\left(2 \cdot 33096\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right)\right) \cdot \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} + \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \frac{77617}{2 \cdot 33096} + \frac{77617}{2 \cdot 33096} \cdot \frac{77617}{2 \cdot 33096}\right)\right)\right) - \left(\left({\left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5}\right)}^{3} - {\left(\frac{77617}{2 \cdot 33096}\right)}^{3}\right) \cdot \left(\left(2 \cdot 33096\right) \cdot \left(\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)\right) - \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right) \cdot 77617\right)\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right)}{\left(\left(\left(2 \cdot 33096\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right)\right) \cdot \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} + \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} \cdot \frac{77617}{2 \cdot 33096} + \frac{77617}{2 \cdot 33096} \cdot \frac{77617}{2 \cdot 33096}\right)\right)\right) \cdot \left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5\right)}}{\frac{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} + \left(\frac{\left({33096}^{8} \cdot 5.5\right) \cdot \left({33096}^{8} \cdot 5.5\right)}{\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(-{33096}^{6}\right) + \left(33096 \cdot 33096\right) \cdot \left(11 \cdot \left(77617 \cdot 77617\right)\right)\right)\right) + -2\right) + {33096}^{6} \cdot 333.75\right) - {33096}^{8} \cdot 5.5} - \frac{77617}{2 \cdot 33096}\right)}
double f() {
        double r6306433 = 333.75;
        double r6306434 = 33096.0;
        double r6306435 = 6.0;
        double r6306436 = pow(r6306434, r6306435);
        double r6306437 = r6306433 * r6306436;
        double r6306438 = 77617.0;
        double r6306439 = r6306438 * r6306438;
        double r6306440 = 11.0;
        double r6306441 = r6306440 * r6306439;
        double r6306442 = r6306434 * r6306434;
        double r6306443 = r6306441 * r6306442;
        double r6306444 = -r6306436;
        double r6306445 = r6306443 + r6306444;
        double r6306446 = -121.0;
        double r6306447 = 4.0;
        double r6306448 = pow(r6306434, r6306447);
        double r6306449 = r6306446 * r6306448;
        double r6306450 = r6306445 + r6306449;
        double r6306451 = -2.0;
        double r6306452 = r6306450 + r6306451;
        double r6306453 = r6306439 * r6306452;
        double r6306454 = r6306437 + r6306453;
        double r6306455 = 5.5;
        double r6306456 = 8.0;
        double r6306457 = pow(r6306434, r6306456);
        double r6306458 = r6306455 * r6306457;
        double r6306459 = r6306454 + r6306458;
        double r6306460 = 2.0;
        double r6306461 = r6306460 * r6306434;
        double r6306462 = r6306438 / r6306461;
        double r6306463 = r6306459 + r6306462;
        return r6306463;
}

double f() {
        double r6306464 = 77617.0;
        double r6306465 = r6306464 * r6306464;
        double r6306466 = -121.0;
        double r6306467 = 33096.0;
        double r6306468 = 4.0;
        double r6306469 = pow(r6306467, r6306468);
        double r6306470 = r6306466 * r6306469;
        double r6306471 = 6.0;
        double r6306472 = pow(r6306467, r6306471);
        double r6306473 = -r6306472;
        double r6306474 = r6306467 * r6306467;
        double r6306475 = 11.0;
        double r6306476 = r6306475 * r6306465;
        double r6306477 = r6306474 * r6306476;
        double r6306478 = r6306473 + r6306477;
        double r6306479 = r6306470 + r6306478;
        double r6306480 = -2.0;
        double r6306481 = r6306479 + r6306480;
        double r6306482 = r6306465 * r6306481;
        double r6306483 = 333.75;
        double r6306484 = r6306472 * r6306483;
        double r6306485 = r6306482 + r6306484;
        double r6306486 = r6306485 * r6306485;
        double r6306487 = 8.0;
        double r6306488 = pow(r6306467, r6306487);
        double r6306489 = 5.5;
        double r6306490 = r6306488 * r6306489;
        double r6306491 = r6306485 - r6306490;
        double r6306492 = r6306486 / r6306491;
        double r6306493 = r6306492 * r6306486;
        double r6306494 = 2.0;
        double r6306495 = r6306494 * r6306467;
        double r6306496 = r6306495 * r6306491;
        double r6306497 = r6306490 * r6306490;
        double r6306498 = r6306497 / r6306491;
        double r6306499 = r6306498 * r6306498;
        double r6306500 = r6306464 / r6306495;
        double r6306501 = r6306498 * r6306500;
        double r6306502 = r6306500 * r6306500;
        double r6306503 = r6306501 + r6306502;
        double r6306504 = r6306499 + r6306503;
        double r6306505 = r6306496 * r6306504;
        double r6306506 = r6306493 * r6306505;
        double r6306507 = 3.0;
        double r6306508 = pow(r6306498, r6306507);
        double r6306509 = pow(r6306500, r6306507);
        double r6306510 = r6306508 - r6306509;
        double r6306511 = r6306495 * r6306497;
        double r6306512 = r6306491 * r6306464;
        double r6306513 = r6306511 - r6306512;
        double r6306514 = r6306510 * r6306513;
        double r6306515 = r6306514 * r6306491;
        double r6306516 = r6306506 - r6306515;
        double r6306517 = r6306505 * r6306491;
        double r6306518 = r6306516 / r6306517;
        double r6306519 = r6306498 - r6306500;
        double r6306520 = r6306492 + r6306519;
        double r6306521 = r6306518 / r6306520;
        return r6306521;
}

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 flip-+58.1

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

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

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

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

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

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

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

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

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

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

    Reproduce

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