\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 r84929 = 1.0;
double r84930 = atan2(1.0, 0.0);
double r84931 = sqrt(r84930);
double r84932 = r84929 / r84931;
double r84933 = 2.0;
double r84934 = x;
double r84935 = fabs(r84934);
double r84936 = r84933 * r84935;
double r84937 = 3.0;
double r84938 = r84933 / r84937;
double r84939 = r84935 * r84935;
double r84940 = r84939 * r84935;
double r84941 = r84938 * r84940;
double r84942 = r84936 + r84941;
double r84943 = 5.0;
double r84944 = r84929 / r84943;
double r84945 = r84940 * r84935;
double r84946 = r84945 * r84935;
double r84947 = r84944 * r84946;
double r84948 = r84942 + r84947;
double r84949 = 21.0;
double r84950 = r84929 / r84949;
double r84951 = r84946 * r84935;
double r84952 = r84951 * r84935;
double r84953 = r84950 * r84952;
double r84954 = r84948 + r84953;
double r84955 = r84932 * r84954;
double r84956 = fabs(r84955);
return r84956;
}
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/js-tweaks/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/js-tweaks/src/core/localize.rkt | 61 | 0 |
| localize! | /data/pavpan/nightlies/herbie/js-tweaks/src/mainloop.rkt | 123 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/js-tweaks/src/mainloop.rkt | 323 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/js-tweaks/src/mainloop.rkt | 359 | 4 |
| run-improve47 | /data/pavpan/nightlies/herbie/js-tweaks/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 |