Average Error: 0 → 0
Time: 936.0ms
Precision: 64
Internal precision: 128
\[100.0 \cdot \frac{x - x}{x}\]
⬇
\[0\]

Error

Bits error versus x

Target

Original0
Comparison0
Herbie0
\[ 0 \]

Derivation

  1. Initial program 0

    \[100.0 \cdot \frac{x - x}{x}\]

  2. Applied simplify 0

    \[\leadsto \color{blue}{0}\]
  3. Removed slow pow expressions

Runtime

Time bar (total: 936.0ms) Debug log

Please include this information when filing a bug report:

herbie --seed '#(887194276 3814405596 2172609088 3523689969 3963861878 3470609252)'
(FPCore (x)
  :name "ReportTypes:explainFloat from gipeda-0.1.2.1"

  :target
  0

  (* 100.0 (/ (- x x) x)))