
(FPCore (alpha beta) :precision binary64 (let* ((t_0 (+ (+ alpha beta) (* 2.0 1.0)))) (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) t_0) t_0) (+ t_0 1.0))))
double code(double alpha, double beta) {
double t_0 = (alpha + beta) + (2.0 * 1.0);
return (((((alpha + beta) + (beta * alpha)) + 1.0) / t_0) / t_0) / (t_0 + 1.0);
}
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: t_0
t_0 = (alpha + beta) + (2.0d0 * 1.0d0)
code = (((((alpha + beta) + (beta * alpha)) + 1.0d0) / t_0) / t_0) / (t_0 + 1.0d0)
end function
public static double code(double alpha, double beta) {
double t_0 = (alpha + beta) + (2.0 * 1.0);
return (((((alpha + beta) + (beta * alpha)) + 1.0) / t_0) / t_0) / (t_0 + 1.0);
}
def code(alpha, beta): t_0 = (alpha + beta) + (2.0 * 1.0) return (((((alpha + beta) + (beta * alpha)) + 1.0) / t_0) / t_0) / (t_0 + 1.0)
function code(alpha, beta) t_0 = Float64(Float64(alpha + beta) + Float64(2.0 * 1.0)) return Float64(Float64(Float64(Float64(Float64(Float64(alpha + beta) + Float64(beta * alpha)) + 1.0) / t_0) / t_0) / Float64(t_0 + 1.0)) end
function tmp = code(alpha, beta) t_0 = (alpha + beta) + (2.0 * 1.0); tmp = (((((alpha + beta) + (beta * alpha)) + 1.0) / t_0) / t_0) / (t_0 + 1.0); end
code[alpha_, beta_] := Block[{t$95$0 = N[(N[(alpha + beta), $MachinePrecision] + N[(2.0 * 1.0), $MachinePrecision]), $MachinePrecision]}, N[(N[(N[(N[(N[(N[(alpha + beta), $MachinePrecision] + N[(beta * alpha), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision] / t$95$0), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(t$95$0 + 1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\alpha + \beta\right) + 2 \cdot 1\\
\frac{\frac{\frac{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1}{t\_0}}{t\_0}}{t\_0 + 1}
\end{array}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 20 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (alpha beta) :precision binary64 (let* ((t_0 (+ (+ alpha beta) (* 2.0 1.0)))) (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) t_0) t_0) (+ t_0 1.0))))
double code(double alpha, double beta) {
double t_0 = (alpha + beta) + (2.0 * 1.0);
return (((((alpha + beta) + (beta * alpha)) + 1.0) / t_0) / t_0) / (t_0 + 1.0);
}
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: t_0
t_0 = (alpha + beta) + (2.0d0 * 1.0d0)
code = (((((alpha + beta) + (beta * alpha)) + 1.0d0) / t_0) / t_0) / (t_0 + 1.0d0)
end function
public static double code(double alpha, double beta) {
double t_0 = (alpha + beta) + (2.0 * 1.0);
return (((((alpha + beta) + (beta * alpha)) + 1.0) / t_0) / t_0) / (t_0 + 1.0);
}
def code(alpha, beta): t_0 = (alpha + beta) + (2.0 * 1.0) return (((((alpha + beta) + (beta * alpha)) + 1.0) / t_0) / t_0) / (t_0 + 1.0)
function code(alpha, beta) t_0 = Float64(Float64(alpha + beta) + Float64(2.0 * 1.0)) return Float64(Float64(Float64(Float64(Float64(Float64(alpha + beta) + Float64(beta * alpha)) + 1.0) / t_0) / t_0) / Float64(t_0 + 1.0)) end
function tmp = code(alpha, beta) t_0 = (alpha + beta) + (2.0 * 1.0); tmp = (((((alpha + beta) + (beta * alpha)) + 1.0) / t_0) / t_0) / (t_0 + 1.0); end
code[alpha_, beta_] := Block[{t$95$0 = N[(N[(alpha + beta), $MachinePrecision] + N[(2.0 * 1.0), $MachinePrecision]), $MachinePrecision]}, N[(N[(N[(N[(N[(N[(alpha + beta), $MachinePrecision] + N[(beta * alpha), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision] / t$95$0), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(t$95$0 + 1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\alpha + \beta\right) + 2 \cdot 1\\
\frac{\frac{\frac{\left(\left(\alpha + \beta\right) + \beta \cdot \alpha\right) + 1}{t\_0}}{t\_0}}{t\_0 + 1}
\end{array}
\end{array}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 8e+160)
(/
(* (pow t_0 -2.0) (- (fma beta alpha (+ alpha beta)) -1.0))
(+ 3.0 (+ alpha beta)))
(/
(/
(/
-1.0
(-
(/ -1.0 (- -1.0 beta))
(/
(-
(/ (- beta -1.0) (pow (- -1.0 beta) 2.0))
(- (/ 2.0 (- beta -1.0)) (/ beta (- -1.0 beta))))
alpha)))
t_0)
(- -1.0 t_0)))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 8e+160) {
tmp = (pow(t_0, -2.0) * (fma(beta, alpha, (alpha + beta)) - -1.0)) / (3.0 + (alpha + beta));
} else {
tmp = ((-1.0 / ((-1.0 / (-1.0 - beta)) - ((((beta - -1.0) / pow((-1.0 - beta), 2.0)) - ((2.0 / (beta - -1.0)) - (beta / (-1.0 - beta)))) / alpha))) / t_0) / (-1.0 - t_0);
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 8e+160) tmp = Float64(Float64((t_0 ^ -2.0) * Float64(fma(beta, alpha, Float64(alpha + beta)) - -1.0)) / Float64(3.0 + Float64(alpha + beta))); else tmp = Float64(Float64(Float64(-1.0 / Float64(Float64(-1.0 / Float64(-1.0 - beta)) - Float64(Float64(Float64(Float64(beta - -1.0) / (Float64(-1.0 - beta) ^ 2.0)) - Float64(Float64(2.0 / Float64(beta - -1.0)) - Float64(beta / Float64(-1.0 - beta)))) / alpha))) / t_0) / Float64(-1.0 - t_0)); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 8e+160], N[(N[(N[Power[t$95$0, -2.0], $MachinePrecision] * N[(N[(beta * alpha + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] - -1.0), $MachinePrecision]), $MachinePrecision] / N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(-1.0 / N[(N[(-1.0 / N[(-1.0 - beta), $MachinePrecision]), $MachinePrecision] - N[(N[(N[(N[(beta - -1.0), $MachinePrecision] / N[Power[N[(-1.0 - beta), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] - N[(N[(2.0 / N[(beta - -1.0), $MachinePrecision]), $MachinePrecision] - N[(beta / N[(-1.0 - beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / alpha), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(-1.0 - t$95$0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 8 \cdot 10^{+160}:\\
\;\;\;\;\frac{{t\_0}^{-2} \cdot \left(\mathsf{fma}\left(\beta, \alpha, \alpha + \beta\right) - -1\right)}{3 + \left(\alpha + \beta\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\frac{-1}{\frac{-1}{-1 - \beta} - \frac{\frac{\beta - -1}{{\left(-1 - \beta\right)}^{2}} - \left(\frac{2}{\beta - -1} - \frac{\beta}{-1 - \beta}\right)}{\alpha}}}{t\_0}}{-1 - t\_0}\\
\end{array}
\end{array}
if beta < 8.00000000000000005e160Initial program 99.3%
Applied rewrites99.3%
if 8.00000000000000005e160 < beta Initial program 69.7%
lift-/.f64N/A
clear-numN/A
lower-/.f64N/A
lower-/.f6469.7
lift-+.f64N/A
+-commutativeN/A
lower-+.f6469.7
lift-*.f64N/A
metadata-eval69.7
lift-+.f64N/A
+-commutativeN/A
lift-*.f64N/A
lower-fma.f6469.7
lift-+.f64N/A
+-commutativeN/A
lower-+.f6469.7
Applied rewrites69.7%
Taylor expanded in alpha around -inf
lower--.f64N/A
Applied rewrites99.8%
Final simplification99.4%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 6e+147)
(/
(* (pow t_0 -2.0) (- (fma beta alpha (+ alpha beta)) -1.0))
(+ 3.0 (+ alpha beta)))
(/
(/
(-
(* (- -1.0 alpha) (/ (+ 2.0 alpha) beta))
(- (- -1.0 (+ (/ 1.0 beta) alpha)) (/ alpha beta)))
t_0)
(- 2.0 (- -1.0 (+ alpha beta)))))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 6e+147) {
tmp = (pow(t_0, -2.0) * (fma(beta, alpha, (alpha + beta)) - -1.0)) / (3.0 + (alpha + beta));
} else {
tmp = ((((-1.0 - alpha) * ((2.0 + alpha) / beta)) - ((-1.0 - ((1.0 / beta) + alpha)) - (alpha / beta))) / t_0) / (2.0 - (-1.0 - (alpha + beta)));
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 6e+147) tmp = Float64(Float64((t_0 ^ -2.0) * Float64(fma(beta, alpha, Float64(alpha + beta)) - -1.0)) / Float64(3.0 + Float64(alpha + beta))); else tmp = Float64(Float64(Float64(Float64(Float64(-1.0 - alpha) * Float64(Float64(2.0 + alpha) / beta)) - Float64(Float64(-1.0 - Float64(Float64(1.0 / beta) + alpha)) - Float64(alpha / beta))) / t_0) / Float64(2.0 - Float64(-1.0 - Float64(alpha + beta)))); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 6e+147], N[(N[(N[Power[t$95$0, -2.0], $MachinePrecision] * N[(N[(beta * alpha + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] - -1.0), $MachinePrecision]), $MachinePrecision] / N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[(N[(-1.0 - alpha), $MachinePrecision] * N[(N[(2.0 + alpha), $MachinePrecision] / beta), $MachinePrecision]), $MachinePrecision] - N[(N[(-1.0 - N[(N[(1.0 / beta), $MachinePrecision] + alpha), $MachinePrecision]), $MachinePrecision] - N[(alpha / beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(2.0 - N[(-1.0 - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 6 \cdot 10^{+147}:\\
\;\;\;\;\frac{{t\_0}^{-2} \cdot \left(\mathsf{fma}\left(\beta, \alpha, \alpha + \beta\right) - -1\right)}{3 + \left(\alpha + \beta\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\left(-1 - \alpha\right) \cdot \frac{2 + \alpha}{\beta} - \left(\left(-1 - \left(\frac{1}{\beta} + \alpha\right)\right) - \frac{\alpha}{\beta}\right)}{t\_0}}{2 - \left(-1 - \left(\alpha + \beta\right)\right)}\\
\end{array}
\end{array}
if beta < 5.99999999999999987e147Initial program 99.3%
Applied rewrites99.3%
if 5.99999999999999987e147 < beta Initial program 70.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6470.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6470.3
lift-*.f64N/A
metadata-eval70.3
Applied rewrites70.3%
Taylor expanded in beta around inf
lower--.f64N/A
associate-+r+N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f64N/A
lower-+.f64N/A
lower-/.f64N/A
lower-/.f64N/A
associate-/l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
lower-/.f64N/A
lower-+.f6482.7
Applied rewrites82.7%
Final simplification95.9%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 6e+147)
(/
-1.0
(*
(/ t_0 (- -1.0 (fma beta alpha (+ alpha beta))))
(* (+ 3.0 (+ alpha beta)) t_0)))
(/
(/
(-
(* (- -1.0 alpha) (/ (+ 2.0 alpha) beta))
(- (- -1.0 (+ (/ 1.0 beta) alpha)) (/ alpha beta)))
t_0)
(- 2.0 (- -1.0 (+ alpha beta)))))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 6e+147) {
tmp = -1.0 / ((t_0 / (-1.0 - fma(beta, alpha, (alpha + beta)))) * ((3.0 + (alpha + beta)) * t_0));
} else {
tmp = ((((-1.0 - alpha) * ((2.0 + alpha) / beta)) - ((-1.0 - ((1.0 / beta) + alpha)) - (alpha / beta))) / t_0) / (2.0 - (-1.0 - (alpha + beta)));
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 6e+147) tmp = Float64(-1.0 / Float64(Float64(t_0 / Float64(-1.0 - fma(beta, alpha, Float64(alpha + beta)))) * Float64(Float64(3.0 + Float64(alpha + beta)) * t_0))); else tmp = Float64(Float64(Float64(Float64(Float64(-1.0 - alpha) * Float64(Float64(2.0 + alpha) / beta)) - Float64(Float64(-1.0 - Float64(Float64(1.0 / beta) + alpha)) - Float64(alpha / beta))) / t_0) / Float64(2.0 - Float64(-1.0 - Float64(alpha + beta)))); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 6e+147], N[(-1.0 / N[(N[(t$95$0 / N[(-1.0 - N[(beta * alpha + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[(N[(-1.0 - alpha), $MachinePrecision] * N[(N[(2.0 + alpha), $MachinePrecision] / beta), $MachinePrecision]), $MachinePrecision] - N[(N[(-1.0 - N[(N[(1.0 / beta), $MachinePrecision] + alpha), $MachinePrecision]), $MachinePrecision] - N[(alpha / beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(2.0 - N[(-1.0 - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 6 \cdot 10^{+147}:\\
\;\;\;\;\frac{-1}{\frac{t\_0}{-1 - \mathsf{fma}\left(\beta, \alpha, \alpha + \beta\right)} \cdot \left(\left(3 + \left(\alpha + \beta\right)\right) \cdot t\_0\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\left(-1 - \alpha\right) \cdot \frac{2 + \alpha}{\beta} - \left(\left(-1 - \left(\frac{1}{\beta} + \alpha\right)\right) - \frac{\alpha}{\beta}\right)}{t\_0}}{2 - \left(-1 - \left(\alpha + \beta\right)\right)}\\
\end{array}
\end{array}
if beta < 5.99999999999999987e147Initial program 99.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
clear-numN/A
associate-/l/N/A
lower-/.f64N/A
lower-*.f64N/A
Applied rewrites98.8%
if 5.99999999999999987e147 < beta Initial program 70.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6470.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6470.3
lift-*.f64N/A
metadata-eval70.3
Applied rewrites70.3%
Taylor expanded in beta around inf
lower--.f64N/A
associate-+r+N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f64N/A
lower-+.f64N/A
lower-/.f64N/A
lower-/.f64N/A
associate-/l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
lower-/.f64N/A
lower-+.f6482.7
Applied rewrites82.7%
Final simplification95.5%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 6e+147)
(/
-1.0
(*
(/ t_0 (- -1.0 (fma beta alpha (+ alpha beta))))
(* (+ 3.0 (+ alpha beta)) t_0)))
(/
(/
(-
(* (- -1.0 alpha) (/ (fma 2.0 alpha 4.0) beta))
(- (- -1.0 (+ (/ 1.0 beta) alpha)) (/ alpha beta)))
beta)
(- 2.0 (- -1.0 (+ alpha beta)))))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 6e+147) {
tmp = -1.0 / ((t_0 / (-1.0 - fma(beta, alpha, (alpha + beta)))) * ((3.0 + (alpha + beta)) * t_0));
} else {
tmp = ((((-1.0 - alpha) * (fma(2.0, alpha, 4.0) / beta)) - ((-1.0 - ((1.0 / beta) + alpha)) - (alpha / beta))) / beta) / (2.0 - (-1.0 - (alpha + beta)));
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 6e+147) tmp = Float64(-1.0 / Float64(Float64(t_0 / Float64(-1.0 - fma(beta, alpha, Float64(alpha + beta)))) * Float64(Float64(3.0 + Float64(alpha + beta)) * t_0))); else tmp = Float64(Float64(Float64(Float64(Float64(-1.0 - alpha) * Float64(fma(2.0, alpha, 4.0) / beta)) - Float64(Float64(-1.0 - Float64(Float64(1.0 / beta) + alpha)) - Float64(alpha / beta))) / beta) / Float64(2.0 - Float64(-1.0 - Float64(alpha + beta)))); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 6e+147], N[(-1.0 / N[(N[(t$95$0 / N[(-1.0 - N[(beta * alpha + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[(N[(-1.0 - alpha), $MachinePrecision] * N[(N[(2.0 * alpha + 4.0), $MachinePrecision] / beta), $MachinePrecision]), $MachinePrecision] - N[(N[(-1.0 - N[(N[(1.0 / beta), $MachinePrecision] + alpha), $MachinePrecision]), $MachinePrecision] - N[(alpha / beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / beta), $MachinePrecision] / N[(2.0 - N[(-1.0 - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 6 \cdot 10^{+147}:\\
\;\;\;\;\frac{-1}{\frac{t\_0}{-1 - \mathsf{fma}\left(\beta, \alpha, \alpha + \beta\right)} \cdot \left(\left(3 + \left(\alpha + \beta\right)\right) \cdot t\_0\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\left(-1 - \alpha\right) \cdot \frac{\mathsf{fma}\left(2, \alpha, 4\right)}{\beta} - \left(\left(-1 - \left(\frac{1}{\beta} + \alpha\right)\right) - \frac{\alpha}{\beta}\right)}{\beta}}{2 - \left(-1 - \left(\alpha + \beta\right)\right)}\\
\end{array}
\end{array}
if beta < 5.99999999999999987e147Initial program 99.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
clear-numN/A
associate-/l/N/A
lower-/.f64N/A
lower-*.f64N/A
Applied rewrites98.8%
if 5.99999999999999987e147 < beta Initial program 70.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6470.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6470.3
lift-*.f64N/A
metadata-eval70.3
Applied rewrites70.3%
Taylor expanded in beta around inf
lower-/.f64N/A
lower--.f64N/A
associate-+r+N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f64N/A
lower-+.f64N/A
lower-/.f64N/A
lower-/.f64N/A
associate-/l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
lower-/.f64N/A
+-commutativeN/A
lower-fma.f6482.5
Applied rewrites82.5%
Final simplification95.5%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 6e+147)
(/
-1.0
(*
(/ t_0 (- -1.0 (fma beta alpha (+ alpha beta))))
(* (+ 3.0 (+ alpha beta)) t_0)))
(/ (/ (- alpha -1.0) t_0) (- 2.0 (- -1.0 (+ alpha beta)))))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 6e+147) {
tmp = -1.0 / ((t_0 / (-1.0 - fma(beta, alpha, (alpha + beta)))) * ((3.0 + (alpha + beta)) * t_0));
} else {
tmp = ((alpha - -1.0) / t_0) / (2.0 - (-1.0 - (alpha + beta)));
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 6e+147) tmp = Float64(-1.0 / Float64(Float64(t_0 / Float64(-1.0 - fma(beta, alpha, Float64(alpha + beta)))) * Float64(Float64(3.0 + Float64(alpha + beta)) * t_0))); else tmp = Float64(Float64(Float64(alpha - -1.0) / t_0) / Float64(2.0 - Float64(-1.0 - Float64(alpha + beta)))); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 6e+147], N[(-1.0 / N[(N[(t$95$0 / N[(-1.0 - N[(beta * alpha + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(2.0 - N[(-1.0 - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 6 \cdot 10^{+147}:\\
\;\;\;\;\frac{-1}{\frac{t\_0}{-1 - \mathsf{fma}\left(\beta, \alpha, \alpha + \beta\right)} \cdot \left(\left(3 + \left(\alpha + \beta\right)\right) \cdot t\_0\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{t\_0}}{2 - \left(-1 - \left(\alpha + \beta\right)\right)}\\
\end{array}
\end{array}
if beta < 5.99999999999999987e147Initial program 99.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
clear-numN/A
associate-/l/N/A
lower-/.f64N/A
lower-*.f64N/A
Applied rewrites98.8%
if 5.99999999999999987e147 < beta Initial program 70.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6470.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6470.3
lift-*.f64N/A
metadata-eval70.3
Applied rewrites70.3%
Taylor expanded in beta around inf
+-commutativeN/A
lower-+.f6483.5
Applied rewrites83.5%
Final simplification95.7%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 6e+147)
(/
(/ (- (fma beta alpha (+ alpha beta)) -1.0) t_0)
(* (+ 3.0 (+ alpha beta)) t_0))
(/ (/ (- alpha -1.0) t_0) (- 2.0 (- -1.0 (+ alpha beta)))))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 6e+147) {
tmp = ((fma(beta, alpha, (alpha + beta)) - -1.0) / t_0) / ((3.0 + (alpha + beta)) * t_0);
} else {
tmp = ((alpha - -1.0) / t_0) / (2.0 - (-1.0 - (alpha + beta)));
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 6e+147) tmp = Float64(Float64(Float64(fma(beta, alpha, Float64(alpha + beta)) - -1.0) / t_0) / Float64(Float64(3.0 + Float64(alpha + beta)) * t_0)); else tmp = Float64(Float64(Float64(alpha - -1.0) / t_0) / Float64(2.0 - Float64(-1.0 - Float64(alpha + beta)))); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 6e+147], N[(N[(N[(N[(beta * alpha + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] - -1.0), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(2.0 - N[(-1.0 - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 6 \cdot 10^{+147}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\beta, \alpha, \alpha + \beta\right) - -1}{t\_0}}{\left(3 + \left(\alpha + \beta\right)\right) \cdot t\_0}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{t\_0}}{2 - \left(-1 - \left(\alpha + \beta\right)\right)}\\
\end{array}
\end{array}
if beta < 5.99999999999999987e147Initial program 99.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
Applied rewrites98.8%
if 5.99999999999999987e147 < beta Initial program 70.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6470.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6470.3
lift-*.f64N/A
metadata-eval70.3
Applied rewrites70.3%
Taylor expanded in beta around inf
+-commutativeN/A
lower-+.f6483.5
Applied rewrites83.5%
Final simplification95.7%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))) (t_1 (- 2.0 (- -1.0 (+ alpha beta)))))
(if (<= beta 7.2e+80)
(/ (- (fma beta alpha (+ alpha beta)) -1.0) (* (* t_1 t_0) t_0))
(/ (/ (- alpha -1.0) t_0) t_1))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double t_1 = 2.0 - (-1.0 - (alpha + beta));
double tmp;
if (beta <= 7.2e+80) {
tmp = (fma(beta, alpha, (alpha + beta)) - -1.0) / ((t_1 * t_0) * t_0);
} else {
tmp = ((alpha - -1.0) / t_0) / t_1;
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) t_1 = Float64(2.0 - Float64(-1.0 - Float64(alpha + beta))) tmp = 0.0 if (beta <= 7.2e+80) tmp = Float64(Float64(fma(beta, alpha, Float64(alpha + beta)) - -1.0) / Float64(Float64(t_1 * t_0) * t_0)); else tmp = Float64(Float64(Float64(alpha - -1.0) / t_0) / t_1); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(2.0 - N[(-1.0 - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 7.2e+80], N[(N[(N[(beta * alpha + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] - -1.0), $MachinePrecision] / N[(N[(t$95$1 * t$95$0), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / t$95$0), $MachinePrecision] / t$95$1), $MachinePrecision]]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
t_1 := 2 - \left(-1 - \left(\alpha + \beta\right)\right)\\
\mathbf{if}\;\beta \leq 7.2 \cdot 10^{+80}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\beta, \alpha, \alpha + \beta\right) - -1}{\left(t\_1 \cdot t\_0\right) \cdot t\_0}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{t\_0}}{t\_1}\\
\end{array}
\end{array}
if beta < 7.1999999999999999e80Initial program 99.8%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
Applied rewrites94.8%
lift-+.f64N/A
metadata-evalN/A
associate-+r+N/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f6494.8
lift-+.f64N/A
+-commutativeN/A
lower-+.f6494.8
Applied rewrites94.8%
if 7.1999999999999999e80 < beta Initial program 76.0%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6476.0
lift-+.f64N/A
+-commutativeN/A
lower-+.f6476.0
lift-*.f64N/A
metadata-eval76.0
Applied rewrites76.0%
Taylor expanded in beta around inf
+-commutativeN/A
lower-+.f6484.8
Applied rewrites84.8%
Final simplification92.1%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 7.2e+80)
(/
(* (- -1.0 alpha) (- -1.0 beta))
(* (* (+ 3.0 (+ alpha beta)) t_0) t_0))
(/ (/ (- alpha -1.0) t_0) (- 2.0 (- -1.0 (+ alpha beta)))))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 7.2e+80) {
tmp = ((-1.0 - alpha) * (-1.0 - beta)) / (((3.0 + (alpha + beta)) * t_0) * t_0);
} else {
tmp = ((alpha - -1.0) / t_0) / (2.0 - (-1.0 - (alpha + beta)));
}
return tmp;
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: t_0
real(8) :: tmp
t_0 = 2.0d0 + (alpha + beta)
if (beta <= 7.2d+80) then
tmp = (((-1.0d0) - alpha) * ((-1.0d0) - beta)) / (((3.0d0 + (alpha + beta)) * t_0) * t_0)
else
tmp = ((alpha - (-1.0d0)) / t_0) / (2.0d0 - ((-1.0d0) - (alpha + beta)))
end if
code = tmp
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 7.2e+80) {
tmp = ((-1.0 - alpha) * (-1.0 - beta)) / (((3.0 + (alpha + beta)) * t_0) * t_0);
} else {
tmp = ((alpha - -1.0) / t_0) / (2.0 - (-1.0 - (alpha + beta)));
}
return tmp;
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): t_0 = 2.0 + (alpha + beta) tmp = 0 if beta <= 7.2e+80: tmp = ((-1.0 - alpha) * (-1.0 - beta)) / (((3.0 + (alpha + beta)) * t_0) * t_0) else: tmp = ((alpha - -1.0) / t_0) / (2.0 - (-1.0 - (alpha + beta))) return tmp
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 7.2e+80) tmp = Float64(Float64(Float64(-1.0 - alpha) * Float64(-1.0 - beta)) / Float64(Float64(Float64(3.0 + Float64(alpha + beta)) * t_0) * t_0)); else tmp = Float64(Float64(Float64(alpha - -1.0) / t_0) / Float64(2.0 - Float64(-1.0 - Float64(alpha + beta)))); end return tmp end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp_2 = code(alpha, beta)
t_0 = 2.0 + (alpha + beta);
tmp = 0.0;
if (beta <= 7.2e+80)
tmp = ((-1.0 - alpha) * (-1.0 - beta)) / (((3.0 + (alpha + beta)) * t_0) * t_0);
else
tmp = ((alpha - -1.0) / t_0) / (2.0 - (-1.0 - (alpha + beta)));
end
tmp_2 = tmp;
end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 7.2e+80], N[(N[(N[(-1.0 - alpha), $MachinePrecision] * N[(-1.0 - beta), $MachinePrecision]), $MachinePrecision] / N[(N[(N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision] * t$95$0), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / t$95$0), $MachinePrecision] / N[(2.0 - N[(-1.0 - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 7.2 \cdot 10^{+80}:\\
\;\;\;\;\frac{\left(-1 - \alpha\right) \cdot \left(-1 - \beta\right)}{\left(\left(3 + \left(\alpha + \beta\right)\right) \cdot t\_0\right) \cdot t\_0}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{t\_0}}{2 - \left(-1 - \left(\alpha + \beta\right)\right)}\\
\end{array}
\end{array}
if beta < 7.1999999999999999e80Initial program 99.8%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
Applied rewrites94.8%
Taylor expanded in beta around 0
associate-+r+N/A
distribute-rgt1-inN/A
+-commutativeN/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6494.8
Applied rewrites94.8%
if 7.1999999999999999e80 < beta Initial program 76.0%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6476.0
lift-+.f64N/A
+-commutativeN/A
lower-+.f6476.0
lift-*.f64N/A
metadata-eval76.0
Applied rewrites76.0%
Taylor expanded in beta around inf
+-commutativeN/A
lower-+.f6484.8
Applied rewrites84.8%
Final simplification92.1%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(if (<= beta 6.6e+26)
(/ (/ (- beta -1.0) (+ 2.0 beta)) (fma beta (+ (+ 3.0 beta) 2.0) 6.0))
(/
(/ (- alpha -1.0) (+ 2.0 (+ alpha beta)))
(- 2.0 (- -1.0 (+ alpha beta))))))assert(alpha < beta);
double code(double alpha, double beta) {
double tmp;
if (beta <= 6.6e+26) {
tmp = ((beta - -1.0) / (2.0 + beta)) / fma(beta, ((3.0 + beta) + 2.0), 6.0);
} else {
tmp = ((alpha - -1.0) / (2.0 + (alpha + beta))) / (2.0 - (-1.0 - (alpha + beta)));
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) tmp = 0.0 if (beta <= 6.6e+26) tmp = Float64(Float64(Float64(beta - -1.0) / Float64(2.0 + beta)) / fma(beta, Float64(Float64(3.0 + beta) + 2.0), 6.0)); else tmp = Float64(Float64(Float64(alpha - -1.0) / Float64(2.0 + Float64(alpha + beta))) / Float64(2.0 - Float64(-1.0 - Float64(alpha + beta)))); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := If[LessEqual[beta, 6.6e+26], N[(N[(N[(beta - -1.0), $MachinePrecision] / N[(2.0 + beta), $MachinePrecision]), $MachinePrecision] / N[(beta * N[(N[(3.0 + beta), $MachinePrecision] + 2.0), $MachinePrecision] + 6.0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 - N[(-1.0 - N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
\mathbf{if}\;\beta \leq 6.6 \cdot 10^{+26}:\\
\;\;\;\;\frac{\frac{\beta - -1}{2 + \beta}}{\mathsf{fma}\left(\beta, \left(3 + \beta\right) + 2, 6\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{2 + \left(\alpha + \beta\right)}}{2 - \left(-1 - \left(\alpha + \beta\right)\right)}\\
\end{array}
\end{array}
if beta < 6.59999999999999987e26Initial program 99.8%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
Applied rewrites95.1%
lift-*.f64N/A
lift-+.f64N/A
distribute-rgt-inN/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
metadata-evalN/A
associate-+l+N/A
lift-+.f64N/A
lift-+.f64N/A
metadata-evalN/A
lift-*.f64N/A
lift-+.f64N/A
lift-+.f64N/A
lower-fma.f64N/A
Applied rewrites95.1%
Taylor expanded in alpha around 0
associate-/r*N/A
lower-/.f64N/A
lower-/.f64N/A
+-commutativeN/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f64N/A
+-commutativeN/A
+-commutativeN/A
*-commutativeN/A
distribute-lft-outN/A
lower-fma.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6464.0
Applied rewrites64.0%
if 6.59999999999999987e26 < beta Initial program 79.7%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6479.7
lift-+.f64N/A
+-commutativeN/A
lower-+.f6479.7
lift-*.f64N/A
metadata-eval79.7
Applied rewrites79.7%
Taylor expanded in beta around inf
+-commutativeN/A
lower-+.f6482.6
Applied rewrites82.6%
Final simplification70.0%
NOTE: alpha and beta should be sorted in increasing order before calling this function. (FPCore (alpha beta) :precision binary64 (if (<= beta 6.6e+26) (/ (/ (- beta -1.0) (+ 2.0 beta)) (fma beta (+ (+ 3.0 beta) 2.0) 6.0)) (/ (/ (- alpha -1.0) beta) (+ 3.0 (+ alpha beta)))))
assert(alpha < beta);
double code(double alpha, double beta) {
double tmp;
if (beta <= 6.6e+26) {
tmp = ((beta - -1.0) / (2.0 + beta)) / fma(beta, ((3.0 + beta) + 2.0), 6.0);
} else {
tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta));
}
return tmp;
}
alpha, beta = sort([alpha, beta]) function code(alpha, beta) tmp = 0.0 if (beta <= 6.6e+26) tmp = Float64(Float64(Float64(beta - -1.0) / Float64(2.0 + beta)) / fma(beta, Float64(Float64(3.0 + beta) + 2.0), 6.0)); else tmp = Float64(Float64(Float64(alpha - -1.0) / beta) / Float64(3.0 + Float64(alpha + beta))); end return tmp end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := If[LessEqual[beta, 6.6e+26], N[(N[(N[(beta - -1.0), $MachinePrecision] / N[(2.0 + beta), $MachinePrecision]), $MachinePrecision] / N[(beta * N[(N[(3.0 + beta), $MachinePrecision] + 2.0), $MachinePrecision] + 6.0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / beta), $MachinePrecision] / N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
\mathbf{if}\;\beta \leq 6.6 \cdot 10^{+26}:\\
\;\;\;\;\frac{\frac{\beta - -1}{2 + \beta}}{\mathsf{fma}\left(\beta, \left(3 + \beta\right) + 2, 6\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{\beta}}{3 + \left(\alpha + \beta\right)}\\
\end{array}
\end{array}
if beta < 6.59999999999999987e26Initial program 99.8%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
Applied rewrites95.1%
lift-*.f64N/A
lift-+.f64N/A
distribute-rgt-inN/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
metadata-evalN/A
associate-+l+N/A
lift-+.f64N/A
lift-+.f64N/A
metadata-evalN/A
lift-*.f64N/A
lift-+.f64N/A
lift-+.f64N/A
lower-fma.f64N/A
Applied rewrites95.1%
Taylor expanded in alpha around 0
associate-/r*N/A
lower-/.f64N/A
lower-/.f64N/A
+-commutativeN/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f64N/A
+-commutativeN/A
+-commutativeN/A
*-commutativeN/A
distribute-lft-outN/A
lower-fma.f64N/A
lower-+.f64N/A
+-commutativeN/A
lower-+.f6464.0
Applied rewrites64.0%
if 6.59999999999999987e26 < beta Initial program 79.7%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6479.7
lift-+.f64N/A
+-commutativeN/A
lower-+.f6479.7
lift-*.f64N/A
metadata-eval79.7
Applied rewrites79.7%
Taylor expanded in beta around inf
lower-/.f64N/A
+-commutativeN/A
lower-+.f6482.2
Applied rewrites82.2%
lift-+.f64N/A
lift-+.f64N/A
+-commutativeN/A
associate-+l+N/A
metadata-evalN/A
lower-+.f6482.2
Applied rewrites82.2%
Final simplification69.9%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 8e+58)
(/ (- beta -1.0) (* (* (+ 3.0 beta) t_0) t_0))
(/ (/ (- alpha -1.0) beta) (+ 3.0 (+ alpha beta))))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 8e+58) {
tmp = (beta - -1.0) / (((3.0 + beta) * t_0) * t_0);
} else {
tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta));
}
return tmp;
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: t_0
real(8) :: tmp
t_0 = 2.0d0 + (alpha + beta)
if (beta <= 8d+58) then
tmp = (beta - (-1.0d0)) / (((3.0d0 + beta) * t_0) * t_0)
else
tmp = ((alpha - (-1.0d0)) / beta) / (3.0d0 + (alpha + beta))
end if
code = tmp
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 8e+58) {
tmp = (beta - -1.0) / (((3.0 + beta) * t_0) * t_0);
} else {
tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta));
}
return tmp;
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): t_0 = 2.0 + (alpha + beta) tmp = 0 if beta <= 8e+58: tmp = (beta - -1.0) / (((3.0 + beta) * t_0) * t_0) else: tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta)) return tmp
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 8e+58) tmp = Float64(Float64(beta - -1.0) / Float64(Float64(Float64(3.0 + beta) * t_0) * t_0)); else tmp = Float64(Float64(Float64(alpha - -1.0) / beta) / Float64(3.0 + Float64(alpha + beta))); end return tmp end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp_2 = code(alpha, beta)
t_0 = 2.0 + (alpha + beta);
tmp = 0.0;
if (beta <= 8e+58)
tmp = (beta - -1.0) / (((3.0 + beta) * t_0) * t_0);
else
tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta));
end
tmp_2 = tmp;
end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 8e+58], N[(N[(beta - -1.0), $MachinePrecision] / N[(N[(N[(3.0 + beta), $MachinePrecision] * t$95$0), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / beta), $MachinePrecision] / N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 8 \cdot 10^{+58}:\\
\;\;\;\;\frac{\beta - -1}{\left(\left(3 + \beta\right) \cdot t\_0\right) \cdot t\_0}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{\beta}}{3 + \left(\alpha + \beta\right)}\\
\end{array}
\end{array}
if beta < 7.99999999999999955e58Initial program 99.8%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
Applied rewrites95.3%
Taylor expanded in alpha around 0
+-commutativeN/A
lower-+.f6479.9
Applied rewrites79.9%
Taylor expanded in alpha around 0
lower-+.f6481.8
Applied rewrites81.8%
if 7.99999999999999955e58 < beta Initial program 77.2%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6477.2
lift-+.f64N/A
+-commutativeN/A
lower-+.f6477.2
lift-*.f64N/A
metadata-eval77.2
Applied rewrites77.2%
Taylor expanded in beta around inf
lower-/.f64N/A
+-commutativeN/A
lower-+.f6482.6
Applied rewrites82.6%
lift-+.f64N/A
lift-+.f64N/A
+-commutativeN/A
associate-+l+N/A
metadata-evalN/A
lower-+.f6482.6
Applied rewrites82.6%
Final simplification82.0%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 2.0 (+ alpha beta))))
(if (<= beta 12.2)
(/ (- alpha -1.0) (* (* (+ 3.0 beta) t_0) t_0))
(/ (/ (- alpha -1.0) beta) (+ 3.0 (+ alpha beta))))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 12.2) {
tmp = (alpha - -1.0) / (((3.0 + beta) * t_0) * t_0);
} else {
tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta));
}
return tmp;
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: t_0
real(8) :: tmp
t_0 = 2.0d0 + (alpha + beta)
if (beta <= 12.2d0) then
tmp = (alpha - (-1.0d0)) / (((3.0d0 + beta) * t_0) * t_0)
else
tmp = ((alpha - (-1.0d0)) / beta) / (3.0d0 + (alpha + beta))
end if
code = tmp
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
double t_0 = 2.0 + (alpha + beta);
double tmp;
if (beta <= 12.2) {
tmp = (alpha - -1.0) / (((3.0 + beta) * t_0) * t_0);
} else {
tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta));
}
return tmp;
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): t_0 = 2.0 + (alpha + beta) tmp = 0 if beta <= 12.2: tmp = (alpha - -1.0) / (((3.0 + beta) * t_0) * t_0) else: tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta)) return tmp
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(2.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 12.2) tmp = Float64(Float64(alpha - -1.0) / Float64(Float64(Float64(3.0 + beta) * t_0) * t_0)); else tmp = Float64(Float64(Float64(alpha - -1.0) / beta) / Float64(3.0 + Float64(alpha + beta))); end return tmp end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp_2 = code(alpha, beta)
t_0 = 2.0 + (alpha + beta);
tmp = 0.0;
if (beta <= 12.2)
tmp = (alpha - -1.0) / (((3.0 + beta) * t_0) * t_0);
else
tmp = ((alpha - -1.0) / beta) / (3.0 + (alpha + beta));
end
tmp_2 = tmp;
end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(2.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 12.2], N[(N[(alpha - -1.0), $MachinePrecision] / N[(N[(N[(3.0 + beta), $MachinePrecision] * t$95$0), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / beta), $MachinePrecision] / N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 2 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 12.2:\\
\;\;\;\;\frac{\alpha - -1}{\left(\left(3 + \beta\right) \cdot t\_0\right) \cdot t\_0}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{\beta}}{3 + \left(\alpha + \beta\right)}\\
\end{array}
\end{array}
if beta < 12.199999999999999Initial program 99.9%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
Applied rewrites94.9%
Taylor expanded in alpha around 0
+-commutativeN/A
lower-+.f6479.4
Applied rewrites79.4%
Taylor expanded in beta around 0
lower-+.f6477.2
Applied rewrites77.2%
if 12.199999999999999 < beta Initial program 80.8%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6480.8
lift-+.f64N/A
+-commutativeN/A
lower-+.f6480.8
lift-*.f64N/A
metadata-eval80.8
Applied rewrites80.8%
Taylor expanded in beta around inf
lower-/.f64N/A
+-commutativeN/A
lower-+.f6482.1
Applied rewrites82.1%
lift-+.f64N/A
lift-+.f64N/A
+-commutativeN/A
associate-+l+N/A
metadata-evalN/A
lower-+.f6482.1
Applied rewrites82.1%
Final simplification78.9%
NOTE: alpha and beta should be sorted in increasing order before calling this function.
(FPCore (alpha beta)
:precision binary64
(let* ((t_0 (+ 3.0 (+ alpha beta))))
(if (<= beta 7e+147)
(/ (- alpha -1.0) (* (+ (+ 2.0 beta) alpha) t_0))
(/ (/ (- alpha -1.0) beta) t_0))))assert(alpha < beta);
double code(double alpha, double beta) {
double t_0 = 3.0 + (alpha + beta);
double tmp;
if (beta <= 7e+147) {
tmp = (alpha - -1.0) / (((2.0 + beta) + alpha) * t_0);
} else {
tmp = ((alpha - -1.0) / beta) / t_0;
}
return tmp;
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: t_0
real(8) :: tmp
t_0 = 3.0d0 + (alpha + beta)
if (beta <= 7d+147) then
tmp = (alpha - (-1.0d0)) / (((2.0d0 + beta) + alpha) * t_0)
else
tmp = ((alpha - (-1.0d0)) / beta) / t_0
end if
code = tmp
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
double t_0 = 3.0 + (alpha + beta);
double tmp;
if (beta <= 7e+147) {
tmp = (alpha - -1.0) / (((2.0 + beta) + alpha) * t_0);
} else {
tmp = ((alpha - -1.0) / beta) / t_0;
}
return tmp;
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): t_0 = 3.0 + (alpha + beta) tmp = 0 if beta <= 7e+147: tmp = (alpha - -1.0) / (((2.0 + beta) + alpha) * t_0) else: tmp = ((alpha - -1.0) / beta) / t_0 return tmp
alpha, beta = sort([alpha, beta]) function code(alpha, beta) t_0 = Float64(3.0 + Float64(alpha + beta)) tmp = 0.0 if (beta <= 7e+147) tmp = Float64(Float64(alpha - -1.0) / Float64(Float64(Float64(2.0 + beta) + alpha) * t_0)); else tmp = Float64(Float64(Float64(alpha - -1.0) / beta) / t_0); end return tmp end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp_2 = code(alpha, beta)
t_0 = 3.0 + (alpha + beta);
tmp = 0.0;
if (beta <= 7e+147)
tmp = (alpha - -1.0) / (((2.0 + beta) + alpha) * t_0);
else
tmp = ((alpha - -1.0) / beta) / t_0;
end
tmp_2 = tmp;
end
NOTE: alpha and beta should be sorted in increasing order before calling this function.
code[alpha_, beta_] := Block[{t$95$0 = N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[beta, 7e+147], N[(N[(alpha - -1.0), $MachinePrecision] / N[(N[(N[(2.0 + beta), $MachinePrecision] + alpha), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / beta), $MachinePrecision] / t$95$0), $MachinePrecision]]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
t_0 := 3 + \left(\alpha + \beta\right)\\
\mathbf{if}\;\beta \leq 7 \cdot 10^{+147}:\\
\;\;\;\;\frac{\alpha - -1}{\left(\left(2 + \beta\right) + \alpha\right) \cdot t\_0}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{\beta}}{t\_0}\\
\end{array}
\end{array}
if beta < 6.99999999999999949e147Initial program 99.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6499.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6499.3
lift-*.f64N/A
metadata-eval99.3
Applied rewrites99.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
metadata-evalN/A
lift-+.f64N/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
lift-*.f64N/A
metadata-evalN/A
lift-*.f64N/A
Applied rewrites98.8%
Taylor expanded in beta around inf
lower-+.f6439.3
Applied rewrites39.3%
if 6.99999999999999949e147 < beta Initial program 70.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6470.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6470.3
lift-*.f64N/A
metadata-eval70.3
Applied rewrites70.3%
Taylor expanded in beta around inf
lower-/.f64N/A
+-commutativeN/A
lower-+.f6483.0
Applied rewrites83.0%
lift-+.f64N/A
lift-+.f64N/A
+-commutativeN/A
associate-+l+N/A
metadata-evalN/A
lower-+.f6483.0
Applied rewrites83.0%
Final simplification48.3%
NOTE: alpha and beta should be sorted in increasing order before calling this function. (FPCore (alpha beta) :precision binary64 (if (<= beta 7e+147) (/ (- alpha -1.0) (* (+ (+ 2.0 beta) alpha) (+ 3.0 (+ alpha beta)))) (/ (/ (- alpha -1.0) beta) beta)))
assert(alpha < beta);
double code(double alpha, double beta) {
double tmp;
if (beta <= 7e+147) {
tmp = (alpha - -1.0) / (((2.0 + beta) + alpha) * (3.0 + (alpha + beta)));
} else {
tmp = ((alpha - -1.0) / beta) / beta;
}
return tmp;
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: tmp
if (beta <= 7d+147) then
tmp = (alpha - (-1.0d0)) / (((2.0d0 + beta) + alpha) * (3.0d0 + (alpha + beta)))
else
tmp = ((alpha - (-1.0d0)) / beta) / beta
end if
code = tmp
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
double tmp;
if (beta <= 7e+147) {
tmp = (alpha - -1.0) / (((2.0 + beta) + alpha) * (3.0 + (alpha + beta)));
} else {
tmp = ((alpha - -1.0) / beta) / beta;
}
return tmp;
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): tmp = 0 if beta <= 7e+147: tmp = (alpha - -1.0) / (((2.0 + beta) + alpha) * (3.0 + (alpha + beta))) else: tmp = ((alpha - -1.0) / beta) / beta return tmp
alpha, beta = sort([alpha, beta]) function code(alpha, beta) tmp = 0.0 if (beta <= 7e+147) tmp = Float64(Float64(alpha - -1.0) / Float64(Float64(Float64(2.0 + beta) + alpha) * Float64(3.0 + Float64(alpha + beta)))); else tmp = Float64(Float64(Float64(alpha - -1.0) / beta) / beta); end return tmp end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp_2 = code(alpha, beta)
tmp = 0.0;
if (beta <= 7e+147)
tmp = (alpha - -1.0) / (((2.0 + beta) + alpha) * (3.0 + (alpha + beta)));
else
tmp = ((alpha - -1.0) / beta) / beta;
end
tmp_2 = tmp;
end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := If[LessEqual[beta, 7e+147], N[(N[(alpha - -1.0), $MachinePrecision] / N[(N[(N[(2.0 + beta), $MachinePrecision] + alpha), $MachinePrecision] * N[(3.0 + N[(alpha + beta), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(alpha - -1.0), $MachinePrecision] / beta), $MachinePrecision] / beta), $MachinePrecision]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
\mathbf{if}\;\beta \leq 7 \cdot 10^{+147}:\\
\;\;\;\;\frac{\alpha - -1}{\left(\left(2 + \beta\right) + \alpha\right) \cdot \left(3 + \left(\alpha + \beta\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha - -1}{\beta}}{\beta}\\
\end{array}
\end{array}
if beta < 6.99999999999999949e147Initial program 99.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6499.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6499.3
lift-*.f64N/A
metadata-eval99.3
Applied rewrites99.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
metadata-evalN/A
lift-+.f64N/A
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
lift-*.f64N/A
metadata-evalN/A
lift-*.f64N/A
Applied rewrites98.8%
Taylor expanded in beta around inf
lower-+.f6439.3
Applied rewrites39.3%
if 6.99999999999999949e147 < beta Initial program 70.3%
Taylor expanded in beta around inf
lower-/.f64N/A
lower-+.f64N/A
unpow2N/A
lower-*.f6481.2
Applied rewrites81.2%
Applied rewrites82.8%
Final simplification48.3%
NOTE: alpha and beta should be sorted in increasing order before calling this function. (FPCore (alpha beta) :precision binary64 (if (<= alpha 1.75e-9) (/ (- alpha -1.0) (* beta beta)) (/ (/ alpha beta) beta)))
assert(alpha < beta);
double code(double alpha, double beta) {
double tmp;
if (alpha <= 1.75e-9) {
tmp = (alpha - -1.0) / (beta * beta);
} else {
tmp = (alpha / beta) / beta;
}
return tmp;
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: tmp
if (alpha <= 1.75d-9) then
tmp = (alpha - (-1.0d0)) / (beta * beta)
else
tmp = (alpha / beta) / beta
end if
code = tmp
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
double tmp;
if (alpha <= 1.75e-9) {
tmp = (alpha - -1.0) / (beta * beta);
} else {
tmp = (alpha / beta) / beta;
}
return tmp;
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): tmp = 0 if alpha <= 1.75e-9: tmp = (alpha - -1.0) / (beta * beta) else: tmp = (alpha / beta) / beta return tmp
alpha, beta = sort([alpha, beta]) function code(alpha, beta) tmp = 0.0 if (alpha <= 1.75e-9) tmp = Float64(Float64(alpha - -1.0) / Float64(beta * beta)); else tmp = Float64(Float64(alpha / beta) / beta); end return tmp end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp_2 = code(alpha, beta)
tmp = 0.0;
if (alpha <= 1.75e-9)
tmp = (alpha - -1.0) / (beta * beta);
else
tmp = (alpha / beta) / beta;
end
tmp_2 = tmp;
end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := If[LessEqual[alpha, 1.75e-9], N[(N[(alpha - -1.0), $MachinePrecision] / N[(beta * beta), $MachinePrecision]), $MachinePrecision], N[(N[(alpha / beta), $MachinePrecision] / beta), $MachinePrecision]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
\mathbf{if}\;\alpha \leq 1.75 \cdot 10^{-9}:\\
\;\;\;\;\frac{\alpha - -1}{\beta \cdot \beta}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\alpha}{\beta}}{\beta}\\
\end{array}
\end{array}
if alpha < 1.75e-9Initial program 99.8%
Taylor expanded in beta around inf
lower-/.f64N/A
lower-+.f64N/A
unpow2N/A
lower-*.f6438.7
Applied rewrites38.7%
if 1.75e-9 < alpha Initial program 81.7%
Taylor expanded in beta around inf
lower-/.f64N/A
lower-+.f64N/A
unpow2N/A
lower-*.f6414.9
Applied rewrites14.9%
Taylor expanded in alpha around inf
Applied rewrites14.9%
Applied rewrites15.9%
Final simplification30.5%
NOTE: alpha and beta should be sorted in increasing order before calling this function. (FPCore (alpha beta) :precision binary64 (/ (/ (- alpha -1.0) beta) (+ 3.0 beta)))
assert(alpha < beta);
double code(double alpha, double beta) {
return ((alpha - -1.0) / beta) / (3.0 + beta);
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
code = ((alpha - (-1.0d0)) / beta) / (3.0d0 + beta)
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
return ((alpha - -1.0) / beta) / (3.0 + beta);
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): return ((alpha - -1.0) / beta) / (3.0 + beta)
alpha, beta = sort([alpha, beta]) function code(alpha, beta) return Float64(Float64(Float64(alpha - -1.0) / beta) / Float64(3.0 + beta)) end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp = code(alpha, beta)
tmp = ((alpha - -1.0) / beta) / (3.0 + beta);
end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := N[(N[(N[(alpha - -1.0), $MachinePrecision] / beta), $MachinePrecision] / N[(3.0 + beta), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\frac{\frac{\alpha - -1}{\beta}}{3 + \beta}
\end{array}
Initial program 93.3%
lift-+.f64N/A
+-commutativeN/A
lift-+.f64N/A
associate-+r+N/A
lower-+.f64N/A
lower-+.f6493.3
lift-+.f64N/A
+-commutativeN/A
lower-+.f6493.3
lift-*.f64N/A
metadata-eval93.3
Applied rewrites93.3%
Taylor expanded in beta around inf
lower-/.f64N/A
+-commutativeN/A
lower-+.f6430.0
Applied rewrites30.0%
Taylor expanded in alpha around 0
+-commutativeN/A
lower-+.f6429.9
Applied rewrites29.9%
Final simplification29.9%
NOTE: alpha and beta should be sorted in increasing order before calling this function. (FPCore (alpha beta) :precision binary64 (/ (/ (- alpha -1.0) beta) beta))
assert(alpha < beta);
double code(double alpha, double beta) {
return ((alpha - -1.0) / beta) / beta;
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
code = ((alpha - (-1.0d0)) / beta) / beta
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
return ((alpha - -1.0) / beta) / beta;
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): return ((alpha - -1.0) / beta) / beta
alpha, beta = sort([alpha, beta]) function code(alpha, beta) return Float64(Float64(Float64(alpha - -1.0) / beta) / beta) end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp = code(alpha, beta)
tmp = ((alpha - -1.0) / beta) / beta;
end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := N[(N[(N[(alpha - -1.0), $MachinePrecision] / beta), $MachinePrecision] / beta), $MachinePrecision]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\frac{\frac{\alpha - -1}{\beta}}{\beta}
\end{array}
Initial program 93.3%
Taylor expanded in beta around inf
lower-/.f64N/A
lower-+.f64N/A
unpow2N/A
lower-*.f6430.1
Applied rewrites30.1%
Applied rewrites30.5%
Final simplification30.5%
NOTE: alpha and beta should be sorted in increasing order before calling this function. (FPCore (alpha beta) :precision binary64 (if (<= alpha 1.75e-9) (/ 1.0 (* beta beta)) (/ alpha (* beta beta))))
assert(alpha < beta);
double code(double alpha, double beta) {
double tmp;
if (alpha <= 1.75e-9) {
tmp = 1.0 / (beta * beta);
} else {
tmp = alpha / (beta * beta);
}
return tmp;
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
real(8) :: tmp
if (alpha <= 1.75d-9) then
tmp = 1.0d0 / (beta * beta)
else
tmp = alpha / (beta * beta)
end if
code = tmp
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
double tmp;
if (alpha <= 1.75e-9) {
tmp = 1.0 / (beta * beta);
} else {
tmp = alpha / (beta * beta);
}
return tmp;
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): tmp = 0 if alpha <= 1.75e-9: tmp = 1.0 / (beta * beta) else: tmp = alpha / (beta * beta) return tmp
alpha, beta = sort([alpha, beta]) function code(alpha, beta) tmp = 0.0 if (alpha <= 1.75e-9) tmp = Float64(1.0 / Float64(beta * beta)); else tmp = Float64(alpha / Float64(beta * beta)); end return tmp end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp_2 = code(alpha, beta)
tmp = 0.0;
if (alpha <= 1.75e-9)
tmp = 1.0 / (beta * beta);
else
tmp = alpha / (beta * beta);
end
tmp_2 = tmp;
end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := If[LessEqual[alpha, 1.75e-9], N[(1.0 / N[(beta * beta), $MachinePrecision]), $MachinePrecision], N[(alpha / N[(beta * beta), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\begin{array}{l}
\mathbf{if}\;\alpha \leq 1.75 \cdot 10^{-9}:\\
\;\;\;\;\frac{1}{\beta \cdot \beta}\\
\mathbf{else}:\\
\;\;\;\;\frac{\alpha}{\beta \cdot \beta}\\
\end{array}
\end{array}
if alpha < 1.75e-9Initial program 99.8%
Taylor expanded in beta around inf
lower-/.f64N/A
lower-+.f64N/A
unpow2N/A
lower-*.f6438.7
Applied rewrites38.7%
Taylor expanded in alpha around 0
Applied rewrites38.2%
if 1.75e-9 < alpha Initial program 81.7%
Taylor expanded in beta around inf
lower-/.f64N/A
lower-+.f64N/A
unpow2N/A
lower-*.f6414.9
Applied rewrites14.9%
Taylor expanded in alpha around inf
Applied rewrites14.9%
NOTE: alpha and beta should be sorted in increasing order before calling this function. (FPCore (alpha beta) :precision binary64 (/ (- alpha -1.0) (* beta beta)))
assert(alpha < beta);
double code(double alpha, double beta) {
return (alpha - -1.0) / (beta * beta);
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
code = (alpha - (-1.0d0)) / (beta * beta)
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
return (alpha - -1.0) / (beta * beta);
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): return (alpha - -1.0) / (beta * beta)
alpha, beta = sort([alpha, beta]) function code(alpha, beta) return Float64(Float64(alpha - -1.0) / Float64(beta * beta)) end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp = code(alpha, beta)
tmp = (alpha - -1.0) / (beta * beta);
end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := N[(N[(alpha - -1.0), $MachinePrecision] / N[(beta * beta), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\frac{\alpha - -1}{\beta \cdot \beta}
\end{array}
Initial program 93.3%
Taylor expanded in beta around inf
lower-/.f64N/A
lower-+.f64N/A
unpow2N/A
lower-*.f6430.1
Applied rewrites30.1%
Final simplification30.1%
NOTE: alpha and beta should be sorted in increasing order before calling this function. (FPCore (alpha beta) :precision binary64 (/ alpha (* beta beta)))
assert(alpha < beta);
double code(double alpha, double beta) {
return alpha / (beta * beta);
}
NOTE: alpha and beta should be sorted in increasing order before calling this function.
real(8) function code(alpha, beta)
real(8), intent (in) :: alpha
real(8), intent (in) :: beta
code = alpha / (beta * beta)
end function
assert alpha < beta;
public static double code(double alpha, double beta) {
return alpha / (beta * beta);
}
[alpha, beta] = sort([alpha, beta]) def code(alpha, beta): return alpha / (beta * beta)
alpha, beta = sort([alpha, beta]) function code(alpha, beta) return Float64(alpha / Float64(beta * beta)) end
alpha, beta = num2cell(sort([alpha, beta])){:}
function tmp = code(alpha, beta)
tmp = alpha / (beta * beta);
end
NOTE: alpha and beta should be sorted in increasing order before calling this function. code[alpha_, beta_] := N[(alpha / N[(beta * beta), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
[alpha, beta] = \mathsf{sort}([alpha, beta])\\
\\
\frac{\alpha}{\beta \cdot \beta}
\end{array}
Initial program 93.3%
Taylor expanded in beta around inf
lower-/.f64N/A
lower-+.f64N/A
unpow2N/A
lower-*.f6430.1
Applied rewrites30.1%
Taylor expanded in alpha around inf
Applied rewrites19.3%
herbie shell --seed 2024270
(FPCore (alpha beta)
:name "Octave 3.8, jcobi/3"
:precision binary64
:pre (and (> alpha -1.0) (> beta -1.0))
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))