Exception for UniformSampleCone 2

Specification

\[\left(\left(\left(\left(\left(-10000 \leq xi \land xi \leq 10000\right) \land \left(-10000 \leq yi \land yi \leq 10000\right)\right) \land \left(-10000 \leq zi \land zi \leq 10000\right)\right) \land \left(2.328306437 \cdot 10^{-10} \leq ux \land ux \leq 1\right)\right) \land \left(2.328306437 \cdot 10^{-10} \leq uy \land uy \leq 1\right)\right) \land \left(0 \leq maxCos \land maxCos \leq 1\right)\]

\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left(\left(1 - ux\right) \cdot maxCos\right) \cdot ux\\ t_1 := \sqrt{1 - t\_0 \cdot t\_0}\\ t_2 := \left(uy \cdot 2\right) \cdot \mathsf{PI}\left(\right)\\ \left(\left(\cos t\_2 \cdot t\_1\right) \cdot xi + \left(\sin t\_2 \cdot t\_1\right) \cdot yi\right) + t\_0 \cdot zi \end{array} \end{array} \]

(FPCore (xi yi zi ux uy maxCos)
 :precision binary32
 (let* ((t_0 (* (* (- 1.0 ux) maxCos) ux))
        (t_1 (sqrt (- 1.0 (* t_0 t_0))))
        (t_2 (* (* uy 2.0) (PI))))
   (+ (+ (* (* (cos t_2) t_1) xi) (* (* (sin t_2) t_1) yi)) (* t_0 zi))))

\begin{array}{l}

\\
\begin{array}{l}
t_0 := \left(\left(1 - ux\right) \cdot maxCos\right) \cdot ux\\
t_1 := \sqrt{1 - t\_0 \cdot t\_0}\\
t_2 := \left(uy \cdot 2\right) \cdot \mathsf{PI}\left(\right)\\
\left(\left(\cos t\_2 \cdot t\_1\right) \cdot xi + \left(\sin t\_2 \cdot t\_1\right) \cdot yi\right) + t\_0 \cdot zi
\end{array}
\end{array}

Reproduce

herbie shell --seed 2025035 
(FPCore (xi yi zi ux uy maxCos)
  :name "UniformSampleCone 2"
  :precision binary32
  :pre (and (and (and (and (and (and (<= -10000.0 xi) (<= xi 10000.0)) (and (<= -10000.0 yi) (<= yi 10000.0))) (and (<= -10000.0 zi) (<= zi 10000.0))) (and (<= 2.328306437e-10 ux) (<= ux 1.0))) (and (<= 2.328306437e-10 uy) (<= uy 1.0))) (and (<= 0.0 maxCos) (<= maxCos 1.0)))
  (+ (+ (* (* (cos (* (* uy 2.0) (PI))) (sqrt (- 1.0 (* (* (* (- 1.0 ux) maxCos) ux) (* (* (- 1.0 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2.0) (PI))) (sqrt (- 1.0 (* (* (* (- 1.0 ux) maxCos) ux) (* (* (- 1.0 ux) maxCos) ux))))) yi)) (* (* (* (- 1.0 ux) maxCos) ux) zi)))

Please file a bug report with this information.

Backtrace

operator-info: Unknown operator $literal		L	C
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt	379	33
rebuild-enode	/home/nightlies/herbie/really-crazy-encodings/src/core/egg-herbie.rkt	585	0
split-untyped-eclasses	/home/nightlies/herbie/really-crazy-encodings/src/core/egg-herbie.rkt	630	0
make-typed-eclasses	/home/nightlies/herbie/really-crazy-encodings/src/core/egg-herbie.rkt	795	0
make-regraph	/home/nightlies/herbie/really-crazy-encodings/src/core/egg-herbie.rkt	842	0
egraph-best	/home/nightlies/herbie/really-crazy-encodings/src/core/egg-herbie.rkt	1392	0
simplify-batch	/home/nightlies/herbie/really-crazy-encodings/src/core/simplify.rkt	19	0
(unnamed)	/usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt	486	18
initial-simplify	/home/nightlies/herbie/really-crazy-encodings/src/core/preprocess.rkt	54	0
find-preprocessing	/home/nightlies/herbie/really-crazy-encodings/src/core/preprocess.rkt	81	0
run-improve!	/home/nightlies/herbie/really-crazy-encodings/src/core/mainloop.rkt	45	0
get-alternatives/report	/home/nightlies/herbie/really-crazy-encodings/src/api/sandbox.rkt	174	0
(unnamed)	/home/nightlies/herbie/really-crazy-encodings/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/really-crazy-encodings/src/api/sandbox.rkt	283	2
(unnamed)	/usr/share/racket/collects/racket/engine.rkt	42	24