Average Error: 1.9 → 1.9
Time: 28.0s
Precision: 64
Internal Precision: 576
\[\left(x + s \cdot u\right) + \left(s \cdot w\right) \cdot \left(t + w \cdot r\right)\]
\[\left(s \cdot u + x\right) + \left(t + w \cdot r\right) \cdot \left(w \cdot s\right)\]

Error

Bits error versus x

Bits error versus s

Bits error versus u

Bits error versus w

Bits error versus t

Bits error versus r

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 1.9

    \[\left(x + s \cdot u\right) + \left(s \cdot w\right) \cdot \left(t + w \cdot r\right)\]
  2. Final simplification1.9

    \[\leadsto \left(s \cdot u + x\right) + \left(t + w \cdot r\right) \cdot \left(w \cdot s\right)\]

Runtime

Time bar (total: 28.0s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
(FPCore (x s u w t r)
  :name "(x + s*u) + (s*w)*(t + w*r)"
  (+ (+ x (* s u)) (* (* s w) (+ t (* w r)))))