(7 sin(π/4)-2) csc(π/8)