\[\left(\left(x + y\right) + z\right) - \left(x + \left(y + z\right)\right)\]
Test:
Commute and associate
Bits:
128 bits
Bits error versus x
Bits error versus y
Bits error versus z
Time: 1.1 s
Input Error: 0.2
Output Error: 0
Log: ⚲
Profile: 🕒
\(0\)
  1. Started with
    \[\left(\left(x + y\right) + z\right) - \left(x + \left(y + z\right)\right)\]
    0.2
  2. Applied simplify to get
    \[\color{red}{\left(\left(x + y\right) + z\right) - \left(x + \left(y + z\right)\right)} \leadsto \color{blue}{0}\]
    0

Original test:


(lambda ((x default) (y default) (z default))
  #:name "Commute and associate"
  (- (+ (+ x y) z) (+ x (+ y z))))