Average Error: 0.1 → 0.1
Time: 13.1s
Precision: 64
\[1 - x \cdot \left(0.2530000000000000026645352591003756970167 + x \cdot 0.1199999999999999955591079014993738383055\right)\]
↓
\[1 - \left(0.2530000000000000026645352591003756970167 + 0.1199999999999999955591079014993738383055 \cdot x\right) \cdot x\]
1 - x \cdot \left(0.2530000000000000026645352591003756970167 + x \cdot 0.1199999999999999955591079014993738383055\right)
↓
1 - \left(0.2530000000000000026645352591003756970167 + 0.1199999999999999955591079014993738383055 \cdot x\right) \cdot x
double f(double x) {
        double r99538 = 1.0;
        double r99539 = x;
        double r99540 = 0.253;
        double r99541 = 0.12;
        double r99542 = r99539 * r99541;
        double r99543 = r99540 + r99542;
        double r99544 = r99539 * r99543;
        double r99545 = r99538 - r99544;
        return r99545;
}
↓
double f(double x) {
        double r99546 = 1.0;
        double r99547 = 0.253;
        double r99548 = 0.12;
        double r99549 = x;
        double r99550 = r99548 * r99549;
        double r99551 = r99547 + r99550;
        double r99552 = r99551 * r99549;
        double r99553 = r99546 - r99552;
        return r99553;
}

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 - \left(0.2530000000000000026645352591003756970167 + 0.1199999999999999955591079014993738383055 \cdot x\right) \cdot x\]

Reproduce

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