
(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)))
double code(double A, double B, double C) {
return 180.0 * (atan(((1.0 / B) * ((C - A) - sqrt((pow((A - C), 2.0) + pow(B, 2.0)))))) / ((double) M_PI));
}
public static double code(double A, double B, double C) {
return 180.0 * (Math.atan(((1.0 / B) * ((C - A) - Math.sqrt((Math.pow((A - C), 2.0) + Math.pow(B, 2.0)))))) / Math.PI);
}
def code(A, B, C): return 180.0 * (math.atan(((1.0 / B) * ((C - A) - math.sqrt((math.pow((A - C), 2.0) + math.pow(B, 2.0)))))) / math.pi)
function code(A, B, C) return Float64(180.0 * Float64(atan(Float64(Float64(1.0 / B) * Float64(Float64(C - A) - sqrt(Float64((Float64(A - C) ^ 2.0) + (B ^ 2.0)))))) / pi)) end
function tmp = code(A, B, C) tmp = 180.0 * (atan(((1.0 / B) * ((C - A) - sqrt((((A - C) ^ 2.0) + (B ^ 2.0)))))) / pi); end
code[A_, B_, C_] := N[(180.0 * N[(N[ArcTan[N[(N[(1.0 / B), $MachinePrecision] * N[(N[(C - A), $MachinePrecision] - N[Sqrt[N[(N[Power[N[(A - C), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[B, 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]
\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)}{\pi}
\end{array}
herbie shell --seed 2025093
(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.
| result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form arguments...: '((-5.827243015077246e-69 -1.5244977967031232e+176 1.6916859872060676e+177 -6.326408619393826e-18) . #f) | L | C | |
|---|---|---|---|
| batch-prepare-points | /home/nightlies/herbie/random-cleanup/src/core/sampling.rkt | 123 | 0 |
| prepend-argument | /home/nightlies/herbie/random-cleanup/src/core/bsearch.rkt | 97 | 0 |
| hash-ref! | /usr/share/racket/collects/racket/private/more-scheme.rkt | 377 | 2 |
| pred | /home/nightlies/herbie/random-cleanup/src/core/bsearch.rkt | 140 | 4 |
| binary-search-floats | /home/nightlies/herbie/random-cleanup/src/core/bsearch.rkt | 69 | 0 |
| sindices->spoints | /home/nightlies/herbie/random-cleanup/src/core/bsearch.rkt | 121 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt | 379 | 33 |
| f11 | .../match/compiler.rkt | 559 | 40 |
| make-regime! | /home/nightlies/herbie/random-cleanup/src/core/mainloop.rkt | 262 | 0 |
| extract! | /home/nightlies/herbie/random-cleanup/src/core/mainloop.rkt | 61 | 0 |
| run-improve! | /home/nightlies/herbie/random-cleanup/src/core/mainloop.rkt | 37 | 0 |
| get-alternatives | /home/nightlies/herbie/random-cleanup/src/api/sandbox.rkt | 61 | 0 |
| (unnamed) | /home/nightlies/herbie/random-cleanup/src/api/sandbox.rkt | 193 | 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/random-cleanup/src/api/sandbox.rkt | 209 | 2 |
| (unnamed) | /usr/share/racket/collects/racket/engine.rkt | 42 | 24 |