Average Error: 0.0 → 0.0
Time: 5.9s
Precision: 64
\[-\log \left(\frac{1}{x} - 1\right)\]
↓
\[-\log \left(\frac{1}{x} - 1\right)\]
-\log \left(\frac{1}{x} - 1\right)
↓
-\log \left(\frac{1}{x} - 1\right)
double f(double x) {
        double r179646 = 1.0;
        double r179647 = x;
        double r179648 = r179646 / r179647;
        double r179649 = r179648 - r179646;
        double r179650 = log(r179649);
        double r179651 = -r179650;
        return r179651;
}
↓
double f(double x) {
        double r179652 = 1.0;
        double r179653 = x;
        double r179654 = r179652 / r179653;
        double r179655 = r179654 - r179652;
        double r179656 = log(r179655);
        double r179657 = -r179656;
        return r179657;
}

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

    \[-\log \left(\frac{1}{x} - 1\right)\]

  2. Final simplification0.0

    \[\leadsto -\log \left(\frac{1}{x} - 1\right)\]

Reproduce

herbie shell --seed 2019164 +o rules:numerics
(FPCore (x)
  :name "neg log"
  (- (log (- (/ 1 x) 1))))