[ tan(67.5° / 2) ] / { cos(22.5°) - [ sin(22.5°) ]·[ tan(67.5° / 2) ] }