Average Error: 0.0 → 0.0
Time: 2.9s
Precision: 64
\[\frac{2.30753 + x \cdot 0.27061000000000002}{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)} - x\]
↓
\[\frac{2.30753 + x \cdot 0.27061000000000002}{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)} - x\]
\frac{2.30753 + x \cdot 0.27061000000000002}{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)} - x
↓
\frac{2.30753 + x \cdot 0.27061000000000002}{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)} - x
double f(double x) {
        double r71263 = 2.30753;
        double r71264 = x;
        double r71265 = 0.27061;
        double r71266 = r71264 * r71265;
        double r71267 = r71263 + r71266;
        double r71268 = 1.0;
        double r71269 = 0.99229;
        double r71270 = 0.04481;
        double r71271 = r71264 * r71270;
        double r71272 = r71269 + r71271;
        double r71273 = r71264 * r71272;
        double r71274 = r71268 + r71273;
        double r71275 = r71267 / r71274;
        double r71276 = r71275 - r71264;
        return r71276;
}
↓
double f(double x) {
        double r71277 = 2.30753;
        double r71278 = x;
        double r71279 = 0.27061;
        double r71280 = r71278 * r71279;
        double r71281 = r71277 + r71280;
        double r71282 = 1.0;
        double r71283 = 0.99229;
        double r71284 = 0.04481;
        double r71285 = r71278 * r71284;
        double r71286 = r71283 + r71285;
        double r71287 = r71278 * r71286;
        double r71288 = r71282 + r71287;
        double r71289 = r71281 / r71288;
        double r71290 = r71289 - r71278;
        return r71290;
}

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.30753 + x \cdot 0.27061000000000002}{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)} - x\]

  2. Final simplification0.0

    \[\leadsto \frac{2.30753 + x \cdot 0.27061000000000002}{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)} - x\]

Reproduce

herbie shell --seed 2020083 +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))