RE: Integrating sin(x)cos(nx)