How do you simplify #sqrt 3 div 2 times sqrt 3?#?