>>885
三角関数を含む定積分
　∫F(sinx、cosx)dx
は、u=tan(θ/2)で置換することで有理関数の定積分に帰着できます。