What is the square root of 32 plus the square root of 2?