\(\int \frac {(-12+24 x-12 x^2-12 x^3-2 x^4) \log (e^{2 x} x^2)+(-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5) \log (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2})}{(6 x-15 x^2+4 x^3+6 x^4+x^5) \log (e^{2 x} x^2) \log (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2})} \, dx\) [872]

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

Optimal result

Integrand size = 149, antiderivative size = 31 \[ \int \frac {\left (-12+24 x-12 x^2-12 x^3-2 x^4\right ) \log \left (e^{2 x} x^2\right )+\left (-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )}{\left (6 x-15 x^2+4 x^3+6 x^4+x^5\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )} \, dx=\log \left (\frac {1}{\log \left (e^{2 x} x^2\right ) \log ^2\left (-x+\frac {1}{3-\frac {2}{x}+x}\right )}\right ) \] Output:

ln(1/ln(1/(x-2/x+3)-x)^2/ln(exp(x)^2*x^2))
 

Mathematica [A] (verified)

Time = 0.05 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.39 \[ \int \frac {\left (-12+24 x-12 x^2-12 x^3-2 x^4\right ) \log \left (e^{2 x} x^2\right )+\left (-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )}{\left (6 x-15 x^2+4 x^3+6 x^4+x^5\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )} \, dx=2 \left (-\frac {1}{2} \log \left (\log \left (e^{2 x} x^2\right )\right )-\log \left (\log \left (-\frac {x \left (-3+3 x+x^2\right )}{-2+3 x+x^2}\right )\right )\right ) \] Input:

Integrate[((-12 + 24*x - 12*x^2 - 12*x^3 - 2*x^4)*Log[E^(2*x)*x^2] + (-12 
+ 18*x + 22*x^2 - 20*x^3 - 14*x^4 - 2*x^5)*Log[(3*x - 3*x^2 - x^3)/(-2 + 3 
*x + x^2)])/((6*x - 15*x^2 + 4*x^3 + 6*x^4 + x^5)*Log[E^(2*x)*x^2]*Log[(3* 
x - 3*x^2 - x^3)/(-2 + 3*x + x^2)]),x]
 

Output:

2*(-1/2*Log[Log[E^(2*x)*x^2]] - Log[Log[-((x*(-3 + 3*x + x^2))/(-2 + 3*x + 
 x^2))]])
 

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 {\left (-2 x^4-12 x^3-12 x^2+24 x-12\right ) \log \left (e^{2 x} x^2\right )+\left (-2 x^5-14 x^4-20 x^3+22 x^2+18 x-12\right ) \log \left (\frac {-x^3-3 x^2+3 x}{x^2+3 x-2}\right )}{\left (x^5+6 x^4+4 x^3-15 x^2+6 x\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {-x^3-3 x^2+3 x}{x^2+3 x-2}\right )} \, dx\)

\(\Big \downarrow \) 2026

\(\displaystyle \int \frac {\left (-2 x^4-12 x^3-12 x^2+24 x-12\right ) \log \left (e^{2 x} x^2\right )+\left (-2 x^5-14 x^4-20 x^3+22 x^2+18 x-12\right ) \log \left (\frac {-x^3-3 x^2+3 x}{x^2+3 x-2}\right )}{x \left (x^4+6 x^3+4 x^2-15 x+6\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {-x^3-3 x^2+3 x}{x^2+3 x-2}\right )}dx\)

\(\Big \downarrow \) 2463

\(\displaystyle \int \left (\frac {\left (-2 x^4-12 x^3-12 x^2+24 x-12\right ) \log \left (e^{2 x} x^2\right )+\left (-2 x^5-14 x^4-20 x^3+22 x^2+18 x-12\right ) \log \left (\frac {-x^3-3 x^2+3 x}{x^2+3 x-2}\right )}{x \left (-x^2-3 x+2\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {-x^3-3 x^2+3 x}{x^2+3 x-2}\right )}+\frac {\left (-2 x^4-12 x^3-12 x^2+24 x-12\right ) \log \left (e^{2 x} x^2\right )+\left (-2 x^5-14 x^4-20 x^3+22 x^2+18 x-12\right ) \log \left (\frac {-x^3-3 x^2+3 x}{x^2+3 x-2}\right )}{x \left (x^2+3 x-3\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {-x^3-3 x^2+3 x}{x^2+3 x-2}\right )}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -2 \int \frac {1}{\log \left (e^{2 x} x^2\right )}dx-2 \int \frac {1}{x \log \left (e^{2 x} x^2\right )}dx-\frac {12 \int \frac {1}{\left (-2 x+\sqrt {17}-3\right ) \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx}{\sqrt {17}}+4 \sqrt {\frac {3}{7}} \int \frac {1}{\left (-2 x+\sqrt {21}-3\right ) \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx-2 \int \frac {1}{x \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx+\frac {4}{17} \left (17-3 \sqrt {17}\right ) \int \frac {1}{\left (2 x-\sqrt {17}+3\right ) \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx+\frac {4}{17} \left (17+3 \sqrt {17}\right ) \int \frac {1}{\left (2 x+\sqrt {17}+3\right ) \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx-\frac {12 \int \frac {1}{\left (2 x+\sqrt {17}+3\right ) \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx}{\sqrt {17}}-\frac {4}{7} \left (7-\sqrt {21}\right ) \int \frac {1}{\left (2 x-\sqrt {21}+3\right ) \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx-\frac {4}{7} \left (7+\sqrt {21}\right ) \int \frac {1}{\left (2 x+\sqrt {21}+3\right ) \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx+4 \sqrt {\frac {3}{7}} \int \frac {1}{\left (2 x+\sqrt {21}+3\right ) \log \left (-\frac {x \left (x^2+3 x-3\right )}{x^2+3 x-2}\right )}dx\)

Input:

Int[((-12 + 24*x - 12*x^2 - 12*x^3 - 2*x^4)*Log[E^(2*x)*x^2] + (-12 + 18*x 
 + 22*x^2 - 20*x^3 - 14*x^4 - 2*x^5)*Log[(3*x - 3*x^2 - x^3)/(-2 + 3*x + x 
^2)])/((6*x - 15*x^2 + 4*x^3 + 6*x^4 + x^5)*Log[E^(2*x)*x^2]*Log[(3*x - 3* 
x^2 - x^3)/(-2 + 3*x + x^2)]),x]
 

Output:

$Aborted
 
Maple [A] (verified)

Time = 57.14 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.29

method result size
default \(-\ln \left (\ln \left ({\mathrm e}^{2 x} x^{2}\right )\right )-2 \ln \left (\ln \left (\frac {x \left (-x^{2}-3 x +3\right )}{x^{2}+3 x -2}\right )\right )\) \(40\)
parts \(-\ln \left (\ln \left ({\mathrm e}^{2 x} x^{2}\right )\right )-2 \ln \left (\ln \left (\frac {x \left (-x^{2}-3 x +3\right )}{x^{2}+3 x -2}\right )\right )\) \(40\)
parallelrisch \(-\ln \left (\ln \left ({\mathrm e}^{2 x} x^{2}\right )\right )-2 \ln \left (\ln \left (\frac {-x^{3}-3 x^{2}+3 x}{x^{2}+3 x -2}\right )\right )\) \(43\)
risch \(-2 \ln \left (\ln \left (x^{2}+3 x -2\right )+\frac {i \left (\pi \,\operatorname {csgn}\left (i \left (x^{2}+3 x -3\right )\right ) \operatorname {csgn}\left (\frac {i}{x^{2}+3 x -2}\right ) \operatorname {csgn}\left (\frac {i \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right )-\pi \,\operatorname {csgn}\left (i \left (x^{2}+3 x -3\right )\right ) {\operatorname {csgn}\left (\frac {i \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right )}^{2}-\pi \,\operatorname {csgn}\left (\frac {i}{x^{2}+3 x -2}\right ) {\operatorname {csgn}\left (\frac {i \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right )}^{2}+\pi {\operatorname {csgn}\left (\frac {i \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right )}^{3}-\pi \,\operatorname {csgn}\left (\frac {i \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right ) {\operatorname {csgn}\left (\frac {i x \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right )}^{2}+\pi \,\operatorname {csgn}\left (\frac {i \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right ) \operatorname {csgn}\left (\frac {i x \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right ) \operatorname {csgn}\left (i x \right )-\pi {\operatorname {csgn}\left (\frac {i x \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right )}^{3}+2 \pi {\operatorname {csgn}\left (\frac {i x \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right )}^{2}-\pi {\operatorname {csgn}\left (\frac {i x \left (x^{2}+3 x -3\right )}{x^{2}+3 x -2}\right )}^{2} \operatorname {csgn}\left (i x \right )+2 i \ln \left (x \right )+2 i \ln \left (x^{2}+3 x -3\right )-2 \pi \right )}{2}\right )-\ln \left (\ln \left ({\mathrm e}^{x}\right )-\frac {i \left (\pi \operatorname {csgn}\left (i {\mathrm e}^{x}\right )^{2} \operatorname {csgn}\left (i {\mathrm e}^{2 x}\right )-2 \pi \,\operatorname {csgn}\left (i {\mathrm e}^{x}\right ) \operatorname {csgn}\left (i {\mathrm e}^{2 x}\right )^{2}+\pi \operatorname {csgn}\left (i {\mathrm e}^{2 x}\right )^{3}-\pi \,\operatorname {csgn}\left (i {\mathrm e}^{2 x}\right ) \operatorname {csgn}\left (i x^{2} {\mathrm e}^{2 x}\right )^{2}+\pi \,\operatorname {csgn}\left (i {\mathrm e}^{2 x}\right ) \operatorname {csgn}\left (i x^{2} {\mathrm e}^{2 x}\right ) \operatorname {csgn}\left (i x^{2}\right )+\pi \operatorname {csgn}\left (i x^{2} {\mathrm e}^{2 x}\right )^{3}-\pi \operatorname {csgn}\left (i x^{2} {\mathrm e}^{2 x}\right )^{2} \operatorname {csgn}\left (i x^{2}\right )+\pi \operatorname {csgn}\left (i x \right )^{2} \operatorname {csgn}\left (i x^{2}\right )-2 \pi \,\operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (i x^{2}\right )^{2}+\pi \operatorname {csgn}\left (i x^{2}\right )^{3}+4 i \ln \left (x \right )\right )}{4}\right )\) \(585\)

Input:

int(((-2*x^4-12*x^3-12*x^2+24*x-12)*ln(exp(x)^2*x^2)+(-2*x^5-14*x^4-20*x^3 
+22*x^2+18*x-12)*ln((-x^3-3*x^2+3*x)/(x^2+3*x-2)))/(x^5+6*x^4+4*x^3-15*x^2 
+6*x)/ln((-x^3-3*x^2+3*x)/(x^2+3*x-2))/ln(exp(x)^2*x^2),x,method=_RETURNVE 
RBOSE)
 

Output:

-ln(ln(exp(x)^2*x^2))-2*ln(ln(x*(-x^2-3*x+3)/(x^2+3*x-2)))
 

Fricas [A] (verification not implemented)

Time = 0.09 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.32 \[ \int \frac {\left (-12+24 x-12 x^2-12 x^3-2 x^4\right ) \log \left (e^{2 x} x^2\right )+\left (-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )}{\left (6 x-15 x^2+4 x^3+6 x^4+x^5\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )} \, dx=-\log \left (\log \left (x^{2} e^{\left (2 \, x\right )}\right )\right ) - 2 \, \log \left (\log \left (-\frac {x^{3} + 3 \, x^{2} - 3 \, x}{x^{2} + 3 \, x - 2}\right )\right ) \] Input:

integrate(((-2*x^4-12*x^3-12*x^2+24*x-12)*log(exp(x)^2*x^2)+(-2*x^5-14*x^4 
-20*x^3+22*x^2+18*x-12)*log((-x^3-3*x^2+3*x)/(x^2+3*x-2)))/(x^5+6*x^4+4*x^ 
3-15*x^2+6*x)/log((-x^3-3*x^2+3*x)/(x^2+3*x-2))/log(exp(x)^2*x^2),x, algor 
ithm="fricas")
 

Output:

-log(log(x^2*e^(2*x))) - 2*log(log(-(x^3 + 3*x^2 - 3*x)/(x^2 + 3*x - 2)))
 

Sympy [A] (verification not implemented)

Time = 0.43 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.19 \[ \int \frac {\left (-12+24 x-12 x^2-12 x^3-2 x^4\right ) \log \left (e^{2 x} x^2\right )+\left (-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )}{\left (6 x-15 x^2+4 x^3+6 x^4+x^5\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )} \, dx=- \log {\left (\log {\left (x^{2} e^{2 x} \right )} \right )} - 2 \log {\left (\log {\left (\frac {- x^{3} - 3 x^{2} + 3 x}{x^{2} + 3 x - 2} \right )} \right )} \] Input:

integrate(((-2*x**4-12*x**3-12*x**2+24*x-12)*ln(exp(x)**2*x**2)+(-2*x**5-1 
4*x**4-20*x**3+22*x**2+18*x-12)*ln((-x**3-3*x**2+3*x)/(x**2+3*x-2)))/(x**5 
+6*x**4+4*x**3-15*x**2+6*x)/ln((-x**3-3*x**2+3*x)/(x**2+3*x-2))/ln(exp(x)* 
*2*x**2),x)
 

Output:

-log(log(x**2*exp(2*x))) - 2*log(log((-x**3 - 3*x**2 + 3*x)/(x**2 + 3*x - 
2)))
 

Maxima [A] (verification not implemented)

Time = 0.13 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.16 \[ \int \frac {\left (-12+24 x-12 x^2-12 x^3-2 x^4\right ) \log \left (e^{2 x} x^2\right )+\left (-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )}{\left (6 x-15 x^2+4 x^3+6 x^4+x^5\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )} \, dx=-\log \left (x + \log \left (x\right )\right ) - 2 \, \log \left (-\log \left (x^{2} + 3 \, x - 2\right ) + \log \left (-x^{2} - 3 \, x + 3\right ) + \log \left (x\right )\right ) \] Input:

integrate(((-2*x^4-12*x^3-12*x^2+24*x-12)*log(exp(x)^2*x^2)+(-2*x^5-14*x^4 
-20*x^3+22*x^2+18*x-12)*log((-x^3-3*x^2+3*x)/(x^2+3*x-2)))/(x^5+6*x^4+4*x^ 
3-15*x^2+6*x)/log((-x^3-3*x^2+3*x)/(x^2+3*x-2))/log(exp(x)^2*x^2),x, algor 
ithm="maxima")
 

Output:

-log(x + log(x)) - 2*log(-log(x^2 + 3*x - 2) + log(-x^2 - 3*x + 3) + log(x 
))
 

Giac [A] (verification not implemented)

Time = 0.95 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.16 \[ \int \frac {\left (-12+24 x-12 x^2-12 x^3-2 x^4\right ) \log \left (e^{2 x} x^2\right )+\left (-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )}{\left (6 x-15 x^2+4 x^3+6 x^4+x^5\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )} \, dx=-\log \left (x + \log \left (x\right )\right ) - 2 \, \log \left (-\log \left (x^{2} + 3 \, x - 2\right ) + \log \left (-x^{2} - 3 \, x + 3\right ) + \log \left (x\right )\right ) \] Input:

integrate(((-2*x^4-12*x^3-12*x^2+24*x-12)*log(exp(x)^2*x^2)+(-2*x^5-14*x^4 
-20*x^3+22*x^2+18*x-12)*log((-x^3-3*x^2+3*x)/(x^2+3*x-2)))/(x^5+6*x^4+4*x^ 
3-15*x^2+6*x)/log((-x^3-3*x^2+3*x)/(x^2+3*x-2))/log(exp(x)^2*x^2),x, algor 
ithm="giac")
 

Output:

-log(x + log(x)) - 2*log(-log(x^2 + 3*x - 2) + log(-x^2 - 3*x + 3) + log(x 
))
 

Mupad [B] (verification not implemented)

Time = 3.75 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.29 \[ \int \frac {\left (-12+24 x-12 x^2-12 x^3-2 x^4\right ) \log \left (e^{2 x} x^2\right )+\left (-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )}{\left (6 x-15 x^2+4 x^3+6 x^4+x^5\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )} \, dx=-\ln \left (2\,x+\ln \left (x^2\right )\right )-2\,\ln \left (\ln \left (-\frac {x^3+3\,x^2-3\,x}{x^2+3\,x-2}\right )\right ) \] Input:

int(-(log(x^2*exp(2*x))*(12*x^2 - 24*x + 12*x^3 + 2*x^4 + 12) + log(-(3*x^ 
2 - 3*x + x^3)/(3*x + x^2 - 2))*(20*x^3 - 22*x^2 - 18*x + 14*x^4 + 2*x^5 + 
 12))/(log(-(3*x^2 - 3*x + x^3)/(3*x + x^2 - 2))*log(x^2*exp(2*x))*(6*x - 
15*x^2 + 4*x^3 + 6*x^4 + x^5)),x)
 

Output:

- log(2*x + log(x^2)) - 2*log(log(-(3*x^2 - 3*x + x^3)/(3*x + x^2 - 2)))
 

Reduce [B] (verification not implemented)

Time = 0.19 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.39 \[ \int \frac {\left (-12+24 x-12 x^2-12 x^3-2 x^4\right ) \log \left (e^{2 x} x^2\right )+\left (-12+18 x+22 x^2-20 x^3-14 x^4-2 x^5\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )}{\left (6 x-15 x^2+4 x^3+6 x^4+x^5\right ) \log \left (e^{2 x} x^2\right ) \log \left (\frac {3 x-3 x^2-x^3}{-2+3 x+x^2}\right )} \, dx=-2 \,\mathrm {log}\left (\mathrm {log}\left (\frac {-x^{3}-3 x^{2}+3 x}{x^{2}+3 x -2}\right )\right )-\mathrm {log}\left (\mathrm {log}\left (e^{2 x} x^{2}\right )\right ) \] Input:

int(((-2*x^4-12*x^3-12*x^2+24*x-12)*log(exp(x)^2*x^2)+(-2*x^5-14*x^4-20*x^ 
3+22*x^2+18*x-12)*log((-x^3-3*x^2+3*x)/(x^2+3*x-2)))/(x^5+6*x^4+4*x^3-15*x 
^2+6*x)/log((-x^3-3*x^2+3*x)/(x^2+3*x-2))/log(exp(x)^2*x^2),x)
 

Output:

 - 2*log(log(( - x**3 - 3*x**2 + 3*x)/(x**2 + 3*x - 2))) - log(log(e**(2*x 
)*x**2))