Average Error: 0.0 → 0.0
Time: 1.3s
Precision: 64
\[\frac{2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812}{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\]
\frac{2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812}{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
double f(double x) {
        double r63314 = 2.30753;
        double r63315 = x;
        double r63316 = 0.27061;
        double r63317 = r63315 * r63316;
        double r63318 = r63314 + r63317;
        double r63319 = 1.0;
        double r63320 = 0.99229;
        double r63321 = 0.04481;
        double r63322 = r63315 * r63321;
        double r63323 = r63320 + r63322;
        double r63324 = r63315 * r63323;
        double r63325 = r63319 + r63324;
        double r63326 = r63318 / r63325;
        double r63327 = r63326 - r63315;
        return r63327;
}
↓
double f(double x) {
        double r63328 = 2.30753;
        double r63329 = x;
        double r63330 = 0.27061;
        double r63331 = r63329 * r63330;
        double r63332 = r63328 + r63331;
        double r63333 = 1.0;
        double r63334 = 0.99229;
        double r63335 = 0.04481;
        double r63336 = r63329 * r63335;
        double r63337 = r63334 + r63336;
        double r63338 = r63329 * r63337;
        double r63339 = r63333 + r63338;
        double r63340 = r63332 / r63339;
        double r63341 = r63340 - r63329;
        return r63341;
}

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. Final simplification0.0

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

Reproduce

herbie shell --seed 2019353 +o rules:numerics
(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))