\log_3 x = 4^\frac{1}{2}