Интеграл sin(2*x)*log(cos(x)) (dx)

Вы ввели

  1                        
  /                        
 |                         
 |  sin(2*x)*log(cos(x)) dx
 |                         
/                          
0                          

$$\int_{0}^{1} \log{\left (\cos{\left (x \right )} \right )} \sin{\left (2 x \right )}\, dx$$

Ответ (Неопределённый)

                                   /                                         
                                  |                                          
                                  | cos(2*x)*sin(x)                          
                                  | --------------- dx                       
                                  |      cos(x)                              
  /                               |                                          
 |                               /                       cos(2*x)*log(cos(x))
 | sin(2*x)*log(cos(x)) dx = C - --------------------- - --------------------
 |                                         2                      2          
/                                                                            

$$2\,\left({{\cos ^2x}\over{4}}-{{\cos ^2x\,\log \cos x}\over{2}} \right)$$

Упростить