Average Error: 58.1 → 58.1
Time: 29.7s
Precision: 64
\[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]
\[\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(\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{77617}{33096 \cdot 2} \cdot \frac{77617}{33096 \cdot 2} + \frac{77617}{33096 \cdot 2} \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}\right)\right) \cdot \left(\left(33096 \cdot 2\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)\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}{33096 \cdot 2}\right)}^{3}\right) \cdot \left(\left(33096 \cdot 2\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(\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{77617}{33096 \cdot 2} \cdot \frac{77617}{33096 \cdot 2} + \frac{77617}{33096 \cdot 2} \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}\right)\right) \cdot \left(\left(33096 \cdot 2\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)\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}{33096 \cdot 2}\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(\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{77617}{33096 \cdot 2} \cdot \frac{77617}{33096 \cdot 2} + \frac{77617}{33096 \cdot 2} \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}\right)\right) \cdot \left(\left(33096 \cdot 2\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)\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}{33096 \cdot 2}\right)}^{3}\right) \cdot \left(\left(33096 \cdot 2\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(\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{77617}{33096 \cdot 2} \cdot \frac{77617}{33096 \cdot 2} + \frac{77617}{33096 \cdot 2} \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}\right)\right) \cdot \left(\left(33096 \cdot 2\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)\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}{33096 \cdot 2}\right)}
double f() {
        double r5658831 = 333.75;
        double r5658832 = 33096.0;
        double r5658833 = 6.0;
        double r5658834 = pow(r5658832, r5658833);
        double r5658835 = r5658831 * r5658834;
        double r5658836 = 77617.0;
        double r5658837 = r5658836 * r5658836;
        double r5658838 = 11.0;
        double r5658839 = r5658838 * r5658837;
        double r5658840 = r5658832 * r5658832;
        double r5658841 = r5658839 * r5658840;
        double r5658842 = -r5658834;
        double r5658843 = r5658841 + r5658842;
        double r5658844 = -121.0;
        double r5658845 = 4.0;
        double r5658846 = pow(r5658832, r5658845);
        double r5658847 = r5658844 * r5658846;
        double r5658848 = r5658843 + r5658847;
        double r5658849 = -2.0;
        double r5658850 = r5658848 + r5658849;
        double r5658851 = r5658837 * r5658850;
        double r5658852 = r5658835 + r5658851;
        double r5658853 = 5.5;
        double r5658854 = 8.0;
        double r5658855 = pow(r5658832, r5658854);
        double r5658856 = r5658853 * r5658855;
        double r5658857 = r5658852 + r5658856;
        double r5658858 = 2.0;
        double r5658859 = r5658858 * r5658832;
        double r5658860 = r5658836 / r5658859;
        double r5658861 = r5658857 + r5658860;
        return r5658861;
}

double f() {
        double r5658862 = 77617.0;
        double r5658863 = r5658862 * r5658862;
        double r5658864 = -121.0;
        double r5658865 = 33096.0;
        double r5658866 = 4.0;
        double r5658867 = pow(r5658865, r5658866);
        double r5658868 = r5658864 * r5658867;
        double r5658869 = 6.0;
        double r5658870 = pow(r5658865, r5658869);
        double r5658871 = -r5658870;
        double r5658872 = r5658865 * r5658865;
        double r5658873 = 11.0;
        double r5658874 = r5658873 * r5658863;
        double r5658875 = r5658872 * r5658874;
        double r5658876 = r5658871 + r5658875;
        double r5658877 = r5658868 + r5658876;
        double r5658878 = -2.0;
        double r5658879 = r5658877 + r5658878;
        double r5658880 = r5658863 * r5658879;
        double r5658881 = 333.75;
        double r5658882 = r5658870 * r5658881;
        double r5658883 = r5658880 + r5658882;
        double r5658884 = r5658883 * r5658883;
        double r5658885 = 8.0;
        double r5658886 = pow(r5658865, r5658885);
        double r5658887 = 5.5;
        double r5658888 = r5658886 * r5658887;
        double r5658889 = r5658883 - r5658888;
        double r5658890 = r5658884 / r5658889;
        double r5658891 = r5658890 * r5658884;
        double r5658892 = r5658888 * r5658888;
        double r5658893 = r5658892 / r5658889;
        double r5658894 = r5658893 * r5658893;
        double r5658895 = 2.0;
        double r5658896 = r5658865 * r5658895;
        double r5658897 = r5658862 / r5658896;
        double r5658898 = r5658897 * r5658897;
        double r5658899 = r5658897 * r5658893;
        double r5658900 = r5658898 + r5658899;
        double r5658901 = r5658894 + r5658900;
        double r5658902 = r5658896 * r5658889;
        double r5658903 = r5658901 * r5658902;
        double r5658904 = r5658891 * r5658903;
        double r5658905 = 3.0;
        double r5658906 = pow(r5658893, r5658905);
        double r5658907 = pow(r5658897, r5658905);
        double r5658908 = r5658906 - r5658907;
        double r5658909 = r5658896 * r5658892;
        double r5658910 = r5658889 * r5658862;
        double r5658911 = r5658909 - r5658910;
        double r5658912 = r5658908 * r5658911;
        double r5658913 = r5658912 * r5658889;
        double r5658914 = r5658904 - r5658913;
        double r5658915 = r5658903 * r5658889;
        double r5658916 = r5658914 / r5658915;
        double r5658917 = r5658893 - r5658897;
        double r5658918 = r5658890 + r5658917;
        double r5658919 = r5658916 / r5658918;
        return r5658919;
}

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 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}} - \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(\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)}}}{\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 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}} - \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)}} \cdot \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)}}{\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(\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) \cdot \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)}{\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) \cdot \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)}}}{\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(\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) \cdot \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)}{\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) \cdot \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)}}{\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(\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) \cdot \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)\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(\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) \cdot \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)\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(\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) \cdot \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)\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(\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{77617}{33096 \cdot 2} \cdot \frac{77617}{33096 \cdot 2} + \frac{77617}{33096 \cdot 2} \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}\right)\right) \cdot \left(\left(33096 \cdot 2\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)\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}{33096 \cdot 2}\right)}^{3}\right) \cdot \left(\left(33096 \cdot 2\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(\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{77617}{33096 \cdot 2} \cdot \frac{77617}{33096 \cdot 2} + \frac{77617}{33096 \cdot 2} \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}\right)\right) \cdot \left(\left(33096 \cdot 2\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)\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}{33096 \cdot 2}\right)}\]

    Reproduce

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