integrate sin x * cos x from x=0 to x=pi/2