?

Average Error: 0 → 0
Time: 1.8s
Precision: binary64
Cost: 192

?

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

Error?

Try it out?

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation?

  1. Initial program 0

    \[\frac{1.443434444909}{x} \]
  2. Final simplification0

    \[\leadsto \frac{1.443434444909}{x} \]

Reproduce?

herbie shell --seed 1 
(FPCore (x)
  :name "1.443434444909/x"
  :precision binary64
  :pre (and (<= -2.0 x) (<= x 2.0))
  (/ 1.443434444909 x))