Average Error: 0.0 → 0.0
Time: 4.5s
Precision: 64
\[\frac{x + y}{y + 1}\]
↓
\[\frac{y + x}{y + 1}\]
\frac{x + y}{y + 1}
↓
\frac{y + x}{y + 1}
double f(double x, double y) {
        double r225225 = x;
        double r225226 = y;
        double r225227 = r225225 + r225226;
        double r225228 = 1.0;
        double r225229 = r225226 + r225228;
        double r225230 = r225227 / r225229;
        return r225230;
}
↓
double f(double x, double y) {
        double r225231 = y;
        double r225232 = x;
        double r225233 = r225231 + r225232;
        double r225234 = 1.0;
        double r225235 = r225231 + r225234;
        double r225236 = r225233 / r225235;
        return r225236;
}

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 + y}{y + 1}\]

  2. Final simplification0.0

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

Reproduce

herbie shell --seed 2019194 
(FPCore (x y)
  :name "Data.Colour.SRGB:invTransferFunction from colour-2.3.3"
  (/ (+ x y) (+ y 1.0)))