Average Error: 0.0 → 0.0
Time: 27.4s
Precision: 64
\[\frac{x - y}{2 - \left(x + y\right)}\]
↓
\[\frac{x - y}{2 - \left(x + y\right)}\]
\frac{x - y}{2 - \left(x + y\right)}
↓
\frac{x - y}{2 - \left(x + y\right)}
double f(double x, double y) {
        double r778440 = x;
        double r778441 = y;
        double r778442 = r778440 - r778441;
        double r778443 = 2.0;
        double r778444 = r778440 + r778441;
        double r778445 = r778443 - r778444;
        double r778446 = r778442 / r778445;
        return r778446;
}
↓
double f(double x, double y) {
        double r778447 = x;
        double r778448 = y;
        double r778449 = r778447 - r778448;
        double r778450 = 2.0;
        double r778451 = r778447 + r778448;
        double r778452 = r778450 - r778451;
        double r778453 = r778449 / r778452;
        return r778453;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original0.0
Target0.0
Herbie0.0
\[\frac{x}{2 - \left(x + y\right)} - \frac{y}{2 - \left(x + y\right)}\]

Derivation

  1. Initial program 0.0

    \[\frac{x - y}{2 - \left(x + y\right)}\]

  2. Final simplification0.0

    \[\leadsto \frac{x - y}{2 - \left(x + y\right)}\]

Reproduce

herbie shell --seed 2019294 
(FPCore (x y)
  :name "Data.Colour.RGB:hslsv from colour-2.3.3, C"
  :precision binary64

  :herbie-target
  (- (/ x (- 2 (+ x y))) (/ y (- 2 (+ x y))))

  (/ (- x y) (- 2 (+ x y))))