Here are some pictures for your/our intuition. I graphed the trajectories for initial values $x=5,15,25,...$ for the first $256$ steps of $x_{k+1}=(5x_k+1)/2^A$.
To get the curves to a meaningfully visual interval I show logarithmic scales. The pictures show how most trajectories begin to diverge (not really a safe indication of what characteristic the infinite curves really have) but some show cycling already at early iteration indexes $k$ .
I find $2$ cycles besides the "trivial" one.
$x=5,15,25,35,...,95$ detail of the first few iterations . At the bottom we see the "trivial" cyle (brown curve):
$x=5,15,25,35,...,95$ first $2^8 = 256$ iterations. At later iteration-indexes $k$ a first "non-trivial" cycle occurs (red line):
$x=105,115,125,135,...,195$ first $2^8 = 256$ iterations .
$x=205,215,225,235,...,295$ first $2^8 = 256$ iterations . Here a second "non-trivial" cycle becomes visible:
$x=205,215,225,235,...,295$ first $2^{11} = 2048$ iterations
It seems really that all trajectories which are divergent up to iteration $k=256$ are also divergent up to iteration $k=2048$ . In general: I doubt that there are "later" cycles:
Consider the "compacted" formula (as also used in the "Syracuse"-version of the Collatz), defining one "step" beginning on $a$ going to $b$ (both odd $\ge 1$):
$$ b = {3a+1\over 2^A } \tag 1$$ where $A$ contains the number of halving-steps.
Now to have a (very) simple cycle of just one step we must have:
$$ a = {3a+1\over 2^A } \tag 2$$
It is simple to show, there is no solution except when $a=1$ only by rearranging:
$$ a = {3a+1\over 2^A } \\
2^A = {3a+1\over a } $$
$$ 2^A = 3+{1\over a } \tag3\\
$$
and having the rhs a perfect power of $2$ requires $a=1$, thus allowing (only) the well known "trivial" cycle $1 \to 1$.
Now extending this to a two-step cycle we need to have
$$\begin{array}{} b = {3a+1\over 2^A } & a = {3b+1\over 2^B }\\ \end{array} \tag 4$$ with some so far undetermined $A$ and $B$.
To see better the space of possible solutions we can take the product of the lhs's $a \cdot b$ and which must equal the product of the rhs's:
$$\begin{array}{} a \cdot b = {3a+1\over 2^A } \cdot {3b+1\over 2^B }
\end{array}$$ resulting in the required equality
$$\begin{array}{} 2^{A+B} = (3+{1\over a}) \cdot (3+{1\over b })
\end{array} \tag 5$$
This shows, we can only have a solution if the rhs becomes at least integer, which is difficult enough , but actually must even equal a perfect power of 2, larger than $3^2=9$ and namely must equal $16$. Now what values must $a,b$ have such that the rhs equals $16$? Both must contain $a=b=1$ and that is the already known trivial cycle, and no other solution in possible.
Now you see the pattern, how this generalizes to the disproof of the 3-step-cycle, 4-step-cycle, and so on for the N-step-cycle.
Unfortunately, for several $N$ the possibility for small $a,b,c,...$ exists "theoretically", which means, that the rhs-product can reach a perfect power of 2 by some $1 \lt (a_1 \ne a_2 \ne a_3 \cdots \ne a_N)$ - one might just try some $N$ by hand, remembering the conditions that all members of an assumed cycle should be greater than $1$, should be odd, should not be divisible by $3$ and that all involved $a_k$ should be different from each other, to get a better intuition.
Now to proceed more we introduce the knowledge, that by simple heuristics we already know, that $a_k \gt 1000$ (can be done manually with a programming language) or $a_k \gt 1 000 000 $ and even $a_k \gt 2^{60} $ (the latter by an extensive numerical search by de Oliviera and by Rosendaal).
If we introduce that knowledge and assume the minimal $a_1$ being, say $a_1=1+2^{60} $ , $a_2 = {3a_1+1\over 2^{A_1}} $ and so on , we find that for all manually reachable $N$ the rhs is disappointingly near to the value of $3^N$ and no perfect power of $2$ is only in any realistic distance from that. One can find, using the continued fraction of $\beta = \log(3)/\log(2)$, we need $N \gt 150 000 $ (or even much more don't have the actual value at hand).
Well, this shall just give an
intuition as to why cycles are much unlikely.
If you like to do more, allow
negative numbers for $a_1,a_2,...$ and see how and which solutions for small $N$ you can get.
Or proceed and compare the $5x+1$ problem with this: we find actually two or three possible cycles for small $N$ and $a_1 \lt 100 $ but after that the above method can be used to say much more about the nonexistence of certain $N$-step cycles. I've even found two cycles for the $181 x+1$-version having $N=2$ and small $a_1 \lt 100$ but after that, the formula comparing the rhs-product for $N$ steps to perfect powers of $2$ indicates the same "difficulty" for cycles to exist.
[Update]
Just to have an example, how a (possibly infinite, don't know at the moment) set of $N$ can be ruled out for a solution to exist.
Assume for example $N=12$. So we have on the rhs 12 parentheses of the form $(3+1/a_k)$, whose product should equal $2^S$ (where I use in general the letter $S$ for $S=A_1+A_2+...A_{12}$, just the sum of exponents, which is also the number of even-steps). Then what is the next possible perfect power of 2 above $3^{12}$? we get, using $\beta=\log(3)/ \log(2)$: $S=\lceil N \cdot \beta \rceil = 20$,thus we have the condition
$$2^{20} =(3+ {1\over a_1})(3+ {1\over a_2})...(3+ {1\over a_{12}}) \tag 6$$and the solution for smallest $1 \ne (a_1 \ne a_2 ... \ne a_{12})$ is
$$2^{20} \overset?=(3+ {1\over 5})(3+ {1\over 7})(3+ {1\over 11})...(3+ {1\over 37}) \tag 7$$
Of course we could simply compute the values of the LHS and the RHS getting
$$ 2^{20}= 1048576 \gt 697035.738776 $$
and because increasing the values for the $a_k$ would even decrease the value of the rhs there is no solution and thus no $N=12$-step cycle.
But for the sake of generality we proceed differently.
Instead we do a rough estimate for the
mean-value of the $a_k$. Assume all $a_k$ are equal to their "mean" $a_m$, then we can rewrite the equation
$$ 2^S = (3+{1\over a_m})^N \\
2^{S/N} = (3+{1\over a_m})\\
2^{S/N} -3 = {1\over a_m}\\
{1 \over 2^{S/N} -3} = a_m \tag 7 $$ $$
a_m = {1 \over 2^{20/12}-3}\approx 5.72075494219... \tag 8
$$
and because $a_m$ is somehow a rough mean, some $a_k$ must be smaller and some must be larger. But there is only
one possible value for any $a_k \lt a_m$ namely $a_1=5$.
After that, rearranging one parenthese with that value assumed to the lhs in eq(6) we get
$$ 2^S/(3+1/5) = (3+{1\over a_m})^{N-1} \\
2^{20} \cdot 5/16 = (3+{1\over a_m})^{11} \\
a_m \approx 5.79638745091$$
and we find, that there is no way that $a_m$ can be a rough mean of the remaining $11$ $a_k$ since there is no more odd integer $a_k$ in $1 \ne 3 \ne 5 \lt a_k $ so a $N=12$-step-cycle cannot exist.
We see nicely, that for some $N$ we can exclude the possibility of a cycle just based on the basic assumptions on the form of the members of a possible cycle $a_k$ by the formula (6) and for such $N$ do not need to recurse to the $a_k \gt 2^{60}$ found by de Oliviera and Rosendaal.
However, and this leads to the observation that we need for the general solution of the cycle-problem some deeper thinking, there are some $N$ for which $2^S$ is comfortably near to $3^N$ so we can allow a set of small $a_k$ such that the rhs can approach the lhs. The continued fraction of $\beta$ gives us pairs of $N$ and $S$ where $2^S$ are especially near to $3^N$ and for which a cycle cannot be excluded by this method alone.
[update 2]
I've not done this before explicitely, but trying the continued fraction-convergents and filling into $a_k$ the set of consecutive smallest possible integers ($5,7,11,13,...)$ we get the following small table
N S lhs=2^S rhs = (3+1/a_k)*()... lhs/rhs a_m
1, 2, 4 , 3.2 , 1.25 1 ~ 2^0
5, 8, 256 , 292.571428571, 0.875 31.81 ~ 2^5
41, 65, 3.68934881474 E 19, 5.44736223436 E 19, 0.677 1192.08 ~ 2^10
306, 485, 9.98959536101 E 145, 5.57867460455 E 146, 0.179 99780.79 ~ 2^16
15601, 24727, 3.70427126979 E 7443, 1.06756786898 E 7444, 0.346 285817586.21 ~ 2^28
79335, 125743, 2.59863196329 E37852, 8.97264176433 E37852, 0.289 7216102492.69 ~ 2^33
and we see, that the RHS can reach the LHS for that specific $N$ and thus the assumption of the smallest possible values for the $a_k$ does not suffice to exclude the possibility of a cycle. The "mean" $a_m$, estimated by the geometric mean of all parentheses as proposed above, are in the last column; they increase with the size of $N$ and we get an impression as at which cyclelength $N$ this allows values of $a_1 >2^{60}$ and thus this method has its heuristical limit: the last entry in the last row means $a_m \approx 2^{33}$ and this means, that the knowledge that $a_1>2^{60}$ suffices to have disproved all cycles of steps $N \le 79335$.
But it might anyway be interesting to see, what explicitely smallest value for $a_1$ (which we can assume to be the smallest of the cycle) and the following sequence of consecutive possible members would suffice to have the LHS smaller than the RHS. That would surely be a nice exercise ...
Best Answer
Adding to @Adam B.'s answer: examinig the conditions of possible cycles leads to the relations of powers of 3 and powers of 2, focusing on problems which are still not solved either.
One can look at it in terms of approximation : what is the smallest difference between perfect powers of 3 and perfect powers of 2, relative to the magnitude of one of them or of the rational approximation of log(3)/log(2) where we find an unsolved detail in the Waring-problem (see mathworld, "power fractional parts"). Some first steps to the proof of nonexistence of cycles (in the positive integers, in the negative integers we have at least 3 additional cycles) were provided by Ray Steiner 1996 and later by John Simons and Benne de Weger who proved the nonexistence of a certain type of cycles using that rational approximation approach.
Or one can look at the problem of cycles in terms of modular conditions, and arrive at other unsolved properties of the relation of powers of 3 to powers of 2. There is, for instance, the formulation in terms of "z-numbers" done by Kurt Mahler.
Unfortunately, even if that 3/2-problems were solved, that would not mean that the Collatz-problem was also solved and vice versa; for instance the solution of the Waring-problem-detail would only solve the "1-cycle" problem but not the general "m-cycle" problem with m bigger than roughly 70 (using the notation of Simons/De Weger): the mentioned conditions are not including each other. (The Steiner/Simons/De Weger articles are linked in the wikipedia, a more basic, amateurish article of mine adressing these aspects a bit less cryptic can be found here )