?

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

?

\[\frac{1.443434444909}{3.43423442342} \]
\[0.420307488348902 \]
(FPCore () :precision binary64 (/ 1.443434444909 3.43423442342))
(FPCore () :precision binary64 0.420307488348902)
double code() {
	return 1.443434444909 / 3.43423442342;
}
double code() {
	return 0.420307488348902;
}
real(8) function code()
    code = 1.443434444909d0 / 3.43423442342d0
end function
real(8) function code()
    code = 0.420307488348902d0
end function
public static double code() {
	return 1.443434444909 / 3.43423442342;
}
public static double code() {
	return 0.420307488348902;
}
def code():
	return 1.443434444909 / 3.43423442342
def code():
	return 0.420307488348902
function code()
	return Float64(1.443434444909 / 3.43423442342)
end
function code()
	return 0.420307488348902
end
function tmp = code()
	tmp = 1.443434444909 / 3.43423442342;
end
function tmp = code()
	tmp = 0.420307488348902;
end
code[] := N[(1.443434444909 / 3.43423442342), $MachinePrecision]
code[] := 0.420307488348902
\frac{1.443434444909}{3.43423442342}
0.420307488348902

Error?

Try it out?

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation?

    1. Initial program 0

      \[\frac{1.443434444909}{3.43423442342} \]
    2. Simplified0

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

      [Start]0

      \[ \frac{1.443434444909}{3.43423442342} \]

      metadata-eval [=>]0

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

      \[\leadsto 0.420307488348902 \]

    Reproduce?

    herbie shell --seed 1 
    (FPCore ()
      :name "1.443434444909/3.43423442342"
      :precision binary64
      (/ 1.443434444909 3.43423442342))