?

Average Error: 0.2 → 0.2
Time: 4.4s
Precision: binary64
Cost: 320

?

\[126.98 \leq x \land x \leq 132.47\]
\[\frac{1}{x + 1} \]
\[\frac{1}{1 + x} \]
(FPCore (x) :precision binary64 (/ 1.0 (+ x 1.0)))
(FPCore (x) :precision binary64 (/ 1.0 (+ 1.0 x)))
double code(double x) {
	return 1.0 / (x + 1.0);
}
double code(double x) {
	return 1.0 / (1.0 + x);
}
real(8) function code(x)
    real(8), intent (in) :: x
    code = 1.0d0 / (x + 1.0d0)
end function
real(8) function code(x)
    real(8), intent (in) :: x
    code = 1.0d0 / (1.0d0 + x)
end function
public static double code(double x) {
	return 1.0 / (x + 1.0);
}
public static double code(double x) {
	return 1.0 / (1.0 + x);
}
def code(x):
	return 1.0 / (x + 1.0)
def code(x):
	return 1.0 / (1.0 + x)
function code(x)
	return Float64(1.0 / Float64(x + 1.0))
end
function code(x)
	return Float64(1.0 / Float64(1.0 + x))
end
function tmp = code(x)
	tmp = 1.0 / (x + 1.0);
end
function tmp = code(x)
	tmp = 1.0 / (1.0 + x);
end
code[x_] := N[(1.0 / N[(x + 1.0), $MachinePrecision]), $MachinePrecision]
code[x_] := N[(1.0 / N[(1.0 + x), $MachinePrecision]), $MachinePrecision]
\frac{1}{x + 1}
\frac{1}{1 + x}

Error?

Try it out?

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation?

  1. Initial program 0.2

    \[\frac{1}{x + 1} \]
  2. Final simplification0.2

    \[\leadsto \frac{1}{1 + x} \]

Alternatives

Alternative 1
Error45.8
Cost192
\[\frac{1}{x} \]
Alternative 2
Error54.8
Cost64
\[1 \]

Error

Reproduce?

herbie shell --seed 1 
(FPCore (x)
  :name "1.0/(x+1.0)"
  :precision binary64
  :pre (and (<= 126.98 x) (<= x 132.47))
  (/ 1.0 (+ x 1.0)))