∫ (x+3)³ * sinx * sin^-(x) dx