Average Error: 0.0 → 0.0
Time: 3.1s
Precision: binary64
\[\left(\left(\left(\left(\left(\left(-7\right) \cdot {x}^{7} + 28 \cdot {x}^{6}\right) - 56 \cdot {x}^{5}\right) + 70 \cdot {x}^{4}\right) - 56 \cdot {x}^{3}\right) + 28 \cdot {x}^{2}\right) - 8 \cdot x\]
↓
\[\left(\left(\left(\left(\left(\left(-7\right) \cdot {x}^{7} + 28 \cdot {x}^{6}\right) - 56 \cdot {x}^{5}\right) + 70 \cdot {x}^{4}\right) - 56 \cdot {x}^{3}\right) + 28 \cdot {x}^{2}\right) - 8 \cdot x\]

Error

Bits error versus x

Derivation

  1. Initial program 0.0

    \[\left(\left(\left(\left(\left(\left(-7\right) \cdot {x}^{7} + 28 \cdot {x}^{6}\right) - 56 \cdot {x}^{5}\right) + 70 \cdot {x}^{4}\right) - 56 \cdot {x}^{3}\right) + 28 \cdot {x}^{2}\right) - 8 \cdot x\]

  2. Final simplification0.0

    \[\leadsto \left(\left(\left(\left(\left(\left(-7\right) \cdot {x}^{7} + 28 \cdot {x}^{6}\right) - 56 \cdot {x}^{5}\right) + 70 \cdot {x}^{4}\right) - 56 \cdot {x}^{3}\right) + 28 \cdot {x}^{2}\right) - 8 \cdot x\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(- (+ (- (+ (- (+ (* (- 7) (pow x 7)) (* 28 (pow x 6))) (* 56 (pow x 5))) (* 70 (pow x 4))) (* 56 (pow x 3))) (* 28 (pow x 2))) (* 8 x))"
  :precision binary64
  (- (+ (- (+ (- (+ (* (neg 7.0) (pow x 7.0)) (* 28.0 (pow x 6.0))) (* 56.0 (pow x 5.0))) (* 70.0 (pow x 4.0))) (* 56.0 (pow x 3.0))) (* 28.0 (pow x 2.0))) (* 8.0 x)))