(+(*(+~(*ab))(+~a))c)
(bc) -3 1 1 0
(+~x~y~y) () -2 1 0