sqrt(338 + sqrt(2))==2 (12 sin(π/8) + 5 cos(π/8))