Average Error: 0.0 → 0.0
Time: 7.3s
Precision: 64
\[x - \frac{y}{1 + \frac{x \cdot y}{2}}\]
↓
\[x - \frac{y}{1 + \frac{x \cdot y}{2}}\]
x - \frac{y}{1 + \frac{x \cdot y}{2}}
↓
x - \frac{y}{1 + \frac{x \cdot y}{2}}
double f(double x, double y) {
        double r219367 = x;
        double r219368 = y;
        double r219369 = 1.0;
        double r219370 = r219367 * r219368;
        double r219371 = 2.0;
        double r219372 = r219370 / r219371;
        double r219373 = r219369 + r219372;
        double r219374 = r219368 / r219373;
        double r219375 = r219367 - r219374;
        return r219375;
}
↓
double f(double x, double y) {
        double r219376 = x;
        double r219377 = y;
        double r219378 = 1.0;
        double r219379 = r219376 * r219377;
        double r219380 = 2.0;
        double r219381 = r219379 / r219380;
        double r219382 = r219378 + r219381;
        double r219383 = r219377 / r219382;
        double r219384 = r219376 - r219383;
        return r219384;
}

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.0

    \[x - \frac{y}{1 + \frac{x \cdot y}{2}}\]

  2. Final simplification0.0

    \[\leadsto x - \frac{y}{1 + \frac{x \cdot y}{2}}\]

Reproduce

herbie shell --seed 2019198 
(FPCore (x y)
  :name "Data.Number.Erf:$cinvnormcdf from erf-2.0.0.0, B"
  (- x (/ y (+ 1.0 (/ (* x y) 2.0)))))