sum_(k=0)^38 cos(1/77 (2 k+1) pi)