10^12 + 10^7 - 45*sum(csc(k pi/1000)^4, 1, 999)