sqrt 2 + sqrt 2 = sqrt 8