Average Error: 29.1 → 0
Time: 1.7s
Precision: 64
Internal precision: 128
\[\left(x + y\right) - x\]
⬇
\[y + 0\]

Error

Bits error versus x

Bits error versus y

Target

Original29.1
Comparison0
Herbie0
\[ y - 0 \]

Derivation

  1. Initial program 29.1

    \[\left(x + y\right) - x\]

  2. Applied simplify 0

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

Runtime

Time bar (total: 1.7s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(2172805693 2764729832 485998805 4242941167 4273997915 1959527822)'
(FPCore (x y)
  :name "Graphics.Rendering.Chart.Plot.Pie:renderPie from Chart-1.5.3"

  :target
  (- y 0)

  (- (+ x y) x))