sqrt(58 - sqrt(2))=2 (5 sin(π/8) + 2 cos(π/8))