3.1.64 \(\int \sin (a+b x) \text {Si}(c+d x) \, dx\) [64]
Optimal. Leaf size=154 \[ -\frac {\text {CosIntegral}\left (\frac {c (b-d)}{d}+(b-d) x\right ) \sin \left (a-\frac {b c}{d}\right )}{2 b}+\frac {\text {CosIntegral}\left (\frac {c (b+d)}{d}+(b+d) x\right ) \sin \left (a-\frac {b c}{d}\right )}{2 b}-\frac {\cos \left (a-\frac {b c}{d}\right ) \text {Si}\left (\frac {c (b-d)}{d}+(b-d) x\right )}{2 b}-\frac {\cos (a+b x) \text {Si}(c+d x)}{b}+\frac {\cos \left (a-\frac {b c}{d}\right ) \text {Si}\left (\frac {c (b+d)}{d}+(b+d) x\right )}{2 b} \]
[Out]
-1/2*cos(a-b*c/d)*Si(c*(b-d)/d+(b-d)*x)/b-cos(b*x+a)*Si(d*x+c)/b+1/2*cos(a-b*c/d)*Si(c*(b+d)/d+(b+d)*x)/b-1/2*
Ci(c*(b-d)/d+(b-d)*x)*sin(a-b*c/d)/b+1/2*Ci(c*(b+d)/d+(b+d)*x)*sin(a-b*c/d)/b
________________________________________________________________________________________
Rubi [A]
time = 0.16, antiderivative size = 154, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 5, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.385, Rules used = {6646, 4515,
3384, 3380, 3383} \begin {gather*} -\frac {\sin \left (a-\frac {b c}{d}\right ) \text {CosIntegral}\left (\frac {c (b-d)}{d}+x (b-d)\right )}{2 b}+\frac {\sin \left (a-\frac {b c}{d}\right ) \text {CosIntegral}\left (\frac {c (b+d)}{d}+x (b+d)\right )}{2 b}-\frac {\cos \left (a-\frac {b c}{d}\right ) \text {Si}\left (x (b-d)+\frac {c (b-d)}{d}\right )}{2 b}-\frac {\cos (a+b x) \text {Si}(c+d x)}{b}+\frac {\cos \left (a-\frac {b c}{d}\right ) \text {Si}\left (x (b+d)+\frac {c (b+d)}{d}\right )}{2 b} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[Sin[a + b*x]*SinIntegral[c + d*x],x]
[Out]
-1/2*(CosIntegral[(c*(b - d))/d + (b - d)*x]*Sin[a - (b*c)/d])/b + (CosIntegral[(c*(b + d))/d + (b + d)*x]*Sin
[a - (b*c)/d])/(2*b) - (Cos[a - (b*c)/d]*SinIntegral[(c*(b - d))/d + (b - d)*x])/(2*b) - (Cos[a + b*x]*SinInte
gral[c + d*x])/b + (Cos[a - (b*c)/d]*SinIntegral[(c*(b + d))/d + (b + d)*x])/(2*b)
Rule 3380
Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[SinIntegral[e + f*x]/d, x] /; FreeQ[{c, d,
e, f}, x] && EqQ[d*e - c*f, 0]
Rule 3383
Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[CosIntegral[e - Pi/2 + f*x]/d, x] /; FreeQ
[{c, d, e, f}, x] && EqQ[d*(e - Pi/2) - c*f, 0]
Rule 3384
Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Dist[Cos[(d*e - c*f)/d], Int[Sin[c*(f/d) + f*x]
/(c + d*x), x], x] + Dist[Sin[(d*e - c*f)/d], Int[Cos[c*(f/d) + f*x]/(c + d*x), x], x] /; FreeQ[{c, d, e, f},
x] && NeQ[d*e - c*f, 0]
Rule 4515
Int[Cos[(c_.) + (d_.)*(x_)]^(q_.)*((e_.) + (f_.)*(x_))^(m_.)*Sin[(a_.) + (b_.)*(x_)]^(p_.), x_Symbol] :> Int[E
xpandTrigReduce[(e + f*x)^m, Sin[a + b*x]^p*Cos[c + d*x]^q, x], x] /; FreeQ[{a, b, c, d, e, f, m}, x] && IGtQ[
p, 0] && IGtQ[q, 0]
Rule 6646
Int[Sin[(a_.) + (b_.)*(x_)]*SinIntegral[(c_.) + (d_.)*(x_)], x_Symbol] :> Simp[(-Cos[a + b*x])*(SinIntegral[c
+ d*x]/b), x] + Dist[d/b, Int[Cos[a + b*x]*(Sin[c + d*x]/(c + d*x)), x], x] /; FreeQ[{a, b, c, d}, x]
Rubi steps
\begin {align*} \int \sin (a+b x) \text {Si}(c+d x) \, dx &=-\frac {\cos (a+b x) \text {Si}(c+d x)}{b}+\frac {d \int \frac {\cos (a+b x) \sin (c+d x)}{c+d x} \, dx}{b}\\ &=-\frac {\cos (a+b x) \text {Si}(c+d x)}{b}+\frac {d \int \left (-\frac {\sin (a-c+(b-d) x)}{2 (c+d x)}+\frac {\sin (a+c+(b+d) x)}{2 (c+d x)}\right ) \, dx}{b}\\ &=-\frac {\cos (a+b x) \text {Si}(c+d x)}{b}-\frac {d \int \frac {\sin (a-c+(b-d) x)}{c+d x} \, dx}{2 b}+\frac {d \int \frac {\sin (a+c+(b+d) x)}{c+d x} \, dx}{2 b}\\ &=-\frac {\cos (a+b x) \text {Si}(c+d x)}{b}-\frac {\left (d \cos \left (a-\frac {b c}{d}\right )\right ) \int \frac {\sin \left (\frac {c (b-d)}{d}+(b-d) x\right )}{c+d x} \, dx}{2 b}+\frac {\left (d \cos \left (a-\frac {b c}{d}\right )\right ) \int \frac {\sin \left (\frac {c (b+d)}{d}+(b+d) x\right )}{c+d x} \, dx}{2 b}-\frac {\left (d \sin \left (a-\frac {b c}{d}\right )\right ) \int \frac {\cos \left (\frac {c (b-d)}{d}+(b-d) x\right )}{c+d x} \, dx}{2 b}+\frac {\left (d \sin \left (a-\frac {b c}{d}\right )\right ) \int \frac {\cos \left (\frac {c (b+d)}{d}+(b+d) x\right )}{c+d x} \, dx}{2 b}\\ &=-\frac {\text {Ci}\left (\frac {c (b-d)}{d}+(b-d) x\right ) \sin \left (a-\frac {b c}{d}\right )}{2 b}+\frac {\text {Ci}\left (\frac {c (b+d)}{d}+(b+d) x\right ) \sin \left (a-\frac {b c}{d}\right )}{2 b}-\frac {\cos \left (a-\frac {b c}{d}\right ) \text {Si}\left (\frac {c (b-d)}{d}+(b-d) x\right )}{2 b}-\frac {\cos (a+b x) \text {Si}(c+d x)}{b}+\frac {\cos \left (a-\frac {b c}{d}\right ) \text {Si}\left (\frac {c (b+d)}{d}+(b+d) x\right )}{2 b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 1.23, size = 168, normalized size = 1.09 \begin {gather*} \frac {i e^{-\frac {i (b c+a d)}{d}} \left (-e^{\frac {2 i b c}{d}} \text {Ei}\left (-\frac {i (b-d) (c+d x)}{d}\right )+e^{2 i a} \text {Ei}\left (\frac {i (b-d) (c+d x)}{d}\right )+e^{\frac {2 i b c}{d}} \text {Ei}\left (-\frac {i (b+d) (c+d x)}{d}\right )-e^{2 i a} \text {Ei}\left (\frac {i (b+d) (c+d x)}{d}\right )+4 i e^{\frac {i (b c+a d)}{d}} \cos (a+b x) \text {Si}(c+d x)\right )}{4 b} \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[Sin[a + b*x]*SinIntegral[c + d*x],x]
[Out]
((I/4)*(-(E^(((2*I)*b*c)/d)*ExpIntegralEi[((-I)*(b - d)*(c + d*x))/d]) + E^((2*I)*a)*ExpIntegralEi[(I*(b - d)*
(c + d*x))/d] + E^(((2*I)*b*c)/d)*ExpIntegralEi[((-I)*(b + d)*(c + d*x))/d] - E^((2*I)*a)*ExpIntegralEi[(I*(b
+ d)*(c + d*x))/d] + (4*I)*E^((I*(b*c + a*d))/d)*Cos[a + b*x]*SinIntegral[c + d*x]))/(b*E^((I*(b*c + a*d))/d))
________________________________________________________________________________________
Maple [A]
time = 1.08, size = 290, normalized size = 1.88
| | |
method |
result |
size |
| | |
default |
\(\frac {-\frac {\sinIntegral \left (d x +c \right ) d \cos \left (\frac {b \left (d x +c \right )}{d}+\frac {a d -c b}{d}\right )}{b}+\frac {d \left (-\frac {d \left (-\frac {\sinIntegral \left (-\frac {\left (b -d \right ) \left (d x +c \right )}{d}-\frac {a d -c b}{d}-\frac {-a d +c b}{d}\right ) \cos \left (\frac {-a d +c b}{d}\right )}{d}-\frac {\cosineIntegral \left (\frac {\left (b -d \right ) \left (d x +c \right )}{d}+\frac {a d -c b}{d}+\frac {-a d +c b}{d}\right ) \sin \left (\frac {-a d +c b}{d}\right )}{d}\right )}{2}+\frac {d \left (-\frac {\sinIntegral \left (-\frac {\left (b +d \right ) \left (d x +c \right )}{d}-\frac {a d -c b}{d}-\frac {-a d +c b}{d}\right ) \cos \left (\frac {-a d +c b}{d}\right )}{d}-\frac {\cosineIntegral \left (\frac {\left (b +d \right ) \left (d x +c \right )}{d}+\frac {a d -c b}{d}+\frac {-a d +c b}{d}\right ) \sin \left (\frac {-a d +c b}{d}\right )}{d}\right )}{2}\right )}{b}}{d}\) |
\(290\) |
| | |
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(Si(d*x+c)*sin(b*x+a),x,method=_RETURNVERBOSE)
[Out]
(-Si(d*x+c)/b*d*cos(1/d*b*(d*x+c)+(a*d-b*c)/d)+1/b*d*(-1/2*d*(-Si(-(b-d)/d*(d*x+c)-(a*d-b*c)/d-(-a*d+b*c)/d)*c
os((-a*d+b*c)/d)/d-Ci((b-d)/d*(d*x+c)+(a*d-b*c)/d+(-a*d+b*c)/d)*sin((-a*d+b*c)/d)/d)+1/2*d*(-Si(-(b+d)/d*(d*x+
c)-(a*d-b*c)/d-(-a*d+b*c)/d)*cos((-a*d+b*c)/d)/d-Ci((b+d)/d*(d*x+c)+(a*d-b*c)/d+(-a*d+b*c)/d)*sin((-a*d+b*c)/d
)/d)))/d
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin_integral(d*x+c)*sin(b*x+a),x, algorithm="maxima")
[Out]
integrate(sin(b*x + a)*sin_integral(d*x + c), x)
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 195, normalized size = 1.27 \begin {gather*} \frac {2 \, {\left (\operatorname {Si}\left (\frac {b c + c d + {\left (b d + d^{2}\right )} x}{d}\right ) + \operatorname {Si}\left (-\frac {b c - c d + {\left (b d - d^{2}\right )} x}{d}\right )\right )} \cos \left (-\frac {b c - a d}{d}\right ) + {\left (\operatorname {Ci}\left (\frac {b c + c d + {\left (b d + d^{2}\right )} x}{d}\right ) + \operatorname {Ci}\left (-\frac {b c + c d + {\left (b d + d^{2}\right )} x}{d}\right ) - \operatorname {Ci}\left (\frac {b c - c d + {\left (b d - d^{2}\right )} x}{d}\right ) - \operatorname {Ci}\left (-\frac {b c - c d + {\left (b d - d^{2}\right )} x}{d}\right )\right )} \sin \left (-\frac {b c - a d}{d}\right ) - 4 \, \cos \left (b x + a\right ) \operatorname {Si}\left (d x + c\right )}{4 \, b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin_integral(d*x+c)*sin(b*x+a),x, algorithm="fricas")
[Out]
1/4*(2*(sin_integral((b*c + c*d + (b*d + d^2)*x)/d) + sin_integral(-(b*c - c*d + (b*d - d^2)*x)/d))*cos(-(b*c
- a*d)/d) + (cos_integral((b*c + c*d + (b*d + d^2)*x)/d) + cos_integral(-(b*c + c*d + (b*d + d^2)*x)/d) - cos_
integral((b*c - c*d + (b*d - d^2)*x)/d) - cos_integral(-(b*c - c*d + (b*d - d^2)*x)/d))*sin(-(b*c - a*d)/d) -
4*cos(b*x + a)*sin_integral(d*x + c))/b
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \sin {\left (a + b x \right )} \operatorname {Si}{\left (c + d x \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(Si(d*x+c)*sin(b*x+a),x)
[Out]
Integral(sin(a + b*x)*Si(c + d*x), x)
________________________________________________________________________________________
Giac [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 0.63, size = 9541, normalized size = 61.95 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(sin_integral(d*x+c)*sin(b*x+a),x, algorithm="giac")
[Out]
1/4*(imag_part(cos_integral(b*x + d*x + c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c
*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - imag_part(cos_integral(b*x - d*x - c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/
2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 + imag_part(cos_integral(-b*x + d*x + c - b*c
/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - imag_part(c
os_integral(-b*x - d*x - c - b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/
2*(b*c - c*d)/d)^2 + 2*sin_integral((b*d*x + d^2*x + b*c + c*d)/d)*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*t
an(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - 2*sin_integral((b*d*x - d^2*x + b*c - c*d)/d)*tan(1/2*a + 1
/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - 2*real_part(cos_integral(b*x
- d*x - c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)
- 2*real_part(cos_integral(-b*x + d*x + c - b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c
*d)/d)^2*tan(1/2*(b*c - c*d)/d) + 2*real_part(cos_integral(b*x + d*x + c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/
2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)*tan(1/2*(b*c - c*d)/d)^2 + 2*real_part(cos_integral(-b*x - d*x - c - b*c
/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)*tan(1/2*(b*c - c*d)/d)^2 + 2*real_part(c
os_integral(b*x - d*x - c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(
b*c - c*d)/d)^2 + 2*real_part(cos_integral(-b*x + d*x + c - b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)*ta
n(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - 2*real_part(cos_integral(b*x + d*x + c + b*c/d))*tan(1/2*a +
1/2*c)*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - 2*real_part(cos_integral(-b*x
- d*x - c - b*c/d))*tan(1/2*a + 1/2*c)*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2
+ imag_part(cos_integral(b*x + d*x + c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d
)/d)^2 + imag_part(cos_integral(b*x - d*x - c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c
+ c*d)/d)^2 - imag_part(cos_integral(-b*x + d*x + c - b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1
/2*(b*c + c*d)/d)^2 - imag_part(cos_integral(-b*x - d*x - c - b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^
2*tan(1/2*(b*c + c*d)/d)^2 + 2*sin_integral((b*d*x + d^2*x + b*c + c*d)/d)*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/
2*c)^2*tan(1/2*(b*c + c*d)/d)^2 + 2*sin_integral((b*d*x - d^2*x + b*c - c*d)/d)*tan(1/2*a + 1/2*c)^2*tan(1/2*a
- 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2 - 4*imag_part(cos_integral(b*x - d*x - c + b*c/d))*tan(1/2*a + 1/2*c)^2*t
an(1/2*a - 1/2*c)*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d) + 4*imag_part(cos_integral(-b*x + d*x + c -
b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d) - 8*sin_integr
al((b*d*x - d^2*x + b*c - c*d)/d)*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*
c - c*d)/d) - imag_part(cos_integral(b*x + d*x + c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*tan(1/2
*(b*c - c*d)/d)^2 - imag_part(cos_integral(b*x - d*x - c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2*c)^2*t
an(1/2*(b*c - c*d)/d)^2 + imag_part(cos_integral(-b*x + d*x + c - b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*a - 1/2
*c)^2*tan(1/2*(b*c - c*d)/d)^2 + imag_part(cos_integral(-b*x - d*x - c - b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*
a - 1/2*c)^2*tan(1/2*(b*c - c*d)/d)^2 - 2*sin_integral((b*d*x + d^2*x + b*c + c*d)/d)*tan(1/2*a + 1/2*c)^2*tan
(1/2*a - 1/2*c)^2*tan(1/2*(b*c - c*d)/d)^2 - 2*sin_integral((b*d*x - d^2*x + b*c - c*d)/d)*tan(1/2*a + 1/2*c)^
2*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c - c*d)/d)^2 + 4*imag_part(cos_integral(b*x + d*x + c + b*c/d))*tan(1/2*a +
1/2*c)*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)*tan(1/2*(b*c - c*d)/d)^2 - 4*imag_part(cos_integral(-b*x -
d*x - c - b*c/d))*tan(1/2*a + 1/2*c)*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)*tan(1/2*(b*c - c*d)/d)^2 + 8
*sin_integral((b*d*x + d^2*x + b*c + c*d)/d)*tan(1/2*a + 1/2*c)*tan(1/2*a - 1/2*c)^2*tan(1/2*(b*c + c*d)/d)*ta
n(1/2*(b*c - c*d)/d)^2 + imag_part(cos_integral(b*x + d*x + c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2*(b*c + c*
d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 + imag_part(cos_integral(b*x - d*x - c + b*c/d))*tan(1/2*a + 1/2*c)^2*tan(1/2
*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - imag_part(cos_integral(-b*x + d*x + c - b*c/d))*tan(1/2*a + 1/2*c
)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - imag_part(cos_integral(-b*x - d*x - c - b*c/d))*tan(1/
2*a + 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 + 2*sin_integral((b*d*x + d^2*x + b*c + c*d)/
d)*tan(1/2*a + 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 + 2*sin_integral((b*d*x - d^2*x + b*
c - c*d)/d)*tan(1/2*a + 1/2*c)^2*tan(1/2*(b*c + c*d)/d)^2*tan(1/2*(b*c - c*d)/d)^2 - imag_part(cos_integral(b*
x + d*x + c + b*c/d))*tan(1/2*a - 1/2*c)^2*tan(...
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \mathrm {sinint}\left (c+d\,x\right )\,\sin \left (a+b\,x\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(sinint(c + d*x)*sin(a + b*x),x)
[Out]
int(sinint(c + d*x)*sin(a + b*x), x)
________________________________________________________________________________________