# ?

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


# Try it out?

Results

 In Out
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}$ $\color{blue}{10}$
3. Final simplification0

$\leadsto 10$

# Reproduce?

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