Average Error: 0.0 → 0.0
Time: 2.1s
Precision: 64
\[x - \frac{2.30753 + x \cdot 0.27061000000000002}{1 + \left(0.992290000000000005 + x \cdot 0.044810000000000003\right) \cdot x}\]
↓
\[x - \frac{2.30753 + x \cdot 0.27061000000000002}{1 + \left(0.992290000000000005 + x \cdot 0.044810000000000003\right) \cdot x}\]
x - \frac{2.30753 + x \cdot 0.27061000000000002}{1 + \left(0.992290000000000005 + x \cdot 0.044810000000000003\right) \cdot x}
↓
x - \frac{2.30753 + x \cdot 0.27061000000000002}{1 + \left(0.992290000000000005 + x \cdot 0.044810000000000003\right) \cdot x}
double f(double x) {
        double r106308 = x;
        double r106309 = 2.30753;
        double r106310 = 0.27061;
        double r106311 = r106308 * r106310;
        double r106312 = r106309 + r106311;
        double r106313 = 1.0;
        double r106314 = 0.99229;
        double r106315 = 0.04481;
        double r106316 = r106308 * r106315;
        double r106317 = r106314 + r106316;
        double r106318 = r106317 * r106308;
        double r106319 = r106313 + r106318;
        double r106320 = r106312 / r106319;
        double r106321 = r106308 - r106320;
        return r106321;
}
↓
double f(double x) {
        double r106322 = x;
        double r106323 = 2.30753;
        double r106324 = 0.27061;
        double r106325 = r106322 * r106324;
        double r106326 = r106323 + r106325;
        double r106327 = 1.0;
        double r106328 = 0.99229;
        double r106329 = 0.04481;
        double r106330 = r106322 * r106329;
        double r106331 = r106328 + r106330;
        double r106332 = r106331 * r106322;
        double r106333 = r106327 + r106332;
        double r106334 = r106326 / r106333;
        double r106335 = r106322 - r106334;
        return r106335;
}

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

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

  2. Final simplification0.0

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

Reproduce

herbie shell --seed 2020046 
(FPCore (x)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, D"
  :precision binary64
  (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1 (* (+ 0.99229 (* x 0.04481)) x)))))