Average Error: 0.1 → 0.1
Time: 984.0ms
Precision: binary64
\[\left(0.340000000000000024 \cdot {x}^{2} + 0.77800000000000002 \cdot x\right) - 9\]
↓
\[\left(0.340000000000000024 \cdot {x}^{2} + 0.77800000000000002 \cdot x\right) - 9\]
\left(0.340000000000000024 \cdot {x}^{2} + 0.77800000000000002 \cdot x\right) - 9
↓
\left(0.340000000000000024 \cdot {x}^{2} + 0.77800000000000002 \cdot x\right) - 9
double code(double x) {
	return ((double) (((double) (((double) (0.34 * ((double) pow(x, 2.0)))) + ((double) (0.778 * x)))) - 9.0));
}
↓
double code(double x) {
	return ((double) (((double) (((double) (0.34 * ((double) pow(x, 2.0)))) + ((double) (0.778 * x)))) - 9.0));
}

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

    \[\left(0.340000000000000024 \cdot {x}^{2} + 0.77800000000000002 \cdot x\right) - 9\]

  2. Final simplification0.1

    \[\leadsto \left(0.340000000000000024 \cdot {x}^{2} + 0.77800000000000002 \cdot x\right) - 9\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x)
  :name "(- (+ (* 0.34 (pow x 2)) (* 0.778 x)) 9)"
  :precision binary64
  (- (+ (* 0.34 (pow x 2.0)) (* 0.778 x)) 9.0))