∫1 (1 cost)dt