Average Error: 0.0 → 0.0
Time: 2.6s
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 r61720 = 2.30753;
        double r61721 = x;
        double r61722 = 0.27061;
        double r61723 = r61721 * r61722;
        double r61724 = r61720 + r61723;
        double r61725 = 1.0;
        double r61726 = 0.99229;
        double r61727 = 0.04481;
        double r61728 = r61721 * r61727;
        double r61729 = r61726 + r61728;
        double r61730 = r61721 * r61729;
        double r61731 = r61725 + r61730;
        double r61732 = r61724 / r61731;
        double r61733 = r61732 - r61721;
        return r61733;
}
↓
double f(double x) {
        double r61734 = 2.30753;
        double r61735 = x;
        double r61736 = 0.27061;
        double r61737 = r61735 * r61736;
        double r61738 = r61734 + r61737;
        double r61739 = 1.0;
        double r61740 = 0.99229;
        double r61741 = 0.04481;
        double r61742 = r61735 * r61741;
        double r61743 = r61740 + r61742;
        double r61744 = r61735 * r61743;
        double r61745 = r61739 + r61744;
        double r61746 = r61738 / r61745;
        double r61747 = r61746 - r61735;
        return r61747;
}

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 2020036 
(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))