integrate (-\frac{\pi-2x}{2\pi}+\cos x) x from 0 to pi/2