Compact tree of Smith Boolman