
(FPCore (k n) :precision binary64 (* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))))
double code(double k, double n) {
return (1.0 / sqrt(k)) * pow(((2.0 * ((double) M_PI)) * n), ((1.0 - k) / 2.0));
}
public static double code(double k, double n) {
return (1.0 / Math.sqrt(k)) * Math.pow(((2.0 * Math.PI) * n), ((1.0 - k) / 2.0));
}
def code(k, n): return (1.0 / math.sqrt(k)) * math.pow(((2.0 * math.pi) * n), ((1.0 - k) / 2.0))
function code(k, n) return Float64(Float64(1.0 / sqrt(k)) * (Float64(Float64(2.0 * pi) * n) ^ Float64(Float64(1.0 - k) / 2.0))) end
function tmp = code(k, n) tmp = (1.0 / sqrt(k)) * (((2.0 * pi) * n) ^ ((1.0 - k) / 2.0)); end
code[k_, n_] := N[(N[(1.0 / N[Sqrt[k], $MachinePrecision]), $MachinePrecision] * N[Power[N[(N[(2.0 * Pi), $MachinePrecision] * n), $MachinePrecision], N[(N[(1.0 - k), $MachinePrecision] / 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\sqrt{k}} \cdot {\left(\left(2 \cdot \pi\right) \cdot n\right)}^{\left(\frac{1 - k}{2}\right)}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 11 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (k n) :precision binary64 (* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))))
double code(double k, double n) {
return (1.0 / sqrt(k)) * pow(((2.0 * ((double) M_PI)) * n), ((1.0 - k) / 2.0));
}
public static double code(double k, double n) {
return (1.0 / Math.sqrt(k)) * Math.pow(((2.0 * Math.PI) * n), ((1.0 - k) / 2.0));
}
def code(k, n): return (1.0 / math.sqrt(k)) * math.pow(((2.0 * math.pi) * n), ((1.0 - k) / 2.0))
function code(k, n) return Float64(Float64(1.0 / sqrt(k)) * (Float64(Float64(2.0 * pi) * n) ^ Float64(Float64(1.0 - k) / 2.0))) end
function tmp = code(k, n) tmp = (1.0 / sqrt(k)) * (((2.0 * pi) * n) ^ ((1.0 - k) / 2.0)); end
code[k_, n_] := N[(N[(1.0 / N[Sqrt[k], $MachinePrecision]), $MachinePrecision] * N[Power[N[(N[(2.0 * Pi), $MachinePrecision] * n), $MachinePrecision], N[(N[(1.0 - k), $MachinePrecision] / 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\sqrt{k}} \cdot {\left(\left(2 \cdot \pi\right) \cdot n\right)}^{\left(\frac{1 - k}{2}\right)}
\end{array}
(FPCore (k n) :precision binary64 (if (<= k 1.7e-56) (* (sqrt (/ 1.0 k)) (sqrt (* (* 2.0 PI) n))) (sqrt (/ (pow (* PI (* 2.0 n)) (- 1.0 k)) k))))
double code(double k, double n) {
double tmp;
if (k <= 1.7e-56) {
tmp = sqrt((1.0 / k)) * sqrt(((2.0 * ((double) M_PI)) * n));
} else {
tmp = sqrt((pow((((double) M_PI) * (2.0 * n)), (1.0 - k)) / k));
}
return tmp;
}
public static double code(double k, double n) {
double tmp;
if (k <= 1.7e-56) {
tmp = Math.sqrt((1.0 / k)) * Math.sqrt(((2.0 * Math.PI) * n));
} else {
tmp = Math.sqrt((Math.pow((Math.PI * (2.0 * n)), (1.0 - k)) / k));
}
return tmp;
}
def code(k, n): tmp = 0 if k <= 1.7e-56: tmp = math.sqrt((1.0 / k)) * math.sqrt(((2.0 * math.pi) * n)) else: tmp = math.sqrt((math.pow((math.pi * (2.0 * n)), (1.0 - k)) / k)) return tmp
function code(k, n) tmp = 0.0 if (k <= 1.7e-56) tmp = Float64(sqrt(Float64(1.0 / k)) * sqrt(Float64(Float64(2.0 * pi) * n))); else tmp = sqrt(Float64((Float64(pi * Float64(2.0 * n)) ^ Float64(1.0 - k)) / k)); end return tmp end
function tmp_2 = code(k, n) tmp = 0.0; if (k <= 1.7e-56) tmp = sqrt((1.0 / k)) * sqrt(((2.0 * pi) * n)); else tmp = sqrt((((pi * (2.0 * n)) ^ (1.0 - k)) / k)); end tmp_2 = tmp; end
code[k_, n_] := If[LessEqual[k, 1.7e-56], N[(N[Sqrt[N[(1.0 / k), $MachinePrecision]], $MachinePrecision] * N[Sqrt[N[(N[(2.0 * Pi), $MachinePrecision] * n), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[Sqrt[N[(N[Power[N[(Pi * N[(2.0 * n), $MachinePrecision]), $MachinePrecision], N[(1.0 - k), $MachinePrecision]], $MachinePrecision] / k), $MachinePrecision]], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;k \leq 1.7 \cdot 10^{-56}:\\
\;\;\;\;\sqrt{\frac{1}{k}} \cdot \sqrt{\left(2 \cdot \pi\right) \cdot n}\\
\mathbf{else}:\\
\;\;\;\;\sqrt{\frac{{\left(\pi \cdot \left(2 \cdot n\right)\right)}^{\left(1 - k\right)}}{k}}\\
\end{array}
\end{array}
(FPCore (k n) :precision binary64 (* (sqrt (/ 1.0 k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))))
double code(double k, double n) {
return sqrt((1.0 / k)) * pow(((2.0 * ((double) M_PI)) * n), ((1.0 - k) / 2.0));
}
public static double code(double k, double n) {
return Math.sqrt((1.0 / k)) * Math.pow(((2.0 * Math.PI) * n), ((1.0 - k) / 2.0));
}
def code(k, n): return math.sqrt((1.0 / k)) * math.pow(((2.0 * math.pi) * n), ((1.0 - k) / 2.0))
function code(k, n) return Float64(sqrt(Float64(1.0 / k)) * (Float64(Float64(2.0 * pi) * n) ^ Float64(Float64(1.0 - k) / 2.0))) end
function tmp = code(k, n) tmp = sqrt((1.0 / k)) * (((2.0 * pi) * n) ^ ((1.0 - k) / 2.0)); end
code[k_, n_] := N[(N[Sqrt[N[(1.0 / k), $MachinePrecision]], $MachinePrecision] * N[Power[N[(N[(2.0 * Pi), $MachinePrecision] * n), $MachinePrecision], N[(N[(1.0 - k), $MachinePrecision] / 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\sqrt{\frac{1}{k}} \cdot {\left(\left(2 \cdot \pi\right) \cdot n\right)}^{\left(\frac{1 - k}{2}\right)}
\end{array}
(FPCore (k n) :precision binary64 (/ (pow (* PI (* 2.0 n)) (+ 0.5 (* k -0.5))) (sqrt k)))
double code(double k, double n) {
return pow((((double) M_PI) * (2.0 * n)), (0.5 + (k * -0.5))) / sqrt(k);
}
public static double code(double k, double n) {
return Math.pow((Math.PI * (2.0 * n)), (0.5 + (k * -0.5))) / Math.sqrt(k);
}
def code(k, n): return math.pow((math.pi * (2.0 * n)), (0.5 + (k * -0.5))) / math.sqrt(k)
function code(k, n) return Float64((Float64(pi * Float64(2.0 * n)) ^ Float64(0.5 + Float64(k * -0.5))) / sqrt(k)) end
function tmp = code(k, n) tmp = ((pi * (2.0 * n)) ^ (0.5 + (k * -0.5))) / sqrt(k); end
code[k_, n_] := N[(N[Power[N[(Pi * N[(2.0 * n), $MachinePrecision]), $MachinePrecision], N[(0.5 + N[(k * -0.5), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Sqrt[k], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{{\left(\pi \cdot \left(2 \cdot n\right)\right)}^{\left(0.5 + k \cdot -0.5\right)}}{\sqrt{k}}
\end{array}
(FPCore (k n) :precision binary64 (if (<= k 1.16e+228) (* (sqrt (/ 1.0 k)) (sqrt (* (* 2.0 PI) n))) (cbrt (pow (* 2.0 (/ (* PI n) k)) 1.5))))
double code(double k, double n) {
double tmp;
if (k <= 1.16e+228) {
tmp = sqrt((1.0 / k)) * sqrt(((2.0 * ((double) M_PI)) * n));
} else {
tmp = cbrt(pow((2.0 * ((((double) M_PI) * n) / k)), 1.5));
}
return tmp;
}
public static double code(double k, double n) {
double tmp;
if (k <= 1.16e+228) {
tmp = Math.sqrt((1.0 / k)) * Math.sqrt(((2.0 * Math.PI) * n));
} else {
tmp = Math.cbrt(Math.pow((2.0 * ((Math.PI * n) / k)), 1.5));
}
return tmp;
}
function code(k, n) tmp = 0.0 if (k <= 1.16e+228) tmp = Float64(sqrt(Float64(1.0 / k)) * sqrt(Float64(Float64(2.0 * pi) * n))); else tmp = cbrt((Float64(2.0 * Float64(Float64(pi * n) / k)) ^ 1.5)); end return tmp end
code[k_, n_] := If[LessEqual[k, 1.16e+228], N[(N[Sqrt[N[(1.0 / k), $MachinePrecision]], $MachinePrecision] * N[Sqrt[N[(N[(2.0 * Pi), $MachinePrecision] * n), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[Power[N[Power[N[(2.0 * N[(N[(Pi * n), $MachinePrecision] / k), $MachinePrecision]), $MachinePrecision], 1.5], $MachinePrecision], 1/3], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;k \leq 1.16 \cdot 10^{+228}:\\
\;\;\;\;\sqrt{\frac{1}{k}} \cdot \sqrt{\left(2 \cdot \pi\right) \cdot n}\\
\mathbf{else}:\\
\;\;\;\;\sqrt[3]{{\left(2 \cdot \frac{\pi \cdot n}{k}\right)}^{1.5}}\\
\end{array}
\end{array}
(FPCore (k n) :precision binary64 (if (<= k 1.16e+228) (/ (sqrt (* (* 2.0 PI) n)) (sqrt k)) (cbrt (pow (* 2.0 (/ (* PI n) k)) 1.5))))
double code(double k, double n) {
double tmp;
if (k <= 1.16e+228) {
tmp = sqrt(((2.0 * ((double) M_PI)) * n)) / sqrt(k);
} else {
tmp = cbrt(pow((2.0 * ((((double) M_PI) * n) / k)), 1.5));
}
return tmp;
}
public static double code(double k, double n) {
double tmp;
if (k <= 1.16e+228) {
tmp = Math.sqrt(((2.0 * Math.PI) * n)) / Math.sqrt(k);
} else {
tmp = Math.cbrt(Math.pow((2.0 * ((Math.PI * n) / k)), 1.5));
}
return tmp;
}
function code(k, n) tmp = 0.0 if (k <= 1.16e+228) tmp = Float64(sqrt(Float64(Float64(2.0 * pi) * n)) / sqrt(k)); else tmp = cbrt((Float64(2.0 * Float64(Float64(pi * n) / k)) ^ 1.5)); end return tmp end
code[k_, n_] := If[LessEqual[k, 1.16e+228], N[(N[Sqrt[N[(N[(2.0 * Pi), $MachinePrecision] * n), $MachinePrecision]], $MachinePrecision] / N[Sqrt[k], $MachinePrecision]), $MachinePrecision], N[Power[N[Power[N[(2.0 * N[(N[(Pi * n), $MachinePrecision] / k), $MachinePrecision]), $MachinePrecision], 1.5], $MachinePrecision], 1/3], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;k \leq 1.16 \cdot 10^{+228}:\\
\;\;\;\;\frac{\sqrt{\left(2 \cdot \pi\right) \cdot n}}{\sqrt{k}}\\
\mathbf{else}:\\
\;\;\;\;\sqrt[3]{{\left(2 \cdot \frac{\pi \cdot n}{k}\right)}^{1.5}}\\
\end{array}
\end{array}
(FPCore (k n) :precision binary64 (/ (sqrt n) (sqrt (* 0.5 (/ k PI)))))
double code(double k, double n) {
return sqrt(n) / sqrt((0.5 * (k / ((double) M_PI))));
}
public static double code(double k, double n) {
return Math.sqrt(n) / Math.sqrt((0.5 * (k / Math.PI)));
}
def code(k, n): return math.sqrt(n) / math.sqrt((0.5 * (k / math.pi)))
function code(k, n) return Float64(sqrt(n) / sqrt(Float64(0.5 * Float64(k / pi)))) end
function tmp = code(k, n) tmp = sqrt(n) / sqrt((0.5 * (k / pi))); end
code[k_, n_] := N[(N[Sqrt[n], $MachinePrecision] / N[Sqrt[N[(0.5 * N[(k / Pi), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\sqrt{n}}{\sqrt{0.5 \cdot \frac{k}{\pi}}}
\end{array}
(FPCore (k n) :precision binary64 (/ (sqrt (* (* 2.0 PI) n)) (sqrt k)))
double code(double k, double n) {
return sqrt(((2.0 * ((double) M_PI)) * n)) / sqrt(k);
}
public static double code(double k, double n) {
return Math.sqrt(((2.0 * Math.PI) * n)) / Math.sqrt(k);
}
def code(k, n): return math.sqrt(((2.0 * math.pi) * n)) / math.sqrt(k)
function code(k, n) return Float64(sqrt(Float64(Float64(2.0 * pi) * n)) / sqrt(k)) end
function tmp = code(k, n) tmp = sqrt(((2.0 * pi) * n)) / sqrt(k); end
code[k_, n_] := N[(N[Sqrt[N[(N[(2.0 * Pi), $MachinePrecision] * n), $MachinePrecision]], $MachinePrecision] / N[Sqrt[k], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\sqrt{\left(2 \cdot \pi\right) \cdot n}}{\sqrt{k}}
\end{array}
(FPCore (k n) :precision binary64 (/ 1.0 (sqrt (* 0.5 (/ k (* PI n))))))
double code(double k, double n) {
return 1.0 / sqrt((0.5 * (k / (((double) M_PI) * n))));
}
public static double code(double k, double n) {
return 1.0 / Math.sqrt((0.5 * (k / (Math.PI * n))));
}
def code(k, n): return 1.0 / math.sqrt((0.5 * (k / (math.pi * n))))
function code(k, n) return Float64(1.0 / sqrt(Float64(0.5 * Float64(k / Float64(pi * n))))) end
function tmp = code(k, n) tmp = 1.0 / sqrt((0.5 * (k / (pi * n)))); end
code[k_, n_] := N[(1.0 / N[Sqrt[N[(0.5 * N[(k / N[(Pi * n), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\sqrt{0.5 \cdot \frac{k}{\pi \cdot n}}}
\end{array}
(FPCore (k n) :precision binary64 (/ 1.0 (sqrt (/ (/ k n) (* 2.0 PI)))))
double code(double k, double n) {
return 1.0 / sqrt(((k / n) / (2.0 * ((double) M_PI))));
}
public static double code(double k, double n) {
return 1.0 / Math.sqrt(((k / n) / (2.0 * Math.PI)));
}
def code(k, n): return 1.0 / math.sqrt(((k / n) / (2.0 * math.pi)))
function code(k, n) return Float64(1.0 / sqrt(Float64(Float64(k / n) / Float64(2.0 * pi)))) end
function tmp = code(k, n) tmp = 1.0 / sqrt(((k / n) / (2.0 * pi))); end
code[k_, n_] := N[(1.0 / N[Sqrt[N[(N[(k / n), $MachinePrecision] / N[(2.0 * Pi), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\sqrt{\frac{\frac{k}{n}}{2 \cdot \pi}}}
\end{array}
(FPCore (k n) :precision binary64 (sqrt (* 2.0 (* n (/ PI k)))))
double code(double k, double n) {
return sqrt((2.0 * (n * (((double) M_PI) / k))));
}
public static double code(double k, double n) {
return Math.sqrt((2.0 * (n * (Math.PI / k))));
}
def code(k, n): return math.sqrt((2.0 * (n * (math.pi / k))))
function code(k, n) return sqrt(Float64(2.0 * Float64(n * Float64(pi / k)))) end
function tmp = code(k, n) tmp = sqrt((2.0 * (n * (pi / k)))); end
code[k_, n_] := N[Sqrt[N[(2.0 * N[(n * N[(Pi / k), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{2 \cdot \left(n \cdot \frac{\pi}{k}\right)}
\end{array}
(FPCore (k n) :precision binary64 (sqrt (* (* 2.0 PI) (/ n k))))
double code(double k, double n) {
return sqrt(((2.0 * ((double) M_PI)) * (n / k)));
}
public static double code(double k, double n) {
return Math.sqrt(((2.0 * Math.PI) * (n / k)));
}
def code(k, n): return math.sqrt(((2.0 * math.pi) * (n / k)))
function code(k, n) return sqrt(Float64(Float64(2.0 * pi) * Float64(n / k))) end
function tmp = code(k, n) tmp = sqrt(((2.0 * pi) * (n / k))); end
code[k_, n_] := N[Sqrt[N[(N[(2.0 * Pi), $MachinePrecision] * N[(n / k), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{\left(2 \cdot \pi\right) \cdot \frac{n}{k}}
\end{array}
herbie shell --seed 2024003
(FPCore (k n)
:name "Migdal et al, Equation (51)"
:precision binary64
(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))))