Average Error: 30.2 → 0

Time: 962.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 30.2
\[\left(1 + x\right) - x\]
Simplified0
\[\leadsto \color{blue}{1}\]
Final simplification0
\[\leadsto 1\]

Reproduce

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