Average Error: 0.0 → 0.0
Time: 3.8s
Precision: 64
\[\frac{2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)} - x\]
↓
\[\left(2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812\right) \cdot \frac{1}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)} - x\]
\frac{2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)} - x
↓
\left(2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812\right) \cdot \frac{1}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)} - x
double f(double x) {
        double r67319 = 2.30753;
        double r67320 = x;
        double r67321 = 0.27061;
        double r67322 = r67320 * r67321;
        double r67323 = r67319 + r67322;
        double r67324 = 1.0;
        double r67325 = 0.99229;
        double r67326 = 0.04481;
        double r67327 = r67320 * r67326;
        double r67328 = r67325 + r67327;
        double r67329 = r67320 * r67328;
        double r67330 = r67324 + r67329;
        double r67331 = r67323 / r67330;
        double r67332 = r67331 - r67320;
        return r67332;
}
↓
double f(double x) {
        double r67333 = 2.30753;
        double r67334 = x;
        double r67335 = 0.27061;
        double r67336 = r67334 * r67335;
        double r67337 = r67333 + r67336;
        double r67338 = 1.0;
        double r67339 = 1.0;
        double r67340 = 0.99229;
        double r67341 = 0.04481;
        double r67342 = r67334 * r67341;
        double r67343 = r67340 + r67342;
        double r67344 = r67334 * r67343;
        double r67345 = r67339 + r67344;
        double r67346 = r67338 / r67345;
        double r67347 = r67337 * r67346;
        double r67348 = r67347 - r67334;
        return r67348;
}

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{2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)} - x\]
  2. Using strategy rm

  3. Applied div-inv0.0

    \[\leadsto \color{blue}{\left(2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812\right) \cdot \frac{1}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)}} - x\]

  4. Final simplification0.0

    \[\leadsto \left(2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812\right) \cdot \frac{1}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)} - x\]

Reproduce

herbie shell --seed 2019347 
(FPCore (x)
  :name "Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, C"
  :precision binary64
  (- (/ (+ 2.30753 (* x 0.27061)) (+ 1 (* x (+ 0.99229 (* x 0.04481))))) x))