1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}double f(double x) {
double r8316 = 1.0;
double r8317 = 0.3275911;
double r8318 = x;
double r8319 = fabs(r8318);
double r8320 = r8317 * r8319;
double r8321 = r8316 + r8320;
double r8322 = r8316 / r8321;
double r8323 = 0.254829592;
double r8324 = -0.284496736;
double r8325 = 1.421413741;
double r8326 = -1.453152027;
double r8327 = 1.061405429;
double r8328 = r8322 * r8327;
double r8329 = r8326 + r8328;
double r8330 = r8322 * r8329;
double r8331 = r8325 + r8330;
double r8332 = r8322 * r8331;
double r8333 = r8324 + r8332;
double r8334 = r8322 * r8333;
double r8335 = r8323 + r8334;
double r8336 = r8322 * r8335;
double r8337 = r8319 * r8319;
double r8338 = -r8337;
double r8339 = exp(r8338);
double r8340 = r8336 * r8339;
double r8341 = r8316 - r8340;
return r8341;
}
Please include this information when filing a bug report:
herbie shell --seed 2019194 +o rules:numerics
(FPCore (x)
:name "Jmat.Real.erf"
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))
| result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0 | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt | 25 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 220 | 0 |
| run-improve47 | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 342 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |