
(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 11 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.4e-78) (- (* m (/ m v)) m) (/ (* m (- m (* m m))) v)))
double code(double m, double v) {
double tmp;
if (m <= 1.4e-78) {
tmp = (m * (m / v)) - m;
} else {
tmp = (m * (m - (m * m))) / v;
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if (m <= 1.4d-78) then
tmp = (m * (m / v)) - m
else
tmp = (m * (m - (m * m))) / v
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.4e-78) {
tmp = (m * (m / v)) - m;
} else {
tmp = (m * (m - (m * m))) / v;
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.4e-78: tmp = (m * (m / v)) - m else: tmp = (m * (m - (m * m))) / v return tmp
function code(m, v) tmp = 0.0 if (m <= 1.4e-78) tmp = Float64(Float64(m * Float64(m / v)) - m); else tmp = Float64(Float64(m * Float64(m - Float64(m * m))) / v); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.4e-78) tmp = (m * (m / v)) - m; else tmp = (m * (m - (m * m))) / v; end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.4e-78], N[(N[(m * N[(m / v), $MachinePrecision]), $MachinePrecision] - m), $MachinePrecision], N[(N[(m * N[(m - N[(m * m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1.4 \cdot 10^{-78}:\\
\;\;\;\;m \cdot \frac{m}{v} - m\\
\mathbf{else}:\\
\;\;\;\;\frac{m \cdot \left(m - m \cdot m\right)}{v}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.4e-78) (- (* m (/ m v)) m) (/ (* m (* m (- 1.0 m))) v)))
double code(double m, double v) {
double tmp;
if (m <= 1.4e-78) {
tmp = (m * (m / v)) - m;
} else {
tmp = (m * (m * (1.0 - m))) / v;
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if (m <= 1.4d-78) then
tmp = (m * (m / v)) - m
else
tmp = (m * (m * (1.0d0 - m))) / v
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.4e-78) {
tmp = (m * (m / v)) - m;
} else {
tmp = (m * (m * (1.0 - m))) / v;
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.4e-78: tmp = (m * (m / v)) - m else: tmp = (m * (m * (1.0 - m))) / v return tmp
function code(m, v) tmp = 0.0 if (m <= 1.4e-78) tmp = Float64(Float64(m * Float64(m / v)) - m); else tmp = Float64(Float64(m * Float64(m * Float64(1.0 - m))) / v); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.4e-78) tmp = (m * (m / v)) - m; else tmp = (m * (m * (1.0 - m))) / v; end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.4e-78], N[(N[(m * N[(m / v), $MachinePrecision]), $MachinePrecision] - m), $MachinePrecision], N[(N[(m * N[(m * N[(1.0 - m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1.4 \cdot 10^{-78}:\\
\;\;\;\;m \cdot \frac{m}{v} - m\\
\mathbf{else}:\\
\;\;\;\;\frac{m \cdot \left(m \cdot \left(1 - m\right)\right)}{v}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (* m (+ (/ (- m (* m m)) v) -1.0)))
double code(double m, double v) {
return m * (((m - (m * m)) / v) + -1.0);
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = m * (((m - (m * m)) / v) + (-1.0d0))
end function
public static double code(double m, double v) {
return m * (((m - (m * m)) / v) + -1.0);
}
def code(m, v): return m * (((m - (m * m)) / v) + -1.0)
function code(m, v) return Float64(m * Float64(Float64(Float64(m - Float64(m * m)) / v) + -1.0)) end
function tmp = code(m, v) tmp = m * (((m - (m * m)) / v) + -1.0); end
code[m_, v_] := N[(m * N[(N[(N[(m - N[(m * m), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
m \cdot \left(\frac{m - m \cdot m}{v} + -1\right)
\end{array}
(FPCore (m v) :precision binary64 (* m (+ -1.0 (* m (/ (- 1.0 m) v)))))
double code(double m, double v) {
return m * (-1.0 + (m * ((1.0 - m) / v)));
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = m * ((-1.0d0) + (m * ((1.0d0 - m) / v)))
end function
public static double code(double m, double v) {
return m * (-1.0 + (m * ((1.0 - m) / v)));
}
def code(m, v): return m * (-1.0 + (m * ((1.0 - m) / v)))
function code(m, v) return Float64(m * Float64(-1.0 + Float64(m * Float64(Float64(1.0 - m) / v)))) end
function tmp = code(m, v) tmp = m * (-1.0 + (m * ((1.0 - m) / v))); end
code[m_, v_] := N[(m * N[(-1.0 + N[(m * N[(N[(1.0 - m), $MachinePrecision] / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
m \cdot \left(-1 + m \cdot \frac{1 - m}{v}\right)
\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(m / Float64(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[(m / N[(v / N[(1.0 - m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
m \cdot \left(\frac{m}{\frac{v}{1 - m}} + -1\right)
\end{array}
(FPCore (m v) :precision binary64 (* m (+ (/ (* m (- 1.0 m)) v) -1.0)))
double code(double m, double v) {
return m * (((m * (1.0 - m)) / v) + -1.0);
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = m * (((m * (1.0d0 - m)) / v) + (-1.0d0))
end function
public static double code(double m, double v) {
return m * (((m * (1.0 - m)) / v) + -1.0);
}
def code(m, v): return m * (((m * (1.0 - m)) / v) + -1.0)
function code(m, v) return Float64(m * Float64(Float64(Float64(m * Float64(1.0 - m)) / v) + -1.0)) end
function tmp = code(m, v) tmp = m * (((m * (1.0 - m)) / v) + -1.0); end
code[m_, v_] := N[(m * N[(N[(N[(m * N[(1.0 - m), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
m \cdot \left(\frac{m \cdot \left(1 - m\right)}{v} + -1\right)
\end{array}
(FPCore (m v) :precision binary64 (if (or (<= m 2.5e-139) (not (<= m 1.0))) (- m) (/ m (/ v m))))
double code(double m, double v) {
double tmp;
if ((m <= 2.5e-139) || !(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 <= 2.5d-139) .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 <= 2.5e-139) || !(m <= 1.0)) {
tmp = -m;
} else {
tmp = m / (v / m);
}
return tmp;
}
def code(m, v): tmp = 0 if (m <= 2.5e-139) or not (m <= 1.0): tmp = -m else: tmp = m / (v / m) return tmp
function code(m, v) tmp = 0.0 if ((m <= 2.5e-139) || !(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 <= 2.5e-139) || ~((m <= 1.0))) tmp = -m; else tmp = m / (v / m); end tmp_2 = tmp; end
code[m_, v_] := If[Or[LessEqual[m, 2.5e-139], 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 2.5 \cdot 10^{-139} \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 (or (<= m 6.5e-139) (not (<= m 1.0))) (- m) (/ (* m m) v)))
double code(double m, double v) {
double tmp;
if ((m <= 6.5e-139) || !(m <= 1.0)) {
tmp = -m;
} else {
tmp = (m * m) / v;
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if ((m <= 6.5d-139) .or. (.not. (m <= 1.0d0))) then
tmp = -m
else
tmp = (m * m) / v
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if ((m <= 6.5e-139) || !(m <= 1.0)) {
tmp = -m;
} else {
tmp = (m * m) / v;
}
return tmp;
}
def code(m, v): tmp = 0 if (m <= 6.5e-139) or not (m <= 1.0): tmp = -m else: tmp = (m * m) / v return tmp
function code(m, v) tmp = 0.0 if ((m <= 6.5e-139) || !(m <= 1.0)) tmp = Float64(-m); else tmp = Float64(Float64(m * m) / v); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if ((m <= 6.5e-139) || ~((m <= 1.0))) tmp = -m; else tmp = (m * m) / v; end tmp_2 = tmp; end
code[m_, v_] := If[Or[LessEqual[m, 6.5e-139], N[Not[LessEqual[m, 1.0]], $MachinePrecision]], (-m), N[(N[(m * m), $MachinePrecision] / v), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 6.5 \cdot 10^{-139} \lor \neg \left(m \leq 1\right):\\
\;\;\;\;-m\\
\mathbf{else}:\\
\;\;\;\;\frac{m \cdot m}{v}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.0) (* m (+ -1.0 (/ m v))) (- m)))
double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = m * (-1.0 + (m / v));
} else {
tmp = -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 / v))
else
tmp = -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 / v));
} else {
tmp = -m;
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.0: tmp = m * (-1.0 + (m / v)) else: tmp = -m return tmp
function code(m, v) tmp = 0.0 if (m <= 1.0) tmp = Float64(m * Float64(-1.0 + Float64(m / v))); else tmp = Float64(-m); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.0) tmp = m * (-1.0 + (m / v)); else tmp = -m; end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.0], N[(m * N[(-1.0 + N[(m / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], (-m)]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1:\\
\;\;\;\;m \cdot \left(-1 + \frac{m}{v}\right)\\
\mathbf{else}:\\
\;\;\;\;-m\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.0) (- (* m (/ m v)) m) (- m)))
double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = (m * (m / v)) - m;
} else {
tmp = -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)) - m
else
tmp = -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)) - m;
} else {
tmp = -m;
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.0: tmp = (m * (m / v)) - m else: tmp = -m return tmp
function code(m, v) tmp = 0.0 if (m <= 1.0) tmp = Float64(Float64(m * Float64(m / v)) - m); else tmp = Float64(-m); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.0) tmp = (m * (m / v)) - m; else tmp = -m; end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.0], N[(N[(m * N[(m / v), $MachinePrecision]), $MachinePrecision] - m), $MachinePrecision], (-m)]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1:\\
\;\;\;\;m \cdot \frac{m}{v} - m\\
\mathbf{else}:\\
\;\;\;\;-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 2023348
(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))