
(FPCore (m v) :precision binary64 (* (- (/ (* m (- 1.0 m)) v) 1.0) m))
double code(double m, double v) {
return (((m * (1.0 - m)) / v) - 1.0) * m;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = (((m * (1.0d0 - m)) / v) - 1.0d0) * m
end function
public static double code(double m, double v) {
return (((m * (1.0 - m)) / v) - 1.0) * m;
}
def code(m, v): return (((m * (1.0 - m)) / v) - 1.0) * m
function code(m, v) return Float64(Float64(Float64(Float64(m * Float64(1.0 - m)) / v) - 1.0) * m) end
function tmp = code(m, v) tmp = (((m * (1.0 - m)) / v) - 1.0) * m; end
code[m_, v_] := N[(N[(N[(N[(m * N[(1.0 - m), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision] - 1.0), $MachinePrecision] * m), $MachinePrecision]
\begin{array}{l}
\\
\left(\frac{m \cdot \left(1 - m\right)}{v} - 1\right) \cdot m
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 7 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (m v) :precision binary64 (* (- (/ (* m (- 1.0 m)) v) 1.0) m))
double code(double m, double v) {
return (((m * (1.0 - m)) / v) - 1.0) * m;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = (((m * (1.0d0 - m)) / v) - 1.0d0) * m
end function
public static double code(double m, double v) {
return (((m * (1.0 - m)) / v) - 1.0) * m;
}
def code(m, v): return (((m * (1.0 - m)) / v) - 1.0) * m
function code(m, v) return Float64(Float64(Float64(Float64(m * Float64(1.0 - m)) / v) - 1.0) * m) end
function tmp = code(m, v) tmp = (((m * (1.0 - m)) / v) - 1.0) * m; end
code[m_, v_] := N[(N[(N[(N[(m * N[(1.0 - m), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision] - 1.0), $MachinePrecision] * m), $MachinePrecision]
\begin{array}{l}
\\
\left(\frac{m \cdot \left(1 - m\right)}{v} - 1\right) \cdot m
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.9e-15) (* m (+ -1.0 (* m (/ 1.0 v)))) (/ m (/ v (* m (- 1.0 m))))))
double code(double m, double v) {
double tmp;
if (m <= 1.9e-15) {
tmp = m * (-1.0 + (m * (1.0 / v)));
} else {
tmp = m / (v / (m * (1.0 - m)));
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if (m <= 1.9d-15) then
tmp = m * ((-1.0d0) + (m * (1.0d0 / v)))
else
tmp = m / (v / (m * (1.0d0 - m)))
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.9e-15) {
tmp = m * (-1.0 + (m * (1.0 / v)));
} else {
tmp = m / (v / (m * (1.0 - m)));
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.9e-15: tmp = m * (-1.0 + (m * (1.0 / v))) else: tmp = m / (v / (m * (1.0 - m))) return tmp
function code(m, v) tmp = 0.0 if (m <= 1.9e-15) tmp = Float64(m * Float64(-1.0 + Float64(m * Float64(1.0 / v)))); else tmp = Float64(m / Float64(v / Float64(m * Float64(1.0 - m)))); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.9e-15) tmp = m * (-1.0 + (m * (1.0 / v))); else tmp = m / (v / (m * (1.0 - m))); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.9e-15], N[(m * N[(-1.0 + N[(m * N[(1.0 / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(m / N[(v / N[(m * N[(1.0 - m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1.9 \cdot 10^{-15}:\\
\;\;\;\;m \cdot \left(-1 + m \cdot \frac{1}{v}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{m}{\frac{v}{m \cdot \left(1 - m\right)}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.0) (* m (+ -1.0 (* m (/ 1.0 v)))) (/ (- m) (/ v m))))
double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = m * (-1.0 + (m * (1.0 / v)));
} else {
tmp = -m / (v / m);
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if (m <= 1.0d0) then
tmp = m * ((-1.0d0) + (m * (1.0d0 / v)))
else
tmp = -m / (v / m)
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = m * (-1.0 + (m * (1.0 / v)));
} else {
tmp = -m / (v / m);
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.0: tmp = m * (-1.0 + (m * (1.0 / v))) else: tmp = -m / (v / m) return tmp
function code(m, v) tmp = 0.0 if (m <= 1.0) tmp = Float64(m * Float64(-1.0 + Float64(m * Float64(1.0 / v)))); else tmp = Float64(Float64(-m) / Float64(v / m)); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.0) tmp = m * (-1.0 + (m * (1.0 / v))); else tmp = -m / (v / m); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.0], N[(m * N[(-1.0 + N[(m * N[(1.0 / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[((-m) / N[(v / m), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1:\\
\;\;\;\;m \cdot \left(-1 + m \cdot \frac{1}{v}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{-m}{\frac{v}{m}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (* m (+ (* (/ m v) (- 1.0 m)) -1.0)))
double code(double m, double v) {
return m * (((m / v) * (1.0 - m)) + -1.0);
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = m * (((m / v) * (1.0d0 - m)) + (-1.0d0))
end function
public static double code(double m, double v) {
return m * (((m / v) * (1.0 - m)) + -1.0);
}
def code(m, v): return m * (((m / v) * (1.0 - m)) + -1.0)
function code(m, v) return Float64(m * Float64(Float64(Float64(m / v) * Float64(1.0 - m)) + -1.0)) end
function tmp = code(m, v) tmp = m * (((m / v) * (1.0 - m)) + -1.0); end
code[m_, v_] := N[(m * N[(N[(N[(m / v), $MachinePrecision] * N[(1.0 - m), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
m \cdot \left(\frac{m}{v} \cdot \left(1 - m\right) + -1\right)
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 3.7e-183) (- m) (if (<= m 1.0) (/ m (/ v m)) (/ (- m) (/ v m)))))
double code(double m, double v) {
double tmp;
if (m <= 3.7e-183) {
tmp = -m;
} else if (m <= 1.0) {
tmp = m / (v / m);
} else {
tmp = -m / (v / m);
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if (m <= 3.7d-183) then
tmp = -m
else if (m <= 1.0d0) then
tmp = m / (v / m)
else
tmp = -m / (v / m)
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 3.7e-183) {
tmp = -m;
} else if (m <= 1.0) {
tmp = m / (v / m);
} else {
tmp = -m / (v / m);
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 3.7e-183: tmp = -m elif m <= 1.0: tmp = m / (v / m) else: tmp = -m / (v / m) return tmp
function code(m, v) tmp = 0.0 if (m <= 3.7e-183) tmp = Float64(-m); elseif (m <= 1.0) tmp = Float64(m / Float64(v / m)); else tmp = Float64(Float64(-m) / Float64(v / m)); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 3.7e-183) tmp = -m; elseif (m <= 1.0) tmp = m / (v / m); else tmp = -m / (v / m); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 3.7e-183], (-m), If[LessEqual[m, 1.0], N[(m / N[(v / m), $MachinePrecision]), $MachinePrecision], N[((-m) / N[(v / m), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 3.7 \cdot 10^{-183}:\\
\;\;\;\;-m\\
\mathbf{elif}\;m \leq 1:\\
\;\;\;\;\frac{m}{\frac{v}{m}}\\
\mathbf{else}:\\
\;\;\;\;\frac{-m}{\frac{v}{m}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (or (<= m 3.7e-183) (not (<= m 1.0))) (- m) (/ m (/ v m))))
double code(double m, double v) {
double tmp;
if ((m <= 3.7e-183) || !(m <= 1.0)) {
tmp = -m;
} else {
tmp = m / (v / m);
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if ((m <= 3.7d-183) .or. (.not. (m <= 1.0d0))) then
tmp = -m
else
tmp = m / (v / m)
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if ((m <= 3.7e-183) || !(m <= 1.0)) {
tmp = -m;
} else {
tmp = m / (v / m);
}
return tmp;
}
def code(m, v): tmp = 0 if (m <= 3.7e-183) or not (m <= 1.0): tmp = -m else: tmp = m / (v / m) return tmp
function code(m, v) tmp = 0.0 if ((m <= 3.7e-183) || !(m <= 1.0)) tmp = Float64(-m); else tmp = Float64(m / Float64(v / m)); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if ((m <= 3.7e-183) || ~((m <= 1.0))) tmp = -m; else tmp = m / (v / m); end tmp_2 = tmp; end
code[m_, v_] := If[Or[LessEqual[m, 3.7e-183], N[Not[LessEqual[m, 1.0]], $MachinePrecision]], (-m), N[(m / N[(v / m), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 3.7 \cdot 10^{-183} \lor \neg \left(m \leq 1\right):\\
\;\;\;\;-m\\
\mathbf{else}:\\
\;\;\;\;\frac{m}{\frac{v}{m}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.0) (* m (+ (/ m v) -1.0)) (/ (- m) (/ v m))))
double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = m * ((m / v) + -1.0);
} else {
tmp = -m / (v / m);
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if (m <= 1.0d0) then
tmp = m * ((m / v) + (-1.0d0))
else
tmp = -m / (v / m)
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = m * ((m / v) + -1.0);
} else {
tmp = -m / (v / m);
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.0: tmp = m * ((m / v) + -1.0) else: tmp = -m / (v / m) return tmp
function code(m, v) tmp = 0.0 if (m <= 1.0) tmp = Float64(m * Float64(Float64(m / v) + -1.0)); else tmp = Float64(Float64(-m) / Float64(v / m)); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.0) tmp = m * ((m / v) + -1.0); else tmp = -m / (v / m); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.0], N[(m * N[(N[(m / v), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision], N[((-m) / N[(v / m), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1:\\
\;\;\;\;m \cdot \left(\frac{m}{v} + -1\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{-m}{\frac{v}{m}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (- m))
double code(double m, double v) {
return -m;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = -m
end function
public static double code(double m, double v) {
return -m;
}
def code(m, v): return -m
function code(m, v) return Float64(-m) end
function tmp = code(m, v) tmp = -m; end
code[m_, v_] := (-m)
\begin{array}{l}
\\
-m
\end{array}
herbie shell --seed 2023340
(FPCore (m v)
:name "a parameter of renormalized beta distribution"
:precision binary64
:pre (and (and (< 0.0 m) (< 0.0 v)) (< v 0.25))
(* (- (/ (* m (- 1.0 m)) v) 1.0) m))