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