Average Error: 58.1 → 63.6
Time: 21.8s
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 r1174421 = 333.75;
        double r1174422 = 33096.0;
        double r1174423 = 6.0;
        double r1174424 = pow(r1174422, r1174423);
        double r1174425 = r1174421 * r1174424;
        double r1174426 = 77617.0;
        double r1174427 = r1174426 * r1174426;
        double r1174428 = 11.0;
        double r1174429 = r1174428 * r1174427;
        double r1174430 = r1174422 * r1174422;
        double r1174431 = r1174429 * r1174430;
        double r1174432 = -r1174424;
        double r1174433 = r1174431 + r1174432;
        double r1174434 = -121.0;
        double r1174435 = 4.0;
        double r1174436 = pow(r1174422, r1174435);
        double r1174437 = r1174434 * r1174436;
        double r1174438 = r1174433 + r1174437;
        double r1174439 = -2.0;
        double r1174440 = r1174438 + r1174439;
        double r1174441 = r1174427 * r1174440;
        double r1174442 = r1174425 + r1174441;
        double r1174443 = 5.5;
        double r1174444 = 8.0;
        double r1174445 = pow(r1174422, r1174444);
        double r1174446 = r1174443 * r1174445;
        double r1174447 = r1174442 + r1174446;
        double r1174448 = 2.0;
        double r1174449 = r1174448 * r1174422;
        double r1174450 = r1174426 / r1174449;
        double r1174451 = r1174447 + r1174450;
        return r1174451;
}
↓
double f() {
        double r1174452 = 1.1726039400531787;
        double r1174453 = -7.917111779274712e+36;
        double r1174454 = 1.3141745343712155e+27;
        double r1174455 = 333.75;
        double r1174456 = r1174454 * r1174455;
        double r1174457 = r1174453 + r1174456;
        double r1174458 = r1174457 * r1174457;
        double r1174459 = 1.4394747892125385e+36;
        double r1174460 = 5.5;
        double r1174461 = r1174459 * r1174460;
        double r1174462 = r1174461 * r1174461;
        double r1174463 = r1174458 - r1174462;
        double r1174464 = log(r1174463);
        double r1174465 = cbrt(r1174464);
        double r1174466 = r1174465 * r1174465;
        double r1174467 = exp(r1174466);
        double r1174468 = pow(r1174467, r1174465);
        double r1174469 = /* ERROR: no posit support in C */;
        double r1174470 = /* ERROR: no posit support in C */;
        double r1174471 = r1174453 + r1174470;
        double r1174472 = r1174471 - r1174461;
        double r1174473 = r1174468 / r1174472;
        double r1174474 = r1174452 + r1174473;
        return r1174474;
}

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 2019151 +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))))