integral from 0 to pi of cos x