How do you simplify 4div sqrt(3)?