Biết tích phân từ 0 đến pi/2 (xsinx + cosx + 2x)/(sin x + 2) = pi^2

Câu hỏi :

Biết $\underset{0}{\overset{\frac{\pi }{2}}{\int }}\frac{x\sin x+\cos x+2x}{\sin x+2}dx=\frac{{\pi }^2}{a}+\ln \frac{b}{c}$ với a, b, c là các số nguyên dương và $\frac{b}{c}$ là phân số tối giản. Tính $P=abc$.