1 cosx∧3求积分