cos∧x求定积分