
(FPCore (x y z t a) :precision binary64 (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
double code(double x, double y, double z, double t, double a) {
return ((log((x + y)) + log(z)) - t) + ((a - 0.5) * log(t));
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = ((log((x + y)) + log(z)) - t) + ((a - 0.5d0) * log(t))
end function
public static double code(double x, double y, double z, double t, double a) {
return ((Math.log((x + y)) + Math.log(z)) - t) + ((a - 0.5) * Math.log(t));
}
def code(x, y, z, t, a): return ((math.log((x + y)) + math.log(z)) - t) + ((a - 0.5) * math.log(t))
function code(x, y, z, t, a) return Float64(Float64(Float64(log(Float64(x + y)) + log(z)) - t) + Float64(Float64(a - 0.5) * log(t))) end
function tmp = code(x, y, z, t, a) tmp = ((log((x + y)) + log(z)) - t) + ((a - 0.5) * log(t)); end
code[x_, y_, z_, t_, a_] := N[(N[(N[(N[Log[N[(x + y), $MachinePrecision]], $MachinePrecision] + N[Log[z], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision] + N[(N[(a - 0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(\log \left(x + y\right) + \log z\right) - t\right) + \left(a - 0.5\right) \cdot \log t
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 14 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a) :precision binary64 (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
double code(double x, double y, double z, double t, double a) {
return ((log((x + y)) + log(z)) - t) + ((a - 0.5) * log(t));
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = ((log((x + y)) + log(z)) - t) + ((a - 0.5d0) * log(t))
end function
public static double code(double x, double y, double z, double t, double a) {
return ((Math.log((x + y)) + Math.log(z)) - t) + ((a - 0.5) * Math.log(t));
}
def code(x, y, z, t, a): return ((math.log((x + y)) + math.log(z)) - t) + ((a - 0.5) * math.log(t))
function code(x, y, z, t, a) return Float64(Float64(Float64(log(Float64(x + y)) + log(z)) - t) + Float64(Float64(a - 0.5) * log(t))) end
function tmp = code(x, y, z, t, a) tmp = ((log((x + y)) + log(z)) - t) + ((a - 0.5) * log(t)); end
code[x_, y_, z_, t_, a_] := N[(N[(N[(N[Log[N[(x + y), $MachinePrecision]], $MachinePrecision] + N[Log[z], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision] + N[(N[(a - 0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(\log \left(x + y\right) + \log z\right) - t\right) + \left(a - 0.5\right) \cdot \log t
\end{array}
(FPCore (x y z t a) :precision binary64 (fma (+ a -0.5) (log t) (+ (log (+ x y)) (- (log z) t))))
double code(double x, double y, double z, double t, double a) {
return fma((a + -0.5), log(t), (log((x + y)) + (log(z) - t)));
}
function code(x, y, z, t, a) return fma(Float64(a + -0.5), log(t), Float64(log(Float64(x + y)) + Float64(log(z) - t))) end
code[x_, y_, z_, t_, a_] := N[(N[(a + -0.5), $MachinePrecision] * N[Log[t], $MachinePrecision] + N[(N[Log[N[(x + y), $MachinePrecision]], $MachinePrecision] + N[(N[Log[z], $MachinePrecision] - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(a + -0.5, \log t, \log \left(x + y\right) + \left(\log z - t\right)\right)
\end{array}
(FPCore (x y z t a) :precision binary64 (+ (+ (log (+ x y)) (- (log z) t)) (* (+ a -0.5) (log t))))
double code(double x, double y, double z, double t, double a) {
return (log((x + y)) + (log(z) - t)) + ((a + -0.5) * log(t));
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = (log((x + y)) + (log(z) - t)) + ((a + (-0.5d0)) * log(t))
end function
public static double code(double x, double y, double z, double t, double a) {
return (Math.log((x + y)) + (Math.log(z) - t)) + ((a + -0.5) * Math.log(t));
}
def code(x, y, z, t, a): return (math.log((x + y)) + (math.log(z) - t)) + ((a + -0.5) * math.log(t))
function code(x, y, z, t, a) return Float64(Float64(log(Float64(x + y)) + Float64(log(z) - t)) + Float64(Float64(a + -0.5) * log(t))) end
function tmp = code(x, y, z, t, a) tmp = (log((x + y)) + (log(z) - t)) + ((a + -0.5) * log(t)); end
code[x_, y_, z_, t_, a_] := N[(N[(N[Log[N[(x + y), $MachinePrecision]], $MachinePrecision] + N[(N[Log[z], $MachinePrecision] - t), $MachinePrecision]), $MachinePrecision] + N[(N[(a + -0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(\log \left(x + y\right) + \left(\log z - t\right)\right) + \left(a + -0.5\right) \cdot \log t
\end{array}
(FPCore (x y z t a) :precision binary64 (if (<= t 0.52) (+ (* (+ a -0.5) (log t)) (+ (log z) (log y))) (fma (log t) (+ a -0.5) (- t))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= 0.52) {
tmp = ((a + -0.5) * log(t)) + (log(z) + log(y));
} else {
tmp = fma(log(t), (a + -0.5), -t);
}
return tmp;
}
function code(x, y, z, t, a) tmp = 0.0 if (t <= 0.52) tmp = Float64(Float64(Float64(a + -0.5) * log(t)) + Float64(log(z) + log(y))); else tmp = fma(log(t), Float64(a + -0.5), Float64(-t)); end return tmp end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, 0.52], N[(N[(N[(a + -0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision] + N[(N[Log[z], $MachinePrecision] + N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[Log[t], $MachinePrecision] * N[(a + -0.5), $MachinePrecision] + (-t)), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq 0.52:\\
\;\;\;\;\left(a + -0.5\right) \cdot \log t + \left(\log z + \log y\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\log t, a + -0.5, -t\right)\\
\end{array}
\end{array}
(FPCore (x y z t a) :precision binary64 (+ (* (+ a -0.5) (log t)) (+ (- (log z) t) (log y))))
double code(double x, double y, double z, double t, double a) {
return ((a + -0.5) * log(t)) + ((log(z) - t) + log(y));
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = ((a + (-0.5d0)) * log(t)) + ((log(z) - t) + log(y))
end function
public static double code(double x, double y, double z, double t, double a) {
return ((a + -0.5) * Math.log(t)) + ((Math.log(z) - t) + Math.log(y));
}
def code(x, y, z, t, a): return ((a + -0.5) * math.log(t)) + ((math.log(z) - t) + math.log(y))
function code(x, y, z, t, a) return Float64(Float64(Float64(a + -0.5) * log(t)) + Float64(Float64(log(z) - t) + log(y))) end
function tmp = code(x, y, z, t, a) tmp = ((a + -0.5) * log(t)) + ((log(z) - t) + log(y)); end
code[x_, y_, z_, t_, a_] := N[(N[(N[(a + -0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision] + N[(N[(N[Log[z], $MachinePrecision] - t), $MachinePrecision] + N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(a + -0.5\right) \cdot \log t + \left(\left(\log z - t\right) + \log y\right)
\end{array}
(FPCore (x y z t a) :precision binary64 (if (<= t 5.6e+14) (- (+ (log (* (+ x y) z)) (* (log t) (- a 0.5))) t) (fma (log t) (+ a -0.5) (- t))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= 5.6e+14) {
tmp = (log(((x + y) * z)) + (log(t) * (a - 0.5))) - t;
} else {
tmp = fma(log(t), (a + -0.5), -t);
}
return tmp;
}
function code(x, y, z, t, a) tmp = 0.0 if (t <= 5.6e+14) tmp = Float64(Float64(log(Float64(Float64(x + y) * z)) + Float64(log(t) * Float64(a - 0.5))) - t); else tmp = fma(log(t), Float64(a + -0.5), Float64(-t)); end return tmp end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, 5.6e+14], N[(N[(N[Log[N[(N[(x + y), $MachinePrecision] * z), $MachinePrecision]], $MachinePrecision] + N[(N[Log[t], $MachinePrecision] * N[(a - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision], N[(N[Log[t], $MachinePrecision] * N[(a + -0.5), $MachinePrecision] + (-t)), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq 5.6 \cdot 10^{+14}:\\
\;\;\;\;\left(\log \left(\left(x + y\right) \cdot z\right) + \log t \cdot \left(a - 0.5\right)\right) - t\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\log t, a + -0.5, -t\right)\\
\end{array}
\end{array}
(FPCore (x y z t a) :precision binary64 (if (<= t 1.82e-7) (+ (log (* (+ x y) z)) (* (log t) (- a 0.5))) (fma (log t) (+ a -0.5) (- t))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= 1.82e-7) {
tmp = log(((x + y) * z)) + (log(t) * (a - 0.5));
} else {
tmp = fma(log(t), (a + -0.5), -t);
}
return tmp;
}
function code(x, y, z, t, a) tmp = 0.0 if (t <= 1.82e-7) tmp = Float64(log(Float64(Float64(x + y) * z)) + Float64(log(t) * Float64(a - 0.5))); else tmp = fma(log(t), Float64(a + -0.5), Float64(-t)); end return tmp end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, 1.82e-7], N[(N[Log[N[(N[(x + y), $MachinePrecision] * z), $MachinePrecision]], $MachinePrecision] + N[(N[Log[t], $MachinePrecision] * N[(a - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[Log[t], $MachinePrecision] * N[(a + -0.5), $MachinePrecision] + (-t)), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq 1.82 \cdot 10^{-7}:\\
\;\;\;\;\log \left(\left(x + y\right) \cdot z\right) + \log t \cdot \left(a - 0.5\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\log t, a + -0.5, -t\right)\\
\end{array}
\end{array}
(FPCore (x y z t a)
:precision binary64
(if (<= a -5e-17)
(fma (log t) (+ a -0.5) (- t))
(if (<= a 2.2e-277)
(- (log (/ z (/ (sqrt t) y))) t)
(- (* (+ a -0.5) (log t)) t))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -5e-17) {
tmp = fma(log(t), (a + -0.5), -t);
} else if (a <= 2.2e-277) {
tmp = log((z / (sqrt(t) / y))) - t;
} else {
tmp = ((a + -0.5) * log(t)) - t;
}
return tmp;
}
function code(x, y, z, t, a) tmp = 0.0 if (a <= -5e-17) tmp = fma(log(t), Float64(a + -0.5), Float64(-t)); elseif (a <= 2.2e-277) tmp = Float64(log(Float64(z / Float64(sqrt(t) / y))) - t); else tmp = Float64(Float64(Float64(a + -0.5) * log(t)) - t); end return tmp end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -5e-17], N[(N[Log[t], $MachinePrecision] * N[(a + -0.5), $MachinePrecision] + (-t)), $MachinePrecision], If[LessEqual[a, 2.2e-277], N[(N[Log[N[(z / N[(N[Sqrt[t], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - t), $MachinePrecision], N[(N[(N[(a + -0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -5 \cdot 10^{-17}:\\
\;\;\;\;\mathsf{fma}\left(\log t, a + -0.5, -t\right)\\
\mathbf{elif}\;a \leq 2.2 \cdot 10^{-277}:\\
\;\;\;\;\log \left(\frac{z}{\frac{\sqrt{t}}{y}}\right) - t\\
\mathbf{else}:\\
\;\;\;\;\left(a + -0.5\right) \cdot \log t - t\\
\end{array}
\end{array}
(FPCore (x y z t a) :precision binary64 (if (<= t 1.4e-8) (+ (* (+ a -0.5) (log t)) (log (* y z))) (fma (log t) (+ a -0.5) (- t))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= 1.4e-8) {
tmp = ((a + -0.5) * log(t)) + log((y * z));
} else {
tmp = fma(log(t), (a + -0.5), -t);
}
return tmp;
}
function code(x, y, z, t, a) tmp = 0.0 if (t <= 1.4e-8) tmp = Float64(Float64(Float64(a + -0.5) * log(t)) + log(Float64(y * z))); else tmp = fma(log(t), Float64(a + -0.5), Float64(-t)); end return tmp end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, 1.4e-8], N[(N[(N[(a + -0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision] + N[Log[N[(y * z), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(N[Log[t], $MachinePrecision] * N[(a + -0.5), $MachinePrecision] + (-t)), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq 1.4 \cdot 10^{-8}:\\
\;\;\;\;\left(a + -0.5\right) \cdot \log t + \log \left(y \cdot z\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\log t, a + -0.5, -t\right)\\
\end{array}
\end{array}
(FPCore (x y z t a) :precision binary64 (fma (log t) (+ a -0.5) (- t)))
double code(double x, double y, double z, double t, double a) {
return fma(log(t), (a + -0.5), -t);
}
function code(x, y, z, t, a) return fma(log(t), Float64(a + -0.5), Float64(-t)) end
code[x_, y_, z_, t_, a_] := N[(N[Log[t], $MachinePrecision] * N[(a + -0.5), $MachinePrecision] + (-t)), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(\log t, a + -0.5, -t\right)
\end{array}
(FPCore (x y z t a) :precision binary64 (if (or (<= t 7.5e+32) (and (not (<= t 5.5e+60)) (<= t 3.45e+106))) (* (log t) (- a 0.5)) (- t)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= 7.5e+32) || (!(t <= 5.5e+60) && (t <= 3.45e+106))) {
tmp = log(t) * (a - 0.5);
} else {
tmp = -t;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((t <= 7.5d+32) .or. (.not. (t <= 5.5d+60)) .and. (t <= 3.45d+106)) then
tmp = log(t) * (a - 0.5d0)
else
tmp = -t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= 7.5e+32) || (!(t <= 5.5e+60) && (t <= 3.45e+106))) {
tmp = Math.log(t) * (a - 0.5);
} else {
tmp = -t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (t <= 7.5e+32) or (not (t <= 5.5e+60) and (t <= 3.45e+106)): tmp = math.log(t) * (a - 0.5) else: tmp = -t return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((t <= 7.5e+32) || (!(t <= 5.5e+60) && (t <= 3.45e+106))) tmp = Float64(log(t) * Float64(a - 0.5)); else tmp = Float64(-t); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((t <= 7.5e+32) || (~((t <= 5.5e+60)) && (t <= 3.45e+106))) tmp = log(t) * (a - 0.5); else tmp = -t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[t, 7.5e+32], And[N[Not[LessEqual[t, 5.5e+60]], $MachinePrecision], LessEqual[t, 3.45e+106]]], N[(N[Log[t], $MachinePrecision] * N[(a - 0.5), $MachinePrecision]), $MachinePrecision], (-t)]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq 7.5 \cdot 10^{+32} \lor \neg \left(t \leq 5.5 \cdot 10^{+60}\right) \land t \leq 3.45 \cdot 10^{+106}:\\
\;\;\;\;\log t \cdot \left(a - 0.5\right)\\
\mathbf{else}:\\
\;\;\;\;-t\\
\end{array}
\end{array}
(FPCore (x y z t a) :precision binary64 (if (or (<= t 7.5e+32) (and (not (<= t 5.5e+60)) (<= t 3.4e+99))) (* a (log t)) (- t)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= 7.5e+32) || (!(t <= 5.5e+60) && (t <= 3.4e+99))) {
tmp = a * log(t);
} else {
tmp = -t;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((t <= 7.5d+32) .or. (.not. (t <= 5.5d+60)) .and. (t <= 3.4d+99)) then
tmp = a * log(t)
else
tmp = -t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= 7.5e+32) || (!(t <= 5.5e+60) && (t <= 3.4e+99))) {
tmp = a * Math.log(t);
} else {
tmp = -t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (t <= 7.5e+32) or (not (t <= 5.5e+60) and (t <= 3.4e+99)): tmp = a * math.log(t) else: tmp = -t return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((t <= 7.5e+32) || (!(t <= 5.5e+60) && (t <= 3.4e+99))) tmp = Float64(a * log(t)); else tmp = Float64(-t); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((t <= 7.5e+32) || (~((t <= 5.5e+60)) && (t <= 3.4e+99))) tmp = a * log(t); else tmp = -t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[t, 7.5e+32], And[N[Not[LessEqual[t, 5.5e+60]], $MachinePrecision], LessEqual[t, 3.4e+99]]], N[(a * N[Log[t], $MachinePrecision]), $MachinePrecision], (-t)]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq 7.5 \cdot 10^{+32} \lor \neg \left(t \leq 5.5 \cdot 10^{+60}\right) \land t \leq 3.4 \cdot 10^{+99}:\\
\;\;\;\;a \cdot \log t\\
\mathbf{else}:\\
\;\;\;\;-t\\
\end{array}
\end{array}
(FPCore (x y z t a) :precision binary64 (- (* (+ a -0.5) (log t)) t))
double code(double x, double y, double z, double t, double a) {
return ((a + -0.5) * log(t)) - t;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = ((a + (-0.5d0)) * log(t)) - t
end function
public static double code(double x, double y, double z, double t, double a) {
return ((a + -0.5) * Math.log(t)) - t;
}
def code(x, y, z, t, a): return ((a + -0.5) * math.log(t)) - t
function code(x, y, z, t, a) return Float64(Float64(Float64(a + -0.5) * log(t)) - t) end
function tmp = code(x, y, z, t, a) tmp = ((a + -0.5) * log(t)) - t; end
code[x_, y_, z_, t_, a_] := N[(N[(N[(a + -0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision] - t), $MachinePrecision]
\begin{array}{l}
\\
\left(a + -0.5\right) \cdot \log t - t
\end{array}
(FPCore (x y z t a) :precision binary64 (if (<= t 8000000.0) (* -0.5 (log t)) (- t)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= 8000000.0) {
tmp = -0.5 * log(t);
} else {
tmp = -t;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (t <= 8000000.0d0) then
tmp = (-0.5d0) * log(t)
else
tmp = -t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= 8000000.0) {
tmp = -0.5 * Math.log(t);
} else {
tmp = -t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if t <= 8000000.0: tmp = -0.5 * math.log(t) else: tmp = -t return tmp
function code(x, y, z, t, a) tmp = 0.0 if (t <= 8000000.0) tmp = Float64(-0.5 * log(t)); else tmp = Float64(-t); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (t <= 8000000.0) tmp = -0.5 * log(t); else tmp = -t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, 8000000.0], N[(-0.5 * N[Log[t], $MachinePrecision]), $MachinePrecision], (-t)]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq 8000000:\\
\;\;\;\;-0.5 \cdot \log t\\
\mathbf{else}:\\
\;\;\;\;-t\\
\end{array}
\end{array}
(FPCore (x y z t a) :precision binary64 (- t))
double code(double x, double y, double z, double t, double a) {
return -t;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = -t
end function
public static double code(double x, double y, double z, double t, double a) {
return -t;
}
def code(x, y, z, t, a): return -t
function code(x, y, z, t, a) return Float64(-t) end
function tmp = code(x, y, z, t, a) tmp = -t; end
code[x_, y_, z_, t_, a_] := (-t)
\begin{array}{l}
\\
-t
\end{array}
(FPCore (x y z t a) :precision binary64 (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t)))))
double code(double x, double y, double z, double t, double a) {
return log((x + y)) + ((log(z) - t) + ((a - 0.5) * log(t)));
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = log((x + y)) + ((log(z) - t) + ((a - 0.5d0) * log(t)))
end function
public static double code(double x, double y, double z, double t, double a) {
return Math.log((x + y)) + ((Math.log(z) - t) + ((a - 0.5) * Math.log(t)));
}
def code(x, y, z, t, a): return math.log((x + y)) + ((math.log(z) - t) + ((a - 0.5) * math.log(t)))
function code(x, y, z, t, a) return Float64(log(Float64(x + y)) + Float64(Float64(log(z) - t) + Float64(Float64(a - 0.5) * log(t)))) end
function tmp = code(x, y, z, t, a) tmp = log((x + y)) + ((log(z) - t) + ((a - 0.5) * log(t))); end
code[x_, y_, z_, t_, a_] := N[(N[Log[N[(x + y), $MachinePrecision]], $MachinePrecision] + N[(N[(N[Log[z], $MachinePrecision] - t), $MachinePrecision] + N[(N[(a - 0.5), $MachinePrecision] * N[Log[t], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\log \left(x + y\right) + \left(\left(\log z - t\right) + \left(a - 0.5\right) \cdot \log t\right)
\end{array}
herbie shell --seed 2024008
(FPCore (x y z t a)
:name "Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.2"
:precision binary64
:herbie-target
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))