?

Average Error: 0 → 0
Time: 1.7s
Precision: binary64
Cost: 64

?

\[\frac{100}{10} \]
\[10 \]
(FPCore () :precision binary64 (/ 100.0 10.0))
(FPCore () :precision binary64 10.0)
double code() {
	return 100.0 / 10.0;
}
double code() {
	return 10.0;
}
real(8) function code()
    code = 100.0d0 / 10.0d0
end function
real(8) function code()
    code = 10.0d0
end function
public static double code() {
	return 100.0 / 10.0;
}
public static double code() {
	return 10.0;
}
def code():
	return 100.0 / 10.0
def code():
	return 10.0
function code()
	return Float64(100.0 / 10.0)
end
function code()
	return 10.0
end
function tmp = code()
	tmp = 100.0 / 10.0;
end
function tmp = code()
	tmp = 10.0;
end
code[] := N[(100.0 / 10.0), $MachinePrecision]
code[] := 10.0
\frac{100}{10}
10

Error?

Try it out?

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation?

    1. Initial program 0

      \[\frac{100}{10} \]
    2. Simplified0

      \[\leadsto \color{blue}{10} \]
      Proof

      [Start]0

      \[ \frac{100}{10} \]

      metadata-eval [=>]0

      \[ \color{blue}{10} \]
    3. Final simplification0

      \[\leadsto 10 \]

    Reproduce?

    herbie shell --seed 1 
    (FPCore ()
      :name "100/10"
      :precision binary64
      (/ 100.0 10.0))