Optimal. Leaf size=260 \[ -\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)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.30, antiderivative size = 260, normalized size of antiderivative = 1.00, number of steps
used = 25, number of rules used = 5, integrand size = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.556, Rules used = {4518, 4554, 14,
4517, 4553} \begin {gather*} \frac {x^3 d^x \sin (x)}{\log ^2(d)+1}+\frac {x^3 d^x \log (d) \cos (x)}{\log ^2(d)+1}-\frac {6 x^2 d^x \log (d) \sin (x)}{\left (\log ^2(d)+1\right )^2}-\frac {3 x^2 d^x \log ^2(d) \cos (x)}{\left (\log ^2(d)+1\right )^2}+\frac {3 x^2 d^x \cos (x)}{\left (\log ^2(d)+1\right )^2}+\frac {18 x d^x \log ^2(d) \sin (x)}{\left (\log ^2(d)+1\right )^3}-\frac {6 x d^x \sin (x)}{\left (\log ^2(d)+1\right )^3}+\frac {24 d^x \log (d) \sin (x)}{\left (\log ^2(d)+1\right )^4}-\frac {24 d^x \log ^3(d) \sin (x)}{\left (\log ^2(d)+1\right )^4}-\frac {18 x d^x \log (d) \cos (x)}{\left (\log ^2(d)+1\right )^3}+\frac {36 d^x \log ^2(d) \cos (x)}{\left (\log ^2(d)+1\right )^4}-\frac {6 d^x \cos (x)}{\left (\log ^2(d)+1\right )^4}-\frac {6 d^x \log ^4(d) \cos (x)}{\left (\log ^2(d)+1\right )^4}+\frac {6 x d^x \log ^3(d) \cos (x)}{\left (\log ^2(d)+1\right )^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 4517
Rule 4518
Rule 4553
Rule 4554
Rubi steps
\begin {align*} \int d^x x^3 \cos (x) \, dx &=\frac {d^x x^3 \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x x^3 \sin (x)}{1+\log ^2(d)}-3 \int x^2 \left (\frac {d^x \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x \sin (x)}{1+\log ^2(d)}\right ) \, dx\\ &=\frac {d^x x^3 \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x x^3 \sin (x)}{1+\log ^2(d)}-3 \int \left (\frac {d^x x^2 \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x x^2 \sin (x)}{1+\log ^2(d)}\right ) \, dx\\ &=\frac {d^x x^3 \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x x^3 \sin (x)}{1+\log ^2(d)}-\frac {3 \int d^x x^2 \sin (x) \, dx}{1+\log ^2(d)}-\frac {(3 \log (d)) \int d^x x^2 \cos (x) \, dx}{1+\log ^2(d)}\\ &=\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 {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)}+\frac {6 \int x \left (-\frac {d^x \cos (x)}{1+\log ^2(d)}+\frac {d^x \log (d) \sin (x)}{1+\log ^2(d)}\right ) \, dx}{1+\log ^2(d)}+\frac {(6 \log (d)) \int x \left (\frac {d^x \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x \sin (x)}{1+\log ^2(d)}\right ) \, dx}{1+\log ^2(d)}\\ &=\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 {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)}+\frac {6 \int \left (-\frac {d^x x \cos (x)}{1+\log ^2(d)}+\frac {d^x x \log (d) \sin (x)}{1+\log ^2(d)}\right ) \, dx}{1+\log ^2(d)}+\frac {(6 \log (d)) \int \left (\frac {d^x x \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x x \sin (x)}{1+\log ^2(d)}\right ) \, dx}{1+\log ^2(d)}\\ &=\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 {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)}-\frac {6 \int d^x x \cos (x) \, dx}{\left (1+\log ^2(d)\right )^2}+2 \frac {(6 \log (d)) \int d^x x \sin (x) \, dx}{\left (1+\log ^2(d)\right )^2}+\frac {\left (6 \log ^2(d)\right ) \int d^x x \cos (x) \, dx}{\left (1+\log ^2(d)\right )^2}\\ &=-\frac {6 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 {6 d^x x \sin (x)}{\left (1+\log ^2(d)\right )^3}+\frac {6 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)}+\frac {6 \int \left (\frac {d^x \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x \sin (x)}{1+\log ^2(d)}\right ) \, dx}{\left (1+\log ^2(d)\right )^2}+2 \left (-\frac {6 d^x x \cos (x) \log (d)}{\left (1+\log ^2(d)\right )^3}+\frac {6 d^x x \log ^2(d) \sin (x)}{\left (1+\log ^2(d)\right )^3}-\frac {(6 \log (d)) \int \left (-\frac {d^x \cos (x)}{1+\log ^2(d)}+\frac {d^x \log (d) \sin (x)}{1+\log ^2(d)}\right ) \, dx}{\left (1+\log ^2(d)\right )^2}\right )-\frac {\left (6 \log ^2(d)\right ) \int \left (\frac {d^x \cos (x) \log (d)}{1+\log ^2(d)}+\frac {d^x \sin (x)}{1+\log ^2(d)}\right ) \, dx}{\left (1+\log ^2(d)\right )^2}\\ &=-\frac {6 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 {6 d^x x \sin (x)}{\left (1+\log ^2(d)\right )^3}+\frac {6 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)}+\frac {6 \int d^x \sin (x) \, dx}{\left (1+\log ^2(d)\right )^3}+\frac {(6 \log (d)) \int d^x \cos (x) \, dx}{\left (1+\log ^2(d)\right )^3}+2 \left (-\frac {6 d^x x \cos (x) \log (d)}{\left (1+\log ^2(d)\right )^3}+\frac {6 d^x x \log ^2(d) \sin (x)}{\left (1+\log ^2(d)\right )^3}+\frac {(6 \log (d)) \int d^x \cos (x) \, dx}{\left (1+\log ^2(d)\right )^3}-\frac {\left (6 \log ^2(d)\right ) \int d^x \sin (x) \, dx}{\left (1+\log ^2(d)\right )^3}\right )-\frac {\left (6 \log ^2(d)\right ) \int d^x \sin (x) \, dx}{\left (1+\log ^2(d)\right )^3}-\frac {\left (6 \log ^3(d)\right ) \int d^x \cos (x) \, dx}{\left (1+\log ^2(d)\right )^3}\\ &=-\frac {6 d^x \cos (x)}{\left (1+\log ^2(d)\right )^4}+\frac {12 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 {6 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 {12 d^x \log (d) \sin (x)}{\left (1+\log ^2(d)\right )^4}-\frac {12 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 {6 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)}+2 \left (\frac {12 d^x \cos (x) \log ^2(d)}{\left (1+\log ^2(d)\right )^4}-\frac {6 d^x x \cos (x) \log (d)}{\left (1+\log ^2(d)\right )^3}+\frac {6 d^x \log (d) \sin (x)}{\left (1+\log ^2(d)\right )^4}-\frac {6 d^x \log ^3(d) \sin (x)}{\left (1+\log ^2(d)\right )^4}+\frac {6 d^x x \log ^2(d) \sin (x)}{\left (1+\log ^2(d)\right )^3}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.09, size = 168, normalized size = 0.65 \begin {gather*} \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} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains complex when optimal does not.
time = 0.07, size = 164, normalized size = 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\) |
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 {\ln \left (d \right ) x^{3} {\mathrm e}^{x \ln \left (d \right )} \left (\tan ^{2}\left (\frac {x}{2}\right )\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 )} \left (\tan ^{2}\left (\frac {x}{2}\right )\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 (\tan ^{2}\left (\frac {x}{2}\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 )}-\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 {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 {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 )^{4}+2 \ln \left (d \right )^{2}+1\right ) \left (1+\ln \left (d \right )^{2}\right )^{2}}-\frac {6 \ln \left (d \right ) \left (\ln \left (d \right )^{2}-3\right ) x \,{\mathrm e}^{x \ln \left (d \right )} \left (\tan ^{2}\left (\frac {x}{2}\right )\right )}{\left (1+\ln \left (d \right )^{2}\right ) \left (\ln \left (d \right )^{4}+2 \ln \left (d \right )^{2}+1\right )}}{1+\tan ^{2}\left (\frac {x}{2}\right )}\) | \(441\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 1.59, size = 184, normalized size = 0.71 \begin {gather*} \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} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.52, size = 202, normalized size = 0.78 \begin {gather*} \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} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 2.14, size = 1355, normalized size = 5.21 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [C] Result contains complex when optimal does not.
time = 0.90, size = 5065, normalized size = 19.48 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.64, size = 232, normalized size = 0.89 \begin {gather*} -\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} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________