¿Existe una forma cerrada de $$ \displaystyle \int _{ 0 }^{ \pi /2 }{ x \sqrt { \tan { x } } \log { ( \cos { x } ) }\ dx }$$
Si existe puede alguien encontrar una manera de abordar esta integral y proporcionar una forma cerrada de la misma. Muchas integrales similares tienen forma cerrada y creo que ésta también.