8Log[2,x]==x