
(FPCore (m v) :precision binary64 (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
double code(double m, double v) {
return (((m * (1.0 - m)) / v) - 1.0) * (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) * (1.0d0 - m)
end function
public static double code(double m, double v) {
return (((m * (1.0 - m)) / v) - 1.0) * (1.0 - m);
}
def code(m, v): return (((m * (1.0 - m)) / v) - 1.0) * (1.0 - m)
function code(m, v) return Float64(Float64(Float64(Float64(m * Float64(1.0 - m)) / v) - 1.0) * Float64(1.0 - m)) end
function tmp = code(m, v) tmp = (((m * (1.0 - m)) / v) - 1.0) * (1.0 - m); end
code[m_, v_] := N[(N[(N[(N[(m * N[(1.0 - m), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision] - 1.0), $MachinePrecision] * N[(1.0 - m), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(\frac{m \cdot \left(1 - m\right)}{v} - 1\right) \cdot \left(1 - m\right)
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 14 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (m v) :precision binary64 (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
double code(double m, double v) {
return (((m * (1.0 - m)) / v) - 1.0) * (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) * (1.0d0 - m)
end function
public static double code(double m, double v) {
return (((m * (1.0 - m)) / v) - 1.0) * (1.0 - m);
}
def code(m, v): return (((m * (1.0 - m)) / v) - 1.0) * (1.0 - m)
function code(m, v) return Float64(Float64(Float64(Float64(m * Float64(1.0 - m)) / v) - 1.0) * Float64(1.0 - m)) end
function tmp = code(m, v) tmp = (((m * (1.0 - m)) / v) - 1.0) * (1.0 - m); end
code[m_, v_] := N[(N[(N[(N[(m * N[(1.0 - m), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision] - 1.0), $MachinePrecision] * N[(1.0 - m), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(\frac{m \cdot \left(1 - m\right)}{v} - 1\right) \cdot \left(1 - m\right)
\end{array}
(FPCore (m v) :precision binary64 (* (- 1.0 m) (+ (/ (* m (- 1.0 m)) v) -1.0)))
double code(double m, double v) {
return (1.0 - 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 = (1.0d0 - m) * (((m * (1.0d0 - m)) / v) + (-1.0d0))
end function
public static double code(double m, double v) {
return (1.0 - m) * (((m * (1.0 - m)) / v) + -1.0);
}
def code(m, v): return (1.0 - m) * (((m * (1.0 - m)) / v) + -1.0)
function code(m, v) return Float64(Float64(1.0 - m) * Float64(Float64(Float64(m * Float64(1.0 - m)) / v) + -1.0)) end
function tmp = code(m, v) tmp = (1.0 - m) * (((m * (1.0 - m)) / v) + -1.0); end
code[m_, v_] := N[(N[(1.0 - m), $MachinePrecision] * N[(N[(N[(m * N[(1.0 - m), $MachinePrecision]), $MachinePrecision] / v), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - m\right) \cdot \left(\frac{m \cdot \left(1 - m\right)}{v} + -1\right)
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.0) (* (- 1.0 m) (+ (/ m v) -1.0)) (* (- 1.0 m) (- -1.0 (* m (/ m v))))))
double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = (1.0 - m) * ((m / v) + -1.0);
} else {
tmp = (1.0 - m) * (-1.0 - (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.0d0) then
tmp = (1.0d0 - m) * ((m / v) + (-1.0d0))
else
tmp = (1.0d0 - m) * ((-1.0d0) - (m * (m / v)))
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = (1.0 - m) * ((m / v) + -1.0);
} else {
tmp = (1.0 - m) * (-1.0 - (m * (m / v)));
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.0: tmp = (1.0 - m) * ((m / v) + -1.0) else: tmp = (1.0 - m) * (-1.0 - (m * (m / v))) return tmp
function code(m, v) tmp = 0.0 if (m <= 1.0) tmp = Float64(Float64(1.0 - m) * Float64(Float64(m / v) + -1.0)); else tmp = Float64(Float64(1.0 - m) * Float64(-1.0 - Float64(m * Float64(m / v)))); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.0) tmp = (1.0 - m) * ((m / v) + -1.0); else tmp = (1.0 - m) * (-1.0 - (m * (m / v))); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.0], N[(N[(1.0 - m), $MachinePrecision] * N[(N[(m / v), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - m), $MachinePrecision] * N[(-1.0 - N[(m * N[(m / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1:\\
\;\;\;\;\left(1 - m\right) \cdot \left(\frac{m}{v} + -1\right)\\
\mathbf{else}:\\
\;\;\;\;\left(1 - m\right) \cdot \left(-1 - m \cdot \frac{m}{v}\right)\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (* (- 1.0 m) (+ (* (- 1.0 m) (/ m v)) -1.0)))
double code(double m, double v) {
return (1.0 - m) * (((1.0 - m) * (m / v)) + -1.0);
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = (1.0d0 - m) * (((1.0d0 - m) * (m / v)) + (-1.0d0))
end function
public static double code(double m, double v) {
return (1.0 - m) * (((1.0 - m) * (m / v)) + -1.0);
}
def code(m, v): return (1.0 - m) * (((1.0 - m) * (m / v)) + -1.0)
function code(m, v) return Float64(Float64(1.0 - m) * Float64(Float64(Float64(1.0 - m) * Float64(m / v)) + -1.0)) end
function tmp = code(m, v) tmp = (1.0 - m) * (((1.0 - m) * (m / v)) + -1.0); end
code[m_, v_] := N[(N[(1.0 - m), $MachinePrecision] * N[(N[(N[(1.0 - m), $MachinePrecision] * N[(m / v), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - m\right) \cdot \left(\left(1 - m\right) \cdot \frac{m}{v} + -1\right)
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 4.7e-172) -1.0 (if (<= m 2.2) (/ m v) (+ m (/ m (/ v m))))))
double code(double m, double v) {
double tmp;
if (m <= 4.7e-172) {
tmp = -1.0;
} else if (m <= 2.2) {
tmp = m / v;
} else {
tmp = m + (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 <= 4.7d-172) then
tmp = -1.0d0
else if (m <= 2.2d0) then
tmp = m / v
else
tmp = m + (m / (v / m))
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 4.7e-172) {
tmp = -1.0;
} else if (m <= 2.2) {
tmp = m / v;
} else {
tmp = m + (m / (v / m));
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 4.7e-172: tmp = -1.0 elif m <= 2.2: tmp = m / v else: tmp = m + (m / (v / m)) return tmp
function code(m, v) tmp = 0.0 if (m <= 4.7e-172) tmp = -1.0; elseif (m <= 2.2) tmp = Float64(m / v); else tmp = Float64(m + Float64(m / Float64(v / m))); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 4.7e-172) tmp = -1.0; elseif (m <= 2.2) tmp = m / v; else tmp = m + (m / (v / m)); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 4.7e-172], -1.0, If[LessEqual[m, 2.2], N[(m / v), $MachinePrecision], N[(m + N[(m / N[(v / m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 4.7 \cdot 10^{-172}:\\
\;\;\;\;-1\\
\mathbf{elif}\;m \leq 2.2:\\
\;\;\;\;\frac{m}{v}\\
\mathbf{else}:\\
\;\;\;\;m + \frac{m}{\frac{v}{m}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 2.4) (+ -1.0 (+ m (/ m v))) (* m (+ 1.0 (/ (+ m 1.0) v)))))
double code(double m, double v) {
double tmp;
if (m <= 2.4) {
tmp = -1.0 + (m + (m / v));
} else {
tmp = m * (1.0 + ((m + 1.0) / v));
}
return tmp;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
real(8) :: tmp
if (m <= 2.4d0) then
tmp = (-1.0d0) + (m + (m / v))
else
tmp = m * (1.0d0 + ((m + 1.0d0) / v))
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 2.4) {
tmp = -1.0 + (m + (m / v));
} else {
tmp = m * (1.0 + ((m + 1.0) / v));
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 2.4: tmp = -1.0 + (m + (m / v)) else: tmp = m * (1.0 + ((m + 1.0) / v)) return tmp
function code(m, v) tmp = 0.0 if (m <= 2.4) tmp = Float64(-1.0 + Float64(m + Float64(m / v))); else tmp = Float64(m * Float64(1.0 + Float64(Float64(m + 1.0) / v))); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 2.4) tmp = -1.0 + (m + (m / v)); else tmp = m * (1.0 + ((m + 1.0) / v)); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 2.4], N[(-1.0 + N[(m + N[(m / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(m * N[(1.0 + N[(N[(m + 1.0), $MachinePrecision] / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 2.4:\\
\;\;\;\;-1 + \left(m + \frac{m}{v}\right)\\
\mathbf{else}:\\
\;\;\;\;m \cdot \left(1 + \frac{m + 1}{v}\right)\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.0) (* (- 1.0 m) (+ (/ m v) -1.0)) (/ (+ m -1.0) (/ v m))))
double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = (1.0 - m) * ((m / v) + -1.0);
} else {
tmp = (m + -1.0) / (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 = (1.0d0 - m) * ((m / v) + (-1.0d0))
else
tmp = (m + (-1.0d0)) / (v / m)
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = (1.0 - m) * ((m / v) + -1.0);
} else {
tmp = (m + -1.0) / (v / m);
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.0: tmp = (1.0 - m) * ((m / v) + -1.0) else: tmp = (m + -1.0) / (v / m) return tmp
function code(m, v) tmp = 0.0 if (m <= 1.0) tmp = Float64(Float64(1.0 - m) * Float64(Float64(m / v) + -1.0)); else tmp = Float64(Float64(m + -1.0) / Float64(v / m)); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.0) tmp = (1.0 - m) * ((m / v) + -1.0); else tmp = (m + -1.0) / (v / m); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.0], N[(N[(1.0 - m), $MachinePrecision] * N[(N[(m / v), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision], N[(N[(m + -1.0), $MachinePrecision] / N[(v / m), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1:\\
\;\;\;\;\left(1 - m\right) \cdot \left(\frac{m}{v} + -1\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{m + -1}{\frac{v}{m}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.0) (* (- 1.0 m) (+ (/ m v) -1.0)) (* (- 1.0 m) (- -1.0 (/ m v)))))
double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = (1.0 - m) * ((m / v) + -1.0);
} else {
tmp = (1.0 - 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.0d0) then
tmp = (1.0d0 - m) * ((m / v) + (-1.0d0))
else
tmp = (1.0d0 - m) * ((-1.0d0) - (m / v))
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = (1.0 - m) * ((m / v) + -1.0);
} else {
tmp = (1.0 - m) * (-1.0 - (m / v));
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.0: tmp = (1.0 - m) * ((m / v) + -1.0) else: tmp = (1.0 - m) * (-1.0 - (m / v)) return tmp
function code(m, v) tmp = 0.0 if (m <= 1.0) tmp = Float64(Float64(1.0 - m) * Float64(Float64(m / v) + -1.0)); else tmp = Float64(Float64(1.0 - m) * Float64(-1.0 - Float64(m / v))); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.0) tmp = (1.0 - m) * ((m / v) + -1.0); else tmp = (1.0 - m) * (-1.0 - (m / v)); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.0], N[(N[(1.0 - m), $MachinePrecision] * N[(N[(m / v), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - m), $MachinePrecision] * N[(-1.0 - N[(m / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1:\\
\;\;\;\;\left(1 - m\right) \cdot \left(\frac{m}{v} + -1\right)\\
\mathbf{else}:\\
\;\;\;\;\left(1 - m\right) \cdot \left(-1 - \frac{m}{v}\right)\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 2.2) (+ -1.0 (+ m (/ m v))) (+ m (/ m (/ v m)))))
double code(double m, double v) {
double tmp;
if (m <= 2.2) {
tmp = -1.0 + (m + (m / v));
} else {
tmp = m + (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.2d0) then
tmp = (-1.0d0) + (m + (m / v))
else
tmp = m + (m / (v / m))
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 2.2) {
tmp = -1.0 + (m + (m / v));
} else {
tmp = m + (m / (v / m));
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 2.2: tmp = -1.0 + (m + (m / v)) else: tmp = m + (m / (v / m)) return tmp
function code(m, v) tmp = 0.0 if (m <= 2.2) tmp = Float64(-1.0 + Float64(m + Float64(m / v))); else tmp = Float64(m + Float64(m / Float64(v / m))); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 2.2) tmp = -1.0 + (m + (m / v)); else tmp = m + (m / (v / m)); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 2.2], N[(-1.0 + N[(m + N[(m / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(m + N[(m / N[(v / m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 2.2:\\
\;\;\;\;-1 + \left(m + \frac{m}{v}\right)\\
\mathbf{else}:\\
\;\;\;\;m + \frac{m}{\frac{v}{m}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.0) (+ -1.0 (+ m (/ m v))) (/ (+ m -1.0) (/ v m))))
double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = -1.0 + (m + (m / v));
} else {
tmp = (m + -1.0) / (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 = (-1.0d0) + (m + (m / v))
else
tmp = (m + (-1.0d0)) / (v / m)
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.0) {
tmp = -1.0 + (m + (m / v));
} else {
tmp = (m + -1.0) / (v / m);
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.0: tmp = -1.0 + (m + (m / v)) else: tmp = (m + -1.0) / (v / m) return tmp
function code(m, v) tmp = 0.0 if (m <= 1.0) tmp = Float64(-1.0 + Float64(m + Float64(m / v))); else tmp = Float64(Float64(m + -1.0) / Float64(v / m)); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.0) tmp = -1.0 + (m + (m / v)); else tmp = (m + -1.0) / (v / m); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.0], N[(-1.0 + N[(m + N[(m / v), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(m + -1.0), $MachinePrecision] / N[(v / m), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1:\\
\;\;\;\;-1 + \left(m + \frac{m}{v}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{m + -1}{\frac{v}{m}}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 2.6e-172) -1.0 (+ m (/ m v))))
double code(double m, double v) {
double tmp;
if (m <= 2.6e-172) {
tmp = -1.0;
} 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 <= 2.6d-172) then
tmp = -1.0d0
else
tmp = m + (m / v)
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 2.6e-172) {
tmp = -1.0;
} else {
tmp = m + (m / v);
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 2.6e-172: tmp = -1.0 else: tmp = m + (m / v) return tmp
function code(m, v) tmp = 0.0 if (m <= 2.6e-172) tmp = -1.0; else tmp = Float64(m + Float64(m / v)); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 2.6e-172) tmp = -1.0; else tmp = m + (m / v); end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 2.6e-172], -1.0, N[(m + N[(m / v), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 2.6 \cdot 10^{-172}:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;m + \frac{m}{v}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 3.4e-172) -1.0 (/ m v)))
double code(double m, double v) {
double tmp;
if (m <= 3.4e-172) {
tmp = -1.0;
} else {
tmp = 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 <= 3.4d-172) then
tmp = -1.0d0
else
tmp = m / v
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 3.4e-172) {
tmp = -1.0;
} else {
tmp = m / v;
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 3.4e-172: tmp = -1.0 else: tmp = m / v return tmp
function code(m, v) tmp = 0.0 if (m <= 3.4e-172) tmp = -1.0; else tmp = Float64(m / v); end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 3.4e-172) tmp = -1.0; else tmp = m / v; end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 3.4e-172], -1.0, N[(m / v), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 3.4 \cdot 10^{-172}:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;\frac{m}{v}\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (if (<= m 1.65e-41) -1.0 m))
double code(double m, double v) {
double tmp;
if (m <= 1.65e-41) {
tmp = -1.0;
} 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.65d-41) then
tmp = -1.0d0
else
tmp = m
end if
code = tmp
end function
public static double code(double m, double v) {
double tmp;
if (m <= 1.65e-41) {
tmp = -1.0;
} else {
tmp = m;
}
return tmp;
}
def code(m, v): tmp = 0 if m <= 1.65e-41: tmp = -1.0 else: tmp = m return tmp
function code(m, v) tmp = 0.0 if (m <= 1.65e-41) tmp = -1.0; else tmp = m; end return tmp end
function tmp_2 = code(m, v) tmp = 0.0; if (m <= 1.65e-41) tmp = -1.0; else tmp = m; end tmp_2 = tmp; end
code[m_, v_] := If[LessEqual[m, 1.65e-41], -1.0, m]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 1.65 \cdot 10^{-41}:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;m\\
\end{array}
\end{array}
(FPCore (m v) :precision binary64 (+ m -1.0))
double code(double m, double v) {
return m + -1.0;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = m + (-1.0d0)
end function
public static double code(double m, double v) {
return m + -1.0;
}
def code(m, v): return m + -1.0
function code(m, v) return Float64(m + -1.0) end
function tmp = code(m, v) tmp = m + -1.0; end
code[m_, v_] := N[(m + -1.0), $MachinePrecision]
\begin{array}{l}
\\
m + -1
\end{array}
(FPCore (m v) :precision binary64 -1.0)
double code(double m, double v) {
return -1.0;
}
real(8) function code(m, v)
real(8), intent (in) :: m
real(8), intent (in) :: v
code = -1.0d0
end function
public static double code(double m, double v) {
return -1.0;
}
def code(m, v): return -1.0
function code(m, v) return -1.0 end
function tmp = code(m, v) tmp = -1.0; end
code[m_, v_] := -1.0
\begin{array}{l}
\\
-1
\end{array}
herbie shell --seed 2023364
(FPCore (m v)
:name "b 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) (- 1.0 m)))