How do you condense 1/4log_3(5x)?