Average Error: 0.1 → 0.1
Time: 26.7s
Precision: 64
Internal precision: 128
\[\left(x \cdot y + z\right) \cdot y + t\]
⬇
\[\left(x \cdot y + z\right) \cdot y + t\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Target

Original0.1
Comparison0.1
Herbie0.1
\[ \left(x \cdot y + z\right) \cdot y + t \]

Derivation

  1. Initial program 0.1

    \[\left(x \cdot y + z\right) \cdot y + t\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 26.7s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(1331296709 961461221 3486695274 131815703 2333516751 566596792)'
(FPCore (x y z t)
  :name "Language.Haskell.HsColour.ColourHighlight:unbase from hscolour-1.23"

  :target
  (+ (* (+ (* x y) z) y) t)

  (+ (* (+ (* x y) z) y) t))