(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
Results
Initial program 0
Simplified0
[Start]0 | \[ \frac{1.443434444909}{3.43423442342}
\] |
---|---|
metadata-eval [=>]0 | \[ \color{blue}{0.420307488348902}
\] |
Final simplification0
herbie shell --seed 1
(FPCore ()
:name "1.443434444909/3.43423442342"
:precision binary64
(/ 1.443434444909 3.43423442342))