Solving equation $A^{(B^{(C^x)})} = C^{(B^{(A^x)})}$ for $x$ Recently I came across the equation
$$A^{(B^{(C^x)})} = C^{(B^{(A^x)})}$$
where $A \neq B \neq C$, and if $A, B, C > 1$ or if $0 < A,B,C < 1$, there exists
a unique solution for $x$.
Here is my attempt:
$$A^{(B^{(C^x)})} = C^{(B^{(A^x)})}$$
$$B^{(C^x)} = \log_A{C^{(B^{(A^x)})}}$$
$$C^x-A^x = \log_B{\log_A{C}}$$
$$C^x-A^x = \frac{\ln{(\frac{\ln{C}}{\ln{A}}})}{\ln B}$$
And I was stuck at $C^x-A^x$..

By symmetry in $A\leftrightarrow C$, we may assume that either $0<C<A<1$ or $1<A<C$.
So far, by taking logarithms and reordering
$$\tag0A^{(B^{(C^x)})} = C^{(B^{(A^x)})}$$
$$B^{(C^x)}\ln A = B^{(A^x)}\ln C$$
$$C^x\ln B + \ln\ln A = A^x\ln B +\ln\ln C$$
$$\tag1C^x-A^x = \frac{\ln\ln C-\ln\ln A}{\ln B}$$
where the right hand side is constant.
We rewrite the left hand side as
$$ \tag2C^x-A^x = A^x\left(\left(\frac CA\right)^x-1\right).$$
If $C>A>1$, the first factor on the right os strictly positive and strictly increasing, while the second factor is strictly increasing (but might be negative). 
However, the product is not monotonuous for all $x$.
But from $B>1$ we infer that the right hand side in $(1)$ is positive, hence we can restrict to $x$ where the second factor in $(2)$ is positive, that is $x>0$. In that case, both factors in $(2)$ are positive and increasing, hence so is their product. This shows that at most one solution $x$ exists.
At $x=0$, we obtain $C^x-A^x=1-1=0$, whereas each factor $A^x$ and $\left(\frac CA\right)^x-1$ goes $\to+\infty$ as $x\to+\infty$. Therefore $x\mapsto C^x-A^x$ is a bijection $[0,\infty)\to[0,\infty)$ and there exists a unique solution.
The same discussion works in the case $0<A<C<1$, $0<B<1$ apart from changed signs and monotonicity.
