(FPCore (x y) :precision binary64 (/ x y))
(FPCore (x y) :precision binary64 (/ x y))
double code(double x, double y) { return x / y; }
double code(double x, double y) { return x / y; }
real(8) function code(x, y) real(8), intent (in) :: x real(8), intent (in) :: y code = x / y end function
real(8) function code(x, y) real(8), intent (in) :: x real(8), intent (in) :: y code = x / y end function
public static double code(double x, double y) { return x / y; }
public static double code(double x, double y) { return x / y; }
def code(x, y): return x / y
def code(x, y): return x / y
function code(x, y) return Float64(x / y) end
function code(x, y) return Float64(x / y) end
function tmp = code(x, y) tmp = x / y; end
function tmp = code(x, y) tmp = x / y; end
code[x_, y_] := N[(x / y), $MachinePrecision]
code[x_, y_] := N[(x / y), $MachinePrecision]
\frac{x}{y}
\frac{x}{y}
Results
Initial program 0
Final simplification0
herbie shell --seed 1
(FPCore (x y)
:name "x/y"
:precision binary64
:pre (and (and (<= 0.0 x) (<= x 300.0)) (and (<= 6000000.0 y) (<= y 10000000.0)))
(/ x y))