Average Error: 58.1 → 63.6
Time: 28.6s
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{77617}{66192} + \frac{{\left(e^{\sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)} \cdot \sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)}\right)}}{\left(-7917111779274712207494296632228773890 + \left(\left(1314174534371215466459037696 \cdot 333.75\right)\right)\right) - 1439474789212538429291115400277262336 \cdot 5.5}\]
\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{77617}{66192} + \frac{{\left(e^{\sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)} \cdot \sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)}\right)}}{\left(-7917111779274712207494296632228773890 + \left(\left(1314174534371215466459037696 \cdot 333.75\right)\right)\right) - 1439474789212538429291115400277262336 \cdot 5.5}
double f() {
        double r2657370 = 333.75;
        double r2657371 = 33096.0;
        double r2657372 = 6.0;
        double r2657373 = pow(r2657371, r2657372);
        double r2657374 = r2657370 * r2657373;
        double r2657375 = 77617.0;
        double r2657376 = r2657375 * r2657375;
        double r2657377 = 11.0;
        double r2657378 = r2657377 * r2657376;
        double r2657379 = r2657371 * r2657371;
        double r2657380 = r2657378 * r2657379;
        double r2657381 = -r2657373;
        double r2657382 = r2657380 + r2657381;
        double r2657383 = -121.0;
        double r2657384 = 4.0;
        double r2657385 = pow(r2657371, r2657384);
        double r2657386 = r2657383 * r2657385;
        double r2657387 = r2657382 + r2657386;
        double r2657388 = -2.0;
        double r2657389 = r2657387 + r2657388;
        double r2657390 = r2657376 * r2657389;
        double r2657391 = r2657374 + r2657390;
        double r2657392 = 5.5;
        double r2657393 = 8.0;
        double r2657394 = pow(r2657371, r2657393);
        double r2657395 = r2657392 * r2657394;
        double r2657396 = r2657391 + r2657395;
        double r2657397 = 2.0;
        double r2657398 = r2657397 * r2657371;
        double r2657399 = r2657375 / r2657398;
        double r2657400 = r2657396 + r2657399;
        return r2657400;
}
↓
double f() {
        double r2657401 = 1.1726039400531787;
        double r2657402 = -7.917111779274712e+36;
        double r2657403 = 1.3141745343712155e+27;
        double r2657404 = 333.75;
        double r2657405 = r2657403 * r2657404;
        double r2657406 = r2657402 + r2657405;
        double r2657407 = r2657406 * r2657406;
        double r2657408 = 1.4394747892125385e+36;
        double r2657409 = 5.5;
        double r2657410 = r2657408 * r2657409;
        double r2657411 = r2657410 * r2657410;
        double r2657412 = r2657407 - r2657411;
        double r2657413 = log(r2657412);
        double r2657414 = cbrt(r2657413);
        double r2657415 = r2657414 * r2657414;
        double r2657416 = exp(r2657415);
        double r2657417 = pow(r2657416, r2657414);
        double r2657418 = /* ERROR: no posit support in C */;
        double r2657419 = /* ERROR: no posit support in C */;
        double r2657420 = r2657402 + r2657419;
        double r2657421 = r2657420 - r2657410;
        double r2657422 = r2657417 / r2657421;
        double r2657423 = r2657401 + r2657422;
        return r2657423;
}

Error

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 add-exp-log58.1

    \[\leadsto \frac{\color{blue}{e^{\log \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(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\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{77617}{2 \cdot 33096}\]
  6. Using strategy rm

  7. Applied insert-posit1658.1

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

  9. Applied add-cube-cbrt58.1

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

  10. Applied exp-prod58.1

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

  11. Final simplification63.6

    \[\leadsto \frac{77617}{66192} + \frac{{\left(e^{\sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)} \cdot \sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(1439474789212538429291115400277262336 \cdot 5.5\right) \cdot \left(1439474789212538429291115400277262336 \cdot 5.5\right)\right)}\right)}}{\left(-7917111779274712207494296632228773890 + \left(\left(1314174534371215466459037696 \cdot 333.75\right)\right)\right) - 1439474789212538429291115400277262336 \cdot 5.5}\]

Reproduce

herbie shell --seed 2019158 +o rules:numerics
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  (+ (+ (+ (* 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))))