?

Average Error: 0 → 0
Time: 1.6s
Precision: binary64
Cost: 192

?

$\left(0 \leq x \land x \leq 300\right) \land \left(6000000 \leq y \land y \leq 10000000\right)$
$\frac{x}{y}$
$\frac{x}{y}$
(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}


Try it out?

Results

 In Out
Enter valid numbers for all inputs

Derivation?

1. Initial program 0

$\frac{x}{y}$
2. Final simplification0

$\leadsto \frac{x}{y}$

Reproduce?

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))