Average Error: 0.0 → 0.0
Time: 10.5s
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 r77670 = x;
        double r77671 = 2.30753;
        double r77672 = 0.27061;
        double r77673 = r77670 * r77672;
        double r77674 = r77671 + r77673;
        double r77675 = 1.0;
        double r77676 = 0.99229;
        double r77677 = 0.04481;
        double r77678 = r77670 * r77677;
        double r77679 = r77676 + r77678;
        double r77680 = r77679 * r77670;
        double r77681 = r77675 + r77680;
        double r77682 = r77674 / r77681;
        double r77683 = r77670 - r77682;
        return r77683;
}
↓
double f(double x) {
        double r77684 = x;
        double r77685 = 2.30753;
        double r77686 = 0.27061;
        double r77687 = r77684 * r77686;
        double r77688 = r77685 + r77687;
        double r77689 = 1.0;
        double r77690 = 0.99229;
        double r77691 = 0.04481;
        double r77692 = r77684 * r77691;
        double r77693 = r77690 + r77692;
        double r77694 = r77693 * r77684;
        double r77695 = r77689 + r77694;
        double r77696 = r77688 / r77695;
        double r77697 = r77684 - r77696;
        return r77697;
}

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 2019199 +o rules:numerics
(FPCore (x)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, D"
  (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))