| Alternative 1 | |
|---|---|
| Error | 0.0 |
| Cost | 6720 |
\[x \cdot e^{y \cdot y}
\]
(FPCore (x y) :precision binary64 (* x (exp (* y y))))
(FPCore (x y) :precision binary64 (/ x (exp (- (pow y 2.0)))))
double code(double x, double y) {
return x * exp((y * y));
}
double code(double x, double y) {
return x / exp(-pow(y, 2.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x * exp((y * y))
end function
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x / exp(-(y ** 2.0d0))
end function
public static double code(double x, double y) {
return x * Math.exp((y * y));
}
public static double code(double x, double y) {
return x / Math.exp(-Math.pow(y, 2.0));
}
def code(x, y): return x * math.exp((y * y))
def code(x, y): return x / math.exp(-math.pow(y, 2.0))
function code(x, y) return Float64(x * exp(Float64(y * y))) end
function code(x, y) return Float64(x / exp(Float64(-(y ^ 2.0)))) end
function tmp = code(x, y) tmp = x * exp((y * y)); end
function tmp = code(x, y) tmp = x / exp(-(y ^ 2.0)); end
code[x_, y_] := N[(x * N[Exp[N[(y * y), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
code[x_, y_] := N[(x / N[Exp[(-N[Power[y, 2.0], $MachinePrecision])], $MachinePrecision]), $MachinePrecision]
x \cdot e^{y \cdot y}
\frac{x}{e^{-{y}^{2}}}
Results
| Original | 0.0 |
|---|---|
| Target | 0.0 |
| Herbie | 0.0 |
Initial program 0.0
Applied egg-rr1.4
Applied egg-rr0.0
| Alternative 1 | |
|---|---|
| Error | 0.0 |
| Cost | 6720 |
| Alternative 2 | |
|---|---|
| Error | 0.9 |
| Cost | 64 |
herbie shell --seed 2023033
(FPCore (x y)
:name "Data.Number.Erf:$dmerfcx from erf-2.0.0.0"
:precision binary64
:herbie-target
(* x (pow (exp y) y))
(* x (exp (* y y))))