How do you simplify log_x sqrt3 = ¼?