计算 integrate from 0 to pi/2 of e^x sin x dx 。