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 r8197 = 1.0;
double r8198 = 0.3275911;
double r8199 = x;
double r8200 = fabs(r8199);
double r8201 = r8198 * r8200;
double r8202 = r8197 + r8201;
double r8203 = r8197 / r8202;
double r8204 = 0.254829592;
double r8205 = -0.284496736;
double r8206 = 1.421413741;
double r8207 = -1.453152027;
double r8208 = 1.061405429;
double r8209 = r8203 * r8208;
double r8210 = r8207 + r8209;
double r8211 = r8203 * r8210;
double r8212 = r8206 + r8211;
double r8213 = r8203 * r8212;
double r8214 = r8205 + r8213;
double r8215 = r8203 * r8214;
double r8216 = r8204 + r8215;
double r8217 = r8203 * r8216;
double r8218 = r8200 * r8200;
double r8219 = -r8218;
double r8220 = exp(r8219);
double r8221 = r8217 * r8220;
double r8222 = r8197 - r8221;
return r8222;
}
Please include this information when filing a bug report:
herbie shell --seed 2019194
(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 |