sqrt(10 + sqrt(2)) = 2 (2 sin(π/8) + cos(π/8))