\[\left(1 + x\right) - x\]
Test:
Cancel like terms
Bits:
128 bits
Bits error versus x
Time: 473.0 ms
Input Error: 12.3
Output Error: 0
Log: ⚲
Profile: 🕒
\(1\)
  1. Started with
    \[\left(1 + x\right) - x\]
    12.3
  2. Applied simplify to get
    \[\color{red}{\left(1 + x\right) - x} \leadsto \color{blue}{1}\]
    0

Original test:


(lambda ((x default))
  #:name "Cancel like terms"
  (- (+ 1 x) x))