Integral from 0 to Pi of e^-x * cos(5x)