3.4.3 \(\int \frac {44 x+72 x^2+48 x^3+e^{4 x} (-19 x-30 x^2-24 x^3)+e^{8 x} (2 x+3 x^2+3 x^3)+(-19 x-30 x^2-24 x^3+e^{4 x} (4 x+6 x^2+6 x^3)) \log (x)+(2 x+3 x^2+3 x^3) \log ^2(x)+(2+3 x+3 x^2+e^{4 x} (8 x+12 x^2+12 x^3)) \log (2+3 x+3 x^2)}{32 x+48 x^2+48 x^3+e^{4 x} (-16 x-24 x^2-24 x^3)+e^{8 x} (2 x+3 x^2+3 x^3)+(-16 x-24 x^2-24 x^3+e^{4 x} (4 x+6 x^2+6 x^3)) \log (x)+(2 x+3 x^2+3 x^3) \log ^2(x)} \, dx\) [303]

3.4.3.1 Optimal result
3.4.3.2 Mathematica [A] (verified)
3.4.3.3 Rubi [F]
3.4.3.4 Maple [A] (verified)
3.4.3.5 Fricas [A] (verification not implemented)
3.4.3.6 Sympy [A] (verification not implemented)
3.4.3.7 Maxima [A] (verification not implemented)
3.4.3.8 Giac [A] (verification not implemented)
3.4.3.9 Mupad [B] (verification not implemented)

3.4.3.1 Optimal result

Integrand size = 265, antiderivative size = 28 \begin {dmath*} \int \frac {44 x+72 x^2+48 x^3+e^{4 x} \left (-19 x-30 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-19 x-30 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)+\left (2+3 x+3 x^2+e^{4 x} \left (8 x+12 x^2+12 x^3\right )\right ) \log \left (2+3 x+3 x^2\right )}{32 x+48 x^2+48 x^3+e^{4 x} \left (-16 x-24 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-16 x-24 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)} \, dx=x+\frac {\log \left (2+3 \left (x+x^2\right )\right )}{4-e^{4 x}-\log (x)} \end {dmath*}

output
ln(3*x^2+3*x+2)/(4-exp(2*x)^2-ln(x))+x
 
3.4.3.2 Mathematica [A] (verified)

Time = 0.18 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.93 \begin {dmath*} \int \frac {44 x+72 x^2+48 x^3+e^{4 x} \left (-19 x-30 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-19 x-30 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)+\left (2+3 x+3 x^2+e^{4 x} \left (8 x+12 x^2+12 x^3\right )\right ) \log \left (2+3 x+3 x^2\right )}{32 x+48 x^2+48 x^3+e^{4 x} \left (-16 x-24 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-16 x-24 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)} \, dx=x-\frac {\log \left (2+3 x+3 x^2\right )}{-4+e^{4 x}+\log (x)} \end {dmath*}

input
Integrate[(44*x + 72*x^2 + 48*x^3 + E^(4*x)*(-19*x - 30*x^2 - 24*x^3) + E^ 
(8*x)*(2*x + 3*x^2 + 3*x^3) + (-19*x - 30*x^2 - 24*x^3 + E^(4*x)*(4*x + 6* 
x^2 + 6*x^3))*Log[x] + (2*x + 3*x^2 + 3*x^3)*Log[x]^2 + (2 + 3*x + 3*x^2 + 
 E^(4*x)*(8*x + 12*x^2 + 12*x^3))*Log[2 + 3*x + 3*x^2])/(32*x + 48*x^2 + 4 
8*x^3 + E^(4*x)*(-16*x - 24*x^2 - 24*x^3) + E^(8*x)*(2*x + 3*x^2 + 3*x^3) 
+ (-16*x - 24*x^2 - 24*x^3 + E^(4*x)*(4*x + 6*x^2 + 6*x^3))*Log[x] + (2*x 
+ 3*x^2 + 3*x^3)*Log[x]^2),x]
 
output
x - Log[2 + 3*x + 3*x^2]/(-4 + E^(4*x) + Log[x])
 
3.4.3.3 Rubi [F]

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 \frac {48 x^3+72 x^2+e^{4 x} \left (-24 x^3-30 x^2-19 x\right )+e^{8 x} \left (3 x^3+3 x^2+2 x\right )+\left (3 x^3+3 x^2+2 x\right ) \log ^2(x)+\left (-24 x^3-30 x^2+e^{4 x} \left (6 x^3+6 x^2+4 x\right )-19 x\right ) \log (x)+\left (3 x^2+e^{4 x} \left (12 x^3+12 x^2+8 x\right )+3 x+2\right ) \log \left (3 x^2+3 x+2\right )+44 x}{48 x^3+48 x^2+e^{4 x} \left (-24 x^3-24 x^2-16 x\right )+e^{8 x} \left (3 x^3+3 x^2+2 x\right )+\left (3 x^3+3 x^2+2 x\right ) \log ^2(x)+\left (-24 x^3-24 x^2+e^{4 x} \left (6 x^3+6 x^2+4 x\right )-16 x\right ) \log (x)+32 x} \, dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\left (e^{4 x}-4\right ) x \left (-12 x^2+e^{4 x} \left (3 x^2+3 x+2\right )-18 x-11\right )+x \left (3 x^2+3 x+2\right ) \log ^2(x)+x \left (-24 x^2+e^{4 x} \left (6 x^2+6 x+4\right )-30 x-19\right ) \log (x)+\left (4 e^{4 x} x+1\right ) \left (3 x^2+3 x+2\right ) \log \left (3 x^2+3 x+2\right )}{x \left (3 x^2+3 x+2\right ) \left (-e^{4 x}-\log (x)+4\right )^2}dx\)

\(\Big \downarrow \) 7279

\(\displaystyle \int \left (-\frac {(-16 x+4 x \log (x)-1) \log \left (3 x^2+3 x+2\right )}{x \left (e^{4 x}+\log (x)-4\right )^2}+\frac {12 x^2 \log \left (3 x^2+3 x+2\right )+12 x \log \left (3 x^2+3 x+2\right )+8 \log \left (3 x^2+3 x+2\right )-6 x-3}{\left (3 x^2+3 x+2\right ) \left (e^{4 x}+\log (x)-4\right )}+1\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle 16 \int \frac {\log \left (3 x^2+3 x+2\right )}{\left (\log (x)+e^{4 x}-4\right )^2}dx+\int \frac {\log \left (3 x^2+3 x+2\right )}{x \left (\log (x)+e^{4 x}-4\right )^2}dx-4 \int \frac {\log (x) \log \left (3 x^2+3 x+2\right )}{\left (\log (x)+e^{4 x}-4\right )^2}dx+4 \int \frac {\log \left (3 x^2+3 x+2\right )}{\log (x)+e^{4 x}-4}dx-6 i \sqrt {\frac {3}{5}} \int \frac {1}{\left (-6 x+i \sqrt {15}-3\right ) \left (\log (x)+e^{4 x}-4\right )}dx-\frac {6}{5} \left (5+i \sqrt {15}\right ) \int \frac {1}{\left (6 x-i \sqrt {15}+3\right ) \left (\log (x)+e^{4 x}-4\right )}dx-\frac {6}{5} \left (5-i \sqrt {15}\right ) \int \frac {1}{\left (6 x+i \sqrt {15}+3\right ) \left (\log (x)+e^{4 x}-4\right )}dx-6 i \sqrt {\frac {3}{5}} \int \frac {1}{\left (6 x+i \sqrt {15}+3\right ) \left (\log (x)+e^{4 x}-4\right )}dx+x\)

input
Int[(44*x + 72*x^2 + 48*x^3 + E^(4*x)*(-19*x - 30*x^2 - 24*x^3) + E^(8*x)* 
(2*x + 3*x^2 + 3*x^3) + (-19*x - 30*x^2 - 24*x^3 + E^(4*x)*(4*x + 6*x^2 + 
6*x^3))*Log[x] + (2*x + 3*x^2 + 3*x^3)*Log[x]^2 + (2 + 3*x + 3*x^2 + E^(4* 
x)*(8*x + 12*x^2 + 12*x^3))*Log[2 + 3*x + 3*x^2])/(32*x + 48*x^2 + 48*x^3 
+ E^(4*x)*(-16*x - 24*x^2 - 24*x^3) + E^(8*x)*(2*x + 3*x^2 + 3*x^3) + (-16 
*x - 24*x^2 - 24*x^3 + E^(4*x)*(4*x + 6*x^2 + 6*x^3))*Log[x] + (2*x + 3*x^ 
2 + 3*x^3)*Log[x]^2),x]
 
output
$Aborted
 

3.4.3.3.1 Defintions of rubi rules used

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

rule 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 

rule 7279
Int[(u_)/((a_.) + (b_.)*(x_)^(n_.) + (c_.)*(x_)^(n2_.)), x_Symbol] :> With[ 
{v = RationalFunctionExpand[u/(a + b*x^n + c*x^(2*n)), x]}, Int[v, x] /; Su 
mQ[v]] /; FreeQ[{a, b, c}, x] && EqQ[n2, 2*n] && IGtQ[n, 0]
 
3.4.3.4 Maple [A] (verified)

Time = 25.58 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.93

method result size
risch \(-\frac {\ln \left (3 x^{2}+3 x +2\right )}{{\mathrm e}^{4 x}+\ln \left (x \right )-4}+x\) \(26\)
parallelrisch \(-\frac {-168-36 x \,{\mathrm e}^{4 x}-36 x \ln \left (x \right )+42 \,{\mathrm e}^{4 x}+144 x +42 \ln \left (x \right )+36 \ln \left (3 x^{2}+3 x +2\right )}{36 \left ({\mathrm e}^{4 x}+\ln \left (x \right )-4\right )}\) \(59\)

input
int((((12*x^3+12*x^2+8*x)*exp(2*x)^2+3*x^2+3*x+2)*ln(3*x^2+3*x+2)+(3*x^3+3 
*x^2+2*x)*ln(x)^2+((6*x^3+6*x^2+4*x)*exp(2*x)^2-24*x^3-30*x^2-19*x)*ln(x)+ 
(3*x^3+3*x^2+2*x)*exp(2*x)^4+(-24*x^3-30*x^2-19*x)*exp(2*x)^2+48*x^3+72*x^ 
2+44*x)/((3*x^3+3*x^2+2*x)*ln(x)^2+((6*x^3+6*x^2+4*x)*exp(2*x)^2-24*x^3-24 
*x^2-16*x)*ln(x)+(3*x^3+3*x^2+2*x)*exp(2*x)^4+(-24*x^3-24*x^2-16*x)*exp(2* 
x)^2+48*x^3+48*x^2+32*x),x,method=_RETURNVERBOSE)
 
output
-1/(exp(4*x)+ln(x)-4)*ln(3*x^2+3*x+2)+x
 
3.4.3.5 Fricas [A] (verification not implemented)

Time = 0.27 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.36 \begin {dmath*} \int \frac {44 x+72 x^2+48 x^3+e^{4 x} \left (-19 x-30 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-19 x-30 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)+\left (2+3 x+3 x^2+e^{4 x} \left (8 x+12 x^2+12 x^3\right )\right ) \log \left (2+3 x+3 x^2\right )}{32 x+48 x^2+48 x^3+e^{4 x} \left (-16 x-24 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-16 x-24 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)} \, dx=\frac {x e^{\left (4 \, x\right )} + x \log \left (x\right ) - 4 \, x - \log \left (3 \, x^{2} + 3 \, x + 2\right )}{e^{\left (4 \, x\right )} + \log \left (x\right ) - 4} \end {dmath*}

input
integrate((((12*x^3+12*x^2+8*x)*exp(2*x)^2+3*x^2+3*x+2)*log(3*x^2+3*x+2)+( 
3*x^3+3*x^2+2*x)*log(x)^2+((6*x^3+6*x^2+4*x)*exp(2*x)^2-24*x^3-30*x^2-19*x 
)*log(x)+(3*x^3+3*x^2+2*x)*exp(2*x)^4+(-24*x^3-30*x^2-19*x)*exp(2*x)^2+48* 
x^3+72*x^2+44*x)/((3*x^3+3*x^2+2*x)*log(x)^2+((6*x^3+6*x^2+4*x)*exp(2*x)^2 
-24*x^3-24*x^2-16*x)*log(x)+(3*x^3+3*x^2+2*x)*exp(2*x)^4+(-24*x^3-24*x^2-1 
6*x)*exp(2*x)^2+48*x^3+48*x^2+32*x),x, algorithm=\
 
output
(x*e^(4*x) + x*log(x) - 4*x - log(3*x^2 + 3*x + 2))/(e^(4*x) + log(x) - 4)
 
3.4.3.6 Sympy [A] (verification not implemented)

Time = 0.19 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.79 \begin {dmath*} \int \frac {44 x+72 x^2+48 x^3+e^{4 x} \left (-19 x-30 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-19 x-30 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)+\left (2+3 x+3 x^2+e^{4 x} \left (8 x+12 x^2+12 x^3\right )\right ) \log \left (2+3 x+3 x^2\right )}{32 x+48 x^2+48 x^3+e^{4 x} \left (-16 x-24 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-16 x-24 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)} \, dx=x - \frac {\log {\left (3 x^{2} + 3 x + 2 \right )}}{e^{4 x} + \log {\left (x \right )} - 4} \end {dmath*}

input
integrate((((12*x**3+12*x**2+8*x)*exp(2*x)**2+3*x**2+3*x+2)*ln(3*x**2+3*x+ 
2)+(3*x**3+3*x**2+2*x)*ln(x)**2+((6*x**3+6*x**2+4*x)*exp(2*x)**2-24*x**3-3 
0*x**2-19*x)*ln(x)+(3*x**3+3*x**2+2*x)*exp(2*x)**4+(-24*x**3-30*x**2-19*x) 
*exp(2*x)**2+48*x**3+72*x**2+44*x)/((3*x**3+3*x**2+2*x)*ln(x)**2+((6*x**3+ 
6*x**2+4*x)*exp(2*x)**2-24*x**3-24*x**2-16*x)*ln(x)+(3*x**3+3*x**2+2*x)*ex 
p(2*x)**4+(-24*x**3-24*x**2-16*x)*exp(2*x)**2+48*x**3+48*x**2+32*x),x)
 
output
x - log(3*x**2 + 3*x + 2)/(exp(4*x) + log(x) - 4)
 
3.4.3.7 Maxima [A] (verification not implemented)

Time = 0.30 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.36 \begin {dmath*} \int \frac {44 x+72 x^2+48 x^3+e^{4 x} \left (-19 x-30 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-19 x-30 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)+\left (2+3 x+3 x^2+e^{4 x} \left (8 x+12 x^2+12 x^3\right )\right ) \log \left (2+3 x+3 x^2\right )}{32 x+48 x^2+48 x^3+e^{4 x} \left (-16 x-24 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-16 x-24 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)} \, dx=\frac {x e^{\left (4 \, x\right )} + x \log \left (x\right ) - 4 \, x - \log \left (3 \, x^{2} + 3 \, x + 2\right )}{e^{\left (4 \, x\right )} + \log \left (x\right ) - 4} \end {dmath*}

input
integrate((((12*x^3+12*x^2+8*x)*exp(2*x)^2+3*x^2+3*x+2)*log(3*x^2+3*x+2)+( 
3*x^3+3*x^2+2*x)*log(x)^2+((6*x^3+6*x^2+4*x)*exp(2*x)^2-24*x^3-30*x^2-19*x 
)*log(x)+(3*x^3+3*x^2+2*x)*exp(2*x)^4+(-24*x^3-30*x^2-19*x)*exp(2*x)^2+48* 
x^3+72*x^2+44*x)/((3*x^3+3*x^2+2*x)*log(x)^2+((6*x^3+6*x^2+4*x)*exp(2*x)^2 
-24*x^3-24*x^2-16*x)*log(x)+(3*x^3+3*x^2+2*x)*exp(2*x)^4+(-24*x^3-24*x^2-1 
6*x)*exp(2*x)^2+48*x^3+48*x^2+32*x),x, algorithm=\
 
output
(x*e^(4*x) + x*log(x) - 4*x - log(3*x^2 + 3*x + 2))/(e^(4*x) + log(x) - 4)
 
3.4.3.8 Giac [A] (verification not implemented)

Time = 0.32 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.36 \begin {dmath*} \int \frac {44 x+72 x^2+48 x^3+e^{4 x} \left (-19 x-30 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-19 x-30 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)+\left (2+3 x+3 x^2+e^{4 x} \left (8 x+12 x^2+12 x^3\right )\right ) \log \left (2+3 x+3 x^2\right )}{32 x+48 x^2+48 x^3+e^{4 x} \left (-16 x-24 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-16 x-24 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)} \, dx=\frac {x e^{\left (4 \, x\right )} + x \log \left (x\right ) - 4 \, x - \log \left (3 \, x^{2} + 3 \, x + 2\right )}{e^{\left (4 \, x\right )} + \log \left (x\right ) - 4} \end {dmath*}

input
integrate((((12*x^3+12*x^2+8*x)*exp(2*x)^2+3*x^2+3*x+2)*log(3*x^2+3*x+2)+( 
3*x^3+3*x^2+2*x)*log(x)^2+((6*x^3+6*x^2+4*x)*exp(2*x)^2-24*x^3-30*x^2-19*x 
)*log(x)+(3*x^3+3*x^2+2*x)*exp(2*x)^4+(-24*x^3-30*x^2-19*x)*exp(2*x)^2+48* 
x^3+72*x^2+44*x)/((3*x^3+3*x^2+2*x)*log(x)^2+((6*x^3+6*x^2+4*x)*exp(2*x)^2 
-24*x^3-24*x^2-16*x)*log(x)+(3*x^3+3*x^2+2*x)*exp(2*x)^4+(-24*x^3-24*x^2-1 
6*x)*exp(2*x)^2+48*x^3+48*x^2+32*x),x, algorithm=\
 
output
(x*e^(4*x) + x*log(x) - 4*x - log(3*x^2 + 3*x + 2))/(e^(4*x) + log(x) - 4)
 
3.4.3.9 Mupad [B] (verification not implemented)

Time = 12.58 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.89 \begin {dmath*} \int \frac {44 x+72 x^2+48 x^3+e^{4 x} \left (-19 x-30 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-19 x-30 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)+\left (2+3 x+3 x^2+e^{4 x} \left (8 x+12 x^2+12 x^3\right )\right ) \log \left (2+3 x+3 x^2\right )}{32 x+48 x^2+48 x^3+e^{4 x} \left (-16 x-24 x^2-24 x^3\right )+e^{8 x} \left (2 x+3 x^2+3 x^3\right )+\left (-16 x-24 x^2-24 x^3+e^{4 x} \left (4 x+6 x^2+6 x^3\right )\right ) \log (x)+\left (2 x+3 x^2+3 x^3\right ) \log ^2(x)} \, dx=x-\frac {\ln \left (3\,x^2+3\,x+2\right )}{{\mathrm {e}}^{4\,x}+\ln \left (x\right )-4} \end {dmath*}

input
int((44*x - log(x)*(19*x - exp(4*x)*(4*x + 6*x^2 + 6*x^3) + 30*x^2 + 24*x^ 
3) + exp(8*x)*(2*x + 3*x^2 + 3*x^3) - exp(4*x)*(19*x + 30*x^2 + 24*x^3) + 
log(x)^2*(2*x + 3*x^2 + 3*x^3) + 72*x^2 + 48*x^3 + log(3*x + 3*x^2 + 2)*(3 
*x + exp(4*x)*(8*x + 12*x^2 + 12*x^3) + 3*x^2 + 2))/(32*x - log(x)*(16*x - 
 exp(4*x)*(4*x + 6*x^2 + 6*x^3) + 24*x^2 + 24*x^3) + exp(8*x)*(2*x + 3*x^2 
 + 3*x^3) - exp(4*x)*(16*x + 24*x^2 + 24*x^3) + log(x)^2*(2*x + 3*x^2 + 3* 
x^3) + 48*x^2 + 48*x^3),x)
 
output
x - log(3*x + 3*x^2 + 2)/(exp(4*x) + log(x) - 4)