Average Error: 0.0 → 0.0
Time: 3.0s
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 r57861 = 2.30753;
        double r57862 = x;
        double r57863 = 0.27061;
        double r57864 = r57862 * r57863;
        double r57865 = r57861 + r57864;
        double r57866 = 1.0;
        double r57867 = 0.99229;
        double r57868 = 0.04481;
        double r57869 = r57862 * r57868;
        double r57870 = r57867 + r57869;
        double r57871 = r57862 * r57870;
        double r57872 = r57866 + r57871;
        double r57873 = r57865 / r57872;
        double r57874 = r57873 - r57862;
        return r57874;
}
↓
double f(double x) {
        double r57875 = 2.30753;
        double r57876 = x;
        double r57877 = 0.27061;
        double r57878 = r57876 * r57877;
        double r57879 = r57875 + r57878;
        double r57880 = 1.0;
        double r57881 = 0.99229;
        double r57882 = 0.04481;
        double r57883 = r57876 * r57882;
        double r57884 = r57881 + r57883;
        double r57885 = r57876 * r57884;
        double r57886 = r57880 + r57885;
        double r57887 = r57879 / r57886;
        double r57888 = r57887 - r57876;
        return r57888;
}

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