Jmat.Real.erf

Average Error: 14.0 → 12.4

Time: 25.4s

Precision: 64

Math

\[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|}\]

↓

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

C

double f(double x) {
        double r2443417 = 1.0;
        double r2443418 = 0.3275911;
        double r2443419 = x;
        double r2443420 = fabs(r2443419);
        double r2443421 = r2443418 * r2443420;
        double r2443422 = r2443417 + r2443421;
        double r2443423 = r2443417 / r2443422;
        double r2443424 = 0.254829592;
        double r2443425 = -0.284496736;
        double r2443426 = 1.421413741;
        double r2443427 = -1.453152027;
        double r2443428 = 1.061405429;
        double r2443429 = r2443423 * r2443428;
        double r2443430 = r2443427 + r2443429;
        double r2443431 = r2443423 * r2443430;
        double r2443432 = r2443426 + r2443431;
        double r2443433 = r2443423 * r2443432;
        double r2443434 = r2443425 + r2443433;
        double r2443435 = r2443423 * r2443434;
        double r2443436 = r2443424 + r2443435;
        double r2443437 = r2443423 * r2443436;
        double r2443438 = r2443420 * r2443420;
        double r2443439 = -r2443438;
        double r2443440 = exp(r2443439);
        double r2443441 = r2443437 * r2443440;
        double r2443442 = r2443417 - r2443441;
        return r2443442;
}

↓

double f(double x) {
        double r2443443 = 1.0;
        double r2443444 = 0.3275911;
        double r2443445 = x;
        double r2443446 = fabs(r2443445);
        double r2443447 = fma(r2443444, r2443446, r2443443);
        double r2443448 = r2443443 / r2443447;
        double r2443449 = r2443446 * r2443446;
        double r2443450 = exp(r2443449);
        double r2443451 = r2443448 / r2443450;
        double r2443452 = -1.453152027;
        double r2443453 = 1.061405429;
        double r2443454 = r2443453 / r2443447;
        double r2443455 = r2443452 + r2443454;
        double r2443456 = r2443455 / r2443447;
        double r2443457 = 1.421413741;
        double r2443458 = r2443456 + r2443457;
        double r2443459 = -0.284496736;
        double r2443460 = fma(r2443448, r2443458, r2443459);
        double r2443461 = 0.254829592;
        double r2443462 = fma(r2443460, r2443448, r2443461);
        double r2443463 = r2443451 * r2443462;
        double r2443464 = r2443443 - r2443463;
        double r2443465 = cbrt(r2443464);
        double r2443466 = exp(1.0);
        double r2443467 = exp(r2443463);
        double r2443468 = r2443466 / r2443467;
        double r2443469 = log(r2443468);
        double r2443470 = cbrt(r2443469);
        double r2443471 = r2443470 * r2443465;
        double r2443472 = exp(r2443471);
        double r2443473 = log(r2443472);
        double r2443474 = r2443465 * r2443473;
        double r2443475 = cbrt(r2443474);
        double r2443476 = exp(r2443464);
        double r2443477 = log(r2443476);
        double r2443478 = cbrt(r2443477);
        double r2443479 = r2443478 * r2443478;
        double r2443480 = r2443475 * r2443479;
        return r2443480;
}

Error

Bits error versus x

Derivation

1. Initial program 14.0

   \[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. Simplified 14.0

   \[\leadsto \color{blue}{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)}\]
3. Using strategy rm

4. Applied add-log-exp 13.9

   \[\leadsto \color{blue}{\log \left(e^{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)}\right)}\]
5. Using strategy rm

6. Applied add-cube-cbrt 13.9

   \[\leadsto \color{blue}{\left(\sqrt[3]{\log \left(e^{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)}\right)} \cdot \sqrt[3]{\log \left(e^{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)}\right)}\right) \cdot \sqrt[3]{\log \left(e^{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)}\right)}}\]
7. Using strategy rm

8. Applied add-cube-cbrt 13.9

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

9. Applied exp-prod 13.9

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

10. Applied log-pow 13.2

    \[\leadsto \left(\sqrt[3]{\log \left(e^{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)}\right)} \cdot \sqrt[3]{\log \left(e^{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)}\right)}\right) \cdot \sqrt[3]{\color{blue}{\sqrt[3]{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)} \cdot \log \left(e^{\sqrt[3]{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)} \cdot \sqrt[3]{1 - \frac{\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{e^{\left|x\right| \cdot \left|x\right|}} \cdot \mathsf{fma}\left(\mathsf{fma}\left(\frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, \frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + -1.453152027}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} + 1.421413741, -0.284496736\right), \frac{1}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}, 0.254829592\right)}}\right)}}\]
11. Using strategy rm

12. Applied add-log-exp 13.2

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

13. Applied add-log-exp 13.2

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

14. Applied diff-log 12.4

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

15. Final simplification 12.4

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

Reproduce

herbie shell --seed 2019154 +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)))))))