I might be being very silly here, but I can't for the life of me see why $$\sqrt{x-x^{\frac{1}{x}^{\frac{1}{x}}}}=\log_{\sqrt{x-x^{\frac{1}{x}^{\frac{1}{x}}}}}(x)$$for $x\in \mathbb{Z}, x>1$?
$\left(\text{ie, }\log\text{ to the base }\sqrt{x-x^{\frac{1}{x}^{\frac{1}{x}}}}.\right)$
Update
As pointed out by almagest, Did & GEdgar, this is incorrect. I had a "$1/\dots$" hiding in the formula, so of course $\sqrt{x-x^{\frac{1}{x}^{\frac{1}{x}}}}=\log_{\left(\sqrt{x-x^{\frac{1}{x}^{\frac{1}{x}}}}\right)^{-1}}(x)$!!