Average Error: 13.7 → 2.4
Time: 45.3s
Precision: 64
\[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
\[\left(\left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \sqrt[3]{\mathsf{fma}\left(\frac{0.284496736}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}}, \frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(\left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right) \cdot \left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right)\right)} + \left(1 - \left(\mathsf{fma}\left(0.254829592, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}}, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \frac{1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}\right) + \frac{\frac{1.061405429}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right)}^{5}}\right)\right)\right)}\]
1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
\left(\left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \sqrt[3]{\mathsf{fma}\left(\frac{0.284496736}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}}, \frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(\left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right) \cdot \left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right)\right)} + \left(1 - \left(\mathsf{fma}\left(0.254829592, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}}, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \frac{1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}\right) + \frac{\frac{1.061405429}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right)}^{5}}\right)\right)\right)}
double f(double x) {
        double r3819224 = 1.0;
        double r3819225 = 0.3275911;
        double r3819226 = x;
        double r3819227 = fabs(r3819226);
        double r3819228 = r3819225 * r3819227;
        double r3819229 = r3819224 + r3819228;
        double r3819230 = r3819224 / r3819229;
        double r3819231 = 0.254829592;
        double r3819232 = -0.284496736;
        double r3819233 = 1.421413741;
        double r3819234 = -1.453152027;
        double r3819235 = 1.061405429;
        double r3819236 = r3819230 * r3819235;
        double r3819237 = r3819234 + r3819236;
        double r3819238 = r3819230 * r3819237;
        double r3819239 = r3819233 + r3819238;
        double r3819240 = r3819230 * r3819239;
        double r3819241 = r3819232 + r3819240;
        double r3819242 = r3819230 * r3819241;
        double r3819243 = r3819231 + r3819242;
        double r3819244 = r3819230 * r3819243;
        double r3819245 = r3819227 * r3819227;
        double r3819246 = -r3819245;
        double r3819247 = exp(r3819246);
        double r3819248 = r3819244 * r3819247;
        double r3819249 = r3819224 - r3819248;
        return r3819249;
}

double f(double x) {
        double r3819250 = 1.0;
        double r3819251 = x;
        double r3819252 = fabs(r3819251);
        double r3819253 = 0.3275911;
        double r3819254 = r3819252 * r3819253;
        double r3819255 = r3819250 + r3819254;
        double r3819256 = r3819250 / r3819255;
        double r3819257 = 1.421413741;
        double r3819258 = 1.061405429;
        double r3819259 = r3819258 * r3819256;
        double r3819260 = -1.453152027;
        double r3819261 = r3819259 + r3819260;
        double r3819262 = r3819261 * r3819256;
        double r3819263 = r3819257 + r3819262;
        double r3819264 = r3819256 * r3819263;
        double r3819265 = r3819264 * r3819256;
        double r3819266 = -0.284496736;
        double r3819267 = r3819256 * r3819266;
        double r3819268 = 0.254829592;
        double r3819269 = r3819267 + r3819268;
        double r3819270 = r3819265 + r3819269;
        double r3819271 = r3819256 * r3819270;
        double r3819272 = r3819252 * r3819252;
        double r3819273 = -r3819272;
        double r3819274 = exp(r3819273);
        double r3819275 = r3819271 * r3819274;
        double r3819276 = r3819250 - r3819275;
        double r3819277 = cbrt(r3819276);
        double r3819278 = cbrt(r3819277);
        double r3819279 = r3819278 * r3819278;
        double r3819280 = r3819279 * r3819279;
        double r3819281 = r3819280 * r3819279;
        double r3819282 = 0.284496736;
        double r3819283 = fma(r3819252, r3819253, r3819250);
        double r3819284 = r3819282 / r3819283;
        double r3819285 = r3819250 / r3819283;
        double r3819286 = exp(r3819272);
        double r3819287 = r3819285 / r3819286;
        double r3819288 = 1.453152027;
        double r3819289 = r3819283 * r3819283;
        double r3819290 = r3819289 * r3819289;
        double r3819291 = r3819286 * r3819290;
        double r3819292 = r3819288 / r3819291;
        double r3819293 = r3819257 / r3819289;
        double r3819294 = r3819287 * r3819293;
        double r3819295 = fma(r3819268, r3819287, r3819294);
        double r3819296 = r3819258 / r3819286;
        double r3819297 = 5.0;
        double r3819298 = pow(r3819283, r3819297);
        double r3819299 = r3819296 / r3819298;
        double r3819300 = r3819295 + r3819299;
        double r3819301 = r3819250 - r3819300;
        double r3819302 = r3819292 + r3819301;
        double r3819303 = fma(r3819284, r3819287, r3819302);
        double r3819304 = cbrt(r3819303);
        double r3819305 = r3819281 * r3819304;
        return r3819305;
}

Error

Bits error versus x

Derivation

  1. Initial program 13.7

    \[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  2. Using strategy rm
  3. Applied distribute-lft-in13.7

    \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \color{blue}{\left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)}\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  4. Applied associate-+r+13.7

    \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \color{blue}{\left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  5. Using strategy rm
  6. Applied add-cube-cbrt13.7

    \[\leadsto \color{blue}{\left(\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}} \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\]
  7. Using strategy rm
  8. Applied add-cube-cbrt13.7

    \[\leadsto \left(\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}} \cdot \color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)}\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
  9. Applied add-cube-cbrt13.7

    \[\leadsto \left(\color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)} \cdot \left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
  10. Applied swap-sqr13.7

    \[\leadsto \color{blue}{\left(\left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right)} \cdot \sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}\]
  11. Taylor expanded around 0 14.0

    \[\leadsto \left(\left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \sqrt[3]{\color{blue}{\left(0.284496736 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911 \cdot \left|x\right| + 1\right)}^{2}} + \left(1.453152027 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911 \cdot \left|x\right| + 1\right)}^{4}} + 1\right)\right) - \left(0.254829592 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{0.3275911 \cdot \left|x\right| + 1} + \left(1.421413741 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911 \cdot \left|x\right| + 1\right)}^{3}} + 1.061405429 \cdot \frac{e^{-{\left(\left|x\right|\right)}^{2}}}{{\left(0.3275911 \cdot \left|x\right| + 1\right)}^{5}}\right)\right)}}\]
  12. Simplified2.4

    \[\leadsto \left(\left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot -0.284496736\right) + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \sqrt[3]{\color{blue}{\mathsf{fma}\left(\frac{0.284496736}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}}, \frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(\left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right) \cdot \left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right)\right)} + \left(1 - \left(\frac{\frac{1.061405429}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right)}^{5}} + \mathsf{fma}\left(0.254829592, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}}, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \frac{1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}\right)\right)\right)\right)}}\]
  13. Final simplification2.4

    \[\leadsto \left(\left(\left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{1 - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \left(1.061405429 \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + -1.453152027\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911}\right)\right) \cdot \frac{1}{1 + \left|x\right| \cdot 0.3275911} + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -0.284496736 + 0.254829592\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}}\right)\right) \cdot \sqrt[3]{\mathsf{fma}\left(\frac{0.284496736}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}}, \frac{1.453152027}{e^{\left|x\right| \cdot \left|x\right|} \cdot \left(\left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right) \cdot \left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right)\right)} + \left(1 - \left(\mathsf{fma}\left(0.254829592, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}}, \frac{\frac{1}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \frac{1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}\right) + \frac{\frac{1.061405429}{e^{\left|x\right| \cdot \left|x\right|}}}{{\left(\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)\right)}^{5}}\right)\right)\right)}\]

Reproduce

herbie shell --seed 2019135 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.erf"
  (- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))