Exception for Henrywood and Agarwal, Equation (13)

• could not determine a ground truth for program body

  1. c0 = -1.9223366757178428e+272
  2. w = -4.229672497930909e-233
  3. h = -4.821880340259577e+242
  4. D = -3.0781381641647126e-166
  5. d = -9.035983238058826e+172
  6. M = 3.778636398349861e+119

Math

\[\frac{c0}{2 \cdot w} \cdot \left(\frac{c0 \cdot \left(d \cdot d\right)}{\left(w \cdot h\right) \cdot \left(D \cdot D\right)} + \sqrt{\frac{c0 \cdot \left(d \cdot d\right)}{\left(w \cdot h\right) \cdot \left(D \cdot D\right)} \cdot \frac{c0 \cdot \left(d \cdot d\right)}{\left(w \cdot h\right) \cdot \left(D \cdot D\right)} - M \cdot M}\right)\]

C

double f(double c0, double w, double h, double D, double d, double M) {
        double r8484 = c0;
        double r8485 = 2.0;
        double r8486 = w;
        double r8487 = r8485 * r8486;
        double r8488 = r8484 / r8487;
        double r8489 = d;
        double r8490 = r8489 * r8489;
        double r8491 = r8484 * r8490;
        double r8492 = h;
        double r8493 = r8486 * r8492;
        double r8494 = D;
        double r8495 = r8494 * r8494;
        double r8496 = r8493 * r8495;
        double r8497 = r8491 / r8496;
        double r8498 = r8497 * r8497;
        double r8499 = M;
        double r8500 = r8499 * r8499;
        double r8501 = r8498 - r8500;
        double r8502 = sqrt(r8501);
        double r8503 = r8497 + r8502;
        double r8504 = r8488 * r8503;
        return r8504;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019305 
(FPCore (c0 w h D d M)
  :name "Henrywood and Agarwal, Equation (13)"
  :precision binary64
  (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))))

Backtrace

exact?: contract violation expected: number? given: 'h5		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
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