\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 r55567 = 1.0;
double r55568 = atan2(1.0, 0.0);
double r55569 = sqrt(r55568);
double r55570 = r55567 / r55569;
double r55571 = 2.0;
double r55572 = x;
double r55573 = fabs(r55572);
double r55574 = r55571 * r55573;
double r55575 = 3.0;
double r55576 = r55571 / r55575;
double r55577 = r55573 * r55573;
double r55578 = r55577 * r55573;
double r55579 = r55576 * r55578;
double r55580 = r55574 + r55579;
double r55581 = 5.0;
double r55582 = r55567 / r55581;
double r55583 = r55578 * r55573;
double r55584 = r55583 * r55573;
double r55585 = r55582 * r55584;
double r55586 = r55580 + r55585;
double r55587 = 21.0;
double r55588 = r55567 / r55587;
double r55589 = r55584 * r55573;
double r55590 = r55589 * r55573;
double r55591 = r55588 * r55590;
double r55592 = r55586 + r55591;
double r55593 = r55570 * r55592;
double r55594 = fabs(r55593);
return r55594;
}
Please include this information when filing a bug report:
herbie shell --seed 2019194
(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 |