Average Error: 0.0 → 0.0
Time: 9.0s
Precision: 64
\[\frac{2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)} - x\]
↓
\[\frac{0.2706100000000000171951342053944244980812 \cdot x + 2.307529999999999859028321225196123123169}{x \cdot \left(x \cdot 0.04481000000000000260680366181986755691469 + 0.992290000000000005364597654988756403327\right) + 1} - x\]
\frac{2.307529999999999859028321225196123123169 + x \cdot 0.2706100000000000171951342053944244980812}{1 + x \cdot \left(0.992290000000000005364597654988756403327 + x \cdot 0.04481000000000000260680366181986755691469\right)} - x
↓
\frac{0.2706100000000000171951342053944244980812 \cdot x + 2.307529999999999859028321225196123123169}{x \cdot \left(x \cdot 0.04481000000000000260680366181986755691469 + 0.992290000000000005364597654988756403327\right) + 1} - x
double f(double x) {
        double r56868 = 2.30753;
        double r56869 = x;
        double r56870 = 0.27061;
        double r56871 = r56869 * r56870;
        double r56872 = r56868 + r56871;
        double r56873 = 1.0;
        double r56874 = 0.99229;
        double r56875 = 0.04481;
        double r56876 = r56869 * r56875;
        double r56877 = r56874 + r56876;
        double r56878 = r56869 * r56877;
        double r56879 = r56873 + r56878;
        double r56880 = r56872 / r56879;
        double r56881 = r56880 - r56869;
        return r56881;
}
↓
double f(double x) {
        double r56882 = 0.27061;
        double r56883 = x;
        double r56884 = r56882 * r56883;
        double r56885 = 2.30753;
        double r56886 = r56884 + r56885;
        double r56887 = 0.04481;
        double r56888 = r56883 * r56887;
        double r56889 = 0.99229;
        double r56890 = r56888 + r56889;
        double r56891 = r56883 * r56890;
        double r56892 = 1.0;
        double r56893 = r56891 + r56892;
        double r56894 = r56886 / r56893;
        double r56895 = r56894 - r56883;
        return r56895;
}

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{0.2706100000000000171951342053944244980812 \cdot x + 2.307529999999999859028321225196123123169}{x \cdot \left(x \cdot 0.04481000000000000260680366181986755691469 + 0.992290000000000005364597654988756403327\right) + 1} - x\]

Reproduce

herbie shell --seed 2019174 +o rules:numerics
(FPCore (x)
  :name "Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, C"
  (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))