Average Error: 0.0 → 0.0
Time: 9.2s
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 r898931 = x;
        double r898932 = y;
        double r898933 = r898931 - r898932;
        double r898934 = 2.0;
        double r898935 = r898931 + r898932;
        double r898936 = r898934 - r898935;
        double r898937 = r898933 / r898936;
        return r898937;
}
↓
double f(double x, double y) {
        double r898938 = x;
        double r898939 = y;
        double r898940 = r898938 - r898939;
        double r898941 = 2.0;
        double r898942 = r898938 + r898939;
        double r898943 = r898941 - r898942;
        double r898944 = r898940 / r898943;
        return r898944;
}

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 2020045 +o rules:numerics
(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))))