
(FPCore (alpha beta i)
:precision binary64
(let* ((t_0 (* i (+ (+ alpha beta) i)))
(t_1 (+ (+ alpha beta) (* 2.0 i)))
(t_2 (* t_1 t_1)))
(/ (/ (* t_0 (+ (* beta alpha) t_0)) t_2) (- t_2 1.0))))
double code(double alpha, double beta, double i) {
double t_0 = i * ((alpha + beta) + i);
double t_1 = (alpha + beta) + (2.0 * i);
double t_2 = t_1 * t_1;
return ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0);
}
real(8) function code(alpha, beta, i)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8), intent (in) :: i
real(8) :: t_0
real(8) :: t_1
real(8) :: t_2
t_0 = i * ((alpha + beta) + i)
t_1 = (alpha + beta) + (2.0d0 * i)
t_2 = t_1 * t_1
code = ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0d0)
end function
public static double code(double alpha, double beta, double i) {
double t_0 = i * ((alpha + beta) + i);
double t_1 = (alpha + beta) + (2.0 * i);
double t_2 = t_1 * t_1;
return ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0);
}
def code(alpha, beta, i): t_0 = i * ((alpha + beta) + i) t_1 = (alpha + beta) + (2.0 * i) t_2 = t_1 * t_1 return ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0)
function code(alpha, beta, i) t_0 = Float64(i * Float64(Float64(alpha + beta) + i)) t_1 = Float64(Float64(alpha + beta) + Float64(2.0 * i)) t_2 = Float64(t_1 * t_1) return Float64(Float64(Float64(t_0 * Float64(Float64(beta * alpha) + t_0)) / t_2) / Float64(t_2 - 1.0)) end
function tmp = code(alpha, beta, i) t_0 = i * ((alpha + beta) + i); t_1 = (alpha + beta) + (2.0 * i); t_2 = t_1 * t_1; tmp = ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0); end
code[alpha_, beta_, i_] := Block[{t$95$0 = N[(i * N[(N[(alpha + beta), $MachinePrecision] + i), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(alpha + beta), $MachinePrecision] + N[(2.0 * i), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(t$95$1 * t$95$1), $MachinePrecision]}, N[(N[(N[(t$95$0 * N[(N[(beta * alpha), $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision] / t$95$2), $MachinePrecision] / N[(t$95$2 - 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := i \cdot \left(\left(\alpha + \beta\right) + i\right)\\
t_1 := \left(\alpha + \beta\right) + 2 \cdot i\\
t_2 := t_1 \cdot t_1\\
\frac{\frac{t_0 \cdot \left(\beta \cdot \alpha + t_0\right)}{t_2}}{t_2 - 1}
\end{array}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 9 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (alpha beta i)
:precision binary64
(let* ((t_0 (* i (+ (+ alpha beta) i)))
(t_1 (+ (+ alpha beta) (* 2.0 i)))
(t_2 (* t_1 t_1)))
(/ (/ (* t_0 (+ (* beta alpha) t_0)) t_2) (- t_2 1.0))))
double code(double alpha, double beta, double i) {
double t_0 = i * ((alpha + beta) + i);
double t_1 = (alpha + beta) + (2.0 * i);
double t_2 = t_1 * t_1;
return ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0);
}
real(8) function code(alpha, beta, i)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8), intent (in) :: i
real(8) :: t_0
real(8) :: t_1
real(8) :: t_2
t_0 = i * ((alpha + beta) + i)
t_1 = (alpha + beta) + (2.0d0 * i)
t_2 = t_1 * t_1
code = ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0d0)
end function
public static double code(double alpha, double beta, double i) {
double t_0 = i * ((alpha + beta) + i);
double t_1 = (alpha + beta) + (2.0 * i);
double t_2 = t_1 * t_1;
return ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0);
}
def code(alpha, beta, i): t_0 = i * ((alpha + beta) + i) t_1 = (alpha + beta) + (2.0 * i) t_2 = t_1 * t_1 return ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0)
function code(alpha, beta, i) t_0 = Float64(i * Float64(Float64(alpha + beta) + i)) t_1 = Float64(Float64(alpha + beta) + Float64(2.0 * i)) t_2 = Float64(t_1 * t_1) return Float64(Float64(Float64(t_0 * Float64(Float64(beta * alpha) + t_0)) / t_2) / Float64(t_2 - 1.0)) end
function tmp = code(alpha, beta, i) t_0 = i * ((alpha + beta) + i); t_1 = (alpha + beta) + (2.0 * i); t_2 = t_1 * t_1; tmp = ((t_0 * ((beta * alpha) + t_0)) / t_2) / (t_2 - 1.0); end
code[alpha_, beta_, i_] := Block[{t$95$0 = N[(i * N[(N[(alpha + beta), $MachinePrecision] + i), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(alpha + beta), $MachinePrecision] + N[(2.0 * i), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(t$95$1 * t$95$1), $MachinePrecision]}, N[(N[(N[(t$95$0 * N[(N[(beta * alpha), $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision] / t$95$2), $MachinePrecision] / N[(t$95$2 - 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := i \cdot \left(\left(\alpha + \beta\right) + i\right)\\
t_1 := \left(\alpha + \beta\right) + 2 \cdot i\\
t_2 := t_1 \cdot t_1\\
\frac{\frac{t_0 \cdot \left(\beta \cdot \alpha + t_0\right)}{t_2}}{t_2 - 1}
\end{array}
\end{array}
(FPCore (alpha beta i)
:precision binary64
(let* ((t_0 (+ (+ alpha beta) (* i 2.0)))
(t_1 (* t_0 t_0))
(t_2 (+ i (+ alpha beta)))
(t_3 (* i t_2))
(t_4 (+ alpha (fma i 2.0 beta))))
(if (<= (/ (/ (* t_3 (+ t_3 (* alpha beta))) t_1) (+ t_1 -1.0)) INFINITY)
(* (/ t_3 (fma t_4 t_4 -1.0)) (/ (fma i t_2 (* alpha beta)) (* t_4 t_4)))
(log1p
(expm1
(+
(fma 0.0625 (/ (* (+ alpha beta) 2.0) i) 0.0625)
(* -0.125 (/ (+ alpha beta) i))))))))
double code(double alpha, double beta, double i) {
double t_0 = (alpha + beta) + (i * 2.0);
double t_1 = t_0 * t_0;
double t_2 = i + (alpha + beta);
double t_3 = i * t_2;
double t_4 = alpha + fma(i, 2.0, beta);
double tmp;
if ((((t_3 * (t_3 + (alpha * beta))) / t_1) / (t_1 + -1.0)) <= ((double) INFINITY)) {
tmp = (t_3 / fma(t_4, t_4, -1.0)) * (fma(i, t_2, (alpha * beta)) / (t_4 * t_4));
} else {
tmp = log1p(expm1((fma(0.0625, (((alpha + beta) * 2.0) / i), 0.0625) + (-0.125 * ((alpha + beta) / i)))));
}
return tmp;
}
function code(alpha, beta, i) t_0 = Float64(Float64(alpha + beta) + Float64(i * 2.0)) t_1 = Float64(t_0 * t_0) t_2 = Float64(i + Float64(alpha + beta)) t_3 = Float64(i * t_2) t_4 = Float64(alpha + fma(i, 2.0, beta)) tmp = 0.0 if (Float64(Float64(Float64(t_3 * Float64(t_3 + Float64(alpha * beta))) / t_1) / Float64(t_1 + -1.0)) <= Inf) tmp = Float64(Float64(t_3 / fma(t_4, t_4, -1.0)) * Float64(fma(i, t_2, Float64(alpha * beta)) / Float64(t_4 * t_4))); else tmp = log1p(expm1(Float64(fma(0.0625, Float64(Float64(Float64(alpha + beta) * 2.0) / i), 0.0625) + Float64(-0.125 * Float64(Float64(alpha + beta) / i))))); end return tmp end
code[alpha_, beta_, i_] := Block[{t$95$0 = N[(N[(alpha + beta), $MachinePrecision] + N[(i * 2.0), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(t$95$0 * t$95$0), $MachinePrecision]}, Block[{t$95$2 = N[(i + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(i * t$95$2), $MachinePrecision]}, Block[{t$95$4 = N[(alpha + N[(i * 2.0 + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(N[(N[(t$95$3 * N[(t$95$3 + N[(alpha * beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision] / N[(t$95$1 + -1.0), $MachinePrecision]), $MachinePrecision], Infinity], N[(N[(t$95$3 / N[(t$95$4 * t$95$4 + -1.0), $MachinePrecision]), $MachinePrecision] * N[(N[(i * t$95$2 + N[(alpha * beta), $MachinePrecision]), $MachinePrecision] / N[(t$95$4 * t$95$4), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[Log[1 + N[(Exp[N[(N[(0.0625 * N[(N[(N[(alpha + beta), $MachinePrecision] * 2.0), $MachinePrecision] / i), $MachinePrecision] + 0.0625), $MachinePrecision] + N[(-0.125 * N[(N[(alpha + beta), $MachinePrecision] / i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]] - 1), $MachinePrecision]], $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\alpha + \beta\right) + i \cdot 2\\
t_1 := t_0 \cdot t_0\\
t_2 := i + \left(\alpha + \beta\right)\\
t_3 := i \cdot t_2\\
t_4 := \alpha + \mathsf{fma}\left(i, 2, \beta\right)\\
\mathbf{if}\;\frac{\frac{t_3 \cdot \left(t_3 + \alpha \cdot \beta\right)}{t_1}}{t_1 + -1} \leq \infty:\\
\;\;\;\;\frac{t_3}{\mathsf{fma}\left(t_4, t_4, -1\right)} \cdot \frac{\mathsf{fma}\left(i, t_2, \alpha \cdot \beta\right)}{t_4 \cdot t_4}\\
\mathbf{else}:\\
\;\;\;\;\mathsf{log1p}\left(\mathsf{expm1}\left(\mathsf{fma}\left(0.0625, \frac{\left(\alpha + \beta\right) \cdot 2}{i}, 0.0625\right) + -0.125 \cdot \frac{\alpha + \beta}{i}\right)\right)\\
\end{array}
\end{array}
(FPCore (alpha beta i)
:precision binary64
(let* ((t_0 (+ (+ alpha beta) (* i 2.0)))
(t_1 (* t_0 t_0))
(t_2 (+ t_1 -1.0))
(t_3 (+ i (+ alpha beta)))
(t_4 (* i t_3)))
(if (<= (/ (/ (* t_4 (+ t_4 (* alpha beta))) t_1) t_2) INFINITY)
(/
(*
i
(*
(fma i t_3 (* alpha beta))
(/ (+ i beta) (pow (+ beta (* i 2.0)) 2.0))))
t_2)
(log1p
(expm1
(+
(fma 0.0625 (/ (* (+ alpha beta) 2.0) i) 0.0625)
(* -0.125 (/ (+ alpha beta) i))))))))
double code(double alpha, double beta, double i) {
double t_0 = (alpha + beta) + (i * 2.0);
double t_1 = t_0 * t_0;
double t_2 = t_1 + -1.0;
double t_3 = i + (alpha + beta);
double t_4 = i * t_3;
double tmp;
if ((((t_4 * (t_4 + (alpha * beta))) / t_1) / t_2) <= ((double) INFINITY)) {
tmp = (i * (fma(i, t_3, (alpha * beta)) * ((i + beta) / pow((beta + (i * 2.0)), 2.0)))) / t_2;
} else {
tmp = log1p(expm1((fma(0.0625, (((alpha + beta) * 2.0) / i), 0.0625) + (-0.125 * ((alpha + beta) / i)))));
}
return tmp;
}
function code(alpha, beta, i) t_0 = Float64(Float64(alpha + beta) + Float64(i * 2.0)) t_1 = Float64(t_0 * t_0) t_2 = Float64(t_1 + -1.0) t_3 = Float64(i + Float64(alpha + beta)) t_4 = Float64(i * t_3) tmp = 0.0 if (Float64(Float64(Float64(t_4 * Float64(t_4 + Float64(alpha * beta))) / t_1) / t_2) <= Inf) tmp = Float64(Float64(i * Float64(fma(i, t_3, Float64(alpha * beta)) * Float64(Float64(i + beta) / (Float64(beta + Float64(i * 2.0)) ^ 2.0)))) / t_2); else tmp = log1p(expm1(Float64(fma(0.0625, Float64(Float64(Float64(alpha + beta) * 2.0) / i), 0.0625) + Float64(-0.125 * Float64(Float64(alpha + beta) / i))))); end return tmp end
code[alpha_, beta_, i_] := Block[{t$95$0 = N[(N[(alpha + beta), $MachinePrecision] + N[(i * 2.0), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(t$95$0 * t$95$0), $MachinePrecision]}, Block[{t$95$2 = N[(t$95$1 + -1.0), $MachinePrecision]}, Block[{t$95$3 = N[(i + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$4 = N[(i * t$95$3), $MachinePrecision]}, If[LessEqual[N[(N[(N[(t$95$4 * N[(t$95$4 + N[(alpha * beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision] / t$95$2), $MachinePrecision], Infinity], N[(N[(i * N[(N[(i * t$95$3 + N[(alpha * beta), $MachinePrecision]), $MachinePrecision] * N[(N[(i + beta), $MachinePrecision] / N[Power[N[(beta + N[(i * 2.0), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$2), $MachinePrecision], N[Log[1 + N[(Exp[N[(N[(0.0625 * N[(N[(N[(alpha + beta), $MachinePrecision] * 2.0), $MachinePrecision] / i), $MachinePrecision] + 0.0625), $MachinePrecision] + N[(-0.125 * N[(N[(alpha + beta), $MachinePrecision] / i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]] - 1), $MachinePrecision]], $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\alpha + \beta\right) + i \cdot 2\\
t_1 := t_0 \cdot t_0\\
t_2 := t_1 + -1\\
t_3 := i + \left(\alpha + \beta\right)\\
t_4 := i \cdot t_3\\
\mathbf{if}\;\frac{\frac{t_4 \cdot \left(t_4 + \alpha \cdot \beta\right)}{t_1}}{t_2} \leq \infty:\\
\;\;\;\;\frac{i \cdot \left(\mathsf{fma}\left(i, t_3, \alpha \cdot \beta\right) \cdot \frac{i + \beta}{{\left(\beta + i \cdot 2\right)}^{2}}\right)}{t_2}\\
\mathbf{else}:\\
\;\;\;\;\mathsf{log1p}\left(\mathsf{expm1}\left(\mathsf{fma}\left(0.0625, \frac{\left(\alpha + \beta\right) \cdot 2}{i}, 0.0625\right) + -0.125 \cdot \frac{\alpha + \beta}{i}\right)\right)\\
\end{array}
\end{array}
(FPCore (alpha beta i)
:precision binary64
(let* ((t_0 (+ (+ alpha beta) (* i 2.0)))
(t_1 (* t_0 t_0))
(t_2 (* 0.125 (/ beta i)))
(t_3 (+ t_1 -1.0))
(t_4 (+ i (+ alpha beta)))
(t_5 (* i t_4)))
(if (<= (/ (/ (* t_5 (+ t_5 (* alpha beta))) t_1) t_3) INFINITY)
(/
(*
i
(*
(fma i t_4 (* alpha beta))
(/ (+ i beta) (pow (+ beta (* i 2.0)) 2.0))))
t_3)
(- (+ 0.0625 t_2) t_2))))
double code(double alpha, double beta, double i) {
double t_0 = (alpha + beta) + (i * 2.0);
double t_1 = t_0 * t_0;
double t_2 = 0.125 * (beta / i);
double t_3 = t_1 + -1.0;
double t_4 = i + (alpha + beta);
double t_5 = i * t_4;
double tmp;
if ((((t_5 * (t_5 + (alpha * beta))) / t_1) / t_3) <= ((double) INFINITY)) {
tmp = (i * (fma(i, t_4, (alpha * beta)) * ((i + beta) / pow((beta + (i * 2.0)), 2.0)))) / t_3;
} else {
tmp = (0.0625 + t_2) - t_2;
}
return tmp;
}
function code(alpha, beta, i) t_0 = Float64(Float64(alpha + beta) + Float64(i * 2.0)) t_1 = Float64(t_0 * t_0) t_2 = Float64(0.125 * Float64(beta / i)) t_3 = Float64(t_1 + -1.0) t_4 = Float64(i + Float64(alpha + beta)) t_5 = Float64(i * t_4) tmp = 0.0 if (Float64(Float64(Float64(t_5 * Float64(t_5 + Float64(alpha * beta))) / t_1) / t_3) <= Inf) tmp = Float64(Float64(i * Float64(fma(i, t_4, Float64(alpha * beta)) * Float64(Float64(i + beta) / (Float64(beta + Float64(i * 2.0)) ^ 2.0)))) / t_3); else tmp = Float64(Float64(0.0625 + t_2) - t_2); end return tmp end
code[alpha_, beta_, i_] := Block[{t$95$0 = N[(N[(alpha + beta), $MachinePrecision] + N[(i * 2.0), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(t$95$0 * t$95$0), $MachinePrecision]}, Block[{t$95$2 = N[(0.125 * N[(beta / i), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(t$95$1 + -1.0), $MachinePrecision]}, Block[{t$95$4 = N[(i + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$5 = N[(i * t$95$4), $MachinePrecision]}, If[LessEqual[N[(N[(N[(t$95$5 * N[(t$95$5 + N[(alpha * beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision] / t$95$3), $MachinePrecision], Infinity], N[(N[(i * N[(N[(i * t$95$4 + N[(alpha * beta), $MachinePrecision]), $MachinePrecision] * N[(N[(i + beta), $MachinePrecision] / N[Power[N[(beta + N[(i * 2.0), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$3), $MachinePrecision], N[(N[(0.0625 + t$95$2), $MachinePrecision] - t$95$2), $MachinePrecision]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\alpha + \beta\right) + i \cdot 2\\
t_1 := t_0 \cdot t_0\\
t_2 := 0.125 \cdot \frac{\beta}{i}\\
t_3 := t_1 + -1\\
t_4 := i + \left(\alpha + \beta\right)\\
t_5 := i \cdot t_4\\
\mathbf{if}\;\frac{\frac{t_5 \cdot \left(t_5 + \alpha \cdot \beta\right)}{t_1}}{t_3} \leq \infty:\\
\;\;\;\;\frac{i \cdot \left(\mathsf{fma}\left(i, t_4, \alpha \cdot \beta\right) \cdot \frac{i + \beta}{{\left(\beta + i \cdot 2\right)}^{2}}\right)}{t_3}\\
\mathbf{else}:\\
\;\;\;\;\left(0.0625 + t_2\right) - t_2\\
\end{array}
\end{array}
(FPCore (alpha beta i)
:precision binary64
(if (<= alpha 1.55e+58)
(log1p
(expm1
(+ (* -0.125 (/ (+ alpha beta) i)) (+ 0.0625 (/ (* beta 0.125) i)))))
(/ i (pow (/ beta (sqrt (+ i alpha))) 2.0))))
double code(double alpha, double beta, double i) {
double tmp;
if (alpha <= 1.55e+58) {
tmp = log1p(expm1(((-0.125 * ((alpha + beta) / i)) + (0.0625 + ((beta * 0.125) / i)))));
} else {
tmp = i / pow((beta / sqrt((i + alpha))), 2.0);
}
return tmp;
}
public static double code(double alpha, double beta, double i) {
double tmp;
if (alpha <= 1.55e+58) {
tmp = Math.log1p(Math.expm1(((-0.125 * ((alpha + beta) / i)) + (0.0625 + ((beta * 0.125) / i)))));
} else {
tmp = i / Math.pow((beta / Math.sqrt((i + alpha))), 2.0);
}
return tmp;
}
def code(alpha, beta, i): tmp = 0 if alpha <= 1.55e+58: tmp = math.log1p(math.expm1(((-0.125 * ((alpha + beta) / i)) + (0.0625 + ((beta * 0.125) / i))))) else: tmp = i / math.pow((beta / math.sqrt((i + alpha))), 2.0) return tmp
function code(alpha, beta, i) tmp = 0.0 if (alpha <= 1.55e+58) tmp = log1p(expm1(Float64(Float64(-0.125 * Float64(Float64(alpha + beta) / i)) + Float64(0.0625 + Float64(Float64(beta * 0.125) / i))))); else tmp = Float64(i / (Float64(beta / sqrt(Float64(i + alpha))) ^ 2.0)); end return tmp end
code[alpha_, beta_, i_] := If[LessEqual[alpha, 1.55e+58], N[Log[1 + N[(Exp[N[(N[(-0.125 * N[(N[(alpha + beta), $MachinePrecision] / i), $MachinePrecision]), $MachinePrecision] + N[(0.0625 + N[(N[(beta * 0.125), $MachinePrecision] / i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]] - 1), $MachinePrecision]], $MachinePrecision], N[(i / N[Power[N[(beta / N[Sqrt[N[(i + alpha), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\alpha \leq 1.55 \cdot 10^{+58}:\\
\;\;\;\;\mathsf{log1p}\left(\mathsf{expm1}\left(-0.125 \cdot \frac{\alpha + \beta}{i} + \left(0.0625 + \frac{\beta \cdot 0.125}{i}\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{i}{{\left(\frac{\beta}{\sqrt{i + \alpha}}\right)}^{2}}\\
\end{array}
\end{array}
(FPCore (alpha beta i)
:precision binary64
(let* ((t_0 (* 0.125 (/ beta i))))
(if (<= alpha 1.55e+58)
(- (+ 0.0625 t_0) t_0)
(/ i (pow (/ beta (sqrt (+ i alpha))) 2.0)))))
double code(double alpha, double beta, double i) {
double t_0 = 0.125 * (beta / i);
double tmp;
if (alpha <= 1.55e+58) {
tmp = (0.0625 + t_0) - t_0;
} else {
tmp = i / pow((beta / sqrt((i + alpha))), 2.0);
}
return tmp;
}
real(8) function code(alpha, beta, i)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8), intent (in) :: i
real(8) :: t_0
real(8) :: tmp
t_0 = 0.125d0 * (beta / i)
if (alpha <= 1.55d+58) then
tmp = (0.0625d0 + t_0) - t_0
else
tmp = i / ((beta / sqrt((i + alpha))) ** 2.0d0)
end if
code = tmp
end function
public static double code(double alpha, double beta, double i) {
double t_0 = 0.125 * (beta / i);
double tmp;
if (alpha <= 1.55e+58) {
tmp = (0.0625 + t_0) - t_0;
} else {
tmp = i / Math.pow((beta / Math.sqrt((i + alpha))), 2.0);
}
return tmp;
}
def code(alpha, beta, i): t_0 = 0.125 * (beta / i) tmp = 0 if alpha <= 1.55e+58: tmp = (0.0625 + t_0) - t_0 else: tmp = i / math.pow((beta / math.sqrt((i + alpha))), 2.0) return tmp
function code(alpha, beta, i) t_0 = Float64(0.125 * Float64(beta / i)) tmp = 0.0 if (alpha <= 1.55e+58) tmp = Float64(Float64(0.0625 + t_0) - t_0); else tmp = Float64(i / (Float64(beta / sqrt(Float64(i + alpha))) ^ 2.0)); end return tmp end
function tmp_2 = code(alpha, beta, i) t_0 = 0.125 * (beta / i); tmp = 0.0; if (alpha <= 1.55e+58) tmp = (0.0625 + t_0) - t_0; else tmp = i / ((beta / sqrt((i + alpha))) ^ 2.0); end tmp_2 = tmp; end
code[alpha_, beta_, i_] := Block[{t$95$0 = N[(0.125 * N[(beta / i), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[alpha, 1.55e+58], N[(N[(0.0625 + t$95$0), $MachinePrecision] - t$95$0), $MachinePrecision], N[(i / N[Power[N[(beta / N[Sqrt[N[(i + alpha), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 0.125 \cdot \frac{\beta}{i}\\
\mathbf{if}\;\alpha \leq 1.55 \cdot 10^{+58}:\\
\;\;\;\;\left(0.0625 + t_0\right) - t_0\\
\mathbf{else}:\\
\;\;\;\;\frac{i}{{\left(\frac{\beta}{\sqrt{i + \alpha}}\right)}^{2}}\\
\end{array}
\end{array}
(FPCore (alpha beta i)
:precision binary64
(let* ((t_0 (+ (+ alpha beta) (* i 2.0)))
(t_1 (* t_0 t_0))
(t_2 (* i (+ i (+ alpha beta))))
(t_3 (/ (/ (* t_2 (+ t_2 (* alpha beta))) t_1) (+ t_1 -1.0)))
(t_4 (* 0.125 (/ beta i))))
(if (<= t_3 0.1) t_3 (- (+ 0.0625 t_4) t_4))))
double code(double alpha, double beta, double i) {
double t_0 = (alpha + beta) + (i * 2.0);
double t_1 = t_0 * t_0;
double t_2 = i * (i + (alpha + beta));
double t_3 = ((t_2 * (t_2 + (alpha * beta))) / t_1) / (t_1 + -1.0);
double t_4 = 0.125 * (beta / i);
double tmp;
if (t_3 <= 0.1) {
tmp = t_3;
} else {
tmp = (0.0625 + t_4) - t_4;
}
return tmp;
}
real(8) function code(alpha, beta, i)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8), intent (in) :: i
real(8) :: t_0
real(8) :: t_1
real(8) :: t_2
real(8) :: t_3
real(8) :: t_4
real(8) :: tmp
t_0 = (alpha + beta) + (i * 2.0d0)
t_1 = t_0 * t_0
t_2 = i * (i + (alpha + beta))
t_3 = ((t_2 * (t_2 + (alpha * beta))) / t_1) / (t_1 + (-1.0d0))
t_4 = 0.125d0 * (beta / i)
if (t_3 <= 0.1d0) then
tmp = t_3
else
tmp = (0.0625d0 + t_4) - t_4
end if
code = tmp
end function
public static double code(double alpha, double beta, double i) {
double t_0 = (alpha + beta) + (i * 2.0);
double t_1 = t_0 * t_0;
double t_2 = i * (i + (alpha + beta));
double t_3 = ((t_2 * (t_2 + (alpha * beta))) / t_1) / (t_1 + -1.0);
double t_4 = 0.125 * (beta / i);
double tmp;
if (t_3 <= 0.1) {
tmp = t_3;
} else {
tmp = (0.0625 + t_4) - t_4;
}
return tmp;
}
def code(alpha, beta, i): t_0 = (alpha + beta) + (i * 2.0) t_1 = t_0 * t_0 t_2 = i * (i + (alpha + beta)) t_3 = ((t_2 * (t_2 + (alpha * beta))) / t_1) / (t_1 + -1.0) t_4 = 0.125 * (beta / i) tmp = 0 if t_3 <= 0.1: tmp = t_3 else: tmp = (0.0625 + t_4) - t_4 return tmp
function code(alpha, beta, i) t_0 = Float64(Float64(alpha + beta) + Float64(i * 2.0)) t_1 = Float64(t_0 * t_0) t_2 = Float64(i * Float64(i + Float64(alpha + beta))) t_3 = Float64(Float64(Float64(t_2 * Float64(t_2 + Float64(alpha * beta))) / t_1) / Float64(t_1 + -1.0)) t_4 = Float64(0.125 * Float64(beta / i)) tmp = 0.0 if (t_3 <= 0.1) tmp = t_3; else tmp = Float64(Float64(0.0625 + t_4) - t_4); end return tmp end
function tmp_2 = code(alpha, beta, i) t_0 = (alpha + beta) + (i * 2.0); t_1 = t_0 * t_0; t_2 = i * (i + (alpha + beta)); t_3 = ((t_2 * (t_2 + (alpha * beta))) / t_1) / (t_1 + -1.0); t_4 = 0.125 * (beta / i); tmp = 0.0; if (t_3 <= 0.1) tmp = t_3; else tmp = (0.0625 + t_4) - t_4; end tmp_2 = tmp; end
code[alpha_, beta_, i_] := Block[{t$95$0 = N[(N[(alpha + beta), $MachinePrecision] + N[(i * 2.0), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(t$95$0 * t$95$0), $MachinePrecision]}, Block[{t$95$2 = N[(i * N[(i + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(N[(N[(t$95$2 * N[(t$95$2 + N[(alpha * beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision] / N[(t$95$1 + -1.0), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$4 = N[(0.125 * N[(beta / i), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$3, 0.1], t$95$3, N[(N[(0.0625 + t$95$4), $MachinePrecision] - t$95$4), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\alpha + \beta\right) + i \cdot 2\\
t_1 := t_0 \cdot t_0\\
t_2 := i \cdot \left(i + \left(\alpha + \beta\right)\right)\\
t_3 := \frac{\frac{t_2 \cdot \left(t_2 + \alpha \cdot \beta\right)}{t_1}}{t_1 + -1}\\
t_4 := 0.125 \cdot \frac{\beta}{i}\\
\mathbf{if}\;t_3 \leq 0.1:\\
\;\;\;\;t_3\\
\mathbf{else}:\\
\;\;\;\;\left(0.0625 + t_4\right) - t_4\\
\end{array}
\end{array}
(FPCore (alpha beta i) :precision binary64 (let* ((t_0 (* 0.125 (/ beta i)))) (- (+ 0.0625 t_0) t_0)))
double code(double alpha, double beta, double i) {
double t_0 = 0.125 * (beta / i);
return (0.0625 + t_0) - t_0;
}
real(8) function code(alpha, beta, i)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8), intent (in) :: i
real(8) :: t_0
t_0 = 0.125d0 * (beta / i)
code = (0.0625d0 + t_0) - t_0
end function
public static double code(double alpha, double beta, double i) {
double t_0 = 0.125 * (beta / i);
return (0.0625 + t_0) - t_0;
}
def code(alpha, beta, i): t_0 = 0.125 * (beta / i) return (0.0625 + t_0) - t_0
function code(alpha, beta, i) t_0 = Float64(0.125 * Float64(beta / i)) return Float64(Float64(0.0625 + t_0) - t_0) end
function tmp = code(alpha, beta, i) t_0 = 0.125 * (beta / i); tmp = (0.0625 + t_0) - t_0; end
code[alpha_, beta_, i_] := Block[{t$95$0 = N[(0.125 * N[(beta / i), $MachinePrecision]), $MachinePrecision]}, N[(N[(0.0625 + t$95$0), $MachinePrecision] - t$95$0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 0.125 \cdot \frac{\beta}{i}\\
\left(0.0625 + t_0\right) - t_0
\end{array}
\end{array}
(FPCore (alpha beta i) :precision binary64 (if (<= beta 2.5e+270) 0.0625 (/ (* 0.125 (- beta (+ alpha beta))) i)))
double code(double alpha, double beta, double i) {
double tmp;
if (beta <= 2.5e+270) {
tmp = 0.0625;
} else {
tmp = (0.125 * (beta - (alpha + beta))) / i;
}
return tmp;
}
real(8) function code(alpha, beta, i)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8), intent (in) :: i
real(8) :: tmp
if (beta <= 2.5d+270) then
tmp = 0.0625d0
else
tmp = (0.125d0 * (beta - (alpha + beta))) / i
end if
code = tmp
end function
public static double code(double alpha, double beta, double i) {
double tmp;
if (beta <= 2.5e+270) {
tmp = 0.0625;
} else {
tmp = (0.125 * (beta - (alpha + beta))) / i;
}
return tmp;
}
def code(alpha, beta, i): tmp = 0 if beta <= 2.5e+270: tmp = 0.0625 else: tmp = (0.125 * (beta - (alpha + beta))) / i return tmp
function code(alpha, beta, i) tmp = 0.0 if (beta <= 2.5e+270) tmp = 0.0625; else tmp = Float64(Float64(0.125 * Float64(beta - Float64(alpha + beta))) / i); end return tmp end
function tmp_2 = code(alpha, beta, i) tmp = 0.0; if (beta <= 2.5e+270) tmp = 0.0625; else tmp = (0.125 * (beta - (alpha + beta))) / i; end tmp_2 = tmp; end
code[alpha_, beta_, i_] := If[LessEqual[beta, 2.5e+270], 0.0625, N[(N[(0.125 * N[(beta - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / i), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\beta \leq 2.5 \cdot 10^{+270}:\\
\;\;\;\;0.0625\\
\mathbf{else}:\\
\;\;\;\;\frac{0.125 \cdot \left(\beta - \left(\alpha + \beta\right)\right)}{i}\\
\end{array}
\end{array}
(FPCore (alpha beta i) :precision binary64 0.0625)
double code(double alpha, double beta, double i) {
return 0.0625;
}
real(8) function code(alpha, beta, i)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8), intent (in) :: i
code = 0.0625d0
end function
public static double code(double alpha, double beta, double i) {
return 0.0625;
}
def code(alpha, beta, i): return 0.0625
function code(alpha, beta, i) return 0.0625 end
function tmp = code(alpha, beta, i) tmp = 0.0625; end
code[alpha_, beta_, i_] := 0.0625
\begin{array}{l}
\\
0.0625
\end{array}
herbie shell --seed 2023350
(FPCore (alpha beta i)
:name "Octave 3.8, jcobi/4"
:precision binary64
:pre (and (and (> alpha -1.0) (> beta -1.0)) (> i 1.0))
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) 1.0)))