\left|\frac{1}{\sqrt{\pi}} \cdot \left(\left(\left(2 \cdot \left|x\right| + \frac{2}{3} \cdot \left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right) + \frac{1}{5} \cdot \left(\left(\left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right) + \frac{1}{21} \cdot \left(\left(\left(\left(\left(\left(\left|x\right| \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right) \cdot \left|x\right|\right)\right)\right|double f(double x) {
double r57332 = 1.0;
double r57333 = atan2(1.0, 0.0);
double r57334 = sqrt(r57333);
double r57335 = r57332 / r57334;
double r57336 = 2.0;
double r57337 = x;
double r57338 = fabs(r57337);
double r57339 = r57336 * r57338;
double r57340 = 3.0;
double r57341 = r57336 / r57340;
double r57342 = r57338 * r57338;
double r57343 = r57342 * r57338;
double r57344 = r57341 * r57343;
double r57345 = r57339 + r57344;
double r57346 = 5.0;
double r57347 = r57332 / r57346;
double r57348 = r57343 * r57338;
double r57349 = r57348 * r57338;
double r57350 = r57347 * r57349;
double r57351 = r57345 + r57350;
double r57352 = 21.0;
double r57353 = r57332 / r57352;
double r57354 = r57349 * r57338;
double r57355 = r57354 * r57338;
double r57356 = r57353 * r57355;
double r57357 = r57351 + r57356;
double r57358 = r57335 * r57357;
double r57359 = fabs(r57358);
return r57359;
}
Please include this information when filing a bug report:
herbie shell --seed 2019196
(FPCore (x)
:name "Jmat.Real.erfi, branch x less than or equal to 0.5"
(fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))
| get-representation: Unknown representation #f | L | C | |
|---|---|---|---|
| (unnamed) | /data/pavpan/nightlies/herbie/master/src/core/localize.rkt | 23 | 13 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| map | /opt/racket-7.0/collects/racket/private/map.rkt | 35 | 13 |
| parse-loop30 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 418 | 15 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| map | /opt/racket-7.0/collects/racket/private/map.rkt | 35 | 13 |
| parse-loop30 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 418 | 15 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| map | /opt/racket-7.0/collects/racket/private/map.rkt | 35 | 13 |
| parse-loop30 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 418 | 15 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| map | /opt/racket-7.0/collects/racket/private/map.rkt | 35 | 13 |
| parse-loop30 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 418 | 15 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| localize-error | /data/pavpan/nightlies/herbie/master/src/core/localize.rkt | 61 | 0 |
| localize! | /data/pavpan/nightlies/herbie/master/src/mainloop.rkt | 123 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/master/src/mainloop.rkt | 323 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/master/src/mainloop.rkt | 359 | 4 |
| run-improve47 | /data/pavpan/nightlies/herbie/master/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 |