Average Error: 0.0 → 0.0
Time: 9.2s
Precision: 64
\[\frac{\left|x - y\right|}{\left|y\right|}\]
↓
\[\frac{\left|x - y\right|}{\left|y\right|}\]
\frac{\left|x - y\right|}{\left|y\right|}
↓
\frac{\left|x - y\right|}{\left|y\right|}
double f(double x, double y) {
        double r8278741 = x;
        double r8278742 = y;
        double r8278743 = r8278741 - r8278742;
        double r8278744 = fabs(r8278743);
        double r8278745 = fabs(r8278742);
        double r8278746 = r8278744 / r8278745;
        return r8278746;
}
↓
double f(double x, double y) {
        double r8278747 = x;
        double r8278748 = y;
        double r8278749 = r8278747 - r8278748;
        double r8278750 = fabs(r8278749);
        double r8278751 = fabs(r8278748);
        double r8278752 = r8278750 / r8278751;
        return r8278752;
}

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

    \[\frac{\left|x - y\right|}{\left|y\right|}\]

  2. Final simplification0.0

    \[\leadsto \frac{\left|x - y\right|}{\left|y\right|}\]

Reproduce

herbie shell --seed 2019174 
(FPCore (x y)
  :name "Numeric.LinearAlgebra.Util:formatSparse from hmatrix-0.16.1.5"
  (/ (fabs (- x y)) (fabs y)))