Integrand size = 172, antiderivative size = 31 \[ \int \frac {6+9 x-12 x^2+e^4 (-12+12 x)+e^{2 x} \left (-2-7 x+6 x^2\right )+\left (3 e^4-3 x+e^{2 x} x\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )}{12 x^2-6 x^3+e^4 \left (-12 x+6 x^2\right )+e^{2 x} \left (-4 x^2+2 x^3\right )+\left (6 x-3 x^2+e^4 (-6+3 x)+e^{2 x} \left (-2 x+x^2\right )\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )} \, dx=\log \left ((4-2 x) \left (2 x+\log \left (5 \left (e^4-x+\frac {1}{3} e^{2 x} x\right )\right )\right )\right ) \]
Time = 0.10 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.03 \[ \int \frac {6+9 x-12 x^2+e^4 (-12+12 x)+e^{2 x} \left (-2-7 x+6 x^2\right )+\left (3 e^4-3 x+e^{2 x} x\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )}{12 x^2-6 x^3+e^4 \left (-12 x+6 x^2\right )+e^{2 x} \left (-4 x^2+2 x^3\right )+\left (6 x-3 x^2+e^4 (-6+3 x)+e^{2 x} \left (-2 x+x^2\right )\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )} \, dx=\log (2-x)+\log \left (2 x+\log \left (5 e^4-5 x+\frac {5}{3} e^{2 x} x\right )\right ) \]
Integrate[(6 + 9*x - 12*x^2 + E^4*(-12 + 12*x) + E^(2*x)*(-2 - 7*x + 6*x^2 ) + (3*E^4 - 3*x + E^(2*x)*x)*Log[(15*E^4 - 15*x + 5*E^(2*x)*x)/3])/(12*x^ 2 - 6*x^3 + E^4*(-12*x + 6*x^2) + E^(2*x)*(-4*x^2 + 2*x^3) + (6*x - 3*x^2 + E^4*(-6 + 3*x) + E^(2*x)*(-2*x + x^2))*Log[(15*E^4 - 15*x + 5*E^(2*x)*x) /3]),x]
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 {-12 x^2+e^{2 x} \left (6 x^2-7 x-2\right )+9 x+e^4 (12 x-12)+\left (e^{2 x} x-3 x+3 e^4\right ) \log \left (\frac {1}{3} \left (5 e^{2 x} x-15 x+15 e^4\right )\right )+6}{-6 x^3+12 x^2+e^4 \left (6 x^2-12 x\right )+\left (-3 x^2+e^{2 x} \left (x^2-2 x\right )+6 x+e^4 (3 x-6)\right ) \log \left (\frac {1}{3} \left (5 e^{2 x} x-15 x+15 e^4\right )\right )+e^{2 x} \left (2 x^3-4 x^2\right )} \, dx\) |
\(\Big \downarrow \) 7292 |
\(\displaystyle \int \frac {12 x^2-e^{2 x} \left (6 x^2-7 x-2\right )-9 x-e^4 (12 x-12)-\left (e^{2 x} x-3 x+3 e^4\right ) \log \left (\frac {1}{3} \left (5 e^{2 x} x-15 x+15 e^4\right )\right )-6}{(2-x) \left (e^{2 x} x-3 x+3 e^4\right ) \left (2 x+\log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )\right )}dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \int \left (\frac {3 \left (2 x^2-2 e^4 x-e^4\right )}{x \left (e^{2 x} x-3 x+3 e^4\right ) \left (2 x+\log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )\right )}+\frac {6 x^2-7 x+x \log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )-2}{(x-2) x \left (2 x+\log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )\right )}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle 4 \int \frac {1}{2 x+\log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )}dx+\int \frac {1}{x \left (2 x+\log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )\right )}dx-6 e^4 \int \frac {1}{\left (e^{2 x} x-3 x+3 e^4\right ) \left (2 x+\log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )\right )}dx-3 e^4 \int \frac {1}{x \left (e^{2 x} x-3 x+3 e^4\right ) \left (2 x+\log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )\right )}dx+6 \int \frac {x}{\left (e^{2 x} x-3 x+3 e^4\right ) \left (2 x+\log \left (\frac {5}{3} e^{2 x} x-5 x+5 e^4\right )\right )}dx+\log (2-x)\) |
Int[(6 + 9*x - 12*x^2 + E^4*(-12 + 12*x) + E^(2*x)*(-2 - 7*x + 6*x^2) + (3 *E^4 - 3*x + E^(2*x)*x)*Log[(15*E^4 - 15*x + 5*E^(2*x)*x)/3])/(12*x^2 - 6* x^3 + E^4*(-12*x + 6*x^2) + E^(2*x)*(-4*x^2 + 2*x^3) + (6*x - 3*x^2 + E^4* (-6 + 3*x) + E^(2*x)*(-2*x + x^2))*Log[(15*E^4 - 15*x + 5*E^(2*x)*x)/3]),x ]
3.23.89.3.1 Defintions of rubi rules used
Time = 0.92 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.87
method | result | size |
norman | \(\ln \left (-2+x \right )+\ln \left (2 x +\ln \left (\frac {5 x \,{\mathrm e}^{2 x}}{3}+5 \,{\mathrm e}^{4}-5 x \right )\right )\) | \(27\) |
risch | \(\ln \left (-2+x \right )+\ln \left (2 x +\ln \left (\frac {5 x \,{\mathrm e}^{2 x}}{3}+5 \,{\mathrm e}^{4}-5 x \right )\right )\) | \(27\) |
parallelrisch | \(\ln \left (-2+x \right )+\ln \left (x +\frac {\ln \left (\frac {5 x \,{\mathrm e}^{2 x}}{3}+5 \,{\mathrm e}^{4}-5 x \right )}{2}\right )\) | \(27\) |
int(((x*exp(2*x)+3*exp(4)-3*x)*ln(5/3*x*exp(2*x)+5*exp(4)-5*x)+(6*x^2-7*x- 2)*exp(2*x)+(12*x-12)*exp(4)-12*x^2+9*x+6)/(((x^2-2*x)*exp(2*x)+(-6+3*x)*e xp(4)-3*x^2+6*x)*ln(5/3*x*exp(2*x)+5*exp(4)-5*x)+(2*x^3-4*x^2)*exp(2*x)+(6 *x^2-12*x)*exp(4)-6*x^3+12*x^2),x,method=_RETURNVERBOSE)
Time = 0.26 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.84 \[ \int \frac {6+9 x-12 x^2+e^4 (-12+12 x)+e^{2 x} \left (-2-7 x+6 x^2\right )+\left (3 e^4-3 x+e^{2 x} x\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )}{12 x^2-6 x^3+e^4 \left (-12 x+6 x^2\right )+e^{2 x} \left (-4 x^2+2 x^3\right )+\left (6 x-3 x^2+e^4 (-6+3 x)+e^{2 x} \left (-2 x+x^2\right )\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )} \, dx=\log \left (2 \, x + \log \left (\frac {5}{3} \, x e^{\left (2 \, x\right )} - 5 \, x + 5 \, e^{4}\right )\right ) + \log \left (x - 2\right ) \]
integrate(((x*exp(2*x)+3*exp(4)-3*x)*log(5/3*x*exp(2*x)+5*exp(4)-5*x)+(6*x ^2-7*x-2)*exp(2*x)+(12*x-12)*exp(4)-12*x^2+9*x+6)/(((x^2-2*x)*exp(2*x)+(-6 +3*x)*exp(4)-3*x^2+6*x)*log(5/3*x*exp(2*x)+5*exp(4)-5*x)+(2*x^3-4*x^2)*exp (2*x)+(6*x^2-12*x)*exp(4)-6*x^3+12*x^2),x, algorithm=\
Time = 0.24 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.94 \[ \int \frac {6+9 x-12 x^2+e^4 (-12+12 x)+e^{2 x} \left (-2-7 x+6 x^2\right )+\left (3 e^4-3 x+e^{2 x} x\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )}{12 x^2-6 x^3+e^4 \left (-12 x+6 x^2\right )+e^{2 x} \left (-4 x^2+2 x^3\right )+\left (6 x-3 x^2+e^4 (-6+3 x)+e^{2 x} \left (-2 x+x^2\right )\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )} \, dx=\log {\left (x - 2 \right )} + \log {\left (2 x + \log {\left (\frac {5 x e^{2 x}}{3} - 5 x + 5 e^{4} \right )} \right )} \]
integrate(((x*exp(2*x)+3*exp(4)-3*x)*ln(5/3*x*exp(2*x)+5*exp(4)-5*x)+(6*x* *2-7*x-2)*exp(2*x)+(12*x-12)*exp(4)-12*x**2+9*x+6)/(((x**2-2*x)*exp(2*x)+( -6+3*x)*exp(4)-3*x**2+6*x)*ln(5/3*x*exp(2*x)+5*exp(4)-5*x)+(2*x**3-4*x**2) *exp(2*x)+(6*x**2-12*x)*exp(4)-6*x**3+12*x**2),x)
Time = 0.36 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.00 \[ \int \frac {6+9 x-12 x^2+e^4 (-12+12 x)+e^{2 x} \left (-2-7 x+6 x^2\right )+\left (3 e^4-3 x+e^{2 x} x\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )}{12 x^2-6 x^3+e^4 \left (-12 x+6 x^2\right )+e^{2 x} \left (-4 x^2+2 x^3\right )+\left (6 x-3 x^2+e^4 (-6+3 x)+e^{2 x} \left (-2 x+x^2\right )\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )} \, dx=\log \left (2 \, x + \log \left (5\right ) - \log \left (3\right ) + \log \left (x e^{\left (2 \, x\right )} - 3 \, x + 3 \, e^{4}\right )\right ) + \log \left (x - 2\right ) \]
integrate(((x*exp(2*x)+3*exp(4)-3*x)*log(5/3*x*exp(2*x)+5*exp(4)-5*x)+(6*x ^2-7*x-2)*exp(2*x)+(12*x-12)*exp(4)-12*x^2+9*x+6)/(((x^2-2*x)*exp(2*x)+(-6 +3*x)*exp(4)-3*x^2+6*x)*log(5/3*x*exp(2*x)+5*exp(4)-5*x)+(2*x^3-4*x^2)*exp (2*x)+(6*x^2-12*x)*exp(4)-6*x^3+12*x^2),x, algorithm=\
Time = 0.41 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.84 \[ \int \frac {6+9 x-12 x^2+e^4 (-12+12 x)+e^{2 x} \left (-2-7 x+6 x^2\right )+\left (3 e^4-3 x+e^{2 x} x\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )}{12 x^2-6 x^3+e^4 \left (-12 x+6 x^2\right )+e^{2 x} \left (-4 x^2+2 x^3\right )+\left (6 x-3 x^2+e^4 (-6+3 x)+e^{2 x} \left (-2 x+x^2\right )\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )} \, dx=\log \left (2 \, x + \log \left (\frac {5}{3} \, x e^{\left (2 \, x\right )} - 5 \, x + 5 \, e^{4}\right )\right ) + \log \left (x - 2\right ) \]
integrate(((x*exp(2*x)+3*exp(4)-3*x)*log(5/3*x*exp(2*x)+5*exp(4)-5*x)+(6*x ^2-7*x-2)*exp(2*x)+(12*x-12)*exp(4)-12*x^2+9*x+6)/(((x^2-2*x)*exp(2*x)+(-6 +3*x)*exp(4)-3*x^2+6*x)*log(5/3*x*exp(2*x)+5*exp(4)-5*x)+(2*x^3-4*x^2)*exp (2*x)+(6*x^2-12*x)*exp(4)-6*x^3+12*x^2),x, algorithm=\
Time = 14.53 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.84 \[ \int \frac {6+9 x-12 x^2+e^4 (-12+12 x)+e^{2 x} \left (-2-7 x+6 x^2\right )+\left (3 e^4-3 x+e^{2 x} x\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )}{12 x^2-6 x^3+e^4 \left (-12 x+6 x^2\right )+e^{2 x} \left (-4 x^2+2 x^3\right )+\left (6 x-3 x^2+e^4 (-6+3 x)+e^{2 x} \left (-2 x+x^2\right )\right ) \log \left (\frac {1}{3} \left (15 e^4-15 x+5 e^{2 x} x\right )\right )} \, dx=\ln \left (2\,x+\ln \left (5\,{\mathrm {e}}^4-5\,x+\frac {5\,x\,{\mathrm {e}}^{2\,x}}{3}\right )\right )+\ln \left (x-2\right ) \]
int(-(9*x - exp(2*x)*(7*x - 6*x^2 + 2) - 12*x^2 + log(5*exp(4) - 5*x + (5* x*exp(2*x))/3)*(3*exp(4) - 3*x + x*exp(2*x)) + exp(4)*(12*x - 12) + 6)/(ex p(4)*(12*x - 6*x^2) - log(5*exp(4) - 5*x + (5*x*exp(2*x))/3)*(6*x - exp(2* x)*(2*x - x^2) - 3*x^2 + exp(4)*(3*x - 6)) + exp(2*x)*(4*x^2 - 2*x^3) - 12 *x^2 + 6*x^3),x)