Compact tree of x Thompson