Average Error: 0.0 → 0.0
Time: 3.3s
Precision: 64
\[\frac{2.30753 + x \cdot 0.27061000000000002}{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)} - x\]
↓
\[\frac{1}{\frac{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)}{2.30753 + x \cdot 0.27061000000000002}} - x\]
\frac{2.30753 + x \cdot 0.27061000000000002}{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)} - x
↓
\frac{1}{\frac{1 + x \cdot \left(0.992290000000000005 + x \cdot 0.044810000000000003\right)}{2.30753 + x \cdot 0.27061000000000002}} - x
double f(double x) {
        double r73816 = 2.30753;
        double r73817 = x;
        double r73818 = 0.27061;
        double r73819 = r73817 * r73818;
        double r73820 = r73816 + r73819;
        double r73821 = 1.0;
        double r73822 = 0.99229;
        double r73823 = 0.04481;
        double r73824 = r73817 * r73823;
        double r73825 = r73822 + r73824;
        double r73826 = r73817 * r73825;
        double r73827 = r73821 + r73826;
        double r73828 = r73820 / r73827;
        double r73829 = r73828 - r73817;
        return r73829;
}
↓
double f(double x) {
        double r73830 = 1.0;
        double r73831 = 1.0;
        double r73832 = x;
        double r73833 = 0.99229;
        double r73834 = 0.04481;
        double r73835 = r73832 * r73834;
        double r73836 = r73833 + r73835;
        double r73837 = r73832 * r73836;
        double r73838 = r73831 + r73837;
        double r73839 = 2.30753;
        double r73840 = 0.27061;
        double r73841 = r73832 * r73840;
        double r73842 = r73839 + r73841;
        double r73843 = r73838 / r73842;
        double r73844 = r73830 / r73843;
        double r73845 = r73844 - r73832;
        return r73845;
}

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. Using strategy rm

  3. Applied clear-num0.0

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

  4. Final simplification0.0

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

Reproduce

herbie shell --seed 2020035 
(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))