| Alternative 1 | |
|---|---|
| Error | 1.2 |
| Cost | 584 |
\[\begin{array}{l}
\mathbf{if}\;x \leq -3808397.5679019354:\\
\;\;\;\;-1\\
\mathbf{elif}\;x \leq 0.0008334005333199306:\\
\;\;\;\;x + x \cdot x\\
\mathbf{else}:\\
\;\;\;\;-1\\
\end{array}
\]
(FPCore (x) :precision binary64 (/ x (- 1.0 x)))
(FPCore (x) :precision binary64 (+ (/ x (- (/ 1.0 x) x)) (/ x (- 1.0 (* x x)))))
double code(double x) {
return x / (1.0 - x);
}
double code(double x) {
return (x / ((1.0 / x) - x)) + (x / (1.0 - (x * x)));
}
real(8) function code(x)
real(8), intent (in) :: x
code = x / (1.0d0 - x)
end function
real(8) function code(x)
real(8), intent (in) :: x
code = (x / ((1.0d0 / x) - x)) + (x / (1.0d0 - (x * x)))
end function
public static double code(double x) {
return x / (1.0 - x);
}
public static double code(double x) {
return (x / ((1.0 / x) - x)) + (x / (1.0 - (x * x)));
}
def code(x): return x / (1.0 - x)
def code(x): return (x / ((1.0 / x) - x)) + (x / (1.0 - (x * x)))
function code(x) return Float64(x / Float64(1.0 - x)) end
function code(x) return Float64(Float64(x / Float64(Float64(1.0 / x) - x)) + Float64(x / Float64(1.0 - Float64(x * x)))) end
function tmp = code(x) tmp = x / (1.0 - x); end
function tmp = code(x) tmp = (x / ((1.0 / x) - x)) + (x / (1.0 - (x * x))); end
code[x_] := N[(x / N[(1.0 - x), $MachinePrecision]), $MachinePrecision]
code[x_] := N[(N[(x / N[(N[(1.0 / x), $MachinePrecision] - x), $MachinePrecision]), $MachinePrecision] + N[(x / N[(1.0 - N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\frac{x}{1 - x}
\frac{x}{\frac{1}{x} - x} + \frac{x}{1 - x \cdot x}
Results
Initial program 0.0
Applied egg-rr15.5
Applied egg-rr0.0
Final simplification0.0
| Alternative 1 | |
|---|---|
| Error | 1.2 |
| Cost | 584 |
| Alternative 2 | |
|---|---|
| Error | 1.5 |
| Cost | 328 |
| Alternative 3 | |
|---|---|
| Error | 0.0 |
| Cost | 320 |
| Alternative 4 | |
|---|---|
| Error | 31.5 |
| Cost | 64 |

herbie shell --seed 2022308
(FPCore (x)
:name "Numeric.Integration.TanhSinh:nonNegative from integration-0.2.1"
:precision binary64
(/ x (- 1.0 x)))