How do you multiply sqrt2 *sqrt8?