Antiderivative of sin 3x cos x