原式＝∫［（sint）^9］［（cost）^2］d（sint）
　　＝∫［（sint）^9］［1－（sint）^2］d（sint）
　　＝∫［（sint）^9］d（sint）－∫［（sint）^11］d（sint）
　　＝（1/10）（sint）^10－（1/12）（sint）^12＋C