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 r17958 = atan2(1.0, 0.0);
        double r17959 = 2.0;
        double r17960 = r17958 / r17959;
        double r17961 = 1.0;
        double r17962 = b;
        double r17963 = r17962 * r17962;
        double r17964 = a;
        double r17965 = r17964 * r17964;
        double r17966 = r17963 - r17965;
        double r17967 = r17961 / r17966;
        double r17968 = r17960 * r17967;
        double r17969 = r17961 / r17964;
        double r17970 = r17961 / r17962;
        double r17971 = r17969 - r17970;
        double r17972 = r17968 * r17971;
        return r17972;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019195 +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/master/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/master/src/core/localize.rkt	61	0
localize!	/data/pavpan/nightlies/herbie/master/src/mainloop.rkt	123	0
run-iter!	/data/pavpan/nightlies/herbie/master/src/mainloop.rkt	323	0
for-loop	/data/pavpan/nightlies/herbie/master/src/mainloop.rkt	359	4
run-improve47	/data/pavpan/nightlies/herbie/master/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