integrate (4x+3pi) sin x from 0 to pi/2