
(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}
herbie shell --seed 2024327
(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.
| invalid memory reference. Some debugging context lost | L | C | |
|---|---|---|---|
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt | 379 | 33 |
| (unnamed) | /home/nightlies/herbie/bhargav-double-double/src/core/compiler.rkt | 108 | 27 |
| compiled-prog | /home/nightlies/herbie/bhargav-double-double/src/core/compiler.rkt | 27 | 2 |
| predict-errors | /home/nightlies/herbie/bhargav-double-double/src/core/explain.rkt | 95 | 0 |
| explain | /home/nightlies/herbie/bhargav-double-double/src/core/explain.rkt | 690 | 0 |
| explain! | /home/nightlies/herbie/bhargav-double-double/src/core/mainloop.rkt | 320 | 0 |
| run-improve! | /home/nightlies/herbie/bhargav-double-double/src/core/mainloop.rkt | 45 | 0 |
| get-alternatives/report | /home/nightlies/herbie/bhargav-double-double/src/api/sandbox.rkt | 186 | 0 |
| (unnamed) | /home/nightlies/herbie/bhargav-double-double/src/api/sandbox.rkt | 282 | 6 |
| (unnamed) | /usr/share/racket/pkgs/profile-lib/main.rkt | 40 | 10 |
| profile-thunk | /usr/share/racket/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/engine.rkt | 42 | 24 |