Average Error: 58.1 → 63.6
Time: 23.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(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)} \cdot \sqrt[3]{\log \left(\left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)}\right)}}{\left(-7917111779274712207494296632228773890 + \left(\left(333.75 \cdot 1314174534371215466459037696\right)\right)\right) - 5.5 \cdot 1439474789212538429291115400277262336}\]
\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(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)} \cdot \sqrt[3]{\log \left(\left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)}\right)}}{\left(-7917111779274712207494296632228773890 + \left(\left(333.75 \cdot 1314174534371215466459037696\right)\right)\right) - 5.5 \cdot 1439474789212538429291115400277262336}
double f() {
        double r2889230 = 333.75;
        double r2889231 = 33096.0;
        double r2889232 = 6.0;
        double r2889233 = pow(r2889231, r2889232);
        double r2889234 = r2889230 * r2889233;
        double r2889235 = 77617.0;
        double r2889236 = r2889235 * r2889235;
        double r2889237 = 11.0;
        double r2889238 = r2889237 * r2889236;
        double r2889239 = r2889231 * r2889231;
        double r2889240 = r2889238 * r2889239;
        double r2889241 = -r2889233;
        double r2889242 = r2889240 + r2889241;
        double r2889243 = -121.0;
        double r2889244 = 4.0;
        double r2889245 = pow(r2889231, r2889244);
        double r2889246 = r2889243 * r2889245;
        double r2889247 = r2889242 + r2889246;
        double r2889248 = -2.0;
        double r2889249 = r2889247 + r2889248;
        double r2889250 = r2889236 * r2889249;
        double r2889251 = r2889234 + r2889250;
        double r2889252 = 5.5;
        double r2889253 = 8.0;
        double r2889254 = pow(r2889231, r2889253);
        double r2889255 = r2889252 * r2889254;
        double r2889256 = r2889251 + r2889255;
        double r2889257 = 2.0;
        double r2889258 = r2889257 * r2889231;
        double r2889259 = r2889235 / r2889258;
        double r2889260 = r2889256 + r2889259;
        return r2889260;
}
↓
double f() {
        double r2889261 = 1.1726039400531787;
        double r2889262 = 333.75;
        double r2889263 = 1.3141745343712155e+27;
        double r2889264 = r2889262 * r2889263;
        double r2889265 = -7.917111779274712e+36;
        double r2889266 = r2889264 + r2889265;
        double r2889267 = r2889266 * r2889266;
        double r2889268 = 5.5;
        double r2889269 = 1.4394747892125385e+36;
        double r2889270 = r2889268 * r2889269;
        double r2889271 = r2889270 * r2889270;
        double r2889272 = r2889267 - r2889271;
        double r2889273 = log(r2889272);
        double r2889274 = cbrt(r2889273);
        double r2889275 = r2889274 * r2889274;
        double r2889276 = exp(r2889275);
        double r2889277 = pow(r2889276, r2889274);
        double r2889278 = /* ERROR: no posit support in C */;
        double r2889279 = /* ERROR: no posit support in C */;
        double r2889280 = r2889265 + r2889279;
        double r2889281 = r2889280 - r2889270;
        double r2889282 = r2889277 / r2889281;
        double r2889283 = r2889261 + r2889282;
        return r2889283;
}

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(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)} \cdot \sqrt[3]{\log \left(\left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)}}\right)}^{\left(\sqrt[3]{\log \left(\left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) \cdot \left(333.75 \cdot 1314174534371215466459037696 + -7917111779274712207494296632228773890\right) - \left(5.5 \cdot 1439474789212538429291115400277262336\right) \cdot \left(5.5 \cdot 1439474789212538429291115400277262336\right)\right)}\right)}}{\left(-7917111779274712207494296632228773890 + \left(\left(333.75 \cdot 1314174534371215466459037696\right)\right)\right) - 5.5 \cdot 1439474789212538429291115400277262336}\]

Reproduce

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