How do you simplify #log_x sqrt3 = ¼#?