How do you simplify sqrt3 (4 + sqrt12)?