# ?

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}


# Try it out?

Results

 In Out
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$

# 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)))