3.25.68 \(\int \frac {16384 x^5+e^{\frac {256+e^{16}+768 x+864 x^2+176 x^3-495 x^4-432 x^5-12 x^6+144 x^7+54 x^8-16 x^9-12 x^{10}+x^{12}+e^{12} (16+12 x-4 x^3)+e^8 (96+144 x+54 x^2-48 x^3-36 x^4+6 x^6)+e^4 (256+576 x+432 x^2-84 x^3-288 x^4-108 x^5+48 x^6+36 x^7-4 x^9)}{65536 x^4}} (-256-e^{16}-576 x-432 x^2-44 x^3-108 x^5-6 x^6+108 x^7+54 x^8-20 x^9-18 x^{10}+2 x^{12}+e^{12} (-16-9 x+x^3)+e^8 (-96-108 x-27 x^2+12 x^3+3 x^6)+e^4 (-256-432 x-216 x^2+21 x^3-27 x^5+24 x^6+27 x^7-5 x^9))}{16384 x^5} \, dx\) [2468]

3.25.68.1 Optimal result
3.25.68.2 Mathematica [A] (verified)
3.25.68.3 Rubi [F]
3.25.68.4 Maple [F(-1)]
3.25.68.5 Fricas [B] (verification not implemented)
3.25.68.6 Sympy [B] (verification not implemented)
3.25.68.7 Maxima [B] (verification not implemented)
3.25.68.8 Giac [B] (verification not implemented)
3.25.68.9 Mupad [B] (verification not implemented)

3.25.68.1 Optimal result

Integrand size = 296, antiderivative size = 33 \[ \int \frac {16384 x^5+e^{\frac {256+e^{16}+768 x+864 x^2+176 x^3-495 x^4-432 x^5-12 x^6+144 x^7+54 x^8-16 x^9-12 x^{10}+x^{12}+e^{12} \left (16+12 x-4 x^3\right )+e^8 \left (96+144 x+54 x^2-48 x^3-36 x^4+6 x^6\right )+e^4 \left (256+576 x+432 x^2-84 x^3-288 x^4-108 x^5+48 x^6+36 x^7-4 x^9\right )}{65536 x^4}} \left (-256-e^{16}-576 x-432 x^2-44 x^3-108 x^5-6 x^6+108 x^7+54 x^8-20 x^9-18 x^{10}+2 x^{12}+e^{12} \left (-16-9 x+x^3\right )+e^8 \left (-96-108 x-27 x^2+12 x^3+3 x^6\right )+e^4 \left (-256-432 x-216 x^2+21 x^3-27 x^5+24 x^6+27 x^7-5 x^9\right )\right )}{16384 x^5} \, dx=e^{\frac {\left (4+\frac {e^4}{x}+\frac {4-x}{x}-x^2\right )^4}{65536}}+x \]

output
exp(1/256*(4-x^2+exp(4)/x+(-x+4)/x)^2*(1/4-1/16*x^2+1/16*exp(4)/x+1/16*(-x 
+4)/x)^2)+x
 
3.25.68.2 Mathematica [A] (verified)

Time = 2.32 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.79 \[ \int \frac {16384 x^5+e^{\frac {256+e^{16}+768 x+864 x^2+176 x^3-495 x^4-432 x^5-12 x^6+144 x^7+54 x^8-16 x^9-12 x^{10}+x^{12}+e^{12} \left (16+12 x-4 x^3\right )+e^8 \left (96+144 x+54 x^2-48 x^3-36 x^4+6 x^6\right )+e^4 \left (256+576 x+432 x^2-84 x^3-288 x^4-108 x^5+48 x^6+36 x^7-4 x^9\right )}{65536 x^4}} \left (-256-e^{16}-576 x-432 x^2-44 x^3-108 x^5-6 x^6+108 x^7+54 x^8-20 x^9-18 x^{10}+2 x^{12}+e^{12} \left (-16-9 x+x^3\right )+e^8 \left (-96-108 x-27 x^2+12 x^3+3 x^6\right )+e^4 \left (-256-432 x-216 x^2+21 x^3-27 x^5+24 x^6+27 x^7-5 x^9\right )\right )}{16384 x^5} \, dx=e^{\frac {\left (4+e^4+3 x-x^3\right )^4}{65536 x^4}}+x \]

input
Integrate[(16384*x^5 + E^((256 + E^16 + 768*x + 864*x^2 + 176*x^3 - 495*x^ 
4 - 432*x^5 - 12*x^6 + 144*x^7 + 54*x^8 - 16*x^9 - 12*x^10 + x^12 + E^12*( 
16 + 12*x - 4*x^3) + E^8*(96 + 144*x + 54*x^2 - 48*x^3 - 36*x^4 + 6*x^6) + 
 E^4*(256 + 576*x + 432*x^2 - 84*x^3 - 288*x^4 - 108*x^5 + 48*x^6 + 36*x^7 
 - 4*x^9))/(65536*x^4))*(-256 - E^16 - 576*x - 432*x^2 - 44*x^3 - 108*x^5 
- 6*x^6 + 108*x^7 + 54*x^8 - 20*x^9 - 18*x^10 + 2*x^12 + E^12*(-16 - 9*x + 
 x^3) + E^8*(-96 - 108*x - 27*x^2 + 12*x^3 + 3*x^6) + E^4*(-256 - 432*x - 
216*x^2 + 21*x^3 - 27*x^5 + 24*x^6 + 27*x^7 - 5*x^9)))/(16384*x^5),x]
 
output
E^((4 + E^4 + 3*x - x^3)^4/(65536*x^4)) + x
 
3.25.68.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 {\left (2 x^{12}-18 x^{10}-20 x^9+54 x^8+108 x^7-6 x^6-108 x^5-44 x^3+e^{12} \left (x^3-9 x-16\right )-432 x^2+e^8 \left (3 x^6+12 x^3-27 x^2-108 x-96\right )+e^4 \left (-5 x^9+27 x^7+24 x^6-27 x^5+21 x^3-216 x^2-432 x-256\right )-576 x-e^{16}-256\right ) \exp \left (\frac {x^{12}-12 x^{10}-16 x^9+54 x^8+144 x^7-12 x^6-432 x^5-495 x^4+176 x^3+e^{12} \left (-4 x^3+12 x+16\right )+864 x^2+e^8 \left (6 x^6-36 x^4-48 x^3+54 x^2+144 x+96\right )+e^4 \left (-4 x^9+36 x^7+48 x^6-108 x^5-288 x^4-84 x^3+432 x^2+576 x+256\right )+768 x+e^{16}+256}{65536 x^4}\right )+16384 x^5}{16384 x^5} \, dx\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\int \frac {16384 x^5-\exp \left (\frac {x^{12}-12 x^{10}-16 x^9+54 x^8+144 x^7-12 x^6-432 x^5-495 x^4+176 x^3+864 x^2+768 x+4 e^{12} \left (-x^3+3 x+4\right )+6 e^8 \left (x^6-6 x^4-8 x^3+9 x^2+24 x+16\right )+4 e^4 \left (-x^9+9 x^7+12 x^6-27 x^5-72 x^4-21 x^3+108 x^2+144 x+64\right )+e^{16}+256}{65536 x^4}\right ) \left (-2 x^{12}+18 x^{10}+20 x^9-54 x^8-108 x^7+6 x^6+108 x^5+44 x^3+432 x^2+576 x+e^{12} \left (-x^3+9 x+16\right )+3 e^8 \left (-x^6-4 x^3+9 x^2+36 x+32\right )+e^4 \left (5 x^9-27 x^7-24 x^6+27 x^5-21 x^3+216 x^2+432 x+256\right )+e^{16}+256\right )}{x^5}dx}{16384}\)

\(\Big \downarrow \) 2010

\(\displaystyle \frac {\int \left (\frac {e^{\frac {\left (-x^3+3 x+e^4+4\right )^4}{65536 x^4}} \left (2 x^3+e^4+4\right ) \left (x^3-3 x-e^4-4\right )^3}{x^5}+16384\right )dx}{16384}\)

\(\Big \downarrow \) 7299

\(\displaystyle \frac {\int \left (\frac {e^{\frac {\left (-x^3+3 x+e^4+4\right )^4}{65536 x^4}} \left (2 x^3+e^4+4\right ) \left (x^3-3 x-e^4-4\right )^3}{x^5}+16384\right )dx}{16384}\)

input
Int[(16384*x^5 + E^((256 + E^16 + 768*x + 864*x^2 + 176*x^3 - 495*x^4 - 43 
2*x^5 - 12*x^6 + 144*x^7 + 54*x^8 - 16*x^9 - 12*x^10 + x^12 + E^12*(16 + 1 
2*x - 4*x^3) + E^8*(96 + 144*x + 54*x^2 - 48*x^3 - 36*x^4 + 6*x^6) + E^4*( 
256 + 576*x + 432*x^2 - 84*x^3 - 288*x^4 - 108*x^5 + 48*x^6 + 36*x^7 - 4*x 
^9))/(65536*x^4))*(-256 - E^16 - 576*x - 432*x^2 - 44*x^3 - 108*x^5 - 6*x^ 
6 + 108*x^7 + 54*x^8 - 20*x^9 - 18*x^10 + 2*x^12 + E^12*(-16 - 9*x + x^3) 
+ E^8*(-96 - 108*x - 27*x^2 + 12*x^3 + 3*x^6) + E^4*(-256 - 432*x - 216*x^ 
2 + 21*x^3 - 27*x^5 + 24*x^6 + 27*x^7 - 5*x^9)))/(16384*x^5),x]
 
output
$Aborted
 

3.25.68.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 2010
Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x] 
, x] /; FreeQ[{c, m}, x] && SumQ[u] &&  !LinearQ[u, x] &&  !MatchQ[u, (a_) 
+ (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]
 

rule 7299
Int[u_, x_] :> CannotIntegrate[u, x]
 
3.25.68.4 Maple [F(-1)]

Timed out.

\[\int \frac {\left (-{\mathrm e}^{16}+\left (x^{3}-9 x -16\right ) {\mathrm e}^{12}+\left (3 x^{6}+12 x^{3}-27 x^{2}-108 x -96\right ) {\mathrm e}^{8}+\left (-5 x^{9}+27 x^{7}+24 x^{6}-27 x^{5}+21 x^{3}-216 x^{2}-432 x -256\right ) {\mathrm e}^{4}+2 x^{12}-18 x^{10}-20 x^{9}+54 x^{8}+108 x^{7}-6 x^{6}-108 x^{5}-44 x^{3}-432 x^{2}-576 x -256\right ) {\mathrm e}^{\frac {{\mathrm e}^{16}+\left (-4 x^{3}+12 x +16\right ) {\mathrm e}^{12}+\left (6 x^{6}-36 x^{4}-48 x^{3}+54 x^{2}+144 x +96\right ) {\mathrm e}^{8}+\left (-4 x^{9}+36 x^{7}+48 x^{6}-108 x^{5}-288 x^{4}-84 x^{3}+432 x^{2}+576 x +256\right ) {\mathrm e}^{4}+x^{12}-12 x^{10}-16 x^{9}+54 x^{8}+144 x^{7}-12 x^{6}-432 x^{5}-495 x^{4}+176 x^{3}+864 x^{2}+768 x +256}{65536 x^{4}}}+16384 x^{5}}{16384 x^{5}}d x\]

input
int(1/16384*((-exp(4)^4+(x^3-9*x-16)*exp(4)^3+(3*x^6+12*x^3-27*x^2-108*x-9 
6)*exp(4)^2+(-5*x^9+27*x^7+24*x^6-27*x^5+21*x^3-216*x^2-432*x-256)*exp(4)+ 
2*x^12-18*x^10-20*x^9+54*x^8+108*x^7-6*x^6-108*x^5-44*x^3-432*x^2-576*x-25 
6)*exp(1/65536*(exp(4)^4+(-4*x^3+12*x+16)*exp(4)^3+(6*x^6-36*x^4-48*x^3+54 
*x^2+144*x+96)*exp(4)^2+(-4*x^9+36*x^7+48*x^6-108*x^5-288*x^4-84*x^3+432*x 
^2+576*x+256)*exp(4)+x^12-12*x^10-16*x^9+54*x^8+144*x^7-12*x^6-432*x^5-495 
*x^4+176*x^3+864*x^2+768*x+256)/x^4)+16384*x^5)/x^5,x)
 
output
int(1/16384*((-exp(4)^4+(x^3-9*x-16)*exp(4)^3+(3*x^6+12*x^3-27*x^2-108*x-9 
6)*exp(4)^2+(-5*x^9+27*x^7+24*x^6-27*x^5+21*x^3-216*x^2-432*x-256)*exp(4)+ 
2*x^12-18*x^10-20*x^9+54*x^8+108*x^7-6*x^6-108*x^5-44*x^3-432*x^2-576*x-25 
6)*exp(1/65536*(exp(4)^4+(-4*x^3+12*x+16)*exp(4)^3+(6*x^6-36*x^4-48*x^3+54 
*x^2+144*x+96)*exp(4)^2+(-4*x^9+36*x^7+48*x^6-108*x^5-288*x^4-84*x^3+432*x 
^2+576*x+256)*exp(4)+x^12-12*x^10-16*x^9+54*x^8+144*x^7-12*x^6-432*x^5-495 
*x^4+176*x^3+864*x^2+768*x+256)/x^4)+16384*x^5)/x^5,x)
 
3.25.68.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 144 vs. \(2 (26) = 52\).

Time = 0.25 (sec) , antiderivative size = 144, normalized size of antiderivative = 4.36 \[ \int \frac {16384 x^5+e^{\frac {256+e^{16}+768 x+864 x^2+176 x^3-495 x^4-432 x^5-12 x^6+144 x^7+54 x^8-16 x^9-12 x^{10}+x^{12}+e^{12} \left (16+12 x-4 x^3\right )+e^8 \left (96+144 x+54 x^2-48 x^3-36 x^4+6 x^6\right )+e^4 \left (256+576 x+432 x^2-84 x^3-288 x^4-108 x^5+48 x^6+36 x^7-4 x^9\right )}{65536 x^4}} \left (-256-e^{16}-576 x-432 x^2-44 x^3-108 x^5-6 x^6+108 x^7+54 x^8-20 x^9-18 x^{10}+2 x^{12}+e^{12} \left (-16-9 x+x^3\right )+e^8 \left (-96-108 x-27 x^2+12 x^3+3 x^6\right )+e^4 \left (-256-432 x-216 x^2+21 x^3-27 x^5+24 x^6+27 x^7-5 x^9\right )\right )}{16384 x^5} \, dx=x + e^{\left (\frac {x^{12} - 12 \, x^{10} - 16 \, x^{9} + 54 \, x^{8} + 144 \, x^{7} - 12 \, x^{6} - 432 \, x^{5} - 495 \, x^{4} + 176 \, x^{3} + 864 \, x^{2} - 4 \, {\left (x^{3} - 3 \, x - 4\right )} e^{12} + 6 \, {\left (x^{6} - 6 \, x^{4} - 8 \, x^{3} + 9 \, x^{2} + 24 \, x + 16\right )} e^{8} - 4 \, {\left (x^{9} - 9 \, x^{7} - 12 \, x^{6} + 27 \, x^{5} + 72 \, x^{4} + 21 \, x^{3} - 108 \, x^{2} - 144 \, x - 64\right )} e^{4} + 768 \, x + e^{16} + 256}{65536 \, x^{4}}\right )} \]

input
integrate(1/16384*((-exp(4)^4+(x^3-9*x-16)*exp(4)^3+(3*x^6+12*x^3-27*x^2-1 
08*x-96)*exp(4)^2+(-5*x^9+27*x^7+24*x^6-27*x^5+21*x^3-216*x^2-432*x-256)*e 
xp(4)+2*x^12-18*x^10-20*x^9+54*x^8+108*x^7-6*x^6-108*x^5-44*x^3-432*x^2-57 
6*x-256)*exp(1/65536*(exp(4)^4+(-4*x^3+12*x+16)*exp(4)^3+(6*x^6-36*x^4-48* 
x^3+54*x^2+144*x+96)*exp(4)^2+(-4*x^9+36*x^7+48*x^6-108*x^5-288*x^4-84*x^3 
+432*x^2+576*x+256)*exp(4)+x^12-12*x^10-16*x^9+54*x^8+144*x^7-12*x^6-432*x 
^5-495*x^4+176*x^3+864*x^2+768*x+256)/x^4)+16384*x^5)/x^5,x, algorithm=\
 
output
x + e^(1/65536*(x^12 - 12*x^10 - 16*x^9 + 54*x^8 + 144*x^7 - 12*x^6 - 432* 
x^5 - 495*x^4 + 176*x^3 + 864*x^2 - 4*(x^3 - 3*x - 4)*e^12 + 6*(x^6 - 6*x^ 
4 - 8*x^3 + 9*x^2 + 24*x + 16)*e^8 - 4*(x^9 - 9*x^7 - 12*x^6 + 27*x^5 + 72 
*x^4 + 21*x^3 - 108*x^2 - 144*x - 64)*e^4 + 768*x + e^16 + 256)/x^4)
 
3.25.68.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 175 vs. \(2 (46) = 92\).

Time = 1.64 (sec) , antiderivative size = 175, normalized size of antiderivative = 5.30 \[ \int \frac {16384 x^5+e^{\frac {256+e^{16}+768 x+864 x^2+176 x^3-495 x^4-432 x^5-12 x^6+144 x^7+54 x^8-16 x^9-12 x^{10}+x^{12}+e^{12} \left (16+12 x-4 x^3\right )+e^8 \left (96+144 x+54 x^2-48 x^3-36 x^4+6 x^6\right )+e^4 \left (256+576 x+432 x^2-84 x^3-288 x^4-108 x^5+48 x^6+36 x^7-4 x^9\right )}{65536 x^4}} \left (-256-e^{16}-576 x-432 x^2-44 x^3-108 x^5-6 x^6+108 x^7+54 x^8-20 x^9-18 x^{10}+2 x^{12}+e^{12} \left (-16-9 x+x^3\right )+e^8 \left (-96-108 x-27 x^2+12 x^3+3 x^6\right )+e^4 \left (-256-432 x-216 x^2+21 x^3-27 x^5+24 x^6+27 x^7-5 x^9\right )\right )}{16384 x^5} \, dx=x + e^{\frac {\frac {x^{12}}{65536} - \frac {3 x^{10}}{16384} - \frac {x^{9}}{4096} + \frac {27 x^{8}}{32768} + \frac {9 x^{7}}{4096} - \frac {3 x^{6}}{16384} - \frac {27 x^{5}}{4096} - \frac {495 x^{4}}{65536} + \frac {11 x^{3}}{4096} + \frac {27 x^{2}}{2048} + \frac {3 x}{256} + \frac {\left (- 4 x^{3} + 12 x + 16\right ) e^{12}}{65536} + \frac {\left (6 x^{6} - 36 x^{4} - 48 x^{3} + 54 x^{2} + 144 x + 96\right ) e^{8}}{65536} + \frac {\left (- 4 x^{9} + 36 x^{7} + 48 x^{6} - 108 x^{5} - 288 x^{4} - 84 x^{3} + 432 x^{2} + 576 x + 256\right ) e^{4}}{65536} + \frac {1}{256} + \frac {e^{16}}{65536}}{x^{4}}} \]

input
integrate(1/16384*((-exp(4)**4+(x**3-9*x-16)*exp(4)**3+(3*x**6+12*x**3-27* 
x**2-108*x-96)*exp(4)**2+(-5*x**9+27*x**7+24*x**6-27*x**5+21*x**3-216*x**2 
-432*x-256)*exp(4)+2*x**12-18*x**10-20*x**9+54*x**8+108*x**7-6*x**6-108*x* 
*5-44*x**3-432*x**2-576*x-256)*exp(1/65536*(exp(4)**4+(-4*x**3+12*x+16)*ex 
p(4)**3+(6*x**6-36*x**4-48*x**3+54*x**2+144*x+96)*exp(4)**2+(-4*x**9+36*x* 
*7+48*x**6-108*x**5-288*x**4-84*x**3+432*x**2+576*x+256)*exp(4)+x**12-12*x 
**10-16*x**9+54*x**8+144*x**7-12*x**6-432*x**5-495*x**4+176*x**3+864*x**2+ 
768*x+256)/x**4)+16384*x**5)/x**5,x)
 
output
x + exp((x**12/65536 - 3*x**10/16384 - x**9/4096 + 27*x**8/32768 + 9*x**7/ 
4096 - 3*x**6/16384 - 27*x**5/4096 - 495*x**4/65536 + 11*x**3/4096 + 27*x* 
*2/2048 + 3*x/256 + (-4*x**3 + 12*x + 16)*exp(12)/65536 + (6*x**6 - 36*x** 
4 - 48*x**3 + 54*x**2 + 144*x + 96)*exp(8)/65536 + (-4*x**9 + 36*x**7 + 48 
*x**6 - 108*x**5 - 288*x**4 - 84*x**3 + 432*x**2 + 576*x + 256)*exp(4)/655 
36 + 1/256 + exp(16)/65536)/x**4)
 
3.25.68.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 183 vs. \(2 (26) = 52\).

Time = 1.12 (sec) , antiderivative size = 183, normalized size of antiderivative = 5.55 \[ \int \frac {16384 x^5+e^{\frac {256+e^{16}+768 x+864 x^2+176 x^3-495 x^4-432 x^5-12 x^6+144 x^7+54 x^8-16 x^9-12 x^{10}+x^{12}+e^{12} \left (16+12 x-4 x^3\right )+e^8 \left (96+144 x+54 x^2-48 x^3-36 x^4+6 x^6\right )+e^4 \left (256+576 x+432 x^2-84 x^3-288 x^4-108 x^5+48 x^6+36 x^7-4 x^9\right )}{65536 x^4}} \left (-256-e^{16}-576 x-432 x^2-44 x^3-108 x^5-6 x^6+108 x^7+54 x^8-20 x^9-18 x^{10}+2 x^{12}+e^{12} \left (-16-9 x+x^3\right )+e^8 \left (-96-108 x-27 x^2+12 x^3+3 x^6\right )+e^4 \left (-256-432 x-216 x^2+21 x^3-27 x^5+24 x^6+27 x^7-5 x^9\right )\right )}{16384 x^5} \, dx=x + e^{\left (\frac {1}{65536} \, x^{8} - \frac {3}{16384} \, x^{6} - \frac {1}{16384} \, x^{5} e^{4} - \frac {1}{4096} \, x^{5} + \frac {27}{32768} \, x^{4} + \frac {9}{16384} \, x^{3} e^{4} + \frac {9}{4096} \, x^{3} + \frac {3}{32768} \, x^{2} e^{8} + \frac {3}{4096} \, x^{2} e^{4} - \frac {3}{16384} \, x^{2} - \frac {27}{16384} \, x e^{4} - \frac {27}{4096} \, x - \frac {e^{12}}{16384 \, x} - \frac {3 \, e^{8}}{4096 \, x} - \frac {21 \, e^{4}}{16384 \, x} + \frac {11}{4096 \, x} + \frac {27 \, e^{8}}{32768 \, x^{2}} + \frac {27 \, e^{4}}{4096 \, x^{2}} + \frac {27}{2048 \, x^{2}} + \frac {3 \, e^{12}}{16384 \, x^{3}} + \frac {9 \, e^{8}}{4096 \, x^{3}} + \frac {9 \, e^{4}}{1024 \, x^{3}} + \frac {3}{256 \, x^{3}} + \frac {e^{16}}{65536 \, x^{4}} + \frac {e^{12}}{4096 \, x^{4}} + \frac {3 \, e^{8}}{2048 \, x^{4}} + \frac {e^{4}}{256 \, x^{4}} + \frac {1}{256 \, x^{4}} - \frac {9}{16384} \, e^{8} - \frac {9}{2048} \, e^{4} - \frac {495}{65536}\right )} \]

input
integrate(1/16384*((-exp(4)^4+(x^3-9*x-16)*exp(4)^3+(3*x^6+12*x^3-27*x^2-1 
08*x-96)*exp(4)^2+(-5*x^9+27*x^7+24*x^6-27*x^5+21*x^3-216*x^2-432*x-256)*e 
xp(4)+2*x^12-18*x^10-20*x^9+54*x^8+108*x^7-6*x^6-108*x^5-44*x^3-432*x^2-57 
6*x-256)*exp(1/65536*(exp(4)^4+(-4*x^3+12*x+16)*exp(4)^3+(6*x^6-36*x^4-48* 
x^3+54*x^2+144*x+96)*exp(4)^2+(-4*x^9+36*x^7+48*x^6-108*x^5-288*x^4-84*x^3 
+432*x^2+576*x+256)*exp(4)+x^12-12*x^10-16*x^9+54*x^8+144*x^7-12*x^6-432*x 
^5-495*x^4+176*x^3+864*x^2+768*x+256)/x^4)+16384*x^5)/x^5,x, algorithm=\
 
output
x + e^(1/65536*x^8 - 3/16384*x^6 - 1/16384*x^5*e^4 - 1/4096*x^5 + 27/32768 
*x^4 + 9/16384*x^3*e^4 + 9/4096*x^3 + 3/32768*x^2*e^8 + 3/4096*x^2*e^4 - 3 
/16384*x^2 - 27/16384*x*e^4 - 27/4096*x - 1/16384*e^12/x - 3/4096*e^8/x - 
21/16384*e^4/x + 11/4096/x + 27/32768*e^8/x^2 + 27/4096*e^4/x^2 + 27/2048/ 
x^2 + 3/16384*e^12/x^3 + 9/4096*e^8/x^3 + 9/1024*e^4/x^3 + 3/256/x^3 + 1/6 
5536*e^16/x^4 + 1/4096*e^12/x^4 + 3/2048*e^8/x^4 + 1/256*e^4/x^4 + 1/256/x 
^4 - 9/16384*e^8 - 9/2048*e^4 - 495/65536)
 
3.25.68.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 180 vs. \(2 (26) = 52\).

Time = 1.60 (sec) , antiderivative size = 180, normalized size of antiderivative = 5.45 \[ \int \frac {16384 x^5+e^{\frac {256+e^{16}+768 x+864 x^2+176 x^3-495 x^4-432 x^5-12 x^6+144 x^7+54 x^8-16 x^9-12 x^{10}+x^{12}+e^{12} \left (16+12 x-4 x^3\right )+e^8 \left (96+144 x+54 x^2-48 x^3-36 x^4+6 x^6\right )+e^4 \left (256+576 x+432 x^2-84 x^3-288 x^4-108 x^5+48 x^6+36 x^7-4 x^9\right )}{65536 x^4}} \left (-256-e^{16}-576 x-432 x^2-44 x^3-108 x^5-6 x^6+108 x^7+54 x^8-20 x^9-18 x^{10}+2 x^{12}+e^{12} \left (-16-9 x+x^3\right )+e^8 \left (-96-108 x-27 x^2+12 x^3+3 x^6\right )+e^4 \left (-256-432 x-216 x^2+21 x^3-27 x^5+24 x^6+27 x^7-5 x^9\right )\right )}{16384 x^5} \, dx={\left (x e^{4} + e^{\left (\frac {x^{12} - 12 \, x^{10} - 4 \, x^{9} e^{4} - 16 \, x^{9} + 54 \, x^{8} + 36 \, x^{7} e^{4} + 144 \, x^{7} + 6 \, x^{6} e^{8} + 48 \, x^{6} e^{4} - 12 \, x^{6} - 108 \, x^{5} e^{4} - 432 \, x^{5} - 36 \, x^{4} e^{8} - 288 \, x^{4} e^{4} + 261649 \, x^{4} - 4 \, x^{3} e^{12} - 48 \, x^{3} e^{8} - 84 \, x^{3} e^{4} + 176 \, x^{3} + 54 \, x^{2} e^{8} + 432 \, x^{2} e^{4} + 864 \, x^{2} + 12 \, x e^{12} + 144 \, x e^{8} + 576 \, x e^{4} + 768 \, x + e^{16} + 16 \, e^{12} + 96 \, e^{8} + 256 \, e^{4} + 256}{65536 \, x^{4}}\right )}\right )} e^{\left (-4\right )} \]

input
integrate(1/16384*((-exp(4)^4+(x^3-9*x-16)*exp(4)^3+(3*x^6+12*x^3-27*x^2-1 
08*x-96)*exp(4)^2+(-5*x^9+27*x^7+24*x^6-27*x^5+21*x^3-216*x^2-432*x-256)*e 
xp(4)+2*x^12-18*x^10-20*x^9+54*x^8+108*x^7-6*x^6-108*x^5-44*x^3-432*x^2-57 
6*x-256)*exp(1/65536*(exp(4)^4+(-4*x^3+12*x+16)*exp(4)^3+(6*x^6-36*x^4-48* 
x^3+54*x^2+144*x+96)*exp(4)^2+(-4*x^9+36*x^7+48*x^6-108*x^5-288*x^4-84*x^3 
+432*x^2+576*x+256)*exp(4)+x^12-12*x^10-16*x^9+54*x^8+144*x^7-12*x^6-432*x 
^5-495*x^4+176*x^3+864*x^2+768*x+256)/x^4)+16384*x^5)/x^5,x, algorithm=\
 
output
(x*e^4 + e^(1/65536*(x^12 - 12*x^10 - 4*x^9*e^4 - 16*x^9 + 54*x^8 + 36*x^7 
*e^4 + 144*x^7 + 6*x^6*e^8 + 48*x^6*e^4 - 12*x^6 - 108*x^5*e^4 - 432*x^5 - 
 36*x^4*e^8 - 288*x^4*e^4 + 261649*x^4 - 4*x^3*e^12 - 48*x^3*e^8 - 84*x^3* 
e^4 + 176*x^3 + 54*x^2*e^8 + 432*x^2*e^4 + 864*x^2 + 12*x*e^12 + 144*x*e^8 
 + 576*x*e^4 + 768*x + e^16 + 16*e^12 + 96*e^8 + 256*e^4 + 256)/x^4))*e^(- 
4)
 
3.25.68.9 Mupad [B] (verification not implemented)

Time = 10.81 (sec) , antiderivative size = 230, normalized size of antiderivative = 6.97 \[ \int \frac {16384 x^5+e^{\frac {256+e^{16}+768 x+864 x^2+176 x^3-495 x^4-432 x^5-12 x^6+144 x^7+54 x^8-16 x^9-12 x^{10}+x^{12}+e^{12} \left (16+12 x-4 x^3\right )+e^8 \left (96+144 x+54 x^2-48 x^3-36 x^4+6 x^6\right )+e^4 \left (256+576 x+432 x^2-84 x^3-288 x^4-108 x^5+48 x^6+36 x^7-4 x^9\right )}{65536 x^4}} \left (-256-e^{16}-576 x-432 x^2-44 x^3-108 x^5-6 x^6+108 x^7+54 x^8-20 x^9-18 x^{10}+2 x^{12}+e^{12} \left (-16-9 x+x^3\right )+e^8 \left (-96-108 x-27 x^2+12 x^3+3 x^6\right )+e^4 \left (-256-432 x-216 x^2+21 x^3-27 x^5+24 x^6+27 x^7-5 x^9\right )\right )}{16384 x^5} \, dx=x+\frac {{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^4}{x^2}}\right )}^{27/4096}\,{\left ({\mathrm {e}}^{x^2\,{\mathrm {e}}^4}\right )}^{3/4096}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^4}{x^3}}\right )}^{9/1024}\,{\left ({\mathrm {e}}^{x^3\,{\mathrm {e}}^4}\right )}^{9/16384}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^4}{x^4}}\right )}^{1/256}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^8}{x^2}}\right )}^{27/32768}\,{\left ({\mathrm {e}}^{x^2\,{\mathrm {e}}^8}\right )}^{3/32768}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^8}{x^3}}\right )}^{9/4096}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^8}{x^4}}\right )}^{3/2048}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^{12}}{x^3}}\right )}^{3/16384}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^{12}}{x^4}}\right )}^{1/4096}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^{16}}{x^4}}\right )}^{1/65536}\,{\left ({\mathrm {e}}^{1/x}\right )}^{11/4096}\,{\left ({\mathrm {e}}^{\frac {1}{x^2}}\right )}^{27/2048}\,{\left ({\mathrm {e}}^{\frac {1}{x^3}}\right )}^{3/256}\,{\left ({\mathrm {e}}^{x^3}\right )}^{9/4096}\,{\left ({\mathrm {e}}^{\frac {1}{x^4}}\right )}^{1/256}\,{\left ({\mathrm {e}}^{x^4}\right )}^{27/32768}\,{\left ({\mathrm {e}}^{x^8}\right )}^{1/65536}\,{\mathrm {e}}^{-\frac {495}{65536}}}{{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^4}{x}}\right )}^{21/16384}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^8}{x}}\right )}^{3/4096}\,{\left ({\mathrm {e}}^{x^5\,{\mathrm {e}}^4}\right )}^{1/16384}\,{\left ({\mathrm {e}}^{\frac {{\mathrm {e}}^{12}}{x}}\right )}^{1/16384}\,{\left ({\mathrm {e}}^{x^2}\right )}^{3/16384}\,{\left ({\mathrm {e}}^{x^5}\right )}^{1/4096}\,{\left ({\mathrm {e}}^{x^6}\right )}^{3/16384}\,{\left ({\mathrm {e}}^{x\,{\mathrm {e}}^4}\right )}^{27/16384}\,{\left ({\mathrm {e}}^{{\mathrm {e}}^4}\right )}^{9/2048}\,{\left ({\mathrm {e}}^{{\mathrm {e}}^8}\right )}^{9/16384}\,{\left ({\mathrm {e}}^x\right )}^{27/4096}} \]

input
int(-((exp(((3*x)/256 + exp(16)/65536 + (exp(12)*(12*x - 4*x^3 + 16))/6553 
6 + (exp(4)*(576*x + 432*x^2 - 84*x^3 - 288*x^4 - 108*x^5 + 48*x^6 + 36*x^ 
7 - 4*x^9 + 256))/65536 + (exp(8)*(144*x + 54*x^2 - 48*x^3 - 36*x^4 + 6*x^ 
6 + 96))/65536 + (27*x^2)/2048 + (11*x^3)/4096 - (495*x^4)/65536 - (27*x^5 
)/4096 - (3*x^6)/16384 + (9*x^7)/4096 + (27*x^8)/32768 - x^9/4096 - (3*x^1 
0)/16384 + x^12/65536 + 1/256)/x^4)*(576*x + exp(16) + exp(12)*(9*x - x^3 
+ 16) + exp(4)*(432*x + 216*x^2 - 21*x^3 + 27*x^5 - 24*x^6 - 27*x^7 + 5*x^ 
9 + 256) + exp(8)*(108*x + 27*x^2 - 12*x^3 - 3*x^6 + 96) + 432*x^2 + 44*x^ 
3 + 108*x^5 + 6*x^6 - 108*x^7 - 54*x^8 + 20*x^9 + 18*x^10 - 2*x^12 + 256)) 
/16384 - x^5)/x^5,x)
 
output
x + (exp(exp(4)/x^2)^(27/4096)*exp(x^2*exp(4))^(3/4096)*exp(exp(4)/x^3)^(9 
/1024)*exp(x^3*exp(4))^(9/16384)*exp(exp(4)/x^4)^(1/256)*exp(exp(8)/x^2)^( 
27/32768)*exp(x^2*exp(8))^(3/32768)*exp(exp(8)/x^3)^(9/4096)*exp(exp(8)/x^ 
4)^(3/2048)*exp(exp(12)/x^3)^(3/16384)*exp(exp(12)/x^4)^(1/4096)*exp(exp(1 
6)/x^4)^(1/65536)*exp(1/x)^(11/4096)*exp(1/x^2)^(27/2048)*exp(1/x^3)^(3/25 
6)*exp(x^3)^(9/4096)*exp(1/x^4)^(1/256)*exp(x^4)^(27/32768)*exp(x^8)^(1/65 
536)*exp(-495/65536))/(exp(exp(4)/x)^(21/16384)*exp(exp(8)/x)^(3/4096)*exp 
(x^5*exp(4))^(1/16384)*exp(exp(12)/x)^(1/16384)*exp(x^2)^(3/16384)*exp(x^5 
)^(1/4096)*exp(x^6)^(3/16384)*exp(x*exp(4))^(27/16384)*exp(exp(4))^(9/2048 
)*exp(exp(8))^(9/16384)*exp(x)^(27/4096))