解方程 x^(log2^x) = 32x^4