?

Average Error: 0 → 0
Time: 948.0ms
Precision: binary64
Cost: 64

?

\[21 \cdot 185640 \]
\[3898440 \]
(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

Error?

Try it out?

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation?

    1. Initial program 0

      \[21 \cdot 185640 \]
    2. Simplified0

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

      [Start]0

      \[ 21 \cdot 185640 \]

      metadata-eval [=>]0

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

      \[\leadsto 3898440 \]

    Reproduce?

    herbie shell --seed 1 
    (FPCore ()
      :name "21 * 185640"
      :precision binary64
      (* 21.0 185640.0))