check if it is worth trying to group by symmetries (likely not)