integral (sin(2x)cos(x/2)) dx