Зачем столько нагородили-то? Простая ведь замена, 2+cos(x) = t, -dt = sin(x)*dx - уже стоит в числителе.