Exception for ABCF->ab-angle angle

Specification

\[\begin{array}{l} \\ 180 \cdot \frac{\tan^{-1} \left(\frac{1}{B} \cdot \left(\left(C - A\right) - \sqrt{{\left(A - C\right)}^{2} + {B}^{2}}\right)\right)}{\mathsf{PI}\left(\right)} \end{array} \]

(FPCore (A B C)
 :precision binary64
 (*
  180.0
  (/
   (atan (* (/ 1.0 B) (- (- C A) (sqrt (+ (pow (- A C) 2.0) (pow B 2.0))))))
   (PI))))

\begin{array}{l}

\\
180 \cdot \frac{\tan^{-1} \left(\frac{1}{B} \cdot \left(\left(C - A\right) - \sqrt{{\left(A - C\right)}^{2} + {B}^{2}}\right)\right)}{\mathsf{PI}\left(\right)}
\end{array}

Reproduce

herbie shell --seed 2025019 
(FPCore (A B C)
  :name "ABCF->ab-angle angle"
  :precision binary64
  (* 180.0 (/ (atan (* (/ 1.0 B) (- (- C A) (sqrt (+ (pow (- A C) 2.0) (pow B 2.0)))))) (PI))))

Please file a bug report with this information.

Backtrace

run-egg: unknown command `(proofs (.f64 #s(literal 180 binary64) (/.f64 (atan.f64 (.f64 (/.f64 #s(literal 1 binary64) B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (PI.f64))) /.f64 (/.f64 (*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 A C))) B)) #s(literal 180 binary64)) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64)))`		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
loop	.../private/map.rkt	40	19
alt-map	/home/nightlies/herbie/unbatch-derivations/src/utils/alternative.rkt	44	0
loop	.../private/map.rkt	40	19
alt-map	/home/nightlies/herbie/unbatch-derivations/src/utils/alternative.rkt	44	0
loop	.../private/map.rkt	40	19
alt-map	/home/nightlies/herbie/unbatch-derivations/src/utils/alternative.rkt	44	0
loop	.../private/map.rkt	40	19
alt-map	/home/nightlies/herbie/unbatch-derivations/src/utils/alternative.rkt	44	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