\[\left(\frac{\pi}{2.0} \cdot \frac{1.0}{b \cdot b - a \cdot a}\right) \cdot \left(\frac{1.0}{a} - \frac{1.0}{b}\right)\]

\left(\frac{\pi}{2.0} \cdot \frac{1.0}{b \cdot b - a \cdot a}\right) \cdot \left(\frac{1.0}{a} - \frac{1.0}{b}\right)

double f(double a, double b) {
        double r1174433 = atan2(1.0, 0.0);
        double r1174434 = 2.0;
        double r1174435 = r1174433 / r1174434;
        double r1174436 = 1.0;
        double r1174437 = b;
        double r1174438 = r1174437 * r1174437;
        double r1174439 = a;
        double r1174440 = r1174439 * r1174439;
        double r1174441 = r1174438 - r1174440;
        double r1174442 = r1174436 / r1174441;
        double r1174443 = r1174435 * r1174442;
        double r1174444 = r1174436 / r1174439;
        double r1174445 = r1174436 / r1174437;
        double r1174446 = r1174444 - r1174445;
        double r1174447 = r1174443 * r1174446;
        return r1174447;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019165 +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

->bf: contract violation expected: value? given: 'PI in: the 1st argument of (-> value? bigvalue?) contract from: (function ->bf) blaming: /data/pavpan/nightlies/herbie/optional-posits/src/float.rkt (assuming the contract is correct) at: /data/pavpan/nightlies/herbie/optional-posits/src/float.rkt:163.18		L	C
raise-blame-error16	/opt/racket-7.0/collects/racket/contract/private/blame.rkt	347	0
(unnamed)	/opt/racket-7.0/collects/racket/contract/private/arrow-higher-order.rkt	357	33
(unnamed)	/data/pavpan/nightlies/herbie/optional-posits/src/core/localize.rkt	22	13
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/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
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/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
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/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/optional-posits/src/core/localize.rkt	52	0
localize!	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	116	0
run-iter!	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	317	0
for-loop	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	351	4
run-improve40	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	336	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