求2/(1+3(cost)^2)的不定积分