Exception for Disney BSSRDF, PDF of scattering profile

Specification

\[\left(0 \leq s \land s \leq 256\right) \land \left(10^{-6} < r \land r < 1000000\right)\]

\[\begin{array}{l} \\ \frac{0.25 \cdot e^{\frac{-r}{s}}}{\left(\left(2 \cdot \mathsf{PI}\left(\right)\right) \cdot s\right) \cdot r} + \frac{0.75 \cdot e^{\frac{-r}{3 \cdot s}}}{\left(\left(6 \cdot \mathsf{PI}\left(\right)\right) \cdot s\right) \cdot r} \end{array} \]

(FPCore (s r)
 :precision binary32
 (+
  (/ (* 0.25 (exp (/ (- r) s))) (* (* (* 2.0 (PI)) s) r))
  (/ (* 0.75 (exp (/ (- r) (* 3.0 s)))) (* (* (* 6.0 (PI)) s) r))))

\begin{array}{l}

\\
\frac{0.25 \cdot e^{\frac{-r}{s}}}{\left(\left(2 \cdot \mathsf{PI}\left(\right)\right) \cdot s\right) \cdot r} + \frac{0.75 \cdot e^{\frac{-r}{3 \cdot s}}}{\left(\left(6 \cdot \mathsf{PI}\left(\right)\right) \cdot s\right) \cdot r}
\end{array}

Reproduce

herbie shell --seed 2025019 
(FPCore (s r)
  :name "Disney BSSRDF, PDF of scattering profile"
  :precision binary32
  :pre (and (and (<= 0.0 s) (<= s 256.0)) (and (< 1e-6 r) (< r 1000000.0)))
  (+ (/ (* 0.25 (exp (/ (- r) s))) (* (* (* 2.0 (PI)) s) r)) (/ (* 0.75 (exp (/ (- r) (* 3.0 s)))) (* (* (* 6.0 (PI)) s) r))))

Please file a bug report with this information.

Backtrace

run-egg: unknown command `(proofs (+.f32 (/.f32 (.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (.f32 #s(literal 3 binary32) s)))) (.f32 (.f32 (.f32 #s(literal 6 binary32) (PI.f32)) s) r))) /.f32 (/.f32 (fma.f32 (/.f32 (exp.f32 (/.f32 (/.f32 r #s(literal -3 binary32)) s)) (PI.f32)) #s(literal 1/8 binary32) (.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 r) s)) (PI.f32)) #s(literal 1/8 binary32))) s) r)`		L	C
add-derivations-to	/home/nightlies/herbie/unbatch-derivations/src/core/derivations.rkt	20	0
loop	.../private/map.rkt	40	19
alt-map	/home/nightlies/herbie/unbatch-derivations/src/utils/alternative.rkt	44	0
add-derivations	/home/nightlies/herbie/unbatch-derivations/src/core/derivations.rkt	33	0
extract!	/home/nightlies/herbie/unbatch-derivations/src/core/mainloop.rkt	79	0
run-improve!	/home/nightlies/herbie/unbatch-derivations/src/core/mainloop.rkt	45	0
get-alternatives/report	/home/nightlies/herbie/unbatch-derivations/src/api/sandbox.rkt	174	0
(unnamed)	/home/nightlies/herbie/unbatch-derivations/src/api/sandbox.rkt	265	6
(unnamed)	/usr/share/racket/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/share/racket/pkgs/profile-lib/main.rkt	9	0
in-engine	/home/nightlies/herbie/unbatch-derivations/src/api/sandbox.rkt	283	2
(unnamed)	/usr/share/racket/collects/racket/engine.rkt	42	24