integral of sin(2cos(x))cos(4x) from -pi to pi