square root of 2 plus square root of 2