(FPCore (a b) :precision binary64 (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
double code(double a, double b) { return sqrt(fabs((((a * a) - (b * b)) / (a * a)))); }
real(8) function code(a, b) real(8), intent (in) :: a real(8), intent (in) :: b code = sqrt(abs((((a * a) - (b * b)) / (a * a)))) end function
public static double code(double a, double b) { return Math.sqrt(Math.abs((((a * a) - (b * b)) / (a * a)))); }
def code(a, b): return math.sqrt(math.fabs((((a * a) - (b * b)) / (a * a))))
function code(a, b) return sqrt(abs(Float64(Float64(Float64(a * a) - Float64(b * b)) / Float64(a * a)))) end
function tmp = code(a, b) tmp = sqrt(abs((((a * a) - (b * b)) / (a * a)))); end
code[a_, b_] := N[Sqrt[N[Abs[N[(N[(N[(a * a), $MachinePrecision] - N[(b * b), $MachinePrecision]), $MachinePrecision] / N[(a * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]
\begin{array}{l} \\ \sqrt{\left|\frac{a \cdot a - b \cdot b}{a \cdot a}\right|} \end{array}
herbie shell --seed 2024273
(FPCore (a b)
:name "Eccentricity of an ellipse"
:precision binary64
:pre (and (and (<= 0.0 b) (<= b a)) (<= a 1.0))
(sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))
Please file a bug report with this information.
Invalid input | L | C | |
---|---|---|---|
rival-apply | /home/nightlies/.local/share/racket/8.10/pkgs/rival/eval/main.rkt | 65 | 0 |
(unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt | 486 | 18 |
compute-local-errors | /home/nightlies/herbie/zane-concrete-values/src/core/localize.rkt | 132 | 0 |
actual-errors | /home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt | 35 | 0 |
generate-timelines | /home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt | 498 | 0 |
explain! | /home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt | 323 | 0 |
run-improve! | /home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt | 45 | 0 |
get-alternatives/report | /home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt | 186 | 0 |
(unnamed) | /home/nightlies/herbie/zane-concrete-values/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 |