What is the square root of 2 + the square root of 2?