From Warwick Tucker's Validated Numerics

Average Error: 58.1 → 58.1

Time: 46.8s

Precision: 64

Math

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

C

double f() {
        double r55263 = 333.75;
        double r55264 = 33096.0;
        double r55265 = 6.0;
        double r55266 = pow(r55264, r55265);
        double r55267 = r55263 * r55266;
        double r55268 = 77617.0;
        double r55269 = r55268 * r55268;
        double r55270 = 11.0;
        double r55271 = r55270 * r55269;
        double r55272 = r55264 * r55264;
        double r55273 = r55271 * r55272;
        double r55274 = -r55266;
        double r55275 = r55273 + r55274;
        double r55276 = -121.0;
        double r55277 = 4.0;
        double r55278 = pow(r55264, r55277);
        double r55279 = r55276 * r55278;
        double r55280 = r55275 + r55279;
        double r55281 = -2.0;
        double r55282 = r55280 + r55281;
        double r55283 = r55269 * r55282;
        double r55284 = r55267 + r55283;
        double r55285 = 5.5;
        double r55286 = 8.0;
        double r55287 = pow(r55264, r55286);
        double r55288 = r55285 * r55287;
        double r55289 = r55284 + r55288;
        double r55290 = 2.0;
        double r55291 = r55290 * r55264;
        double r55292 = r55268 / r55291;
        double r55293 = r55289 + r55292;
        return r55293;
}

↓

double f() {
        double r55294 = 5.5;
        double r55295 = 33096.0;
        double r55296 = 8.0;
        double r55297 = pow(r55295, r55296);
        double r55298 = r55294 * r55297;
        double r55299 = 3.0;
        double r55300 = pow(r55298, r55299);
        double r55301 = 77617.0;
        double r55302 = r55301 * r55301;
        double r55303 = -121.0;
        double r55304 = 4.0;
        double r55305 = pow(r55295, r55304);
        double r55306 = r55303 * r55305;
        double r55307 = 11.0;
        double r55308 = r55307 * r55302;
        double r55309 = r55295 * r55295;
        double r55310 = r55308 * r55309;
        double r55311 = 6.0;
        double r55312 = pow(r55295, r55311);
        double r55313 = r55310 - r55312;
        double r55314 = r55306 + r55313;
        double r55315 = -2.0;
        double r55316 = r55314 + r55315;
        double r55317 = r55302 * r55316;
        double r55318 = 333.75;
        double r55319 = r55318 * r55312;
        double r55320 = r55317 + r55319;
        double r55321 = r55320 * r55320;
        double r55322 = r55321 * r55320;
        double r55323 = r55300 + r55322;
        double r55324 = cbrt(r55295);
        double r55325 = 2.0;
        double r55326 = pow(r55324, r55325);
        double r55327 = sqrt(r55296);
        double r55328 = pow(r55326, r55327);
        double r55329 = pow(r55328, r55327);
        double r55330 = r55294 * r55329;
        double r55331 = pow(r55324, r55296);
        double r55332 = r55330 * r55331;
        double r55333 = r55298 - r55320;
        double r55334 = r55332 * r55333;
        double r55335 = r55321 + r55334;
        double r55336 = r55323 / r55335;
        double r55337 = 2.0;
        double r55338 = r55337 * r55295;
        double r55339 = r55301 / r55338;
        double r55340 = r55336 + r55339;
        return r55340;
}

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. Simplified 58.1

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

5. Simplified 58.1

   \[\leadsto \frac{{\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}}{\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(77617 \cdot 77617\right) \cdot \left(\left(-121 \cdot {33096}^{4} + \left(\left(11 \cdot \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)}} + \frac{77617}{2 \cdot 33096}\]
6. Using strategy rm

7. Applied add-cbrt-cube 58.2

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

8. Applied rem-cube-cbrt 58.1

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

10. Applied add-cube-cbrt 58.1

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

11. Applied unpow-prod-down 58.1

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

12. Applied associate-*r* 58.1

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

14. Applied add-sqr-sqrt 58.1

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

15. Applied pow-unpow 58.1

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

16. Simplified 58.1

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

17. Final simplification 58.1

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

Reproduce

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