Average Error: 28.9 → 0

Time: 769.0ms

Precision: 64

Internal Precision: 128

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

↓

\[1\]

Error

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

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

Derivation

Initial program 28.9
\[\left(1 + x\right) - x\]
Simplified0
\[\leadsto \color{blue}{1}\]
Final simplification0
\[\leadsto 1\]

Reproduce

herbie shell --seed 2019091 
(FPCore (x)
  :name "Cancel like terms"
  (- (+ 1 x) x))