integral (cosx) from 0 to pi