domain of (8^log(8, x-3))