
(FPCore (x y z t) :precision binary64 (- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t))
double code(double x, double y, double z, double t) {
return (((x - 1.0) * log(y)) + ((z - 1.0) * log((1.0 - y)))) - t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = (((x - 1.0d0) * log(y)) + ((z - 1.0d0) * log((1.0d0 - y)))) - t
end function
public static double code(double x, double y, double z, double t) {
return (((x - 1.0) * Math.log(y)) + ((z - 1.0) * Math.log((1.0 - y)))) - t;
}
def code(x, y, z, t): return (((x - 1.0) * math.log(y)) + ((z - 1.0) * math.log((1.0 - y)))) - t
function code(x, y, z, t) return Float64(Float64(Float64(Float64(x - 1.0) * log(y)) + Float64(Float64(z - 1.0) * log(Float64(1.0 - y)))) - t) end
function tmp = code(x, y, z, t) tmp = (((x - 1.0) * log(y)) + ((z - 1.0) * log((1.0 - y)))) - t; end
code[x_, y_, z_, t_] := N[(N[(N[(N[(x - 1.0), $MachinePrecision] * N[Log[y], $MachinePrecision]), $MachinePrecision] + N[(N[(z - 1.0), $MachinePrecision] * N[Log[N[(1.0 - y), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(x - 1\right) \cdot \log y + \left(z - 1\right) \cdot \log \left(1 - y\right)\right) - t
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 13 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t) :precision binary64 (- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t))
double code(double x, double y, double z, double t) {
return (((x - 1.0) * log(y)) + ((z - 1.0) * log((1.0 - y)))) - t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = (((x - 1.0d0) * log(y)) + ((z - 1.0d0) * log((1.0d0 - y)))) - t
end function
public static double code(double x, double y, double z, double t) {
return (((x - 1.0) * Math.log(y)) + ((z - 1.0) * Math.log((1.0 - y)))) - t;
}
def code(x, y, z, t): return (((x - 1.0) * math.log(y)) + ((z - 1.0) * math.log((1.0 - y)))) - t
function code(x, y, z, t) return Float64(Float64(Float64(Float64(x - 1.0) * log(y)) + Float64(Float64(z - 1.0) * log(Float64(1.0 - y)))) - t) end
function tmp = code(x, y, z, t) tmp = (((x - 1.0) * log(y)) + ((z - 1.0) * log((1.0 - y)))) - t; end
code[x_, y_, z_, t_] := N[(N[(N[(N[(x - 1.0), $MachinePrecision] * N[Log[y], $MachinePrecision]), $MachinePrecision] + N[(N[(z - 1.0), $MachinePrecision] * N[Log[N[(1.0 - y), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(x - 1\right) \cdot \log y + \left(z - 1\right) \cdot \log \left(1 - y\right)\right) - t
\end{array}
(FPCore (x y z t) :precision binary64 (- (fma (+ x -1.0) (log y) (* (+ -1.0 z) (log1p (- y)))) t))
double code(double x, double y, double z, double t) {
return fma((x + -1.0), log(y), ((-1.0 + z) * log1p(-y))) - t;
}
function code(x, y, z, t) return Float64(fma(Float64(x + -1.0), log(y), Float64(Float64(-1.0 + z) * log1p(Float64(-y)))) - t) end
code[x_, y_, z_, t_] := N[(N[(N[(x + -1.0), $MachinePrecision] * N[Log[y], $MachinePrecision] + N[(N[(-1.0 + z), $MachinePrecision] * N[Log[1 + (-y)], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(x + -1, \log y, \left(-1 + z\right) \cdot \mathsf{log1p}\left(-y\right)\right) - t
\end{array}
(FPCore (x y z t) :precision binary64 (- (fma z (log1p (- y)) (* (log y) (+ x -1.0))) t))
double code(double x, double y, double z, double t) {
return fma(z, log1p(-y), (log(y) * (x + -1.0))) - t;
}
function code(x, y, z, t) return Float64(fma(z, log1p(Float64(-y)), Float64(log(y) * Float64(x + -1.0))) - t) end
code[x_, y_, z_, t_] := N[(N[(z * N[Log[1 + (-y)], $MachinePrecision] + N[(N[Log[y], $MachinePrecision] * N[(x + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(z, \mathsf{log1p}\left(-y\right), \log y \cdot \left(x + -1\right)\right) - t
\end{array}
(FPCore (x y z t) :precision binary64 (- (+ (* z (log1p (- y))) (* (log y) (+ x -1.0))) t))
double code(double x, double y, double z, double t) {
return ((z * log1p(-y)) + (log(y) * (x + -1.0))) - t;
}
public static double code(double x, double y, double z, double t) {
return ((z * Math.log1p(-y)) + (Math.log(y) * (x + -1.0))) - t;
}
def code(x, y, z, t): return ((z * math.log1p(-y)) + (math.log(y) * (x + -1.0))) - t
function code(x, y, z, t) return Float64(Float64(Float64(z * log1p(Float64(-y))) + Float64(log(y) * Float64(x + -1.0))) - t) end
code[x_, y_, z_, t_] := N[(N[(N[(z * N[Log[1 + (-y)], $MachinePrecision]), $MachinePrecision] + N[(N[Log[y], $MachinePrecision] * N[(x + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
\left(z \cdot \mathsf{log1p}\left(-y\right) + \log y \cdot \left(x + -1\right)\right) - t
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= z -3.9e+53) (not (<= z 4.6e+46))) (- (- (* x (log y)) (* y z)) t) (- (+ y (* (log y) (+ x -1.0))) t)))
double code(double x, double y, double z, double t) {
double tmp;
if ((z <= -3.9e+53) || !(z <= 4.6e+46)) {
tmp = ((x * log(y)) - (y * z)) - t;
} else {
tmp = (y + (log(y) * (x + -1.0))) - t;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if ((z <= (-3.9d+53)) .or. (.not. (z <= 4.6d+46))) then
tmp = ((x * log(y)) - (y * z)) - t
else
tmp = (y + (log(y) * (x + (-1.0d0)))) - t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((z <= -3.9e+53) || !(z <= 4.6e+46)) {
tmp = ((x * Math.log(y)) - (y * z)) - t;
} else {
tmp = (y + (Math.log(y) * (x + -1.0))) - t;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (z <= -3.9e+53) or not (z <= 4.6e+46): tmp = ((x * math.log(y)) - (y * z)) - t else: tmp = (y + (math.log(y) * (x + -1.0))) - t return tmp
function code(x, y, z, t) tmp = 0.0 if ((z <= -3.9e+53) || !(z <= 4.6e+46)) tmp = Float64(Float64(Float64(x * log(y)) - Float64(y * z)) - t); else tmp = Float64(Float64(y + Float64(log(y) * Float64(x + -1.0))) - t); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((z <= -3.9e+53) || ~((z <= 4.6e+46))) tmp = ((x * log(y)) - (y * z)) - t; else tmp = (y + (log(y) * (x + -1.0))) - t; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[z, -3.9e+53], N[Not[LessEqual[z, 4.6e+46]], $MachinePrecision]], N[(N[(N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision] - N[(y * z), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision], N[(N[(y + N[(N[Log[y], $MachinePrecision] * N[(x + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -3.9 \cdot 10^{+53} \lor \neg \left(z \leq 4.6 \cdot 10^{+46}\right):\\
\;\;\;\;\left(x \cdot \log y - y \cdot z\right) - t\\
\mathbf{else}:\\
\;\;\;\;\left(y + \log y \cdot \left(x + -1\right)\right) - t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (- (+ (* y (- 1.0 z)) (* (log y) (+ x -1.0))) t))
double code(double x, double y, double z, double t) {
return ((y * (1.0 - z)) + (log(y) * (x + -1.0))) - t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = ((y * (1.0d0 - z)) + (log(y) * (x + (-1.0d0)))) - t
end function
public static double code(double x, double y, double z, double t) {
return ((y * (1.0 - z)) + (Math.log(y) * (x + -1.0))) - t;
}
def code(x, y, z, t): return ((y * (1.0 - z)) + (math.log(y) * (x + -1.0))) - t
function code(x, y, z, t) return Float64(Float64(Float64(y * Float64(1.0 - z)) + Float64(log(y) * Float64(x + -1.0))) - t) end
function tmp = code(x, y, z, t) tmp = ((y * (1.0 - z)) + (log(y) * (x + -1.0))) - t; end
code[x_, y_, z_, t_] := N[(N[(N[(y * N[(1.0 - z), $MachinePrecision]), $MachinePrecision] + N[(N[Log[y], $MachinePrecision] * N[(x + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
\left(y \cdot \left(1 - z\right) + \log y \cdot \left(x + -1\right)\right) - t
\end{array}
(FPCore (x y z t) :precision binary64 (if (<= z 9e+142) (- (+ y (* (log y) (+ x -1.0))) t) (if (<= z 2e+254) (- (* z (log1p (- y))) t) (- (* x (log y)) t))))
double code(double x, double y, double z, double t) {
double tmp;
if (z <= 9e+142) {
tmp = (y + (log(y) * (x + -1.0))) - t;
} else if (z <= 2e+254) {
tmp = (z * log1p(-y)) - t;
} else {
tmp = (x * log(y)) - t;
}
return tmp;
}
public static double code(double x, double y, double z, double t) {
double tmp;
if (z <= 9e+142) {
tmp = (y + (Math.log(y) * (x + -1.0))) - t;
} else if (z <= 2e+254) {
tmp = (z * Math.log1p(-y)) - t;
} else {
tmp = (x * Math.log(y)) - t;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if z <= 9e+142: tmp = (y + (math.log(y) * (x + -1.0))) - t elif z <= 2e+254: tmp = (z * math.log1p(-y)) - t else: tmp = (x * math.log(y)) - t return tmp
function code(x, y, z, t) tmp = 0.0 if (z <= 9e+142) tmp = Float64(Float64(y + Float64(log(y) * Float64(x + -1.0))) - t); elseif (z <= 2e+254) tmp = Float64(Float64(z * log1p(Float64(-y))) - t); else tmp = Float64(Float64(x * log(y)) - t); end return tmp end
code[x_, y_, z_, t_] := If[LessEqual[z, 9e+142], N[(N[(y + N[(N[Log[y], $MachinePrecision] * N[(x + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision], If[LessEqual[z, 2e+254], N[(N[(z * N[Log[1 + (-y)], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision], N[(N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq 9 \cdot 10^{+142}:\\
\;\;\;\;\left(y + \log y \cdot \left(x + -1\right)\right) - t\\
\mathbf{elif}\;z \leq 2 \cdot 10^{+254}:\\
\;\;\;\;z \cdot \mathsf{log1p}\left(-y\right) - t\\
\mathbf{else}:\\
\;\;\;\;x \cdot \log y - t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (- (- (* (log y) (+ x -1.0)) (* y z)) t))
double code(double x, double y, double z, double t) {
return ((log(y) * (x + -1.0)) - (y * z)) - t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = ((log(y) * (x + (-1.0d0))) - (y * z)) - t
end function
public static double code(double x, double y, double z, double t) {
return ((Math.log(y) * (x + -1.0)) - (y * z)) - t;
}
def code(x, y, z, t): return ((math.log(y) * (x + -1.0)) - (y * z)) - t
function code(x, y, z, t) return Float64(Float64(Float64(log(y) * Float64(x + -1.0)) - Float64(y * z)) - t) end
function tmp = code(x, y, z, t) tmp = ((log(y) * (x + -1.0)) - (y * z)) - t; end
code[x_, y_, z_, t_] := N[(N[(N[(N[Log[y], $MachinePrecision] * N[(x + -1.0), $MachinePrecision]), $MachinePrecision] - N[(y * z), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
\left(\log y \cdot \left(x + -1\right) - y \cdot z\right) - t
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -1.5e-8) (not (<= x 4.0))) (- (* x (log y)) t) (- (* z (log1p (- y))) t)))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -1.5e-8) || !(x <= 4.0)) {
tmp = (x * log(y)) - t;
} else {
tmp = (z * log1p(-y)) - t;
}
return tmp;
}
public static double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -1.5e-8) || !(x <= 4.0)) {
tmp = (x * Math.log(y)) - t;
} else {
tmp = (z * Math.log1p(-y)) - t;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -1.5e-8) or not (x <= 4.0): tmp = (x * math.log(y)) - t else: tmp = (z * math.log1p(-y)) - t return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -1.5e-8) || !(x <= 4.0)) tmp = Float64(Float64(x * log(y)) - t); else tmp = Float64(Float64(z * log1p(Float64(-y))) - t); end return tmp end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -1.5e-8], N[Not[LessEqual[x, 4.0]], $MachinePrecision]], N[(N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision], N[(N[(z * N[Log[1 + (-y)], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.5 \cdot 10^{-8} \lor \neg \left(x \leq 4\right):\\
\;\;\;\;x \cdot \log y - t\\
\mathbf{else}:\\
\;\;\;\;z \cdot \mathsf{log1p}\left(-y\right) - t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (<= z 2.3e+143) (- (* (log y) (+ x -1.0)) t) (if (<= z 4.2e+254) (- (* z (log1p (- y))) t) (- (* x (log y)) t))))
double code(double x, double y, double z, double t) {
double tmp;
if (z <= 2.3e+143) {
tmp = (log(y) * (x + -1.0)) - t;
} else if (z <= 4.2e+254) {
tmp = (z * log1p(-y)) - t;
} else {
tmp = (x * log(y)) - t;
}
return tmp;
}
public static double code(double x, double y, double z, double t) {
double tmp;
if (z <= 2.3e+143) {
tmp = (Math.log(y) * (x + -1.0)) - t;
} else if (z <= 4.2e+254) {
tmp = (z * Math.log1p(-y)) - t;
} else {
tmp = (x * Math.log(y)) - t;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if z <= 2.3e+143: tmp = (math.log(y) * (x + -1.0)) - t elif z <= 4.2e+254: tmp = (z * math.log1p(-y)) - t else: tmp = (x * math.log(y)) - t return tmp
function code(x, y, z, t) tmp = 0.0 if (z <= 2.3e+143) tmp = Float64(Float64(log(y) * Float64(x + -1.0)) - t); elseif (z <= 4.2e+254) tmp = Float64(Float64(z * log1p(Float64(-y))) - t); else tmp = Float64(Float64(x * log(y)) - t); end return tmp end
code[x_, y_, z_, t_] := If[LessEqual[z, 2.3e+143], N[(N[(N[Log[y], $MachinePrecision] * N[(x + -1.0), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision], If[LessEqual[z, 4.2e+254], N[(N[(z * N[Log[1 + (-y)], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision], N[(N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq 2.3 \cdot 10^{+143}:\\
\;\;\;\;\log y \cdot \left(x + -1\right) - t\\
\mathbf{elif}\;z \leq 4.2 \cdot 10^{+254}:\\
\;\;\;\;z \cdot \mathsf{log1p}\left(-y\right) - t\\
\mathbf{else}:\\
\;\;\;\;x \cdot \log y - t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -1.9e-8) (not (<= x 3.9))) (- (* x (log y)) t) (- (* y (- z)) t)))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -1.9e-8) || !(x <= 3.9)) {
tmp = (x * log(y)) - t;
} else {
tmp = (y * -z) - t;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if ((x <= (-1.9d-8)) .or. (.not. (x <= 3.9d0))) then
tmp = (x * log(y)) - t
else
tmp = (y * -z) - t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -1.9e-8) || !(x <= 3.9)) {
tmp = (x * Math.log(y)) - t;
} else {
tmp = (y * -z) - t;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -1.9e-8) or not (x <= 3.9): tmp = (x * math.log(y)) - t else: tmp = (y * -z) - t return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -1.9e-8) || !(x <= 3.9)) tmp = Float64(Float64(x * log(y)) - t); else tmp = Float64(Float64(y * Float64(-z)) - t); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((x <= -1.9e-8) || ~((x <= 3.9))) tmp = (x * log(y)) - t; else tmp = (y * -z) - t; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -1.9e-8], N[Not[LessEqual[x, 3.9]], $MachinePrecision]], N[(N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision], N[(N[(y * (-z)), $MachinePrecision] - t), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.9 \cdot 10^{-8} \lor \neg \left(x \leq 3.9\right):\\
\;\;\;\;x \cdot \log y - t\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(-z\right) - t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -5.2e+117) (not (<= x 2.35e+33))) (* x (log y)) (- (* y (- z)) t)))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -5.2e+117) || !(x <= 2.35e+33)) {
tmp = x * log(y);
} else {
tmp = (y * -z) - t;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if ((x <= (-5.2d+117)) .or. (.not. (x <= 2.35d+33))) then
tmp = x * log(y)
else
tmp = (y * -z) - t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -5.2e+117) || !(x <= 2.35e+33)) {
tmp = x * Math.log(y);
} else {
tmp = (y * -z) - t;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -5.2e+117) or not (x <= 2.35e+33): tmp = x * math.log(y) else: tmp = (y * -z) - t return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -5.2e+117) || !(x <= 2.35e+33)) tmp = Float64(x * log(y)); else tmp = Float64(Float64(y * Float64(-z)) - t); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((x <= -5.2e+117) || ~((x <= 2.35e+33))) tmp = x * log(y); else tmp = (y * -z) - t; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -5.2e+117], N[Not[LessEqual[x, 2.35e+33]], $MachinePrecision]], N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision], N[(N[(y * (-z)), $MachinePrecision] - t), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -5.2 \cdot 10^{+117} \lor \neg \left(x \leq 2.35 \cdot 10^{+33}\right):\\
\;\;\;\;x \cdot \log y\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(-z\right) - t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (- (* y (- z)) t))
double code(double x, double y, double z, double t) {
return (y * -z) - t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = (y * -z) - t
end function
public static double code(double x, double y, double z, double t) {
return (y * -z) - t;
}
def code(x, y, z, t): return (y * -z) - t
function code(x, y, z, t) return Float64(Float64(y * Float64(-z)) - t) end
function tmp = code(x, y, z, t) tmp = (y * -z) - t; end
code[x_, y_, z_, t_] := N[(N[(y * (-z)), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
y \cdot \left(-z\right) - t
\end{array}
(FPCore (x y z t) :precision binary64 (- t))
double code(double x, double y, double z, double t) {
return -t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = -t
end function
public static double code(double x, double y, double z, double t) {
return -t;
}
def code(x, y, z, t): return -t
function code(x, y, z, t) return Float64(-t) end
function tmp = code(x, y, z, t) tmp = -t; end
code[x_, y_, z_, t_] := (-t)
\begin{array}{l}
\\
-t
\end{array}
herbie shell --seed 2023350
(FPCore (x y z t)
:name "Statistics.Distribution.Beta:$cdensity from math-functions-0.1.5.2"
:precision binary64
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t))