Average Error: 0.2 → 0.2

Time: 4.2s

Precision: 64

Internal Precision: 320

\[\left(\left(d1 \cdot d1\right) \cdot d1\right) \cdot d1\]

↓

\[\left(\left(d1 \cdot d1\right) \cdot d1\right) \cdot d1\]

Error

The X axis uses an exponential scale — Bits error versus d1

The X axis uses an exponential scale — Bits error versus d1

Derivation

Initial program 0.2
\[\left(\left(d1 \cdot d1\right) \cdot d1\right) \cdot d1\]
Final simplification0.2
\[\leadsto \left(\left(d1 \cdot d1\right) \cdot d1\right) \cdot d1\]

Reproduce

herbie shell --seed 2019090 
(FPCore (d1)
  :name "FastMath repmul"
  (*.p16 (*.p16 (*.p16 d1 d1) d1) d1))