(FPCore (w l) :precision binary64 (* (exp (- w)) (pow l (exp w))))
double code(double w, double l) {
return exp(-w) * pow(l, exp(w));
}
real(8) function code(w, l)
real(8), intent (in) :: w
real(8), intent (in) :: l
code = exp(-w) * (l ** exp(w))
end function
public static double code(double w, double l) {
return Math.exp(-w) * Math.pow(l, Math.exp(w));
}
def code(w, l): return math.exp(-w) * math.pow(l, math.exp(w))
function code(w, l) return Float64(exp(Float64(-w)) * (l ^ exp(w))) end
function tmp = code(w, l) tmp = exp(-w) * (l ^ exp(w)); end
code[w_, l_] := N[(N[Exp[(-w)], $MachinePrecision] * N[Power[l, N[Exp[w], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
e^{-w} \cdot {\ell}^{\left(e^{w}\right)}
Please include this information when filing a bug report:
herbie shell --seed 2023096
(FPCore (w l)
:name "exp-w (used to crash)"
:precision binary64
(* (exp (- w)) (pow l (exp w))))
| match-define: no matching clause for '((x -.f64 (exp.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))) 1)) | L | C | |
|---|---|---|---|
| program-body | /home/nightlies/herbie/remove-change/src/programs.rkt | 21 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt | 379 | 33 |
| gen-rewrites! | /home/nightlies/herbie/remove-change/src/patch.rkt | 145 | 0 |
| patch-table-run | /home/nightlies/herbie/remove-change/src/patch.rkt | 296 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt | 486 | 18 |
| run-iter! | /home/nightlies/herbie/remove-change/src/mainloop.rkt | 267 | 0 |
| mutate! | /home/nightlies/herbie/remove-change/src/mainloop.rkt | 377 | 0 |
| run-improve! | /home/nightlies/herbie/remove-change/src/mainloop.rkt | 325 | 0 |
| run-herbie | /home/nightlies/herbie/remove-change/src/sandbox.rkt | 57 | 0 |
| (unnamed) | /home/nightlies/herbie/remove-change/src/sandbox.rkt | 133 | 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 |