sqrt(1970 - sqrt(2))==2 (29 sin(π/8) + 12 cos(π/8))