Average Error: 0.0 → 0.0
Time: 5.8s
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 r39224 = 2.30753;
        double r39225 = x;
        double r39226 = 0.27061;
        double r39227 = r39225 * r39226;
        double r39228 = r39224 + r39227;
        double r39229 = 1.0;
        double r39230 = 0.99229;
        double r39231 = 0.04481;
        double r39232 = r39225 * r39231;
        double r39233 = r39230 + r39232;
        double r39234 = r39225 * r39233;
        double r39235 = r39229 + r39234;
        double r39236 = r39228 / r39235;
        double r39237 = r39236 - r39225;
        return r39237;
}
↓
double f(double x) {
        double r39238 = 2.30753;
        double r39239 = x;
        double r39240 = 0.27061;
        double r39241 = r39239 * r39240;
        double r39242 = r39238 + r39241;
        double r39243 = 1.0;
        double r39244 = 0.99229;
        double r39245 = 0.04481;
        double r39246 = r39239 * r39245;
        double r39247 = r39244 + r39246;
        double r39248 = r39239 * r39247;
        double r39249 = r39243 + r39248;
        double r39250 = r39242 / r39249;
        double r39251 = r39250 - r39239;
        return r39251;
}

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 2019304 +o rules:numerics
(FPCore (x)
  :name "Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, C"
  :precision binary64
  (- (/ (+ 2.30753 (* x 0.27061000000000002)) (+ 1 (* x (+ 0.992290000000000005 (* x 0.044810000000000003))))) x))