Average Error: 58.1 → 63.6
Time: 37.5s
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 r2626263 = 333.75;
        double r2626264 = 33096.0;
        double r2626265 = 6.0;
        double r2626266 = pow(r2626264, r2626265);
        double r2626267 = r2626263 * r2626266;
        double r2626268 = 77617.0;
        double r2626269 = r2626268 * r2626268;
        double r2626270 = 11.0;
        double r2626271 = r2626270 * r2626269;
        double r2626272 = r2626264 * r2626264;
        double r2626273 = r2626271 * r2626272;
        double r2626274 = -r2626266;
        double r2626275 = r2626273 + r2626274;
        double r2626276 = -121.0;
        double r2626277 = 4.0;
        double r2626278 = pow(r2626264, r2626277);
        double r2626279 = r2626276 * r2626278;
        double r2626280 = r2626275 + r2626279;
        double r2626281 = -2.0;
        double r2626282 = r2626280 + r2626281;
        double r2626283 = r2626269 * r2626282;
        double r2626284 = r2626267 + r2626283;
        double r2626285 = 5.5;
        double r2626286 = 8.0;
        double r2626287 = pow(r2626264, r2626286);
        double r2626288 = r2626285 * r2626287;
        double r2626289 = r2626284 + r2626288;
        double r2626290 = 2.0;
        double r2626291 = r2626290 * r2626264;
        double r2626292 = r2626268 / r2626291;
        double r2626293 = r2626289 + r2626292;
        return r2626293;
}
↓
double f() {
        double r2626294 = 1.1726039400531787;
        double r2626295 = -7.917111779274712e+36;
        double r2626296 = 1.3141745343712155e+27;
        double r2626297 = 333.75;
        double r2626298 = r2626296 * r2626297;
        double r2626299 = r2626295 + r2626298;
        double r2626300 = r2626299 * r2626299;
        double r2626301 = 1.4394747892125385e+36;
        double r2626302 = 5.5;
        double r2626303 = r2626301 * r2626302;
        double r2626304 = r2626303 * r2626303;
        double r2626305 = r2626300 - r2626304;
        double r2626306 = log(r2626305);
        double r2626307 = cbrt(r2626306);
        double r2626308 = r2626307 * r2626307;
        double r2626309 = exp(r2626308);
        double r2626310 = pow(r2626309, r2626307);
        double r2626311 = /* ERROR: no posit support in C */;
        double r2626312 = /* ERROR: no posit support in C */;
        double r2626313 = r2626295 + r2626312;
        double r2626314 = r2626313 - r2626303;
        double r2626315 = r2626310 / r2626314;
        double r2626316 = r2626294 + r2626315;
        return r2626316;
}

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 2019141 
(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))))