Average Error: 0.0 → 0.0
Time: 7.2s
Precision: 64
\[\frac{x}{1 - x}\]
↓
\[\frac{x}{1 - x}\]
\frac{x}{1 - x}
↓
\frac{x}{1 - x}
double f(double x) {
        double r94984 = x;
        double r94985 = 1.0;
        double r94986 = r94985 - r94984;
        double r94987 = r94984 / r94986;
        return r94987;
}
↓
double f(double x) {
        double r94988 = x;
        double r94989 = 1.0;
        double r94990 = r94989 - r94988;
        double r94991 = r94988 / r94990;
        return r94991;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\frac{x}{1 - x}\]

  2. Final simplification0.0

    \[\leadsto \frac{x}{1 - x}\]

Reproduce

herbie shell --seed 2019208 
(FPCore (x)
  :name "Numeric.Integration.TanhSinh:nonNegative from integration-0.2.1"
  :precision binary64
  (/ x (- 1 x)))