Average Error: 0.1 → 0.1
Time: 13.3s
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)\]
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 r458965 = 0.954929658551372;
        double r458966 = x;
        double r458967 = r458965 * r458966;
        double r458968 = 0.12900613773279798;
        double r458969 = r458966 * r458966;
        double r458970 = r458969 * r458966;
        double r458971 = r458968 * r458970;
        double r458972 = r458967 - r458971;
        return r458972;
}
↓
double f(double x) {
        double r458973 = 0.954929658551372;
        double r458974 = x;
        double r458975 = r458973 * r458974;
        double r458976 = 0.12900613773279798;
        double r458977 = r458974 * r458974;
        double r458978 = r458974 * r458977;
        double r458979 = r458976 * r458978;
        double r458980 = r458975 - r458979;
        return r458980;
}

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

    \[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 2019149 
(FPCore (x)
  :name "Rosa's Benchmark"
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))