integral from 0 to 2pi of (sin(x)*sin(2x) - cos(x)cos(2x)) dx