How do you multiply sqrt 8 * 2 ?