integrate exp(-(2pi)^(-1)(1-cos(pi*x)))