3.7.35 \(\int \frac {e^{2 x} ((-32+32 x) \log ^2(6)-96 \log ^3(6))+e^x ((-144 x+144 x^2) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6))}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx\) [635]

3.7.35.1 Optimal result
3.7.35.2 Mathematica [A] (verified)
3.7.35.3 Rubi [A] (verified)
3.7.35.4 Maple [A] (verified)
3.7.35.5 Fricas [A] (verification not implemented)
3.7.35.6 Sympy [B] (verification not implemented)
3.7.35.7 Maxima [F]
3.7.35.8 Giac [A] (verification not implemented)
3.7.35.9 Mupad [B] (verification not implemented)

3.7.35.1 Optimal result

Integrand size = 86, antiderivative size = 24 \begin {dmath*} \int \frac {e^{2 x} \left ((-32+32 x) \log ^2(6)-96 \log ^3(6)\right )+e^x \left (\left (-144 x+144 x^2\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx=5-\left (18-\frac {4 e^x}{3-\frac {x}{\log (6)}}\right )^2 \end {dmath*}

output
5-(18-4/(3-x/ln(6))*exp(x))^2
 
3.7.35.2 Mathematica [A] (verified)

Time = 0.31 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.12 \begin {dmath*} \int \frac {e^{2 x} \left ((-32+32 x) \log ^2(6)-96 \log ^3(6)\right )+e^x \left (\left (-144 x+144 x^2\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx=-\frac {16 e^x \log (6) \left (9 x+\left (-27+e^x\right ) \log (6)\right )}{(x-3 \log (6))^2} \end {dmath*}

input
Integrate[(E^(2*x)*((-32 + 32*x)*Log[6]^2 - 96*Log[6]^3) + E^x*((-144*x + 
144*x^2)*Log[6] + (432 - 864*x)*Log[6]^2 + 1296*Log[6]^3))/(-x^3 + 9*x^2*L 
og[6] - 27*x*Log[6]^2 + 27*Log[6]^3),x]
 
output
(-16*E^x*Log[6]*(9*x + (-27 + E^x)*Log[6]))/(x - 3*Log[6])^2
 
3.7.35.3 Rubi [A] (verified)

Time = 0.85 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.46, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.058, Rules used = {2007, 7239, 27, 7293, 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 \frac {e^x \left (\left (144 x^2-144 x\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )+e^{2 x} \left ((32 x-32) \log ^2(6)-96 \log ^3(6)\right )}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx\)

\(\Big \downarrow \) 2007

\(\displaystyle \int \frac {e^x \left (\left (144 x^2-144 x\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )+e^{2 x} \left ((32 x-32) \log ^2(6)-96 \log ^3(6)\right )}{(3 \log (6)-x)^3}dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 27

\(\displaystyle 16 \log (6) \int \frac {e^x \left (9 x-\left (27-2 e^x\right ) \log (6)\right ) (-x+\log (216)+1)}{(x-3 \log (6))^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle 16 \log (6) \int \left (-\frac {9 e^x (x-\log (216)-1)}{(x-3 \log (6))^2}-\frac {2 e^{2 x} \log (6) (x-\log (216)-1)}{(x-3 \log (6))^3}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle 16 \log (6) \left (-\frac {9 e^x}{x-3 \log (6)}-\frac {e^{2 x} \log (6)}{(x-3 \log (6))^2}\right )\)

input
Int[(E^(2*x)*((-32 + 32*x)*Log[6]^2 - 96*Log[6]^3) + E^x*((-144*x + 144*x^ 
2)*Log[6] + (432 - 864*x)*Log[6]^2 + 1296*Log[6]^3))/(-x^3 + 9*x^2*Log[6] 
- 27*x*Log[6]^2 + 27*Log[6]^3),x]
 
output
16*Log[6]*((-9*E^x)/(x - 3*Log[6]) - (E^(2*x)*Log[6])/(x - 3*Log[6])^2)
 

3.7.35.3.1 Defintions of rubi rules used

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 2007
Int[(u_.)*(Px_)^(p_), x_Symbol] :> With[{a = Rt[Coeff[Px, x, 0], Expon[Px, 
x]], b = Rt[Coeff[Px, x, Expon[Px, x]], Expon[Px, x]]}, Int[u*(a + b*x)^(Ex 
pon[Px, x]*p), x] /; EqQ[Px, (a + b*x)^Expon[Px, x]]] /; IntegerQ[p] && Pol 
yQ[Px, x] && GtQ[Expon[Px, x], 1] && NeQ[Coeff[Px, x, 0], 0]
 

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 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.7.35.4 Maple [A] (verified)

Time = 0.23 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.42

method result size
parts \(-\frac {144 \ln \left (6\right ) {\mathrm e}^{x}}{-3 \ln \left (6\right )+x}-\frac {16 \ln \left (6\right )^{2} {\mathrm e}^{2 x}}{\left (-3 \ln \left (6\right )+x \right )^{2}}\) \(34\)
norman \(\frac {432 \ln \left (6\right )^{2} {\mathrm e}^{x}-16 \ln \left (6\right )^{2} {\mathrm e}^{2 x}-144 \,{\mathrm e}^{x} \ln \left (6\right ) x}{\left (3 \ln \left (6\right )-x \right )^{2}}\) \(38\)
parallelrisch \(-\frac {16 \ln \left (6\right )^{2} {\mathrm e}^{2 x}-432 \ln \left (6\right )^{2} {\mathrm e}^{x}+144 \,{\mathrm e}^{x} \ln \left (6\right ) x}{9 \ln \left (6\right )^{2}-6 x \ln \left (6\right )+x^{2}}\) \(46\)
default \(1296 \ln \left (6\right )^{3} \left (\frac {{\mathrm e}^{x}}{2 \left (-3 \ln \left (6\right )+x \right )^{2}}+\frac {{\mathrm e}^{x}}{2 x -6 \ln \left (6\right )}+108 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )\right )-96 \ln \left (6\right )^{3} \left (\frac {{\mathrm e}^{2 x}}{2 \left (-3 \ln \left (6\right )+x \right )^{2}}+\frac {{\mathrm e}^{2 x}}{-3 \ln \left (6\right )+x}+93312 \,\operatorname {Ei}_{1}\left (-2 x +6 \ln \left (6\right )\right )\right )+432 \ln \left (6\right )^{2} \left (\frac {{\mathrm e}^{x}}{2 \left (-3 \ln \left (6\right )+x \right )^{2}}+\frac {{\mathrm e}^{x}}{2 x -6 \ln \left (6\right )}+108 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )\right )-32 \ln \left (6\right )^{2} \left (\frac {{\mathrm e}^{2 x}}{2 \left (-3 \ln \left (6\right )+x \right )^{2}}+\frac {{\mathrm e}^{2 x}}{-3 \ln \left (6\right )+x}+93312 \,\operatorname {Ei}_{1}\left (-2 x +6 \ln \left (6\right )\right )\right )-144 \ln \left (6\right ) \left (-3 \ln \left (6\right ) \left (-\frac {{\mathrm e}^{x}}{2 \left (-3 \ln \left (6\right )+x \right )^{2}}-\frac {{\mathrm e}^{x}}{2 \left (-3 \ln \left (6\right )+x \right )}-108 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )\right )+\frac {{\mathrm e}^{x}}{-3 \ln \left (6\right )+x}+216 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )\right )+144 \ln \left (6\right ) \left (-9 \ln \left (6\right )^{2} \left (-\frac {{\mathrm e}^{x}}{2 \left (-3 \ln \left (6\right )+x \right )^{2}}-\frac {{\mathrm e}^{x}}{2 \left (-3 \ln \left (6\right )+x \right )}-108 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )\right )+216 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )-6 \ln \left (6\right ) \left (-\frac {{\mathrm e}^{x}}{-3 \ln \left (6\right )+x}-216 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )\right )\right )-864 \ln \left (6\right )^{2} \left (-3 \ln \left (6\right ) \left (-\frac {{\mathrm e}^{x}}{2 \left (-3 \ln \left (6\right )+x \right )^{2}}-\frac {{\mathrm e}^{x}}{2 \left (-3 \ln \left (6\right )+x \right )}-108 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )\right )+\frac {{\mathrm e}^{x}}{-3 \ln \left (6\right )+x}+216 \,\operatorname {Ei}_{1}\left (3 \ln \left (6\right )-x \right )\right )+32 \ln \left (6\right )^{2} \left (-3 \ln \left (6\right ) \left (-\frac {{\mathrm e}^{2 x}}{2 \left (-3 \ln \left (6\right )+x \right )^{2}}-\frac {{\mathrm e}^{2 x}}{-3 \ln \left (6\right )+x}-93312 \,\operatorname {Ei}_{1}\left (-2 x +6 \ln \left (6\right )\right )\right )+\frac {{\mathrm e}^{2 x}}{-3 \ln \left (6\right )+x}+93312 \,\operatorname {Ei}_{1}\left (-2 x +6 \ln \left (6\right )\right )\right )\) \(486\)

input
int(((-96*ln(6)^3+(32*x-32)*ln(6)^2)*exp(x)^2+(1296*ln(6)^3+(-864*x+432)*l 
n(6)^2+(144*x^2-144*x)*ln(6))*exp(x))/(27*ln(6)^3-27*x*ln(6)^2+9*x^2*ln(6) 
-x^3),x,method=_RETURNVERBOSE)
 
output
-144*ln(6)*exp(x)/(-3*ln(6)+x)-16*ln(6)^2*exp(x)^2/(-3*ln(6)+x)^2
 
3.7.35.5 Fricas [A] (verification not implemented)

Time = 0.25 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.83 \begin {dmath*} \int \frac {e^{2 x} \left ((-32+32 x) \log ^2(6)-96 \log ^3(6)\right )+e^x \left (\left (-144 x+144 x^2\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx=-\frac {16 \, {\left (e^{\left (2 \, x\right )} \log \left (6\right )^{2} + 9 \, {\left (x \log \left (6\right ) - 3 \, \log \left (6\right )^{2}\right )} e^{x}\right )}}{x^{2} - 6 \, x \log \left (6\right ) + 9 \, \log \left (6\right )^{2}} \end {dmath*}

input
integrate(((-96*log(6)^3+(32*x-32)*log(6)^2)*exp(x)^2+(1296*log(6)^3+(-864 
*x+432)*log(6)^2+(144*x^2-144*x)*log(6))*exp(x))/(27*log(6)^3-27*x*log(6)^ 
2+9*x^2*log(6)-x^3),x, algorithm=\
 
output
-16*(e^(2*x)*log(6)^2 + 9*(x*log(6) - 3*log(6)^2)*e^x)/(x^2 - 6*x*log(6) + 
 9*log(6)^2)
 
3.7.35.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 73 vs. \(2 (15) = 30\).

Time = 0.13 (sec) , antiderivative size = 73, normalized size of antiderivative = 3.04 \begin {dmath*} \int \frac {e^{2 x} \left ((-32+32 x) \log ^2(6)-96 \log ^3(6)\right )+e^x \left (\left (-144 x+144 x^2\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx=\frac {\left (- 16 x \log {\left (6 \right )}^{2} + 48 \log {\left (6 \right )}^{3}\right ) e^{2 x} + \left (- 144 x^{2} \log {\left (6 \right )} + 864 x \log {\left (6 \right )}^{2} - 1296 \log {\left (6 \right )}^{3}\right ) e^{x}}{x^{3} - 9 x^{2} \log {\left (6 \right )} + 27 x \log {\left (6 \right )}^{2} - 27 \log {\left (6 \right )}^{3}} \end {dmath*}

input
integrate(((-96*ln(6)**3+(32*x-32)*ln(6)**2)*exp(x)**2+(1296*ln(6)**3+(-86 
4*x+432)*ln(6)**2+(144*x**2-144*x)*ln(6))*exp(x))/(27*ln(6)**3-27*x*ln(6)* 
*2+9*x**2*ln(6)-x**3),x)
 
output
((-16*x*log(6)**2 + 48*log(6)**3)*exp(2*x) + (-144*x**2*log(6) + 864*x*log 
(6)**2 - 1296*log(6)**3)*exp(x))/(x**3 - 9*x**2*log(6) + 27*x*log(6)**2 - 
27*log(6)**3)
 
3.7.35.7 Maxima [F]

\begin {dmath*} \int \frac {e^{2 x} \left ((-32+32 x) \log ^2(6)-96 \log ^3(6)\right )+e^x \left (\left (-144 x+144 x^2\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx=\int { -\frac {16 \, {\left (2 \, {\left ({\left (x - 1\right )} \log \left (6\right )^{2} - 3 \, \log \left (6\right )^{3}\right )} e^{\left (2 \, x\right )} - 9 \, {\left (3 \, {\left (2 \, x - 1\right )} \log \left (6\right )^{2} - 9 \, \log \left (6\right )^{3} - {\left (x^{2} - x\right )} \log \left (6\right )\right )} e^{x}\right )}}{x^{3} - 9 \, x^{2} \log \left (6\right ) + 27 \, x \log \left (6\right )^{2} - 27 \, \log \left (6\right )^{3}} \,d x } \end {dmath*}

input
integrate(((-96*log(6)^3+(32*x-32)*log(6)^2)*exp(x)^2+(1296*log(6)^3+(-864 
*x+432)*log(6)^2+(144*x^2-144*x)*log(6))*exp(x))/(27*log(6)^3-27*x*log(6)^ 
2+9*x^2*log(6)-x^3),x, algorithm=\
 
output
279936*exp_integral_e(3, -x + 3*log(6))*log(6)^3/(x - 3*log(6))^2 + 93312* 
exp_integral_e(3, -x + 3*log(6))*log(6)^2/(x - 3*log(6))^2 + 16*((3*log(3) 
^3 + 9*log(3)^2*log(2) + 9*log(3)*log(2)^2 + 3*log(2)^3 - (log(3)^2 + 2*lo 
g(3)*log(2) + log(2)^2)*x)*e^(2*x) - 9*(x^2*(log(3) + log(2)) - 6*(log(3)^ 
2 + 2*log(3)*log(2) + log(2)^2)*x)*e^x)/(x^3 - 9*x^2*(log(3) + log(2)) - 2 
7*log(3)^3 - 81*log(3)^2*log(2) - 81*log(3)*log(2)^2 - 27*log(2)^3 + 27*(l 
og(3)^2 + 2*log(3)*log(2) + log(2)^2)*x) + 16*integrate(27*(6*log(3)^3 + 1 
8*log(3)^2*log(2) + 18*log(3)*log(2)^2 + 6*log(2)^3 + (log(3)^2 + 2*log(3) 
*log(2) + log(2)^2)*x)*e^x/(x^4 - 12*x^3*(log(3) + log(2)) + 81*log(3)^4 + 
 324*log(3)^3*log(2) + 486*log(3)^2*log(2)^2 + 324*log(3)*log(2)^3 + 81*lo 
g(2)^4 + 54*(log(3)^2 + 2*log(3)*log(2) + log(2)^2)*x^2 - 108*(log(3)^3 + 
3*log(3)^2*log(2) + 3*log(3)*log(2)^2 + log(2)^3)*x), x)
 
3.7.35.8 Giac [A] (verification not implemented)

Time = 0.28 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.83 \begin {dmath*} \int \frac {e^{2 x} \left ((-32+32 x) \log ^2(6)-96 \log ^3(6)\right )+e^x \left (\left (-144 x+144 x^2\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx=-\frac {16 \, {\left (9 \, x e^{x} \log \left (6\right ) + e^{\left (2 \, x\right )} \log \left (6\right )^{2} - 27 \, e^{x} \log \left (6\right )^{2}\right )}}{x^{2} - 6 \, x \log \left (6\right ) + 9 \, \log \left (6\right )^{2}} \end {dmath*}

input
integrate(((-96*log(6)^3+(32*x-32)*log(6)^2)*exp(x)^2+(1296*log(6)^3+(-864 
*x+432)*log(6)^2+(144*x^2-144*x)*log(6))*exp(x))/(27*log(6)^3-27*x*log(6)^ 
2+9*x^2*log(6)-x^3),x, algorithm=\
 
output
-16*(9*x*e^x*log(6) + e^(2*x)*log(6)^2 - 27*e^x*log(6)^2)/(x^2 - 6*x*log(6 
) + 9*log(6)^2)
 
3.7.35.9 Mupad [B] (verification not implemented)

Time = 0.50 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.12 \begin {dmath*} \int \frac {e^{2 x} \left ((-32+32 x) \log ^2(6)-96 \log ^3(6)\right )+e^x \left (\left (-144 x+144 x^2\right ) \log (6)+(432-864 x) \log ^2(6)+1296 \log ^3(6)\right )}{-x^3+9 x^2 \log (6)-27 x \log ^2(6)+27 \log ^3(6)} \, dx=-\frac {16\,{\mathrm {e}}^x\,\ln \left (6\right )\,\left (9\,x-27\,\ln \left (6\right )+{\mathrm {e}}^x\,\ln \left (6\right )\right )}{{\left (x-3\,\ln \left (6\right )\right )}^2} \end {dmath*}

input
int((exp(x)*(log(6)*(144*x - 144*x^2) + log(6)^2*(864*x - 432) - 1296*log( 
6)^3) - exp(2*x)*(log(6)^2*(32*x - 32) - 96*log(6)^3))/(27*x*log(6)^2 - 9* 
x^2*log(6) - 27*log(6)^3 + x^3),x)
 
output
-(16*exp(x)*log(6)*(9*x - 27*log(6) + exp(x)*log(6)))/(x - 3*log(6))^2