Average Error: 0.2 → 0.2
Time: 763.0ms
Precision: binary64
\[\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 simplification0.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))