3.4.6 \(\int \frac {192 e^{6+4 e^3}+192 e^{6+2 x}+e^{3+x} (-48-4 x^2) \log (3)+3 \log ^2(3)+e^{2 e^3} (-384 e^{6+x}+48 e^3 \log (3))}{64 e^{6+4 e^3} x^2+64 e^{6+2 x} x^2-16 e^{3+x} x^2 \log (3)+x^2 \log ^2(3)+e^{2 e^3} (-128 e^{6+x} x^2+16 e^3 x^2 \log (3))} \, dx\) [306]

3.4.6.1 Optimal result
3.4.6.2 Mathematica [A] (verified)
3.4.6.3 Rubi [B] (verified)
3.4.6.4 Maple [A] (verified)
3.4.6.5 Fricas [A] (verification not implemented)
3.4.6.6 Sympy [A] (verification not implemented)
3.4.6.7 Maxima [A] (verification not implemented)
3.4.6.8 Giac [B] (verification not implemented)
3.4.6.9 Mupad [F(-1)]

3.4.6.1 Optimal result

Integrand size = 144, antiderivative size = 36 \[ \int \frac {192 e^{6+4 e^3}+192 e^{6+2 x}+e^{3+x} \left (-48-4 x^2\right ) \log (3)+3 \log ^2(3)+e^{2 e^3} \left (-384 e^{6+x}+48 e^3 \log (3)\right )}{64 e^{6+4 e^3} x^2+64 e^{6+2 x} x^2-16 e^{3+x} x^2 \log (3)+x^2 \log ^2(3)+e^{2 e^3} \left (-128 e^{6+x} x^2+16 e^3 x^2 \log (3)\right )} \, dx=\frac {-3+\frac {x}{2-\frac {\log (3)}{4 e^3 \left (-e^{2 e^3}+e^x\right )}}}{x} \]

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

Time = 0.11 (sec) , antiderivative size = 33, normalized size of antiderivative = 0.92 \[ \int \frac {192 e^{6+4 e^3}+192 e^{6+2 x}+e^{3+x} \left (-48-4 x^2\right ) \log (3)+3 \log ^2(3)+e^{2 e^3} \left (-384 e^{6+x}+48 e^3 \log (3)\right )}{64 e^{6+4 e^3} x^2+64 e^{6+2 x} x^2-16 e^{3+x} x^2 \log (3)+x^2 \log ^2(3)+e^{2 e^3} \left (-128 e^{6+x} x^2+16 e^3 x^2 \log (3)\right )} \, dx=-\frac {3}{x}-\frac {\log (3)}{16 e^{3+2 e^3}-16 e^{3+x}+\log (9)} \]

input
Integrate[(192*E^(6 + 4*E^3) + 192*E^(6 + 2*x) + E^(3 + x)*(-48 - 4*x^2)*L 
og[3] + 3*Log[3]^2 + E^(2*E^3)*(-384*E^(6 + x) + 48*E^3*Log[3]))/(64*E^(6 
+ 4*E^3)*x^2 + 64*E^(6 + 2*x)*x^2 - 16*E^(3 + x)*x^2*Log[3] + x^2*Log[3]^2 
 + E^(2*E^3)*(-128*E^(6 + x)*x^2 + 16*E^3*x^2*Log[3])),x]
 
output
-3/x - Log[3]/(16*E^(3 + 2*E^3) - 16*E^(3 + x) + Log[9])
 
3.4.6.3 Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(164\) vs. \(2(36)=72\).

Time = 1.74 (sec) , antiderivative size = 164, normalized size of antiderivative = 4.56, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.028, Rules used = {6, 7292, 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+3} \left (-4 x^2-48\right ) \log (3)+192 e^{2 x+6}+e^{2 e^3} \left (48 e^3 \log (3)-384 e^{x+6}\right )+192 e^{6+4 e^3}+3 \log ^2(3)}{64 e^{2 x+6} x^2+64 e^{6+4 e^3} x^2+x^2 \log ^2(3)-16 e^{x+3} x^2 \log (3)+e^{2 e^3} \left (16 e^3 x^2 \log (3)-128 e^{x+6} x^2\right )} \, dx\)

\(\Big \downarrow \) 6

\(\displaystyle \int \frac {e^{x+3} \left (-4 x^2-48\right ) \log (3)+192 e^{2 x+6}+e^{2 e^3} \left (48 e^3 \log (3)-384 e^{x+6}\right )+192 e^{6+4 e^3}+3 \log ^2(3)}{64 e^{2 x+6} x^2+x^2 \left (64 e^{6+4 e^3}+\log ^2(3)\right )-16 e^{x+3} x^2 \log (3)+e^{2 e^3} \left (16 e^3 x^2 \log (3)-128 e^{x+6} x^2\right )}dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {e^{x+3} \left (-4 x^2-48\right ) \log (3)+192 e^{2 x+6}+e^{2 e^3} \left (48 e^3 \log (3)-384 e^{x+6}\right )+192 e^{6+4 e^3} \left (1+\frac {1}{64} e^{-6-4 e^3} \log ^2(3)\right )}{x^2 \left (8 e^{x+3}-8 e^{3+2 e^3} \left (1+\frac {1}{8} e^{-3-2 e^3} \log (3)\right )\right )^2}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 2009

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

input
Int[(192*E^(6 + 4*E^3) + 192*E^(6 + 2*x) + E^(3 + x)*(-48 - 4*x^2)*Log[3] 
+ 3*Log[3]^2 + E^(2*E^3)*(-384*E^(6 + x) + 48*E^3*Log[3]))/(64*E^(6 + 4*E^ 
3)*x^2 + 64*E^(6 + 2*x)*x^2 - 16*E^(3 + x)*x^2*Log[3] + x^2*Log[3]^2 + E^( 
2*E^3)*(-128*E^(6 + x)*x^2 + 16*E^3*x^2*Log[3])),x]
 
output
-3/x - (x*Log[3])/(2*(8*E^(3 + 2*E^3) + Log[3])) - Log[3]/(2*(8*E^(3 + 2*E 
^3) - 8*E^(3 + x) + Log[3])) + (x*Log[3])/(16*E^(3 + 2*E^3) + Log[9]) + (L 
og[3]*Log[8*E^(3 + 2*E^3) - 8*E^(3 + x) + Log[3]])/(2*(8*E^(3 + 2*E^3) + L 
og[3])) - (Log[3]*Log[16*E^(3 + 2*E^3) - 16*E^(3 + x) + Log[9]])/(16*E^(3 
+ 2*E^3) + Log[9])
 

3.4.6.3.1 Defintions of rubi rules used

rule 6
Int[(u_.)*((v_.) + (a_.)*(Fx_) + (b_.)*(Fx_))^(p_.), x_Symbol] :> Int[u*(v 
+ (a + b)*Fx)^p, x] /; FreeQ[{a, b}, x] &&  !FreeQ[Fx, x]
 

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

rule 7292
Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =! 
= u]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.4.6.4 Maple [A] (verified)

Time = 5.68 (sec) , antiderivative size = 31, normalized size of antiderivative = 0.86

method result size
risch \(-\frac {3}{x}-\frac {\ln \left (3\right )}{2 \left (8 \,{\mathrm e}^{3+2 \,{\mathrm e}^{3}}-8 \,{\mathrm e}^{3+x}+\ln \left (3\right )\right )}\) \(31\)
norman \(\frac {-\frac {x \ln \left (3\right )}{2}+24 \,{\mathrm e}^{x} {\mathrm e}^{3}-24 \,{\mathrm e}^{3} {\mathrm e}^{2 \,{\mathrm e}^{3}}-3 \ln \left (3\right )}{x \left (8 \,{\mathrm e}^{3} {\mathrm e}^{2 \,{\mathrm e}^{3}}-8 \,{\mathrm e}^{x} {\mathrm e}^{3}+\ln \left (3\right )\right )}\) \(50\)
parallelrisch \(-\frac {\left (192 \,{\mathrm e}^{6} {\mathrm e}^{2 \,{\mathrm e}^{3}}+4 x \,{\mathrm e}^{3} \ln \left (3\right )-192 \,{\mathrm e}^{6} {\mathrm e}^{x}+24 \,{\mathrm e}^{3} \ln \left (3\right )\right ) {\mathrm e}^{-3}}{8 \left (8 \,{\mathrm e}^{3} {\mathrm e}^{2 \,{\mathrm e}^{3}}-8 \,{\mathrm e}^{x} {\mathrm e}^{3}+\ln \left (3\right )\right ) x}\) \(63\)

input
int((192*exp(3)^2*exp(exp(3))^4+(-384*exp(3)^2*exp(x)+48*exp(3)*ln(3))*exp 
(exp(3))^2+192*exp(3)^2*exp(x)^2+(-4*x^2-48)*exp(3)*ln(3)*exp(x)+3*ln(3)^2 
)/(64*x^2*exp(3)^2*exp(exp(3))^4+(-128*x^2*exp(3)^2*exp(x)+16*x^2*exp(3)*l 
n(3))*exp(exp(3))^2+64*x^2*exp(3)^2*exp(x)^2-16*x^2*exp(3)*ln(3)*exp(x)+x^ 
2*ln(3)^2),x,method=_RETURNVERBOSE)
 
output
-3/x-1/2*ln(3)/(8*exp(3+2*exp(3))-8*exp(3+x)+ln(3))
 
3.4.6.5 Fricas [A] (verification not implemented)

Time = 0.26 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.44 \[ \int \frac {192 e^{6+4 e^3}+192 e^{6+2 x}+e^{3+x} \left (-48-4 x^2\right ) \log (3)+3 \log ^2(3)+e^{2 e^3} \left (-384 e^{6+x}+48 e^3 \log (3)\right )}{64 e^{6+4 e^3} x^2+64 e^{6+2 x} x^2-16 e^{3+x} x^2 \log (3)+x^2 \log ^2(3)+e^{2 e^3} \left (-128 e^{6+x} x^2+16 e^3 x^2 \log (3)\right )} \, dx=-\frac {{\left (x + 6\right )} e^{3} \log \left (3\right ) - 48 \, e^{\left (x + 6\right )} + 48 \, e^{\left (2 \, e^{3} + 6\right )}}{2 \, {\left (x e^{3} \log \left (3\right ) - 8 \, x e^{\left (x + 6\right )} + 8 \, x e^{\left (2 \, e^{3} + 6\right )}\right )}} \]

input
integrate((192*exp(3)^2*exp(exp(3))^4+(-384*exp(3)^2*exp(x)+48*exp(3)*log( 
3))*exp(exp(3))^2+192*exp(3)^2*exp(x)^2+(-4*x^2-48)*exp(3)*log(3)*exp(x)+3 
*log(3)^2)/(64*x^2*exp(3)^2*exp(exp(3))^4+(-128*x^2*exp(3)^2*exp(x)+16*x^2 
*exp(3)*log(3))*exp(exp(3))^2+64*x^2*exp(3)^2*exp(x)^2-16*x^2*exp(3)*log(3 
)*exp(x)+x^2*log(3)^2),x, algorithm=\
 
output
-1/2*((x + 6)*e^3*log(3) - 48*e^(x + 6) + 48*e^(2*e^3 + 6))/(x*e^3*log(3) 
- 8*x*e^(x + 6) + 8*x*e^(2*e^3 + 6))
 
3.4.6.6 Sympy [A] (verification not implemented)

Time = 0.08 (sec) , antiderivative size = 31, normalized size of antiderivative = 0.86 \[ \int \frac {192 e^{6+4 e^3}+192 e^{6+2 x}+e^{3+x} \left (-48-4 x^2\right ) \log (3)+3 \log ^2(3)+e^{2 e^3} \left (-384 e^{6+x}+48 e^3 \log (3)\right )}{64 e^{6+4 e^3} x^2+64 e^{6+2 x} x^2-16 e^{3+x} x^2 \log (3)+x^2 \log ^2(3)+e^{2 e^3} \left (-128 e^{6+x} x^2+16 e^3 x^2 \log (3)\right )} \, dx=\frac {\log {\left (3 \right )}}{16 e^{3} e^{x} - 16 e^{3} e^{2 e^{3}} - 2 \log {\left (3 \right )}} - \frac {3}{x} \]

input
integrate((192*exp(3)**2*exp(exp(3))**4+(-384*exp(3)**2*exp(x)+48*exp(3)*l 
n(3))*exp(exp(3))**2+192*exp(3)**2*exp(x)**2+(-4*x**2-48)*exp(3)*ln(3)*exp 
(x)+3*ln(3)**2)/(64*x**2*exp(3)**2*exp(exp(3))**4+(-128*x**2*exp(3)**2*exp 
(x)+16*x**2*exp(3)*ln(3))*exp(exp(3))**2+64*x**2*exp(3)**2*exp(x)**2-16*x* 
*2*exp(3)*ln(3)*exp(x)+x**2*ln(3)**2),x)
 
output
log(3)/(16*exp(3)*exp(x) - 16*exp(3)*exp(2*exp(3)) - 2*log(3)) - 3/x
 
3.4.6.7 Maxima [A] (verification not implemented)

Time = 0.32 (sec) , antiderivative size = 50, normalized size of antiderivative = 1.39 \[ \int \frac {192 e^{6+4 e^3}+192 e^{6+2 x}+e^{3+x} \left (-48-4 x^2\right ) \log (3)+3 \log ^2(3)+e^{2 e^3} \left (-384 e^{6+x}+48 e^3 \log (3)\right )}{64 e^{6+4 e^3} x^2+64 e^{6+2 x} x^2-16 e^{3+x} x^2 \log (3)+x^2 \log ^2(3)+e^{2 e^3} \left (-128 e^{6+x} x^2+16 e^3 x^2 \log (3)\right )} \, dx=-\frac {x \log \left (3\right ) - 48 \, e^{\left (x + 3\right )} + 48 \, e^{\left (2 \, e^{3} + 3\right )} + 6 \, \log \left (3\right )}{2 \, {\left (x {\left (8 \, e^{\left (2 \, e^{3} + 3\right )} + \log \left (3\right )\right )} - 8 \, x e^{\left (x + 3\right )}\right )}} \]

input
integrate((192*exp(3)^2*exp(exp(3))^4+(-384*exp(3)^2*exp(x)+48*exp(3)*log( 
3))*exp(exp(3))^2+192*exp(3)^2*exp(x)^2+(-4*x^2-48)*exp(3)*log(3)*exp(x)+3 
*log(3)^2)/(64*x^2*exp(3)^2*exp(exp(3))^4+(-128*x^2*exp(3)^2*exp(x)+16*x^2 
*exp(3)*log(3))*exp(exp(3))^2+64*x^2*exp(3)^2*exp(x)^2-16*x^2*exp(3)*log(3 
)*exp(x)+x^2*log(3)^2),x, algorithm=\
 
output
-1/2*(x*log(3) - 48*e^(x + 3) + 48*e^(2*e^3 + 3) + 6*log(3))/(x*(8*e^(2*e^ 
3 + 3) + log(3)) - 8*x*e^(x + 3))
 
3.4.6.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 78 vs. \(2 (31) = 62\).

Time = 0.29 (sec) , antiderivative size = 78, normalized size of antiderivative = 2.17 \[ \int \frac {192 e^{6+4 e^3}+192 e^{6+2 x}+e^{3+x} \left (-48-4 x^2\right ) \log (3)+3 \log ^2(3)+e^{2 e^3} \left (-384 e^{6+x}+48 e^3 \log (3)\right )}{64 e^{6+4 e^3} x^2+64 e^{6+2 x} x^2-16 e^{3+x} x^2 \log (3)+x^2 \log ^2(3)+e^{2 e^3} \left (-128 e^{6+x} x^2+16 e^3 x^2 \log (3)\right )} \, dx=\frac {{\left (x + 3\right )} \log \left (3\right ) - 48 \, e^{\left (x + 3\right )} + 48 \, e^{\left (2 \, e^{3} + 3\right )} + 3 \, \log \left (3\right )}{2 \, {\left (8 \, {\left (x + 3\right )} e^{\left (x + 3\right )} - 8 \, {\left (x + 3\right )} e^{\left (2 \, e^{3} + 3\right )} - {\left (x + 3\right )} \log \left (3\right ) - 24 \, e^{\left (x + 3\right )} + 24 \, e^{\left (2 \, e^{3} + 3\right )} + 3 \, \log \left (3\right )\right )}} \]

input
integrate((192*exp(3)^2*exp(exp(3))^4+(-384*exp(3)^2*exp(x)+48*exp(3)*log( 
3))*exp(exp(3))^2+192*exp(3)^2*exp(x)^2+(-4*x^2-48)*exp(3)*log(3)*exp(x)+3 
*log(3)^2)/(64*x^2*exp(3)^2*exp(exp(3))^4+(-128*x^2*exp(3)^2*exp(x)+16*x^2 
*exp(3)*log(3))*exp(exp(3))^2+64*x^2*exp(3)^2*exp(x)^2-16*x^2*exp(3)*log(3 
)*exp(x)+x^2*log(3)^2),x, algorithm=\
 
output
1/2*((x + 3)*log(3) - 48*e^(x + 3) + 48*e^(2*e^3 + 3) + 3*log(3))/(8*(x + 
3)*e^(x + 3) - 8*(x + 3)*e^(2*e^3 + 3) - (x + 3)*log(3) - 24*e^(x + 3) + 2 
4*e^(2*e^3 + 3) + 3*log(3))
 
3.4.6.9 Mupad [F(-1)]

Timed out. \[ \int \frac {192 e^{6+4 e^3}+192 e^{6+2 x}+e^{3+x} \left (-48-4 x^2\right ) \log (3)+3 \log ^2(3)+e^{2 e^3} \left (-384 e^{6+x}+48 e^3 \log (3)\right )}{64 e^{6+4 e^3} x^2+64 e^{6+2 x} x^2-16 e^{3+x} x^2 \log (3)+x^2 \log ^2(3)+e^{2 e^3} \left (-128 e^{6+x} x^2+16 e^3 x^2 \log (3)\right )} \, dx=\int \frac {192\,{\mathrm {e}}^{4\,{\mathrm {e}}^3+6}+192\,{\mathrm {e}}^{2\,x+6}-{\mathrm {e}}^{2\,{\mathrm {e}}^3}\,\left (384\,{\mathrm {e}}^{x+6}-48\,{\mathrm {e}}^3\,\ln \left (3\right )\right )+3\,{\ln \left (3\right )}^2-{\mathrm {e}}^{x+3}\,\ln \left (3\right )\,\left (4\,x^2+48\right )}{x^2\,{\ln \left (3\right )}^2-{\mathrm {e}}^{2\,{\mathrm {e}}^3}\,\left (128\,x^2\,{\mathrm {e}}^{x+6}-16\,x^2\,{\mathrm {e}}^3\,\ln \left (3\right )\right )+64\,x^2\,{\mathrm {e}}^{4\,{\mathrm {e}}^3+6}+64\,x^2\,{\mathrm {e}}^{2\,x+6}-16\,x^2\,{\mathrm {e}}^{x+3}\,\ln \left (3\right )} \,d x \]

input
int((192*exp(2*x)*exp(6) + exp(2*exp(3))*(48*exp(3)*log(3) - 384*exp(6)*ex 
p(x)) + 3*log(3)^2 + 192*exp(4*exp(3))*exp(6) - exp(3)*exp(x)*log(3)*(4*x^ 
2 + 48))/(x^2*log(3)^2 + exp(2*exp(3))*(16*x^2*exp(3)*log(3) - 128*x^2*exp 
(6)*exp(x)) + 64*x^2*exp(4*exp(3))*exp(6) + 64*x^2*exp(2*x)*exp(6) - 16*x^ 
2*exp(3)*exp(x)*log(3)),x)
 
output
int((192*exp(4*exp(3) + 6) + 192*exp(2*x + 6) - exp(2*exp(3))*(384*exp(x + 
 6) - 48*exp(3)*log(3)) + 3*log(3)^2 - exp(x + 3)*log(3)*(4*x^2 + 48))/(x^ 
2*log(3)^2 - exp(2*exp(3))*(128*x^2*exp(x + 6) - 16*x^2*exp(3)*log(3)) + 6 
4*x^2*exp(4*exp(3) + 6) + 64*x^2*exp(2*x + 6) - 16*x^2*exp(x + 3)*log(3)), 
 x)