Average Error: 58.1 → 58.1
Time: 28.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(\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 r5866032 = 333.75;
        double r5866033 = 33096.0;
        double r5866034 = 6.0;
        double r5866035 = pow(r5866033, r5866034);
        double r5866036 = r5866032 * r5866035;
        double r5866037 = 77617.0;
        double r5866038 = r5866037 * r5866037;
        double r5866039 = 11.0;
        double r5866040 = r5866039 * r5866038;
        double r5866041 = r5866033 * r5866033;
        double r5866042 = r5866040 * r5866041;
        double r5866043 = -r5866035;
        double r5866044 = r5866042 + r5866043;
        double r5866045 = -121.0;
        double r5866046 = 4.0;
        double r5866047 = pow(r5866033, r5866046);
        double r5866048 = r5866045 * r5866047;
        double r5866049 = r5866044 + r5866048;
        double r5866050 = -2.0;
        double r5866051 = r5866049 + r5866050;
        double r5866052 = r5866038 * r5866051;
        double r5866053 = r5866036 + r5866052;
        double r5866054 = 5.5;
        double r5866055 = 8.0;
        double r5866056 = pow(r5866033, r5866055);
        double r5866057 = r5866054 * r5866056;
        double r5866058 = r5866053 + r5866057;
        double r5866059 = 2.0;
        double r5866060 = r5866059 * r5866033;
        double r5866061 = r5866037 / r5866060;
        double r5866062 = r5866058 + r5866061;
        return r5866062;
}

double f() {
        double r5866063 = 77617.0;
        double r5866064 = r5866063 * r5866063;
        double r5866065 = -121.0;
        double r5866066 = 33096.0;
        double r5866067 = 4.0;
        double r5866068 = pow(r5866066, r5866067);
        double r5866069 = r5866065 * r5866068;
        double r5866070 = 6.0;
        double r5866071 = pow(r5866066, r5866070);
        double r5866072 = -r5866071;
        double r5866073 = r5866066 * r5866066;
        double r5866074 = 11.0;
        double r5866075 = r5866074 * r5866064;
        double r5866076 = r5866073 * r5866075;
        double r5866077 = r5866072 + r5866076;
        double r5866078 = r5866069 + r5866077;
        double r5866079 = -2.0;
        double r5866080 = r5866078 + r5866079;
        double r5866081 = r5866064 * r5866080;
        double r5866082 = 333.75;
        double r5866083 = r5866071 * r5866082;
        double r5866084 = r5866081 + r5866083;
        double r5866085 = r5866084 * r5866084;
        double r5866086 = 8.0;
        double r5866087 = pow(r5866066, r5866086);
        double r5866088 = 5.5;
        double r5866089 = r5866087 * r5866088;
        double r5866090 = r5866084 - r5866089;
        double r5866091 = r5866085 / r5866090;
        double r5866092 = r5866091 * r5866085;
        double r5866093 = 2.0;
        double r5866094 = r5866093 * r5866066;
        double r5866095 = r5866094 * r5866090;
        double r5866096 = r5866089 * r5866089;
        double r5866097 = r5866096 / r5866090;
        double r5866098 = r5866097 * r5866097;
        double r5866099 = r5866063 / r5866094;
        double r5866100 = r5866097 * r5866099;
        double r5866101 = r5866099 * r5866099;
        double r5866102 = r5866100 + r5866101;
        double r5866103 = r5866098 + r5866102;
        double r5866104 = r5866095 * r5866103;
        double r5866105 = r5866092 * r5866104;
        double r5866106 = 3.0;
        double r5866107 = pow(r5866097, r5866106);
        double r5866108 = pow(r5866099, r5866106);
        double r5866109 = r5866107 - r5866108;
        double r5866110 = r5866094 * r5866096;
        double r5866111 = r5866090 * r5866063;
        double r5866112 = r5866110 - r5866111;
        double r5866113 = r5866109 * r5866112;
        double r5866114 = r5866113 * r5866090;
        double r5866115 = r5866105 - r5866114;
        double r5866116 = r5866104 * r5866090;
        double r5866117 = r5866115 / r5866116;
        double r5866118 = r5866097 - r5866099;
        double r5866119 = r5866091 + r5866118;
        double r5866120 = r5866117 / r5866119;
        return r5866120;
}

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-*r/58.1

      \[\leadsto \frac{\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 \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)}{\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(\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 \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)\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 2019171 
    (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))))