
(FPCore (g h a) :precision binary64 (let* ((t_0 (/ 1.0 (* 2.0 a))) (t_1 (sqrt (- (* g g) (* h h))))) (+ (cbrt (* t_0 (+ (- g) t_1))) (cbrt (* t_0 (- (- g) t_1))))))
double code(double g, double h, double a) {
double t_0 = 1.0 / (2.0 * a);
double t_1 = sqrt(((g * g) - (h * h)));
return cbrt((t_0 * (-g + t_1))) + cbrt((t_0 * (-g - t_1)));
}
public static double code(double g, double h, double a) {
double t_0 = 1.0 / (2.0 * a);
double t_1 = Math.sqrt(((g * g) - (h * h)));
return Math.cbrt((t_0 * (-g + t_1))) + Math.cbrt((t_0 * (-g - t_1)));
}
function code(g, h, a) t_0 = Float64(1.0 / Float64(2.0 * a)) t_1 = sqrt(Float64(Float64(g * g) - Float64(h * h))) return Float64(cbrt(Float64(t_0 * Float64(Float64(-g) + t_1))) + cbrt(Float64(t_0 * Float64(Float64(-g) - t_1)))) end
code[g_, h_, a_] := Block[{t$95$0 = N[(1.0 / N[(2.0 * a), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[Sqrt[N[(N[(g * g), $MachinePrecision] - N[(h * h), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, N[(N[Power[N[(t$95$0 * N[((-g) + t$95$1), $MachinePrecision]), $MachinePrecision], 1/3], $MachinePrecision] + N[Power[N[(t$95$0 * N[((-g) - t$95$1), $MachinePrecision]), $MachinePrecision], 1/3], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{1}{2 \cdot a}\\
t_1 := \sqrt{g \cdot g - h \cdot h}\\
\sqrt[3]{t\_0 \cdot \left(\left(-g\right) + t\_1\right)} + \sqrt[3]{t\_0 \cdot \left(\left(-g\right) - t\_1\right)}
\end{array}
\end{array}
herbie shell --seed 2025080
(FPCore (g h a)
:name "2-ancestry mixing, positive discriminant"
:precision binary64
(+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))))
Please file a bug report with this information.
| match: no matching clause for '#&128 | L | C | |
|---|---|---|---|
| make-hint | /home/nightlies/rival/oopsla/infra/run-baseline.rkt | 35 | 0 |
| baseline-analyze | /home/nightlies/rival/oopsla/infra/run-baseline.rkt | 206 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt | 489 | 18 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt | 489 | 18 |
| search-step | /home/nightlies/herbie/baseline-kernel/src/core/searchreals.rkt | 32 | 0 |
| find-intervals | /home/nightlies/herbie/baseline-kernel/src/core/searchreals.rkt | 90 | 0 |
| make-sampler | /home/nightlies/herbie/baseline-kernel/src/core/sampling.rkt | 124 | 0 |
| sample-points | /home/nightlies/herbie/baseline-kernel/src/core/sampling.rkt | 211 | 0 |
| sample-pcontext | /home/nightlies/herbie/baseline-kernel/src/api/sandbox.rkt | 40 | 0 |
| get-alternatives/report | /home/nightlies/herbie/baseline-kernel/src/api/sandbox.rkt | 174 | 0 |
| (unnamed) | /home/nightlies/herbie/baseline-kernel/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/baseline-kernel/src/api/sandbox.rkt | 283 | 2 |
| (unnamed) | /usr/share/racket/collects/racket/engine.rkt | 42 | 24 |