Non svolgo i calcoli, ma dopo il primo giro per parti che ti porta a
x/(cos x + 3) - S dx/(cos x + 3)
la mia idea é quella di usare le formule parametriche che ti dovrebbero condurre ad una funzione razionale in quanto
cos x = (1 - t2)/(1 + t2) e t = tg x/2 => x = 2 arctg t => dx = 2/(1 + t2) dt
e fatta la sostituzione ci sono solo frazioni algebriche. Buon lavoro.