?

Average Error: 0 → 0
Time: 1.2s
Precision: binary64
Cost: 64

?

\[0.3 \cdot 0.2 \]
\[0.06 \]
(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

Error?

Try it out?

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation?

    1. Initial program 0

      \[0.3 \cdot 0.2 \]
    2. Simplified0

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

      [Start]0

      \[ 0.3 \cdot 0.2 \]

      metadata-eval [=>]0

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

      \[\leadsto 0.06 \]

    Reproduce?

    herbie shell --seed 1 
    (FPCore ()
      :name "0.3 * 0.2"
      :precision binary64
      (* 0.3 0.2))