integral of xcos(pi x)