solve(8x^log(6, 2)-x-7=0, {x})