integrate sin(x) cos(2 x)