(/ (- (* (* u u) u)) 6)

Average Error: 0.2 → 0.2

Time: 763.0ms

Precision: binary64

Math

\[\frac{-\left(u \cdot u\right) \cdot u}{6}\]

↓

\[\frac{-\left(u \cdot u\right) \cdot u}{6}\]

Error

Bits error versus u

Derivation

1. Initial program 0.2

   \[\frac{-\left(u \cdot u\right) \cdot u}{6}\]

2. Final simplification 0.2

   \[\leadsto \frac{-\left(u \cdot u\right) \cdot u}{6}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (u)
  :name "(/ (- (* (* u u) u)) 6)"
  :precision binary64
  (/ (neg (* (* u u) u)) 6.0))