
(FPCore (x) :precision binary64 (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
double code(double x) {
return (1.0 / (x - 1.0)) + (x / (x + 1.0));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (1.0d0 / (x - 1.0d0)) + (x / (x + 1.0d0))
end function
public static double code(double x) {
return (1.0 / (x - 1.0)) + (x / (x + 1.0));
}
def code(x): return (1.0 / (x - 1.0)) + (x / (x + 1.0))
function code(x) return Float64(Float64(1.0 / Float64(x - 1.0)) + Float64(x / Float64(x + 1.0))) end
function tmp = code(x) tmp = (1.0 / (x - 1.0)) + (x / (x + 1.0)); end
code[x_] := N[(N[(1.0 / N[(x - 1.0), $MachinePrecision]), $MachinePrecision] + N[(x / N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{x - 1} + \frac{x}{x + 1}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
double code(double x) {
return (1.0 / (x - 1.0)) + (x / (x + 1.0));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (1.0d0 / (x - 1.0d0)) + (x / (x + 1.0d0))
end function
public static double code(double x) {
return (1.0 / (x - 1.0)) + (x / (x + 1.0));
}
def code(x): return (1.0 / (x - 1.0)) + (x / (x + 1.0))
function code(x) return Float64(Float64(1.0 / Float64(x - 1.0)) + Float64(x / Float64(x + 1.0))) end
function tmp = code(x) tmp = (1.0 / (x - 1.0)) + (x / (x + 1.0)); end
code[x_] := N[(N[(1.0 / N[(x - 1.0), $MachinePrecision]), $MachinePrecision] + N[(x / N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{x - 1} + \frac{x}{x + 1}
\end{array}
(FPCore (x) :precision binary64 (+ (/ 1.0 (+ x -1.0)) (/ x (+ 1.0 x))))
double code(double x) {
return (1.0 / (x + -1.0)) + (x / (1.0 + x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (1.0d0 / (x + (-1.0d0))) + (x / (1.0d0 + x))
end function
public static double code(double x) {
return (1.0 / (x + -1.0)) + (x / (1.0 + x));
}
def code(x): return (1.0 / (x + -1.0)) + (x / (1.0 + x))
function code(x) return Float64(Float64(1.0 / Float64(x + -1.0)) + Float64(x / Float64(1.0 + x))) end
function tmp = code(x) tmp = (1.0 / (x + -1.0)) + (x / (1.0 + x)); end
code[x_] := N[(N[(1.0 / N[(x + -1.0), $MachinePrecision]), $MachinePrecision] + N[(x / N[(1.0 + x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{x + -1} + \frac{x}{1 + x}
\end{array}
Initial program 100.0%
Final simplification100.0%
(FPCore (x) :precision binary64 (if (<= x -1.0) (+ 1.0 (/ (/ 2.0 x) x)) (if (<= x 1.0) (/ (+ x (/ 1.0 x)) (/ -1.0 x)) 1.0)))
double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = 1.0 + ((2.0 / x) / x);
} else if (x <= 1.0) {
tmp = (x + (1.0 / x)) / (-1.0 / x);
} else {
tmp = 1.0;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-1.0d0)) then
tmp = 1.0d0 + ((2.0d0 / x) / x)
else if (x <= 1.0d0) then
tmp = (x + (1.0d0 / x)) / ((-1.0d0) / x)
else
tmp = 1.0d0
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = 1.0 + ((2.0 / x) / x);
} else if (x <= 1.0) {
tmp = (x + (1.0 / x)) / (-1.0 / x);
} else {
tmp = 1.0;
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.0: tmp = 1.0 + ((2.0 / x) / x) elif x <= 1.0: tmp = (x + (1.0 / x)) / (-1.0 / x) else: tmp = 1.0 return tmp
function code(x) tmp = 0.0 if (x <= -1.0) tmp = Float64(1.0 + Float64(Float64(2.0 / x) / x)); elseif (x <= 1.0) tmp = Float64(Float64(x + Float64(1.0 / x)) / Float64(-1.0 / x)); else tmp = 1.0; end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.0) tmp = 1.0 + ((2.0 / x) / x); elseif (x <= 1.0) tmp = (x + (1.0 / x)) / (-1.0 / x); else tmp = 1.0; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.0], N[(1.0 + N[(N[(2.0 / x), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.0], N[(N[(x + N[(1.0 / x), $MachinePrecision]), $MachinePrecision] / N[(-1.0 / x), $MachinePrecision]), $MachinePrecision], 1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1:\\
\;\;\;\;1 + \frac{\frac{2}{x}}{x}\\
\mathbf{elif}\;x \leq 1:\\
\;\;\;\;\frac{x + \frac{1}{x}}{\frac{-1}{x}}\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < -1Initial program 100.0%
Taylor expanded in x around inf 99.1%
associate-*r/99.1%
metadata-eval99.1%
unpow299.1%
associate-/r*99.1%
Simplified99.1%
if -1 < x < 1Initial program 100.0%
clear-num100.0%
frac-add100.0%
*-un-lft-identity100.0%
+-commutative100.0%
*-commutative100.0%
*-un-lft-identity100.0%
sub-neg100.0%
metadata-eval100.0%
sub-neg100.0%
metadata-eval100.0%
+-commutative100.0%
Applied egg-rr100.0%
Taylor expanded in x around 0 99.1%
Taylor expanded in x around 0 99.1%
if 1 < x Initial program 100.0%
Taylor expanded in x around inf 100.0%
Final simplification99.3%
(FPCore (x) :precision binary64 (if (<= x -1.0) (+ 1.0 (/ (/ 2.0 x) x)) (if (<= x 1.92) (+ x (/ 1.0 (+ x -1.0))) 1.0)))
double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = 1.0 + ((2.0 / x) / x);
} else if (x <= 1.92) {
tmp = x + (1.0 / (x + -1.0));
} else {
tmp = 1.0;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-1.0d0)) then
tmp = 1.0d0 + ((2.0d0 / x) / x)
else if (x <= 1.92d0) then
tmp = x + (1.0d0 / (x + (-1.0d0)))
else
tmp = 1.0d0
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = 1.0 + ((2.0 / x) / x);
} else if (x <= 1.92) {
tmp = x + (1.0 / (x + -1.0));
} else {
tmp = 1.0;
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.0: tmp = 1.0 + ((2.0 / x) / x) elif x <= 1.92: tmp = x + (1.0 / (x + -1.0)) else: tmp = 1.0 return tmp
function code(x) tmp = 0.0 if (x <= -1.0) tmp = Float64(1.0 + Float64(Float64(2.0 / x) / x)); elseif (x <= 1.92) tmp = Float64(x + Float64(1.0 / Float64(x + -1.0))); else tmp = 1.0; end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.0) tmp = 1.0 + ((2.0 / x) / x); elseif (x <= 1.92) tmp = x + (1.0 / (x + -1.0)); else tmp = 1.0; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.0], N[(1.0 + N[(N[(2.0 / x), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.92], N[(x + N[(1.0 / N[(x + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1:\\
\;\;\;\;1 + \frac{\frac{2}{x}}{x}\\
\mathbf{elif}\;x \leq 1.92:\\
\;\;\;\;x + \frac{1}{x + -1}\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < -1Initial program 100.0%
Taylor expanded in x around inf 99.1%
associate-*r/99.1%
metadata-eval99.1%
unpow299.1%
associate-/r*99.1%
Simplified99.1%
if -1 < x < 1.9199999999999999Initial program 100.0%
Taylor expanded in x around 0 99.1%
if 1.9199999999999999 < x Initial program 100.0%
Taylor expanded in x around inf 100.0%
Final simplification99.3%
(FPCore (x) :precision binary64 (if (<= x -1.0) (+ 1.0 (/ (/ 2.0 x) x)) (if (<= x 1.0) -1.0 1.0)))
double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = 1.0 + ((2.0 / x) / x);
} else if (x <= 1.0) {
tmp = -1.0;
} else {
tmp = 1.0;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-1.0d0)) then
tmp = 1.0d0 + ((2.0d0 / x) / x)
else if (x <= 1.0d0) then
tmp = -1.0d0
else
tmp = 1.0d0
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = 1.0 + ((2.0 / x) / x);
} else if (x <= 1.0) {
tmp = -1.0;
} else {
tmp = 1.0;
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.0: tmp = 1.0 + ((2.0 / x) / x) elif x <= 1.0: tmp = -1.0 else: tmp = 1.0 return tmp
function code(x) tmp = 0.0 if (x <= -1.0) tmp = Float64(1.0 + Float64(Float64(2.0 / x) / x)); elseif (x <= 1.0) tmp = -1.0; else tmp = 1.0; end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.0) tmp = 1.0 + ((2.0 / x) / x); elseif (x <= 1.0) tmp = -1.0; else tmp = 1.0; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.0], N[(1.0 + N[(N[(2.0 / x), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.0], -1.0, 1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1:\\
\;\;\;\;1 + \frac{\frac{2}{x}}{x}\\
\mathbf{elif}\;x \leq 1:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < -1Initial program 100.0%
Taylor expanded in x around inf 99.1%
associate-*r/99.1%
metadata-eval99.1%
unpow299.1%
associate-/r*99.1%
Simplified99.1%
if -1 < x < 1Initial program 100.0%
Taylor expanded in x around 0 99.0%
if 1 < x Initial program 100.0%
Taylor expanded in x around inf 100.0%
Final simplification99.3%
(FPCore (x) :precision binary64 (if (<= x -1.0) 1.0 (if (<= x 1.0) -1.0 1.0)))
double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = 1.0;
} else if (x <= 1.0) {
tmp = -1.0;
} else {
tmp = 1.0;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-1.0d0)) then
tmp = 1.0d0
else if (x <= 1.0d0) then
tmp = -1.0d0
else
tmp = 1.0d0
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = 1.0;
} else if (x <= 1.0) {
tmp = -1.0;
} else {
tmp = 1.0;
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.0: tmp = 1.0 elif x <= 1.0: tmp = -1.0 else: tmp = 1.0 return tmp
function code(x) tmp = 0.0 if (x <= -1.0) tmp = 1.0; elseif (x <= 1.0) tmp = -1.0; else tmp = 1.0; end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.0) tmp = 1.0; elseif (x <= 1.0) tmp = -1.0; else tmp = 1.0; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.0], 1.0, If[LessEqual[x, 1.0], -1.0, 1.0]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1:\\
\;\;\;\;1\\
\mathbf{elif}\;x \leq 1:\\
\;\;\;\;-1\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < -1 or 1 < x Initial program 100.0%
Taylor expanded in x around inf 98.9%
if -1 < x < 1Initial program 100.0%
Taylor expanded in x around 0 99.0%
Final simplification99.0%
(FPCore (x) :precision binary64 -1.0)
double code(double x) {
return -1.0;
}
real(8) function code(x)
real(8), intent (in) :: x
code = -1.0d0
end function
public static double code(double x) {
return -1.0;
}
def code(x): return -1.0
function code(x) return -1.0 end
function tmp = code(x) tmp = -1.0; end
code[x_] := -1.0
\begin{array}{l}
\\
-1
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 49.5%
Final simplification49.5%
herbie shell --seed 2023257
(FPCore (x)
:name "Asymptote B"
:precision binary64
(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))