sqrt(3 + 2 sqrt 2)