Exception for NMSE Section 6.1 mentioned, B

Math

\[\left(\frac{\pi}{2} \cdot \frac{1}{b \cdot b - a \cdot a}\right) \cdot \left(\frac{1}{a} - \frac{1}{b}\right)\]

C

double f(double a, double b) {
        double r26821 = atan2(1.0, 0.0);
        double r26822 = 2.0;
        double r26823 = r26821 / r26822;
        double r26824 = 1.0;
        double r26825 = b;
        double r26826 = r26825 * r26825;
        double r26827 = a;
        double r26828 = r26827 * r26827;
        double r26829 = r26826 - r26828;
        double r26830 = r26824 / r26829;
        double r26831 = r26823 * r26830;
        double r26832 = r26824 / r26827;
        double r26833 = r26824 / r26825;
        double r26834 = r26832 - r26833;
        double r26835 = r26831 * r26834;
        return r26835;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019194 +o rules:numerics
(FPCore (a b)
  :name "NMSE Section 6.1 mentioned, B"
  (* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b))))

Backtrace

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