Optimal. Leaf size=153 \[ -\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 {\text {CosIntegral}(c+d x) \sin (a+b 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}-\frac {\cos \left (a-\frac {b c}{d}\right ) \text {Si}\left (\frac {c (b+d)}{d}+(b+d) x\right )}{2 b} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.16, antiderivative size = 153, 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 = {6647, 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 {\sin (a+b x) \text {CosIntegral}(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}-\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]
[Out]
Rule 3380
Rule 3383
Rule 3384
Rule 4515
Rule 6647
Rubi steps
\begin {align*} \int \cos (a+b x) \text {Ci}(c+d x) \, dx &=\frac {\text {Ci}(c+d x) \sin (a+b x)}{b}-\frac {d \int \frac {\cos (c+d x) \sin (a+b x)}{c+d x} \, dx}{b}\\ &=\frac {\text {Ci}(c+d x) \sin (a+b 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 {\text {Ci}(c+d x) \sin (a+b 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 {\text {Ci}(c+d x) \sin (a+b 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 {\text {Ci}(c+d x) \sin (a+b 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}-\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 = 0.91, size = 153, normalized size = 1.00 \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 )\right )+4 \text {CosIntegral}(c+d x) \sin (a+b x)}{4 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.91, size = 290, normalized size = 1.90
method | result | size |
default | \(\frac {\frac {\cosineIntegral \left (d x +c \right ) d \sin \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]
[Out]
________________________________________________________________________________________
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]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.39, size = 239, normalized size = 1.56 \begin {gather*} \frac {2 \, d \operatorname {C}\left (d x + c\right ) \sin \left (b x + a\right ) - \sqrt {d^{2}} \cos \left (a - \frac {b c}{d} - \frac {b^{2}}{2 \, \pi d^{2}}\right ) \operatorname {S}\left (\frac {{\left (\pi d^{2} x + \pi c d + b\right )} \sqrt {d^{2}}}{\pi d^{2}}\right ) + \sqrt {d^{2}} \cos \left (a - \frac {b c}{d} + \frac {b^{2}}{2 \, \pi d^{2}}\right ) \operatorname {S}\left (\frac {{\left (\pi d^{2} x + \pi c d - b\right )} \sqrt {d^{2}}}{\pi d^{2}}\right ) - \sqrt {d^{2}} \operatorname {C}\left (\frac {{\left (\pi d^{2} x + \pi c d - b\right )} \sqrt {d^{2}}}{\pi d^{2}}\right ) \sin \left (a - \frac {b c}{d} + \frac {b^{2}}{2 \, \pi d^{2}}\right ) - \sqrt {d^{2}} \operatorname {C}\left (\frac {{\left (\pi d^{2} x + \pi c d + b\right )} \sqrt {d^{2}}}{\pi d^{2}}\right ) \sin \left (a - \frac {b c}{d} - \frac {b^{2}}{2 \, \pi d^{2}}\right )}{2 \, b d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \cos {\left (a + b x \right )} \operatorname {Ci}{\left (c + d x \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \mathrm {cosint}\left (c+d\,x\right )\,\cos \left (a+b\,x\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________