
(FPCore (x y) :precision binary64 (exp (* (* x y) y)))
double code(double x, double y) {
return exp(((x * y) * y));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = exp(((x * y) * y))
end function
public static double code(double x, double y) {
return Math.exp(((x * y) * y));
}
def code(x, y): return math.exp(((x * y) * y))
function code(x, y) return exp(Float64(Float64(x * y) * y)) end
function tmp = code(x, y) tmp = exp(((x * y) * y)); end
code[x_, y_] := N[Exp[N[(N[(x * y), $MachinePrecision] * y), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
e^{\left(x \cdot y\right) \cdot y}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 4 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (exp (* (* x y) y)))
double code(double x, double y) {
return exp(((x * y) * y));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = exp(((x * y) * y))
end function
public static double code(double x, double y) {
return Math.exp(((x * y) * y));
}
def code(x, y): return math.exp(((x * y) * y))
function code(x, y) return exp(Float64(Float64(x * y) * y)) end
function tmp = code(x, y) tmp = exp(((x * y) * y)); end
code[x_, y_] := N[Exp[N[(N[(x * y), $MachinePrecision] * y), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
e^{\left(x \cdot y\right) \cdot y}
\end{array}
(FPCore (x y) :precision binary64 (/ (cbrt (exp (+ 3.0 (* (* x (pow y 2.0)) 3.0)))) E))
double code(double x, double y) {
return cbrt(exp((3.0 + ((x * pow(y, 2.0)) * 3.0)))) / ((double) M_E);
}
public static double code(double x, double y) {
return Math.cbrt(Math.exp((3.0 + ((x * Math.pow(y, 2.0)) * 3.0)))) / Math.E;
}
function code(x, y) return Float64(cbrt(exp(Float64(3.0 + Float64(Float64(x * (y ^ 2.0)) * 3.0)))) / exp(1)) end
code[x_, y_] := N[(N[Power[N[Exp[N[(3.0 + N[(N[(x * N[Power[y, 2.0], $MachinePrecision]), $MachinePrecision] * 3.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], 1/3], $MachinePrecision] / E), $MachinePrecision]
\begin{array}{l}
\\
\frac{\sqrt[3]{e^{3 + \left(x \cdot {y}^{2}\right) \cdot 3}}}{e}
\end{array}
(FPCore (x y) :precision binary64 (/ (exp (+ 1.0 (* y (* x y)))) E))
double code(double x, double y) {
return exp((1.0 + (y * (x * y)))) / ((double) M_E);
}
public static double code(double x, double y) {
return Math.exp((1.0 + (y * (x * y)))) / Math.E;
}
def code(x, y): return math.exp((1.0 + (y * (x * y)))) / math.e
function code(x, y) return Float64(exp(Float64(1.0 + Float64(y * Float64(x * y)))) / exp(1)) end
function tmp = code(x, y) tmp = exp((1.0 + (y * (x * y)))) / 2.71828182845904523536; end
code[x_, y_] := N[(N[Exp[N[(1.0 + N[(y * N[(x * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / E), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{1 + y \cdot \left(x \cdot y\right)}}{e}
\end{array}
(FPCore (x y) :precision binary64 (exp (* y (* x y))))
double code(double x, double y) {
return exp((y * (x * y)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = exp((y * (x * y)))
end function
public static double code(double x, double y) {
return Math.exp((y * (x * y)));
}
def code(x, y): return math.exp((y * (x * y)))
function code(x, y) return exp(Float64(y * Float64(x * y))) end
function tmp = code(x, y) tmp = exp((y * (x * y))); end
code[x_, y_] := N[Exp[N[(y * N[(x * y), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
e^{y \cdot \left(x \cdot y\right)}
\end{array}
(FPCore (x y) :precision binary64 1.0)
double code(double x, double y) {
return 1.0;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0
end function
public static double code(double x, double y) {
return 1.0;
}
def code(x, y): return 1.0
function code(x, y) return 1.0 end
function tmp = code(x, y) tmp = 1.0; end
code[x_, y_] := 1.0
\begin{array}{l}
\\
1
\end{array}
herbie shell --seed 2023343
(FPCore (x y)
:name "Data.Random.Distribution.Normal:normalF from random-fu-0.2.6.2"
:precision binary64
(exp (* (* x y) y)))