(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
Results
Initial program 0
Simplified0
[Start]0 | \[ \frac{100}{10}
\] |
---|---|
metadata-eval [=>]0 | \[ \color{blue}{10}
\] |
Final simplification0
herbie shell --seed 1
(FPCore ()
:name "100/10"
:precision binary64
(/ 100.0 10.0))