Average Error: 0.2 → 0.2
Time: 34.3s
Precision: 64
$\frac{2000 \cdot x}{y} - 50$
$\frac{x \cdot 2000}{y} - 50$
\frac{2000 \cdot x}{y} - 50
\frac{x \cdot 2000}{y} - 50
double f(double x, double y) {
double r57438395 = 2000.0;
double r57438396 = x;
double r57438397 = r57438395 * r57438396;
double r57438398 = y;
double r57438399 = r57438397 / r57438398;
double r57438400 = 50.0;
double r57438401 = r57438399 - r57438400;
return r57438401;
}


double f(double x, double y) {
double r57438402 = x;
double r57438403 = 2000.0;
double r57438404 = r57438402 * r57438403;
double r57438405 = y;
double r57438406 = r57438404 / r57438405;
double r57438407 = 50.0;
double r57438408 = r57438406 - r57438407;
return r57438408;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0.2

$\frac{2000 \cdot x}{y} - 50$
2. Final simplification0.2

$\leadsto \frac{x \cdot 2000}{y} - 50$

# Reproduce

herbie shell --seed 1
(FPCore (x y)
:name "2000 * x/y - 50"
(- (/ (* 2000 x) y) 50))