(FPCore () :precision binary64 (* 0.3 0.2))
(FPCore () :precision binary64 0.06)
double code() { return 0.3 * 0.2; }
double code() { return 0.06; }
real(8) function code() code = 0.3d0 * 0.2d0 end function
real(8) function code() code = 0.06d0 end function
public static double code() { return 0.3 * 0.2; }
public static double code() { return 0.06; }
def code(): return 0.3 * 0.2
def code(): return 0.06
function code() return Float64(0.3 * 0.2) end
function code() return 0.06 end
function tmp = code() tmp = 0.3 * 0.2; end
function tmp = code() tmp = 0.06; end
code[] := N[(0.3 * 0.2), $MachinePrecision]
code[] := 0.06
0.3 \cdot 0.2
0.06
Results
Initial program 0
Simplified0
[Start]0 | \[ 0.3 \cdot 0.2
\] |
---|---|
metadata-eval [=>]0 | \[ \color{blue}{0.06}
\] |
Final simplification0
herbie shell --seed 1
(FPCore ()
:name "0.3 * 0.2"
:precision binary64
(* 0.3 0.2))