Average Error: 0.1 → 0.1
Time: 21.9s
Precision: 64
\[0.954929658551372 \cdot x - 0.12900613773279798 \cdot \left(\left(x \cdot x\right) \cdot x\right)\]
↓
\[0.954929658551372 \cdot x - 0.12900613773279798 \cdot \left(x \cdot \left(x \cdot x\right)\right)\]
double f(double x) {
        double r859010 = 0.954929658551372;
        double r859011 = x;
        double r859012 = r859010 * r859011;
        double r859013 = 0.12900613773279798;
        double r859014 = r859011 * r859011;
        double r859015 = r859014 * r859011;
        double r859016 = r859013 * r859015;
        double r859017 = r859012 - r859016;
        return r859017;
}
↓
double f(double x) {
        double r859018 = 0.954929658551372;
        double r859019 = x;
        double r859020 = r859018 * r859019;
        double r859021 = 0.12900613773279798;
        double r859022 = r859019 * r859019;
        double r859023 = r859019 * r859022;
        double r859024 = r859021 * r859023;
        double r859025 = r859020 - r859024;
        return r859025;
}


0.954929658551372 \cdot x - 0.12900613773279798 \cdot \left(\left(x \cdot x\right) \cdot x\right)
↓
0.954929658551372 \cdot x - 0.12900613773279798 \cdot \left(x \cdot \left(x \cdot x\right)\right)

Error

Bits error versus x

Derivation

  1. Initial program 0.1

    \[0.954929658551372 \cdot x - 0.12900613773279798 \cdot \left(\left(x \cdot x\right) \cdot x\right)\]

  2. Final simplification0.1

    \[\leadsto 0.954929658551372 \cdot x - 0.12900613773279798 \cdot \left(x \cdot \left(x \cdot x\right)\right)\]

Reproduce

herbie shell --seed 2019102 
(FPCore (x)
  :name "Rosa's Benchmark"
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))