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 r13213396 = 1.0;
        double r13213397 = 0.1049934947;
        double r13213398 = x;
        double r13213399 = r13213398 * r13213398;
        double r13213400 = r13213397 * r13213399;
        double r13213401 = r13213396 + r13213400;
        double r13213402 = 0.0424060604;
        double r13213403 = r13213399 * r13213399;
        double r13213404 = r13213402 * r13213403;
        double r13213405 = r13213401 + r13213404;
        double r13213406 = 0.0072644182;
        double r13213407 = r13213403 * r13213399;
        double r13213408 = r13213406 * r13213407;
        double r13213409 = r13213405 + r13213408;
        double r13213410 = 0.0005064034;
        double r13213411 = r13213407 * r13213399;
        double r13213412 = r13213410 * r13213411;
        double r13213413 = r13213409 + r13213412;
        double r13213414 = 0.0001789971;
        double r13213415 = r13213411 * r13213399;
        double r13213416 = r13213414 * r13213415;
        double r13213417 = r13213413 + r13213416;
        double r13213418 = 0.7715471019;
        double r13213419 = r13213418 * r13213399;
        double r13213420 = r13213396 + r13213419;
        double r13213421 = 0.2909738639;
        double r13213422 = r13213421 * r13213403;
        double r13213423 = r13213420 + r13213422;
        double r13213424 = 0.0694555761;
        double r13213425 = r13213424 * r13213407;
        double r13213426 = r13213423 + r13213425;
        double r13213427 = 0.0140005442;
        double r13213428 = r13213427 * r13213411;
        double r13213429 = r13213426 + r13213428;
        double r13213430 = 0.0008327945;
        double r13213431 = r13213430 * r13213415;
        double r13213432 = r13213429 + r13213431;
        double r13213433 = 2.0;
        double r13213434 = r13213433 * r13213414;
        double r13213435 = r13213415 * r13213399;
        double r13213436 = r13213434 * r13213435;
        double r13213437 = r13213432 + r13213436;
        double r13213438 = r13213417 / r13213437;
        double r13213439 = r13213438 * r13213398;
        return r13213439;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 
(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 896(896)>		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