Со вторым у меня есть два варианта - либо ввести параметр так, чтобы этот интеграл был производной по параметру от чего-то более-менее хорошего, что бы само считалось, либо проинтегрировать по частям, занося логарифм с одним синусом под дифференциал, тогда получится рекуррентное соотношение, связывающее этот интеграл с таким же, но с на 2 меньшим n, и пытаться развернуть это рекуррентное соотношение. Второй способ, разумеется, только если n целое.
Про первый - область существования вроде бы тривиально находится, а чтобы выразить - можно попробовать сделать замену типа
и посмотреть, что получится. Есть ощущение, что снова придется дифференцировать по параметру.