(FPCore (w l) :precision binary64 (* (exp (- w)) (pow l (exp w))))
(FPCore (w l) :precision binary64 (/ (pow l (exp w)) (/ (sqrt (exp w)) (pow (exp w) -0.5))))
double code(double w, double l) {
return exp(-w) * pow(l, exp(w));
}
double code(double w, double l) {
return pow(l, exp(w)) / (sqrt(exp(w)) / pow(exp(w), -0.5));
}
real(8) function code(w, l)
real(8), intent (in) :: w
real(8), intent (in) :: l
code = exp(-w) * (l ** exp(w))
end function
real(8) function code(w, l)
real(8), intent (in) :: w
real(8), intent (in) :: l
code = (l ** exp(w)) / (sqrt(exp(w)) / (exp(w) ** (-0.5d0)))
end function
public static double code(double w, double l) {
return Math.exp(-w) * Math.pow(l, Math.exp(w));
}
public static double code(double w, double l) {
return Math.pow(l, Math.exp(w)) / (Math.sqrt(Math.exp(w)) / Math.pow(Math.exp(w), -0.5));
}
def code(w, l): return math.exp(-w) * math.pow(l, math.exp(w))
def code(w, l): return math.pow(l, math.exp(w)) / (math.sqrt(math.exp(w)) / math.pow(math.exp(w), -0.5))
function code(w, l) return Float64(exp(Float64(-w)) * (l ^ exp(w))) end
function code(w, l) return Float64((l ^ exp(w)) / Float64(sqrt(exp(w)) / (exp(w) ^ -0.5))) end
function tmp = code(w, l) tmp = exp(-w) * (l ^ exp(w)); end
function tmp = code(w, l) tmp = (l ^ exp(w)) / (sqrt(exp(w)) / (exp(w) ^ -0.5)); end
code[w_, l_] := N[(N[Exp[(-w)], $MachinePrecision] * N[Power[l, N[Exp[w], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
code[w_, l_] := N[(N[Power[l, N[Exp[w], $MachinePrecision]], $MachinePrecision] / N[(N[Sqrt[N[Exp[w], $MachinePrecision]], $MachinePrecision] / N[Power[N[Exp[w], $MachinePrecision], -0.5], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
e^{-w} \cdot {\ell}^{\left(e^{w}\right)}
\frac{{\ell}^{\left(e^{w}\right)}}{\frac{\sqrt{e^{w}}}{{\left(e^{w}\right)}^{-0.5}}}



Bits error versus w



Bits error versus l
Results
Initial program 0.3
Simplified0.3
Applied egg-rr0.3
Applied egg-rr0.3
Final simplification0.3
herbie shell --seed 2022165
(FPCore (w l)
:name "exp-w crasher"
:precision binary64
(* (exp (- w)) (pow l (exp w))))