Да, именно универсальную тригонометрическую замену я и предполагал.

А можно воспользоваться тем, что 1-sin(t)-1-cos(p/2-t)=2sin^2(p/4-t/2)
и получим практически табличный интеграл smile.gif