Average Error: 0.0 → 0.0
Time: 932.0ms
Precision: 64
\[\frac{x}{x + y}\]
\[\frac{x}{y + x}\]
\frac{x}{x + y}
\frac{x}{y + x}
double f(double x, double y) {
        double r17377780 = x;
        double r17377781 = y;
        double r17377782 = r17377780 + r17377781;
        double r17377783 = r17377780 / r17377782;
        return r17377783;
}

double f(double x, double y) {
        double r17377784 = x;
        double r17377785 = y;
        double r17377786 = r17377785 + r17377784;
        double r17377787 = r17377784 / r17377786;
        return r17377787;
}

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{x}{x + y}\]
  2. Final simplification0.0

    \[\leadsto \frac{x}{y + x}\]

Reproduce

herbie shell --seed 2019171 
(FPCore (x y)
  :name "AI.Clustering.Hierarchical.Internal:average from clustering-0.2.1, A"
  (/ x (+ x y)))