\frac{\frac{2*4.178}{57}*(1/1 - 1/(2*pi) *arccos(80/(sqrt(2)*85)))}{2*85^2 - 80^2} * 1e6