Average Error: 0.0 → 0.0
Time: 3.6s
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 r51142 = 2.30753;
        double r51143 = x;
        double r51144 = 0.27061;
        double r51145 = r51143 * r51144;
        double r51146 = r51142 + r51145;
        double r51147 = 1.0;
        double r51148 = 0.99229;
        double r51149 = 0.04481;
        double r51150 = r51143 * r51149;
        double r51151 = r51148 + r51150;
        double r51152 = r51143 * r51151;
        double r51153 = r51147 + r51152;
        double r51154 = r51146 / r51153;
        double r51155 = r51154 - r51143;
        return r51155;
}
↓
double f(double x) {
        double r51156 = 2.30753;
        double r51157 = x;
        double r51158 = 0.27061;
        double r51159 = r51157 * r51158;
        double r51160 = r51156 + r51159;
        double r51161 = 1.0;
        double r51162 = 0.99229;
        double r51163 = 0.04481;
        double r51164 = r51157 * r51163;
        double r51165 = r51162 + r51164;
        double r51166 = r51157 * r51165;
        double r51167 = r51161 + r51166;
        double r51168 = r51160 / r51167;
        double r51169 = r51168 - r51157;
        return r51169;
}

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 2019322 +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))