Average Error: 0.0 → 0.0
Time: 8.8s
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 r5089885 = x;
        double r5089886 = y;
        double r5089887 = r5089885 - r5089886;
        double r5089888 = fabs(r5089887);
        double r5089889 = fabs(r5089886);
        double r5089890 = r5089888 / r5089889;
        return r5089890;
}
↓
double f(double x, double y) {
        double r5089891 = x;
        double r5089892 = y;
        double r5089893 = r5089891 - r5089892;
        double r5089894 = fabs(r5089893);
        double r5089895 = fabs(r5089892);
        double r5089896 = r5089894 / r5089895;
        return r5089896;
}

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