\(\int d^x x^3 \cos (x) \, dx\) [141]

Optimal result
Mathematica [A] (verified)
Rubi [A] (verified)
Maple [C] (verified)
Fricas [A] (verification not implemented)
Sympy [C] (verification not implemented)
Maxima [A] (verification not implemented)
Giac [C] (verification not implemented)
Mupad [B] (verification not implemented)
Reduce [B] (verification not implemented)

Optimal result

Integrand size = 9, antiderivative size = 260 \[ \int d^x x^3 \cos (x) \, dx=-\frac {6 d^x \cos (x)}{\left (1+\log ^2(d)\right )^4}+\frac {36 d^x \cos (x) \log ^2(d)}{\left (1+\log ^2(d)\right )^4}-\frac {6 d^x \cos (x) \log ^4(d)}{\left (1+\log ^2(d)\right )^4}-\frac {18 d^x x \cos (x) \log (d)}{\left (1+\log ^2(d)\right )^3}+\frac {6 d^x x \cos (x) \log ^3(d)}{\left (1+\log ^2(d)\right )^3}+\frac {3 d^x x^2 \cos (x)}{\left (1+\log ^2(d)\right )^2}-\frac {3 d^x x^2 \cos (x) \log ^2(d)}{\left (1+\log ^2(d)\right )^2}+\frac {d^x x^3 \cos (x) \log (d)}{1+\log ^2(d)}+\frac {24 d^x \log (d) \sin (x)}{\left (1+\log ^2(d)\right )^4}-\frac {24 d^x \log ^3(d) \sin (x)}{\left (1+\log ^2(d)\right )^4}-\frac {6 d^x x \sin (x)}{\left (1+\log ^2(d)\right )^3}+\frac {18 d^x x \log ^2(d) \sin (x)}{\left (1+\log ^2(d)\right )^3}-\frac {6 d^x x^2 \log (d) \sin (x)}{\left (1+\log ^2(d)\right )^2}+\frac {d^x x^3 \sin (x)}{1+\log ^2(d)} \] Output:

-6*d^x*cos(x)/(1+ln(d)^2)^4+36*d^x*cos(x)*ln(d)^2/(1+ln(d)^2)^4-6*d^x*cos( 
x)*ln(d)^4/(1+ln(d)^2)^4-18*d^x*x*cos(x)*ln(d)/(1+ln(d)^2)^3+6*d^x*x*cos(x 
)*ln(d)^3/(1+ln(d)^2)^3+3*d^x*x^2*cos(x)/(1+ln(d)^2)^2-3*d^x*x^2*cos(x)*ln 
(d)^2/(1+ln(d)^2)^2+d^x*x^3*cos(x)*ln(d)/(1+ln(d)^2)+24*d^x*ln(d)*sin(x)/( 
1+ln(d)^2)^4-24*d^x*ln(d)^3*sin(x)/(1+ln(d)^2)^4-6*d^x*x*sin(x)/(1+ln(d)^2 
)^3+18*d^x*x*ln(d)^2*sin(x)/(1+ln(d)^2)^3-6*d^x*x^2*ln(d)*sin(x)/(1+ln(d)^ 
2)^2+d^x*x^3*sin(x)/(1+ln(d)^2)
 

Mathematica [A] (verified)

Time = 0.08 (sec) , antiderivative size = 168, normalized size of antiderivative = 0.65 \[ \int d^x x^3 \cos (x) \, dx=\frac {d^x \left (\cos (x) \left (3 \left (-2+x^2\right )+x \left (-18+x^2\right ) \log (d)+3 \left (12+x^2\right ) \log ^2(d)+3 x \left (-4+x^2\right ) \log ^3(d)-3 \left (2+x^2\right ) \log ^4(d)+3 x \left (2+x^2\right ) \log ^5(d)-3 x^2 \log ^6(d)+x^3 \log ^7(d)\right )+\left (x \left (-6+x^2\right )-6 \left (-4+x^2\right ) \log (d)+3 x \left (4+x^2\right ) \log ^2(d)-12 \left (2+x^2\right ) \log ^3(d)+3 x \left (6+x^2\right ) \log ^4(d)-6 x^2 \log ^5(d)+x^3 \log ^6(d)\right ) \sin (x)\right )}{\left (1+\log ^2(d)\right )^4} \] Input:

Integrate[d^x*x^3*Cos[x],x]
 

Output:

(d^x*(Cos[x]*(3*(-2 + x^2) + x*(-18 + x^2)*Log[d] + 3*(12 + x^2)*Log[d]^2 
+ 3*x*(-4 + x^2)*Log[d]^3 - 3*(2 + x^2)*Log[d]^4 + 3*x*(2 + x^2)*Log[d]^5 
- 3*x^2*Log[d]^6 + x^3*Log[d]^7) + (x*(-6 + x^2) - 6*(-4 + x^2)*Log[d] + 3 
*x*(4 + x^2)*Log[d]^2 - 12*(2 + x^2)*Log[d]^3 + 3*x*(6 + x^2)*Log[d]^4 - 6 
*x^2*Log[d]^5 + x^3*Log[d]^6)*Sin[x]))/(1 + Log[d]^2)^4
 

Rubi [A] (verified)

Time = 0.57 (sec) , antiderivative size = 262, normalized size of antiderivative = 1.01, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {4969, 2010, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int x^3 d^x \cos (x) \, dx\)

\(\Big \downarrow \) 4969

\(\displaystyle -3 \int x^2 \left (\frac {\sin (x) d^x}{\log ^2(d)+1}+\frac {\cos (x) \log (d) d^x}{\log ^2(d)+1}\right )dx+\frac {x^3 d^x \sin (x)}{\log ^2(d)+1}+\frac {x^3 d^x \log (d) \cos (x)}{\log ^2(d)+1}\)

\(\Big \downarrow \) 2010

\(\displaystyle -3 \int \left (\frac {x^2 \sin (x) d^x}{\log ^2(d)+1}+\frac {x^2 \cos (x) \log (d) d^x}{\log ^2(d)+1}\right )dx+\frac {x^3 d^x \sin (x)}{\log ^2(d)+1}+\frac {x^3 d^x \log (d) \cos (x)}{\log ^2(d)+1}\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {x^3 d^x \sin (x)}{\log ^2(d)+1}+\frac {x^3 d^x \log (d) \cos (x)}{\log ^2(d)+1}-3 \left (\frac {2 x^2 d^x \log (d) \sin (x)}{\left (\log ^2(d)+1\right )^2}+\frac {x^2 d^x \log ^2(d) \cos (x)}{\left (\log ^2(d)+1\right )^2}-\frac {x^2 d^x \cos (x)}{\left (\log ^2(d)+1\right )^2}-\frac {6 x d^x \log ^2(d) \sin (x)}{\left (\log ^2(d)+1\right )^3}+\frac {2 x d^x \sin (x)}{\left (\log ^2(d)+1\right )^3}-\frac {8 d^x \log (d) \sin (x)}{\left (\log ^2(d)+1\right )^4}+\frac {8 d^x \log ^3(d) \sin (x)}{\left (\log ^2(d)+1\right )^4}+\frac {6 x d^x \log (d) \cos (x)}{\left (\log ^2(d)+1\right )^3}-\frac {12 d^x \log ^2(d) \cos (x)}{\left (\log ^2(d)+1\right )^4}+\frac {2 d^x \cos (x)}{\left (\log ^2(d)+1\right )^4}+\frac {2 d^x \log ^4(d) \cos (x)}{\left (\log ^2(d)+1\right )^4}-\frac {2 x d^x \log ^3(d) \cos (x)}{\left (\log ^2(d)+1\right )^3}\right )\)

Input:

Int[d^x*x^3*Cos[x],x]
 

Output:

(d^x*x^3*Cos[x]*Log[d])/(1 + Log[d]^2) + (d^x*x^3*Sin[x])/(1 + Log[d]^2) - 
 3*((2*d^x*Cos[x])/(1 + Log[d]^2)^4 - (12*d^x*Cos[x]*Log[d]^2)/(1 + Log[d] 
^2)^4 + (2*d^x*Cos[x]*Log[d]^4)/(1 + Log[d]^2)^4 + (6*d^x*x*Cos[x]*Log[d]) 
/(1 + Log[d]^2)^3 - (2*d^x*x*Cos[x]*Log[d]^3)/(1 + Log[d]^2)^3 - (d^x*x^2* 
Cos[x])/(1 + Log[d]^2)^2 + (d^x*x^2*Cos[x]*Log[d]^2)/(1 + Log[d]^2)^2 - (8 
*d^x*Log[d]*Sin[x])/(1 + Log[d]^2)^4 + (8*d^x*Log[d]^3*Sin[x])/(1 + Log[d] 
^2)^4 + (2*d^x*x*Sin[x])/(1 + Log[d]^2)^3 - (6*d^x*x*Log[d]^2*Sin[x])/(1 + 
 Log[d]^2)^3 + (2*d^x*x^2*Log[d]*Sin[x])/(1 + Log[d]^2)^2)
 

Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 2010
Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x] 
, x] /; FreeQ[{c, m}, x] && SumQ[u] &&  !LinearQ[u, x] &&  !MatchQ[u, (a_) 
+ (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]
 

rule 4969
Int[Cos[(d_.) + (e_.)*(x_)]^(n_.)*(F_)^((c_.)*((a_.) + (b_.)*(x_)))*((f_.)* 
(x_))^(m_.), x_Symbol] :> Module[{u = IntHide[F^(c*(a + b*x))*Cos[d + e*x]^ 
n, x]}, Simp[(f*x)^m   u, x] - Simp[f*m   Int[(f*x)^(m - 1)*u, x], x]] /; F 
reeQ[{F, a, b, c, d, e, f}, x] && IGtQ[n, 0] && GtQ[m, 0]
 
Maple [C] (verified)

Result contains complex when optimal does not.

Time = 0.46 (sec) , antiderivative size = 164, normalized size of antiderivative = 0.63

method result size
risch \(\frac {\left (-6+\ln \left (d \right )^{3} x^{3}+3 i \ln \left (d \right )^{2} x^{3}-3 \ln \left (d \right ) x^{3}-i x^{3}+6 x \ln \left (d \right )+6 i x -3 \ln \left (d \right )^{2} x^{2}-6 i \ln \left (d \right ) x^{2}+3 x^{2}\right ) d^{x} {\mathrm e}^{i x}}{2 \left (\ln \left (d \right )+i\right )^{4}}+\frac {\left (-6+6 x \ln \left (d \right )-6 i x -3 \ln \left (d \right )^{2} x^{2}+6 i \ln \left (d \right ) x^{2}+3 x^{2}+\ln \left (d \right )^{3} x^{3}-3 i \ln \left (d \right )^{2} x^{3}-3 \ln \left (d \right ) x^{3}+i x^{3}\right ) d^{x} {\mathrm e}^{-i x}}{2 \left (\ln \left (d \right )-i\right )^{4}}\) \(164\)
parallelrisch \(\frac {d^{x} \left (\ln \left (d \right )^{7} x^{3} \cos \left (x \right )+x^{2} \left (x \sin \left (x \right )-3 \cos \left (x \right )\right ) \ln \left (d \right )^{6}+3 \left (\left (x^{3}+2 x \right ) \cos \left (x \right )-2 x^{2} \sin \left (x \right )\right ) \ln \left (d \right )^{5}+3 \left (x^{3} \sin \left (x \right )-x^{2} \cos \left (x \right )+6 x \sin \left (x \right )-2 \cos \left (x \right )\right ) \ln \left (d \right )^{4}+3 \left (\left (x^{3}-4 x \right ) \cos \left (x \right )+4 \left (-x^{2}-2\right ) \sin \left (x \right )\right ) \ln \left (d \right )^{3}+3 \left (x^{3} \sin \left (x \right )+x^{2} \cos \left (x \right )+4 x \sin \left (x \right )+12 \cos \left (x \right )\right ) \ln \left (d \right )^{2}+\left (\left (x^{3}-18 x \right ) \cos \left (x \right )+6 \left (-x^{2}+4\right ) \sin \left (x \right )\right ) \ln \left (d \right )+x^{3} \sin \left (x \right )+3 x^{2} \cos \left (x \right )-6 x \sin \left (x \right )-6 \cos \left (x \right )\right )}{\left (1+\ln \left (d \right )^{2}\right )^{4}}\) \(197\)
orering \(\frac {2 \left (\ln \left (d \right )^{7} x^{4}-3 \ln \left (d \right )^{6} x^{3}+3 \ln \left (d \right )^{5} x^{4}+3 \ln \left (d \right )^{5} x^{2}-3 \ln \left (d \right )^{4} x^{3}+3 \ln \left (d \right )^{3} x^{4}+12 \ln \left (d \right )^{4} x -18 \ln \left (d \right )^{3} x^{2}+3 \ln \left (d \right )^{2} x^{3}+\ln \left (d \right ) x^{4}-36 \ln \left (d \right )^{3}+48 \ln \left (d \right )^{2} x -21 \ln \left (d \right ) x^{2}+3 x^{3}+36 \ln \left (d \right )-12 x \right ) d^{x} \cos \left (x \right )}{\left (\ln \left (d \right )^{6}+3 \ln \left (d \right )^{4}+3 \ln \left (d \right )^{2}+1\right ) \left (1+\ln \left (d \right )^{2}\right ) x}-\frac {\left (\ln \left (d \right )^{6} x^{3}+3 \ln \left (d \right )^{4} x^{3}+3 \ln \left (d \right )^{2} x^{3}-6 \ln \left (d \right )^{5} x^{2}-12 \ln \left (d \right )^{3} x^{2}-6 \ln \left (d \right ) x^{2}+x^{3}+18 \ln \left (d \right )^{4} x +12 \ln \left (d \right )^{2} x -6 x -24 \ln \left (d \right )^{3}+24 \ln \left (d \right )\right ) \left (d^{x} \ln \left (d \right ) x^{3} \cos \left (x \right )+3 d^{x} x^{2} \cos \left (x \right )-d^{x} x^{3} \sin \left (x \right )\right )}{\left (\ln \left (d \right )^{6}+3 \ln \left (d \right )^{4}+3 \ln \left (d \right )^{2}+1\right ) \left (1+\ln \left (d \right )^{2}\right ) x^{3}}\) \(304\)
norman \(\frac {\frac {\ln \left (d \right ) x^{3} {\mathrm e}^{x \ln \left (d \right )}}{1+\ln \left (d \right )^{2}}+\frac {2 x^{3} {\mathrm e}^{x \ln \left (d \right )} \tan \left (\frac {x}{2}\right )}{1+\ln \left (d \right )^{2}}-\frac {3 \left (\ln \left (d \right )^{2}-1\right ) x^{2} {\mathrm e}^{x \ln \left (d \right )}}{\ln \left (d \right )^{4}+2 \ln \left (d \right )^{2}+1}-\frac {6 \left (\ln \left (d \right )^{4}-6 \ln \left (d \right )^{2}+1\right ) {\mathrm e}^{x \ln \left (d \right )}}{\left (\ln \left (d \right )^{6}+3 \ln \left (d \right )^{4}+3 \ln \left (d \right )^{2}+1\right ) \left (1+\ln \left (d \right )^{2}\right )}+\frac {3 \left (\ln \left (d \right )^{2}-1\right ) x^{2} {\mathrm e}^{x \ln \left (d \right )} \tan \left (\frac {x}{2}\right )^{2}}{\ln \left (d \right )^{4}+2 \ln \left (d \right )^{2}+1}+\frac {6 \left (\ln \left (d \right )^{4}-6 \ln \left (d \right )^{2}+1\right ) {\mathrm e}^{x \ln \left (d \right )} \tan \left (\frac {x}{2}\right )^{2}}{\left (\ln \left (d \right )^{6}+3 \ln \left (d \right )^{4}+3 \ln \left (d \right )^{2}+1\right ) \left (1+\ln \left (d \right )^{2}\right )}-\frac {\ln \left (d \right ) x^{3} {\mathrm e}^{x \ln \left (d \right )} \tan \left (\frac {x}{2}\right )^{2}}{1+\ln \left (d \right )^{2}}-\frac {12 \ln \left (d \right ) x^{2} {\mathrm e}^{x \ln \left (d \right )} \tan \left (\frac {x}{2}\right )}{\ln \left (d \right )^{4}+2 \ln \left (d \right )^{2}+1}+\frac {12 \left (3 \ln \left (d \right )^{2}-1\right ) x \,{\mathrm e}^{x \ln \left (d \right )} \tan \left (\frac {x}{2}\right )}{\left (1+\ln \left (d \right )^{2}\right ) \left (\ln \left (d \right )^{4}+2 \ln \left (d \right )^{2}+1\right )}-\frac {48 \ln \left (d \right ) \left (\ln \left (d \right )^{2}-1\right ) {\mathrm e}^{x \ln \left (d \right )} \tan \left (\frac {x}{2}\right )}{\left (\ln \left (d \right )^{6}+3 \ln \left (d \right )^{4}+3 \ln \left (d \right )^{2}+1\right ) \left (1+\ln \left (d \right )^{2}\right )}+\frac {6 \ln \left (d \right ) \left (\ln \left (d \right )^{2}-3\right ) x \,{\mathrm e}^{x \ln \left (d \right )}}{\left (1+\ln \left (d \right )^{2}\right ) \left (\ln \left (d \right )^{4}+2 \ln \left (d \right )^{2}+1\right )}-\frac {6 \ln \left (d \right ) \left (\ln \left (d \right )^{2}-3\right ) x \,{\mathrm e}^{x \ln \left (d \right )} \tan \left (\frac {x}{2}\right )^{2}}{\left (1+\ln \left (d \right )^{2}\right ) \left (\ln \left (d \right )^{4}+2 \ln \left (d \right )^{2}+1\right )}}{1+\tan \left (\frac {x}{2}\right )^{2}}\) \(447\)

Input:

int(d^x*x^3*cos(x),x,method=_RETURNVERBOSE)
 

Output:

1/2*(-6+ln(d)^3*x^3+3*I*ln(d)^2*x^3-3*ln(d)*x^3-I*x^3+6*x*ln(d)+6*I*x-3*ln 
(d)^2*x^2-6*I*ln(d)*x^2+3*x^2)*d^x/(ln(d)+I)^4*exp(I*x)+1/2*(-6+6*x*ln(d)- 
6*I*x-3*ln(d)^2*x^2+6*I*ln(d)*x^2+3*x^2+ln(d)^3*x^3-3*I*ln(d)^2*x^3-3*ln(d 
)*x^3+I*x^3)*d^x/(ln(d)-I)^4*exp(-I*x)
 

Fricas [A] (verification not implemented)

Time = 0.09 (sec) , antiderivative size = 202, normalized size of antiderivative = 0.78 \[ \int d^x x^3 \cos (x) \, dx=\frac {{\left (x^{3} \cos \left (x\right ) \log \left (d\right )^{7} - 3 \, x^{2} \cos \left (x\right ) \log \left (d\right )^{6} + 3 \, {\left (x^{3} + 2 \, x\right )} \cos \left (x\right ) \log \left (d\right )^{5} - 3 \, {\left (x^{2} + 2\right )} \cos \left (x\right ) \log \left (d\right )^{4} + 3 \, {\left (x^{3} - 4 \, x\right )} \cos \left (x\right ) \log \left (d\right )^{3} + 3 \, {\left (x^{2} + 12\right )} \cos \left (x\right ) \log \left (d\right )^{2} + {\left (x^{3} - 18 \, x\right )} \cos \left (x\right ) \log \left (d\right ) + 3 \, {\left (x^{2} - 2\right )} \cos \left (x\right ) + {\left (x^{3} \log \left (d\right )^{6} - 6 \, x^{2} \log \left (d\right )^{5} + 3 \, {\left (x^{3} + 6 \, x\right )} \log \left (d\right )^{4} - 12 \, {\left (x^{2} + 2\right )} \log \left (d\right )^{3} + x^{3} + 3 \, {\left (x^{3} + 4 \, x\right )} \log \left (d\right )^{2} - 6 \, {\left (x^{2} - 4\right )} \log \left (d\right ) - 6 \, x\right )} \sin \left (x\right )\right )} d^{x}}{\log \left (d\right )^{8} + 4 \, \log \left (d\right )^{6} + 6 \, \log \left (d\right )^{4} + 4 \, \log \left (d\right )^{2} + 1} \] Input:

integrate(d^x*x^3*cos(x),x, algorithm="fricas")
 

Output:

(x^3*cos(x)*log(d)^7 - 3*x^2*cos(x)*log(d)^6 + 3*(x^3 + 2*x)*cos(x)*log(d) 
^5 - 3*(x^2 + 2)*cos(x)*log(d)^4 + 3*(x^3 - 4*x)*cos(x)*log(d)^3 + 3*(x^2 
+ 12)*cos(x)*log(d)^2 + (x^3 - 18*x)*cos(x)*log(d) + 3*(x^2 - 2)*cos(x) + 
(x^3*log(d)^6 - 6*x^2*log(d)^5 + 3*(x^3 + 6*x)*log(d)^4 - 12*(x^2 + 2)*log 
(d)^3 + x^3 + 3*(x^3 + 4*x)*log(d)^2 - 6*(x^2 - 4)*log(d) - 6*x)*sin(x))*d 
^x/(log(d)^8 + 4*log(d)^6 + 6*log(d)^4 + 4*log(d)^2 + 1)
 

Sympy [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 1.40 (sec) , antiderivative size = 1352, normalized size of antiderivative = 5.20 \[ \int d^x x^3 \cos (x) \, dx=\text {Too large to display} \] Input:

integrate(d**x*x**3*cos(x),x)
 

Output:

Piecewise((I*x**4*exp(-I*x)*sin(x)/8 + x**4*exp(-I*x)*cos(x)/8 + x**3*exp( 
-I*x)*sin(x)/4 + I*x**3*exp(-I*x)*cos(x)/4 - 3*I*x**2*exp(-I*x)*sin(x)/8 + 
 3*x**2*exp(-I*x)*cos(x)/8 - 3*x*exp(-I*x)*sin(x)/8 - 3*I*x*exp(-I*x)*cos( 
x)/8 - 3*exp(-I*x)*cos(x)/8, Eq(d, exp(-I))), (-I*x**4*exp(I*x)*sin(x)/8 + 
 x**4*exp(I*x)*cos(x)/8 + x**3*exp(I*x)*sin(x)/4 - I*x**3*exp(I*x)*cos(x)/ 
4 + 3*I*x**2*exp(I*x)*sin(x)/8 + 3*x**2*exp(I*x)*cos(x)/8 - 3*x*exp(I*x)*s 
in(x)/8 + 3*I*x*exp(I*x)*cos(x)/8 - 3*exp(I*x)*cos(x)/8, Eq(d, exp(I))), ( 
d**x*x**3*log(d)**7*cos(x)/(log(d)**8 + 4*log(d)**6 + 6*log(d)**4 + 4*log( 
d)**2 + 1) + d**x*x**3*log(d)**6*sin(x)/(log(d)**8 + 4*log(d)**6 + 6*log(d 
)**4 + 4*log(d)**2 + 1) + 3*d**x*x**3*log(d)**5*cos(x)/(log(d)**8 + 4*log( 
d)**6 + 6*log(d)**4 + 4*log(d)**2 + 1) + 3*d**x*x**3*log(d)**4*sin(x)/(log 
(d)**8 + 4*log(d)**6 + 6*log(d)**4 + 4*log(d)**2 + 1) + 3*d**x*x**3*log(d) 
**3*cos(x)/(log(d)**8 + 4*log(d)**6 + 6*log(d)**4 + 4*log(d)**2 + 1) + 3*d 
**x*x**3*log(d)**2*sin(x)/(log(d)**8 + 4*log(d)**6 + 6*log(d)**4 + 4*log(d 
)**2 + 1) + d**x*x**3*log(d)*cos(x)/(log(d)**8 + 4*log(d)**6 + 6*log(d)**4 
 + 4*log(d)**2 + 1) + d**x*x**3*sin(x)/(log(d)**8 + 4*log(d)**6 + 6*log(d) 
**4 + 4*log(d)**2 + 1) - 3*d**x*x**2*log(d)**6*cos(x)/(log(d)**8 + 4*log(d 
)**6 + 6*log(d)**4 + 4*log(d)**2 + 1) - 6*d**x*x**2*log(d)**5*sin(x)/(log( 
d)**8 + 4*log(d)**6 + 6*log(d)**4 + 4*log(d)**2 + 1) - 3*d**x*x**2*log(d)* 
*4*cos(x)/(log(d)**8 + 4*log(d)**6 + 6*log(d)**4 + 4*log(d)**2 + 1) - 1...
 

Maxima [A] (verification not implemented)

Time = 0.06 (sec) , antiderivative size = 184, normalized size of antiderivative = 0.71 \[ \int d^x x^3 \cos (x) \, dx=\frac {{\left ({\left (\log \left (d\right )^{7} + 3 \, \log \left (d\right )^{5} + 3 \, \log \left (d\right )^{3} + \log \left (d\right )\right )} x^{3} - 6 \, \log \left (d\right )^{4} - 3 \, {\left (\log \left (d\right )^{6} + \log \left (d\right )^{4} - \log \left (d\right )^{2} - 1\right )} x^{2} + 6 \, {\left (\log \left (d\right )^{5} - 2 \, \log \left (d\right )^{3} - 3 \, \log \left (d\right )\right )} x + 36 \, \log \left (d\right )^{2} - 6\right )} d^{x} \cos \left (x\right ) + {\left ({\left (\log \left (d\right )^{6} + 3 \, \log \left (d\right )^{4} + 3 \, \log \left (d\right )^{2} + 1\right )} x^{3} - 6 \, {\left (\log \left (d\right )^{5} + 2 \, \log \left (d\right )^{3} + \log \left (d\right )\right )} x^{2} - 24 \, \log \left (d\right )^{3} + 6 \, {\left (3 \, \log \left (d\right )^{4} + 2 \, \log \left (d\right )^{2} - 1\right )} x + 24 \, \log \left (d\right )\right )} d^{x} \sin \left (x\right )}{\log \left (d\right )^{8} + 4 \, \log \left (d\right )^{6} + 6 \, \log \left (d\right )^{4} + 4 \, \log \left (d\right )^{2} + 1} \] Input:

integrate(d^x*x^3*cos(x),x, algorithm="maxima")
 

Output:

(((log(d)^7 + 3*log(d)^5 + 3*log(d)^3 + log(d))*x^3 - 6*log(d)^4 - 3*(log( 
d)^6 + log(d)^4 - log(d)^2 - 1)*x^2 + 6*(log(d)^5 - 2*log(d)^3 - 3*log(d)) 
*x + 36*log(d)^2 - 6)*d^x*cos(x) + ((log(d)^6 + 3*log(d)^4 + 3*log(d)^2 + 
1)*x^3 - 6*(log(d)^5 + 2*log(d)^3 + log(d))*x^2 - 24*log(d)^3 + 6*(3*log(d 
)^4 + 2*log(d)^2 - 1)*x + 24*log(d))*d^x*sin(x))/(log(d)^8 + 4*log(d)^6 + 
6*log(d)^4 + 4*log(d)^2 + 1)
 

Giac [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 0.18 (sec) , antiderivative size = 5065, normalized size of antiderivative = 19.48 \[ \int d^x x^3 \cos (x) \, dx=\text {Too large to display} \] Input:

integrate(d^x*x^3*cos(x),x, algorithm="giac")
 

Output:

-1/2*(((4*pi + pi^4*sgn(d) - 6*pi^2*log(abs(d))^2*sgn(d) - pi^4 + 6*pi^2*l 
og(abs(d))^2 - 2*log(abs(d))^4 - 4*pi^3*sgn(d) + 12*pi*log(abs(d))^2*sgn(d 
) + 4*pi^3 - 12*pi*log(abs(d))^2 + 6*pi^2*sgn(d) - 6*pi^2 + 12*log(abs(d)) 
^2 - 4*pi*sgn(d) - 2)*(3*pi^2*x^3*log(abs(d))*sgn(d) - 3*pi^2*x^3*log(abs( 
d)) + 2*x^3*log(abs(d))^3 - 6*pi*x^3*log(abs(d))*sgn(d) + 6*pi*x^3*log(abs 
(d)) - 3*pi^2*x^2*sgn(d) + 3*pi^2*x^2 - 6*x^3*log(abs(d)) - 6*x^2*log(abs( 
d))^2 + 6*pi*x^2*sgn(d) - 6*pi*x^2 + 6*x^2 + 12*x*log(abs(d)) - 12)/((4*pi 
 + pi^4*sgn(d) - 6*pi^2*log(abs(d))^2*sgn(d) - pi^4 + 6*pi^2*log(abs(d))^2 
 - 2*log(abs(d))^4 - 4*pi^3*sgn(d) + 12*pi*log(abs(d))^2*sgn(d) + 4*pi^3 - 
 12*pi*log(abs(d))^2 + 6*pi^2*sgn(d) - 6*pi^2 + 12*log(abs(d))^2 - 4*pi*sg 
n(d) - 2)^2 + 16*(pi^3*log(abs(d))*sgn(d) - pi*log(abs(d))^3*sgn(d) - pi^3 
*log(abs(d)) + pi*log(abs(d))^3 - 3*pi^2*log(abs(d))*sgn(d) + 3*pi^2*log(a 
bs(d)) - 2*log(abs(d))^3 + 3*pi*log(abs(d))*sgn(d) - 3*pi*log(abs(d)) + 2* 
log(abs(d)))^2) - 4*(pi^3*x^3*sgn(d) - 3*pi*x^3*log(abs(d))^2*sgn(d) - pi^ 
3*x^3 + 3*pi*x^3*log(abs(d))^2 - 3*pi^2*x^3*sgn(d) + 3*pi^2*x^3 - 6*x^3*lo 
g(abs(d))^2 + 3*pi*x^3*sgn(d) + 6*pi*x^2*log(abs(d))*sgn(d) - 3*pi*x^3 - 6 
*pi*x^2*log(abs(d)) + 2*x^3 + 12*x^2*log(abs(d)) - 6*pi*x*sgn(d) + 6*pi*x 
- 12*x)*(pi^3*log(abs(d))*sgn(d) - pi*log(abs(d))^3*sgn(d) - pi^3*log(abs( 
d)) + pi*log(abs(d))^3 - 3*pi^2*log(abs(d))*sgn(d) + 3*pi^2*log(abs(d)) - 
2*log(abs(d))^3 + 3*pi*log(abs(d))*sgn(d) - 3*pi*log(abs(d)) + 2*log(ab...
 

Mupad [B] (verification not implemented)

Time = 0.35 (sec) , antiderivative size = 232, normalized size of antiderivative = 0.89 \[ \int d^x x^3 \cos (x) \, dx=-\frac {d^x\,\left (6\,\cos \left (x\right )-3\,x^2\,\cos \left (x\right )-x^3\,\sin \left (x\right )+6\,x\,\sin \left (x\right )\right )-d^x\,{\ln \left (d\right )}^5\,\left (3\,x^3\,\cos \left (x\right )-6\,x^2\,\sin \left (x\right )+6\,x\,\cos \left (x\right )\right )+d^x\,{\ln \left (d\right )}^4\,\left (6\,\cos \left (x\right )+3\,x^2\,\cos \left (x\right )-3\,x^3\,\sin \left (x\right )-18\,x\,\sin \left (x\right )\right )+d^x\,{\ln \left (d\right )}^3\,\left (24\,\sin \left (x\right )-3\,x^3\,\cos \left (x\right )+12\,x^2\,\sin \left (x\right )+12\,x\,\cos \left (x\right )\right )-d^x\,{\ln \left (d\right )}^2\,\left (36\,\cos \left (x\right )+3\,x^2\,\cos \left (x\right )+3\,x^3\,\sin \left (x\right )+12\,x\,\sin \left (x\right )\right )+d^x\,{\ln \left (d\right )}^6\,\left (3\,x^2\,\cos \left (x\right )-x^3\,\sin \left (x\right )\right )-d^x\,\ln \left (d\right )\,\left (24\,\sin \left (x\right )+x^3\,\cos \left (x\right )-6\,x^2\,\sin \left (x\right )-18\,x\,\cos \left (x\right )\right )-d^x\,x^3\,{\ln \left (d\right )}^7\,\cos \left (x\right )}{{\left ({\ln \left (d\right )}^2+1\right )}^4} \] Input:

int(d^x*x^3*cos(x),x)
 

Output:

-(d^x*(6*cos(x) - 3*x^2*cos(x) - x^3*sin(x) + 6*x*sin(x)) - d^x*log(d)^5*( 
3*x^3*cos(x) - 6*x^2*sin(x) + 6*x*cos(x)) + d^x*log(d)^4*(6*cos(x) + 3*x^2 
*cos(x) - 3*x^3*sin(x) - 18*x*sin(x)) + d^x*log(d)^3*(24*sin(x) - 3*x^3*co 
s(x) + 12*x^2*sin(x) + 12*x*cos(x)) - d^x*log(d)^2*(36*cos(x) + 3*x^2*cos( 
x) + 3*x^3*sin(x) + 12*x*sin(x)) + d^x*log(d)^6*(3*x^2*cos(x) - x^3*sin(x) 
) - d^x*log(d)*(24*sin(x) + x^3*cos(x) - 6*x^2*sin(x) - 18*x*cos(x)) - d^x 
*x^3*log(d)^7*cos(x))/(log(d)^2 + 1)^4
 

Reduce [B] (verification not implemented)

Time = 0.15 (sec) , antiderivative size = 262, normalized size of antiderivative = 1.01 \[ \int d^x x^3 \cos (x) \, dx=\frac {d^{x} \left (\sin \left (x \right ) x^{3}-6 \cos \left (x \right ) \mathrm {log}\left (d \right )^{4}+\cos \left (x \right ) \mathrm {log}\left (d \right )^{7} x^{3}+\cos \left (x \right ) \mathrm {log}\left (d \right ) x^{3}+\mathrm {log}\left (d \right )^{6} \sin \left (x \right ) x^{3}+3 \cos \left (x \right ) x^{2}-6 \sin \left (x \right ) x -3 \cos \left (x \right ) \mathrm {log}\left (d \right )^{6} x^{2}+3 \cos \left (x \right ) \mathrm {log}\left (d \right )^{5} x^{3}+6 \cos \left (x \right ) \mathrm {log}\left (d \right )^{5} x +3 \cos \left (x \right ) \mathrm {log}\left (d \right )^{3} x^{3}+3 \mathrm {log}\left (d \right )^{4} \sin \left (x \right ) x^{3}+3 \mathrm {log}\left (d \right )^{2} \sin \left (x \right ) x^{3}+3 \cos \left (x \right ) \mathrm {log}\left (d \right )^{2} x^{2}+18 \mathrm {log}\left (d \right )^{4} \sin \left (x \right ) x -12 \mathrm {log}\left (d \right )^{3} \sin \left (x \right ) x^{2}-3 \cos \left (x \right ) \mathrm {log}\left (d \right )^{4} x^{2}-6 \mathrm {log}\left (d \right )^{5} \sin \left (x \right ) x^{2}-6 \,\mathrm {log}\left (d \right ) \sin \left (x \right ) x^{2}-12 \cos \left (x \right ) \mathrm {log}\left (d \right )^{3} x -18 \cos \left (x \right ) \mathrm {log}\left (d \right ) x +12 \mathrm {log}\left (d \right )^{2} \sin \left (x \right ) x -24 \mathrm {log}\left (d \right )^{3} \sin \left (x \right )-6 \cos \left (x \right )+36 \cos \left (x \right ) \mathrm {log}\left (d \right )^{2}+24 \,\mathrm {log}\left (d \right ) \sin \left (x \right )\right )}{\mathrm {log}\left (d \right )^{8}+4 \mathrm {log}\left (d \right )^{6}+6 \mathrm {log}\left (d \right )^{4}+4 \mathrm {log}\left (d \right )^{2}+1} \] Input:

int(d^x*x^3*cos(x),x)
 

Output:

(d**x*(cos(x)*log(d)**7*x**3 - 3*cos(x)*log(d)**6*x**2 + 3*cos(x)*log(d)** 
5*x**3 + 6*cos(x)*log(d)**5*x - 3*cos(x)*log(d)**4*x**2 - 6*cos(x)*log(d)* 
*4 + 3*cos(x)*log(d)**3*x**3 - 12*cos(x)*log(d)**3*x + 3*cos(x)*log(d)**2* 
x**2 + 36*cos(x)*log(d)**2 + cos(x)*log(d)*x**3 - 18*cos(x)*log(d)*x + 3*c 
os(x)*x**2 - 6*cos(x) + log(d)**6*sin(x)*x**3 - 6*log(d)**5*sin(x)*x**2 + 
3*log(d)**4*sin(x)*x**3 + 18*log(d)**4*sin(x)*x - 12*log(d)**3*sin(x)*x**2 
 - 24*log(d)**3*sin(x) + 3*log(d)**2*sin(x)*x**3 + 12*log(d)**2*sin(x)*x - 
 6*log(d)*sin(x)*x**2 + 24*log(d)*sin(x) + sin(x)*x**3 - 6*sin(x)*x))/(log 
(d)**8 + 4*log(d)**6 + 6*log(d)**4 + 4*log(d)**2 + 1)