NMSE Section 6.1 mentioned, B

Specification

?
\[\begin{array}{l} \\ \left(\frac{\mathsf{PI}\left(\right)}{2} \cdot \frac{1}{b \cdot b - a \cdot a}\right) \cdot \left(\frac{1}{a} - \frac{1}{b}\right) \end{array} \]
(FPCore (a b)
 :precision binary64
 (* (* (/ (PI) 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b))))
\begin{array}{l}

\\
\left(\frac{\mathsf{PI}\left(\right)}{2} \cdot \frac{1}{b \cdot b - a \cdot a}\right) \cdot \left(\frac{1}{a} - \frac{1}{b}\right)
\end{array}

Reproduce

?
herbie shell --seed 2024346 
(FPCore (a b)
  :name "NMSE Section 6.1 mentioned, B"
  :precision binary64
  (* (* (/ (PI) 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b))))

Please file a bug report with this information.

Backtrace

>: contract violation expected: real? given: '#s(logfloat 4.0 0.0 #t 2.0 0.0)LC
predict-errors-eftsan/home/nightlies/herbie/bhargav-eftsan/src/core/explain.rkt350
explain!/home/nightlies/herbie/bhargav-eftsan/src/core/mainloop.rkt3210
run-improve!/home/nightlies/herbie/bhargav-eftsan/src/core/mainloop.rkt460
get-alternatives/report/home/nightlies/herbie/bhargav-eftsan/src/api/sandbox.rkt1860
(unnamed)/home/nightlies/herbie/bhargav-eftsan/src/api/sandbox.rkt2826
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224