Average Error: 29.9 → 0
Time: 1.8s
Precision: 64
Internal Precision: 2432
\[\left(x + y\right) - x\]
↓
\[y - 0\]

Error

Bits error versus x

Bits error versus y

Target

Original29.9
Target0
Herbie0
\[y - 0\]

Derivation

  1. Initial program 29.9

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

  2. Applied simplify0

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

Runtime

Time bar (total: 1.8s)Debug log

herbie shell --seed '#(1567391828 2030694642 2833800258 828025724 3004380912 3532991858)' +o setup:early-exit
(FPCore (x y)
  :name "Graphics.Rendering.Chart.Plot.Pie:renderPie from Chart-1.5.3"

  :herbie-target
  (- y 0)

  (- (+ x y) x))