Exception for VandenBroeck and Keller, Equation (6)

• could not determine a ground truth for program body

  1. F = 1.7641569691029017e-52
  2. l = 2710528402378101.5

Math

\[\pi \cdot \ell - \frac{1}{F \cdot F} \cdot \tan \left(\pi \cdot \ell\right)\]

C

double f(double F, double l) {
        double r8114 = atan2(1.0, 0.0);
        double r8115 = l;
        double r8116 = r8114 * r8115;
        double r8117 = 1.0;
        double r8118 = F;
        double r8119 = r8118 * r8118;
        double r8120 = r8117 / r8119;
        double r8121 = tan(r8116);
        double r8122 = r8120 * r8121;
        double r8123 = r8116 - r8122;
        return r8123;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019195 
(FPCore (F l)
  :name "VandenBroeck and Keller, Equation (6)"
  (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))))

Backtrace

get-representation: Unknown representation #f		L	C
(unnamed)	/data/pavpan/nightlies/herbie/various-cleanup/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
localize-error	/data/pavpan/nightlies/herbie/various-cleanup/src/core/localize.rkt	61	0
localize!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	123	0
run-iter!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	323	0
for-loop	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	359	4
run-improve47	/data/pavpan/nightlies/herbie/various-cleanup/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