Average Error: 0.0 → 0.0
Time: 10.7s
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 r64107 = 2.30753;
        double r64108 = x;
        double r64109 = 0.27061;
        double r64110 = r64108 * r64109;
        double r64111 = r64107 + r64110;
        double r64112 = 1.0;
        double r64113 = 0.99229;
        double r64114 = 0.04481;
        double r64115 = r64108 * r64114;
        double r64116 = r64113 + r64115;
        double r64117 = r64108 * r64116;
        double r64118 = r64112 + r64117;
        double r64119 = r64111 / r64118;
        double r64120 = r64119 - r64108;
        return r64120;
}
↓
double f(double x) {
        double r64121 = 1.0;
        double r64122 = 1.0;
        double r64123 = x;
        double r64124 = 0.99229;
        double r64125 = 0.04481;
        double r64126 = r64123 * r64125;
        double r64127 = r64124 + r64126;
        double r64128 = r64123 * r64127;
        double r64129 = r64122 + r64128;
        double r64130 = 2.30753;
        double r64131 = 0.27061;
        double r64132 = r64123 * r64131;
        double r64133 = r64130 + r64132;
        double r64134 = r64129 / r64133;
        double r64135 = r64121 / r64134;
        double r64136 = r64135 - r64123;
        return r64136;
}

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