Average Error: 58.1 → 58.1
Time: 1.4m
Precision: 64
\[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]
\[\frac{{\left(\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{2}\right) \cdot 2\right) \cdot 33096\right)}^{3} + {\left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617\right)}^{3}}{\left(\left(2 \cdot 33096\right) \cdot \left(\left(\left(5.5 \cdot {\left(\sqrt[3]{33096} \cdot \sqrt[3]{33096}\right)}^{8}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{2}\right)\right) \cdot \left(\left(\left(\left({\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) \cdot \left(2 \cdot 33096\right)\right) \cdot \left(\left({\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) \cdot 2\right)\right) \cdot 33096 + \left(77617 \cdot \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{2}\right)\right) \cdot \left(77617 \cdot \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{2}\right) - \left({\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) \cdot \left(2 \cdot 33096\right)\right)\right)}\]
\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}
\frac{{\left(\left(\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{2}\right) \cdot 2\right) \cdot 33096\right)}^{3} + {\left(\left(\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) \cdot \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right) + \left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right)\right) \cdot 77617\right)}^{3}}{\left(\left(2 \cdot 33096\right) \cdot \left(\left(\left(5.5 \cdot {\left(\sqrt[3]{33096} \cdot \sqrt[3]{33096}\right)}^{8}\right) \cdot {\left(\sqrt[3]{33096}\right)}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{2}\right)\right) \cdot \left(\left(\left(\left({\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) \cdot \left(2 \cdot 33096\right)\right) \cdot \left(\left({\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) \cdot 2\right)\right) \cdot 33096 + \left(77617 \cdot \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{2}\right)\right) \cdot \left(77617 \cdot \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8} - \left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)\right) + {\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{2}\right) - \left({\left(\left(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) + -2\right) + 333.75 \cdot {33096}^{6}\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) \cdot \left(2 \cdot 33096\right)\right)\right)}
double f() {
        double r59186 = 333.75;
        double r59187 = 33096.0;
        double r59188 = 6.0;
        double r59189 = pow(r59187, r59188);
        double r59190 = r59186 * r59189;
        double r59191 = 77617.0;
        double r59192 = r59191 * r59191;
        double r59193 = 11.0;
        double r59194 = r59193 * r59192;
        double r59195 = r59187 * r59187;
        double r59196 = r59194 * r59195;
        double r59197 = -r59189;
        double r59198 = r59196 + r59197;
        double r59199 = -121.0;
        double r59200 = 4.0;
        double r59201 = pow(r59187, r59200);
        double r59202 = r59199 * r59201;
        double r59203 = r59198 + r59202;
        double r59204 = -2.0;
        double r59205 = r59203 + r59204;
        double r59206 = r59192 * r59205;
        double r59207 = r59190 + r59206;
        double r59208 = 5.5;
        double r59209 = 8.0;
        double r59210 = pow(r59187, r59209);
        double r59211 = r59208 * r59210;
        double r59212 = r59207 + r59211;
        double r59213 = 2.0;
        double r59214 = r59213 * r59187;
        double r59215 = r59191 / r59214;
        double r59216 = r59212 + r59215;
        return r59216;
}

double f() {
        double r59217 = 5.5;
        double r59218 = 33096.0;
        double r59219 = 8.0;
        double r59220 = pow(r59218, r59219);
        double r59221 = r59217 * r59220;
        double r59222 = 3.0;
        double r59223 = pow(r59221, r59222);
        double r59224 = 77617.0;
        double r59225 = r59224 * r59224;
        double r59226 = -121.0;
        double r59227 = 4.0;
        double r59228 = pow(r59218, r59227);
        double r59229 = r59226 * r59228;
        double r59230 = 11.0;
        double r59231 = r59230 * r59225;
        double r59232 = r59218 * r59218;
        double r59233 = r59231 * r59232;
        double r59234 = 6.0;
        double r59235 = pow(r59218, r59234);
        double r59236 = r59233 - r59235;
        double r59237 = r59229 + r59236;
        double r59238 = -2.0;
        double r59239 = r59237 + r59238;
        double r59240 = r59225 * r59239;
        double r59241 = 333.75;
        double r59242 = r59241 * r59235;
        double r59243 = r59240 + r59242;
        double r59244 = 2.0;
        double r59245 = pow(r59243, r59244);
        double r59246 = r59243 * r59245;
        double r59247 = r59223 + r59246;
        double r59248 = 2.0;
        double r59249 = r59247 * r59248;
        double r59250 = r59249 * r59218;
        double r59251 = pow(r59250, r59222);
        double r59252 = r59243 * r59243;
        double r59253 = r59221 - r59243;
        double r59254 = r59221 * r59253;
        double r59255 = r59252 + r59254;
        double r59256 = r59255 * r59224;
        double r59257 = pow(r59256, r59222);
        double r59258 = r59251 + r59257;
        double r59259 = r59248 * r59218;
        double r59260 = cbrt(r59218);
        double r59261 = r59260 * r59260;
        double r59262 = pow(r59261, r59219);
        double r59263 = r59217 * r59262;
        double r59264 = pow(r59260, r59219);
        double r59265 = r59263 * r59264;
        double r59266 = r59265 * r59253;
        double r59267 = r59266 + r59245;
        double r59268 = r59259 * r59267;
        double r59269 = pow(r59243, r59222);
        double r59270 = r59269 + r59223;
        double r59271 = r59270 * r59259;
        double r59272 = r59270 * r59248;
        double r59273 = r59271 * r59272;
        double r59274 = r59273 * r59218;
        double r59275 = r59254 + r59245;
        double r59276 = r59224 * r59275;
        double r59277 = r59276 - r59271;
        double r59278 = r59276 * r59277;
        double r59279 = r59274 + r59278;
        double r59280 = r59268 * r59279;
        double r59281 = r59258 / r59280;
        return r59281;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 58.1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Reproduce

    herbie shell --seed 2019303 
    (FPCore ()
      :name "From Warwick Tucker's Validated Numerics"
      :precision binary64
      (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))