How do you integrate cosx1cos2xdx?