How do you multiply #sqrt 8 * 2 #?