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 r8649 = 1.0;
        double r8650 = 0.1049934947;
        double r8651 = x;
        double r8652 = r8651 * r8651;
        double r8653 = r8650 * r8652;
        double r8654 = r8649 + r8653;
        double r8655 = 0.0424060604;
        double r8656 = r8652 * r8652;
        double r8657 = r8655 * r8656;
        double r8658 = r8654 + r8657;
        double r8659 = 0.0072644182;
        double r8660 = r8656 * r8652;
        double r8661 = r8659 * r8660;
        double r8662 = r8658 + r8661;
        double r8663 = 0.0005064034;
        double r8664 = r8660 * r8652;
        double r8665 = r8663 * r8664;
        double r8666 = r8662 + r8665;
        double r8667 = 0.0001789971;
        double r8668 = r8664 * r8652;
        double r8669 = r8667 * r8668;
        double r8670 = r8666 + r8669;
        double r8671 = 0.7715471019;
        double r8672 = r8671 * r8652;
        double r8673 = r8649 + r8672;
        double r8674 = 0.2909738639;
        double r8675 = r8674 * r8656;
        double r8676 = r8673 + r8675;
        double r8677 = 0.0694555761;
        double r8678 = r8677 * r8660;
        double r8679 = r8676 + r8678;
        double r8680 = 0.0140005442;
        double r8681 = r8680 * r8664;
        double r8682 = r8679 + r8681;
        double r8683 = 0.0008327945;
        double r8684 = r8683 * r8668;
        double r8685 = r8682 + r8684;
        double r8686 = 2.0;
        double r8687 = r8686 * r8667;
        double r8688 = r8668 * r8652;
        double r8689 = r8687 * r8688;
        double r8690 = r8685 + r8689;
        double r8691 = r8670 / r8690;
        double r8692 = r8691 * r8651;
        return r8692;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019305 
(FPCore (x)
  :name "Jmat.Real.dawson"
  :precision binary64
  (* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.042406060400000001 (* (* x x) (* x x)))) (* 0.00726441819999999999 (* (* (* x x) (* x x)) (* x x)))) (* 5.0640340000000002e-4 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 1.789971e-4 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.77154710189999998 (* x x))) (* 0.29097386390000002 (* (* x x) (* x x)))) (* 0.069455576099999999 (* (* (* x x) (* x x)) (* x x)))) (* 0.014000544199999999 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 8.32794500000000044e-4 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 1.789971e-4) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))

Backtrace

exact?: contract violation expected: number? given: 'h0		L	C
egg-parsed->expr	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
for-loop	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	70	6
egg-parsed->expr	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	65	0
(unnamed)	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	49	8
egraph-add-exprs	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	122	0
egraph-run	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt	55	0
(unnamed)	/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt	38	0
simplify!	/data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt	223	0
run-improve47	/data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt	345	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28