Average Error: 0.0 → 0.0
Time: 1.7s
Precision: 64
\[\frac{x + y}{y + 1}\]
↓
\[\frac{x + y}{y + 1}\]
\frac{x + y}{y + 1}
↓
\frac{x + y}{y + 1}
double f(double x, double y) {
        double r258075 = x;
        double r258076 = y;
        double r258077 = r258075 + r258076;
        double r258078 = 1.0;
        double r258079 = r258076 + r258078;
        double r258080 = r258077 / r258079;
        return r258080;
}
↓
double f(double x, double y) {
        double r258081 = x;
        double r258082 = y;
        double r258083 = r258081 + r258082;
        double r258084 = 1.0;
        double r258085 = r258082 + r258084;
        double r258086 = r258083 / r258085;
        return r258086;
}

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

Reproduce

herbie shell --seed 2019356 
(FPCore (x y)
  :name "Data.Colour.SRGB:invTransferFunction from colour-2.3.3"
  :precision binary64
  (/ (+ x y) (+ y 1)))