sqrt 2 + sqrt 2