Average Error: 0.0 → 0.0
Time: 9.7s
Precision: 64
\[\frac{x + 1}{1 - x}\]
↓
\[\frac{x + 1}{1 - x}\]
\frac{x + 1}{1 - x}
↓
\frac{x + 1}{1 - x}
double f(double x) {
        double r24590 = x;
        double r24591 = 1.0;
        double r24592 = r24590 + r24591;
        double r24593 = r24591 - r24590;
        double r24594 = r24592 / r24593;
        return r24594;
}
↓
double f(double x) {
        double r24595 = x;
        double r24596 = 1.0;
        double r24597 = r24595 + r24596;
        double r24598 = r24596 - r24595;
        double r24599 = r24597 / r24598;
        return r24599;
}

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

  2. Simplified0.0

    \[\leadsto \color{blue}{\frac{1 + x}{1 - x}}\]

  3. Final simplification0.0

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

Reproduce

herbie shell --seed 2019174 +o rules:numerics
(FPCore (x)
  :name "Prelude:atanh from fay-base-0.20.0.1"
  (/ (+ x 1.0) (- 1.0 x)))