(- (* r (* l l)))

Average Error: 10.5 → 10.5

Time: 796.0ms

Precision: binary64

Math

\[-r \cdot \left(\ell \cdot \ell\right)\]

↓

\[-r \cdot \left(\ell \cdot \ell\right)\]

Error

Bits error versus r

Bits error versus l

Derivation

1. Initial program 10.5

   \[-r \cdot \left(\ell \cdot \ell\right)\]

2. Final simplification 10.5

   \[\leadsto -r \cdot \left(\ell \cdot \ell\right)\]

Reproduce

herbie shell --seed 2020152 
(FPCore (r l)
  :name "(- (* r (* l l)))"
  :precision binary64
  (neg (* r (* l l))))