Exception for Jmat.Real.dawson

Math

\[\frac{\left(\left(\left(\left(1 + 0.1049934946999999951788851149103720672429 \cdot \left(x \cdot x\right)\right) + 0.04240606040000000076517494562722276896238 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.007264418199999999985194687468492702464573 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 5.064034000000000243502107366566633572802 \cdot 10^{-4} \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 1.789971000000000009994005623070734145585 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.7715471018999999763821051601553335785866 \cdot \left(x \cdot x\right)\right) + 0.2909738639000000182122107617033179849386 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.06945557609999999937322456844412954524159 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.01400054419999999938406531896362139377743 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 8.327945000000000442749725770852364803432 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 1.789971000000000009994005623070734145585 \cdot 10^{-4}\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x\]

C

double f(double x) {
        double r12205692 = 1.0;
        double r12205693 = 0.1049934947;
        double r12205694 = x;
        double r12205695 = r12205694 * r12205694;
        double r12205696 = r12205693 * r12205695;
        double r12205697 = r12205692 + r12205696;
        double r12205698 = 0.0424060604;
        double r12205699 = r12205695 * r12205695;
        double r12205700 = r12205698 * r12205699;
        double r12205701 = r12205697 + r12205700;
        double r12205702 = 0.0072644182;
        double r12205703 = r12205699 * r12205695;
        double r12205704 = r12205702 * r12205703;
        double r12205705 = r12205701 + r12205704;
        double r12205706 = 0.0005064034;
        double r12205707 = r12205703 * r12205695;
        double r12205708 = r12205706 * r12205707;
        double r12205709 = r12205705 + r12205708;
        double r12205710 = 0.0001789971;
        double r12205711 = r12205707 * r12205695;
        double r12205712 = r12205710 * r12205711;
        double r12205713 = r12205709 + r12205712;
        double r12205714 = 0.7715471019;
        double r12205715 = r12205714 * r12205695;
        double r12205716 = r12205692 + r12205715;
        double r12205717 = 0.2909738639;
        double r12205718 = r12205717 * r12205699;
        double r12205719 = r12205716 + r12205718;
        double r12205720 = 0.0694555761;
        double r12205721 = r12205720 * r12205703;
        double r12205722 = r12205719 + r12205721;
        double r12205723 = 0.0140005442;
        double r12205724 = r12205723 * r12205707;
        double r12205725 = r12205722 + r12205724;
        double r12205726 = 0.0008327945;
        double r12205727 = r12205726 * r12205711;
        double r12205728 = r12205725 + r12205727;
        double r12205729 = 2.0;
        double r12205730 = r12205729 * r12205710;
        double r12205731 = r12205711 * r12205695;
        double r12205732 = r12205730 * r12205731;
        double r12205733 = r12205728 + r12205732;
        double r12205734 = r12205713 / r12205733;
        double r12205735 = r12205734 * r12205694;
        return r12205735;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.dawson"
  (* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))

Backtrace

hash-ref: no value found for key key: #<enode 785(785)>		L	C
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	197	2
extractor-extract	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	196	0
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	35	2
(unnamed)	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	26	0
simplify!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	217	0
run-iter!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	320	0
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	354	4
run-improve43	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	339	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