Average Error: 58.1 → 63.6
Time: 19.3s
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 r1086422 = 333.75;
        double r1086423 = 33096.0;
        double r1086424 = 6.0;
        double r1086425 = pow(r1086423, r1086424);
        double r1086426 = r1086422 * r1086425;
        double r1086427 = 77617.0;
        double r1086428 = r1086427 * r1086427;
        double r1086429 = 11.0;
        double r1086430 = r1086429 * r1086428;
        double r1086431 = r1086423 * r1086423;
        double r1086432 = r1086430 * r1086431;
        double r1086433 = -r1086425;
        double r1086434 = r1086432 + r1086433;
        double r1086435 = -121.0;
        double r1086436 = 4.0;
        double r1086437 = pow(r1086423, r1086436);
        double r1086438 = r1086435 * r1086437;
        double r1086439 = r1086434 + r1086438;
        double r1086440 = -2.0;
        double r1086441 = r1086439 + r1086440;
        double r1086442 = r1086428 * r1086441;
        double r1086443 = r1086426 + r1086442;
        double r1086444 = 5.5;
        double r1086445 = 8.0;
        double r1086446 = pow(r1086423, r1086445);
        double r1086447 = r1086444 * r1086446;
        double r1086448 = r1086443 + r1086447;
        double r1086449 = 2.0;
        double r1086450 = r1086449 * r1086423;
        double r1086451 = r1086427 / r1086450;
        double r1086452 = r1086448 + r1086451;
        return r1086452;
}
↓
double f() {
        double r1086453 = 1.1726039400531787;
        double r1086454 = -7.917111779274712e+36;
        double r1086455 = 1.3141745343712155e+27;
        double r1086456 = 333.75;
        double r1086457 = r1086455 * r1086456;
        double r1086458 = r1086454 + r1086457;
        double r1086459 = r1086458 * r1086458;
        double r1086460 = 1.4394747892125385e+36;
        double r1086461 = 5.5;
        double r1086462 = r1086460 * r1086461;
        double r1086463 = r1086462 * r1086462;
        double r1086464 = r1086459 - r1086463;
        double r1086465 = log(r1086464);
        double r1086466 = cbrt(r1086465);
        double r1086467 = r1086466 * r1086466;
        double r1086468 = exp(r1086467);
        double r1086469 = pow(r1086468, r1086466);
        double r1086470 = /* ERROR: no posit support in C */;
        double r1086471 = /* ERROR: no posit support in C */;
        double r1086472 = r1086454 + r1086471;
        double r1086473 = r1086472 - r1086462;
        double r1086474 = r1086469 / r1086473;
        double r1086475 = r1086453 + r1086474;
        return r1086475;
}

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