((log x)/log 2)^3=x