Average Error: 0.0 → 0.0
Time: 3.7s
Precision: 64
Internal precision: 1152
\[\left(\left(x0 + x1\right) + x2\right) + x3\]
⬇
\[\left(\left(x0 + x1\right) + x2\right) + x3\]

Error

Bits error versus x0

Bits error versus x1

Bits error versus x2

Bits error versus x3

Derivation

  1. Initial program 0.0

    \[\left(\left(x0 + x1\right) + x2\right) + x3\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 3.7s) Debug log

Please include this information when filing a bug report:

herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(FPCore (x0 x1 x2 x3)
  :name "test06_sums4, sum1"
  :pre (and (< -1e-05 x0 1.00001) (< 0 x1 1) (< 0 x2 1) (< 0 x3 1))
  (+ (+ (+ x0 x1) x2) x3))