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;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

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