Average Error: 0.1 → 0.1
Time: 9.0s
Precision: 64
\[1 - x \cdot \left(0.2530000000000000026645352591003756970167 + x \cdot 0.1199999999999999955591079014993738383055\right)\]
↓
\[1 - x \cdot \left(0.2530000000000000026645352591003756970167 + x \cdot 0.1199999999999999955591079014993738383055\right)\]
1 - x \cdot \left(0.2530000000000000026645352591003756970167 + x \cdot 0.1199999999999999955591079014993738383055\right)
↓
1 - x \cdot \left(0.2530000000000000026645352591003756970167 + x \cdot 0.1199999999999999955591079014993738383055\right)
double f(double x) {
        double r72675 = 1.0;
        double r72676 = x;
        double r72677 = 0.253;
        double r72678 = 0.12;
        double r72679 = r72676 * r72678;
        double r72680 = r72677 + r72679;
        double r72681 = r72676 * r72680;
        double r72682 = r72675 - r72681;
        return r72682;
}
↓
double f(double x) {
        double r72683 = 1.0;
        double r72684 = x;
        double r72685 = 0.253;
        double r72686 = 0.12;
        double r72687 = r72684 * r72686;
        double r72688 = r72685 + r72687;
        double r72689 = r72684 * r72688;
        double r72690 = r72683 - r72689;
        return r72690;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[1 - x \cdot \left(0.2530000000000000026645352591003756970167 + x \cdot 0.1199999999999999955591079014993738383055\right)\]

  2. Final simplification0.1

    \[\leadsto 1 - x \cdot \left(0.2530000000000000026645352591003756970167 + x \cdot 0.1199999999999999955591079014993738383055\right)\]

Reproduce

herbie shell --seed 2019351 +o rules:numerics
(FPCore (x)
  :name "Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, A"
  :precision binary64
  (- 1 (* x (+ 0.253 (* x 0.12)))))