3.63.47 \(\int \frac {1800 x^7+2880 x^8+1152 x^9+(1200 x^7+960 x^8) \log (5)+200 x^7 \log ^2(5)+e^{e^{\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}}+\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}} (-783-1080 x-432 x^2+(-450-360 x) \log (5)-75 \log ^2(5))}{225+360 x+144 x^2+(150+120 x) \log (5)+25 \log ^2(5)} \, dx\)
Optimal. Leaf size=27 \[ -3 e^{e^{x+\frac {1}{x-5 \left (1+x+\frac {\log (5)}{3}\right )}}}+x^8 \]
________________________________________________________________________________________
Rubi [F] time = 62.50, antiderivative size = 0, normalized size of antiderivative = 0.00,
number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used =
{} \begin {gather*} \int \frac {1800 x^7+2880 x^8+1152 x^9+\left (1200 x^7+960 x^8\right ) \log (5)+200 x^7 \log ^2(5)+\exp \left (\exp \left (\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}\right )+\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}\right ) \left (-783-1080 x-432 x^2+(-450-360 x) \log (5)-75 \log ^2(5)\right )}{225+360 x+144 x^2+(150+120 x) \log (5)+25 \log ^2(5)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
Int[(1800*x^7 + 2880*x^8 + 1152*x^9 + (1200*x^7 + 960*x^8)*Log[5] + 200*x^7*Log[5]^2 + E^(E^((-3 + 15*x + 12*x
^2 + 5*x*Log[5])/(15 + 12*x + 5*Log[5])) + (-3 + 15*x + 12*x^2 + 5*x*Log[5])/(15 + 12*x + 5*Log[5]))*(-783 - 1
080*x - 432*x^2 + (-450 - 360*x)*Log[5] - 75*Log[5]^2))/(225 + 360*x + 144*x^2 + (150 + 120*x)*Log[5] + 25*Log
[5]^2),x]
[Out]
(20*x^7)/7 + x^8 + (20*x^7*Log[5])/21 - (25*x^6*(3 + Log[5]))/9 - (20*x^7*(3 + Log[5]))/21 + (25*x^5*(3 + Log[
5])^2)/12 + (25*x^6*(3 + Log[5])^2)/36 - (625*x^4*(3 + Log[5])^3)/432 - (25*x^5*(3 + Log[5])^3)/54 + (15625*x^
3*(3 + Log[5])^4)/15552 + (3125*x^4*(3 + Log[5])^4)/10368 - (15625*x^2*(3 + Log[5])^5)/20736 - (3125*x^3*(3 +
Log[5])^5)/15552 + (546875*x*(3 + Log[5])^6)/746496 + (109375*x^2*(3 + Log[5])^6)/746496 - (78125*x*(3 + Log[5
])^7)/559872 + (3125*x^3*Log[5]*(3 + Log[5])^3*(3 + 5*Log[5]))/46656 + (78125*x*Log[5]*(3 + Log[5])^5*(3 + 7*L
og[5]))/2239488 + (25*x^6*(9 + Log[5]^2))/108 - (25*x^5*(3 + Log[5])*(9 + Log[5]^2))/108 + (625*x^4*(3 + Log[5
])^2*(9 + Log[5]^2))/3456 - (3125*x^3*(3 + Log[5])^3*(9 + Log[5]^2))/23328 + (78125*x^2*(3 + Log[5])^4*(9 + Lo
g[5]^2))/746496 - (78125*x*(3 + Log[5])^5*(9 + Log[5]^2))/746496 - (1953125*Log[5]^2*(3 + Log[5])^7)/(26873856
*(12*x + 5*(3 + Log[5]))) - (1953125*(3 + Log[5])^8)/(8957952*(12*x + 5*(3 + Log[5]))) + (1953125*(3 + Log[5])
^9)/(53747712*(12*x + 5*(3 + Log[5]))) + (1953125*(3 + Log[5])^7*(9 + Log[5]^2))/(53747712*(12*x + 5*(3 + Log[
5]))) - (15625*x^2*Log[5]*(3 + Log[5])^4*(1 + Log[25]))/124416 - (25*x^6*Log[5]*(3 + Log[25]))/54 - (625*x^4*L
og[5]*(3 + Log[5])^2*(3 + Log[625]))/5184 + (25*x^5*Log[5]*(3 + Log[5]^2 + Log[625]))/36 - (390625*(3 + Log[5]
)^7*Log[12*x + 5*(3 + Log[5])])/1119744 + (390625*(3 + Log[5])^8*Log[12*x + 5*(3 + Log[5])])/5971968 - (390625
*Log[5]*(3 + Log[5])^6*(3 + 8*Log[5])*Log[12*x + 5*(3 + Log[5])])/26873856 + (2734375*(3 + Log[5])^6*(9 + Log[
5]^2)*Log[12*x + 5*(3 + Log[5])])/53747712 - 3*Defer[Int][5^((5*x)/(12*x + 5*(3 + Log[5])))*E^((-3 + 15*x + 12
*x^2 + 5^((5*x)/(12*x + 5*(3 + Log[5])))*E^((3*(-1 + 5*x + 4*x^2))/(12*x + 5*(3 + Log[5])))*(12*x + 5*(3 + Log
[5])))/(12*x + 5*(3 + Log[5]))), x] - 108*Defer[Int][(5^((5*x)/(12*x + 5*(3 + Log[5])))*E^((-3 + 15*x + 12*x^2
+ 5^((5*x)/(12*x + 5*(3 + Log[5])))*E^((3*(-1 + 5*x + 4*x^2))/(12*x + 5*(3 + Log[5])))*(12*x + 5*(3 + Log[5])
))/(12*x + 5*(3 + Log[5]))))/(15 + 12*x + 5*Log[5])^2, x]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {2880 x^8+1152 x^9+\left (1200 x^7+960 x^8\right ) \log (5)+\exp \left (\exp \left (\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}\right )+\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}\right ) \left (-783-1080 x-432 x^2+(-450-360 x) \log (5)-75 \log ^2(5)\right )+x^7 \left (1800+200 \log ^2(5)\right )}{225+360 x+144 x^2+(150+120 x) \log (5)+25 \log ^2(5)} \, dx\\ &=\int \frac {2880 x^8+1152 x^9+\left (1200 x^7+960 x^8\right ) \log (5)+\exp \left (\exp \left (\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}\right )+\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}\right ) \left (-783-1080 x-432 x^2+(-450-360 x) \log (5)-75 \log ^2(5)\right )+x^7 \left (1800+200 \log ^2(5)\right )}{144 x^2+120 x (3+\log (5))+25 (3+\log (5))^2} \, dx\\ &=\int \frac {2880 x^8+1152 x^9+\left (1200 x^7+960 x^8\right ) \log (5)+\exp \left (\exp \left (\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}\right )+\frac {-3+15 x+12 x^2+5 x \log (5)}{15+12 x+5 \log (5)}\right ) \left (-783-1080 x-432 x^2+(-450-360 x) \log (5)-75 \log ^2(5)\right )+x^7 \left (1800+200 \log ^2(5)\right )}{(15+12 x+5 \log (5))^2} \, dx\\ &=\int \left (\frac {2880 x^8}{(15+12 x+5 \log (5))^2}+\frac {1152 x^9}{(15+12 x+5 \log (5))^2}+\frac {240 x^7 (5+4 x) \log (5)}{(15+12 x+5 \log (5))^2}+\frac {200 x^7 \left (9+\log ^2(5)\right )}{(15+12 x+5 \log (5))^2}+\frac {3\ 5^{\frac {5 x}{12 x+5 (3+\log (5))}} \exp \left (5^{\frac {5 x}{12 x+5 (3+\log (5))}} \exp \left (-\frac {3}{12 x+5 (3+\log (5))}+\frac {15 x}{12 x+5 (3+\log (5))}+\frac {12 x^2}{12 x+5 (3+\log (5))}\right )-\frac {3}{12 x+5 (3+\log (5))}+\frac {15 x}{12 x+5 (3+\log (5))}+\frac {12 x^2}{12 x+5 (3+\log (5))}\right ) \left (-261-144 x^2-150 \log (5)-25 \log ^2(5)-120 x (3+\log (5))\right )}{(15+12 x+5 \log (5))^2}\right ) \, dx\\ &=3 \int \frac {5^{\frac {5 x}{12 x+5 (3+\log (5))}} \exp \left (5^{\frac {5 x}{12 x+5 (3+\log (5))}} \exp \left (-\frac {3}{12 x+5 (3+\log (5))}+\frac {15 x}{12 x+5 (3+\log (5))}+\frac {12 x^2}{12 x+5 (3+\log (5))}\right )-\frac {3}{12 x+5 (3+\log (5))}+\frac {15 x}{12 x+5 (3+\log (5))}+\frac {12 x^2}{12 x+5 (3+\log (5))}\right ) \left (-261-144 x^2-150 \log (5)-25 \log ^2(5)-120 x (3+\log (5))\right )}{(15+12 x+5 \log (5))^2} \, dx+1152 \int \frac {x^9}{(15+12 x+5 \log (5))^2} \, dx+2880 \int \frac {x^8}{(15+12 x+5 \log (5))^2} \, dx+(240 \log (5)) \int \frac {x^7 (5+4 x)}{(15+12 x+5 \log (5))^2} \, dx+\left (200 \left (9+\log ^2(5)\right )\right ) \int \frac {x^7}{(15+12 x+5 \log (5))^2} \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.42, size = 25, normalized size = 0.93 \begin {gather*} -3 e^{e^{x-\frac {3}{15+12 x+5 \log (5)}}}+x^8 \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[(1800*x^7 + 2880*x^8 + 1152*x^9 + (1200*x^7 + 960*x^8)*Log[5] + 200*x^7*Log[5]^2 + E^(E^((-3 + 15*x
+ 12*x^2 + 5*x*Log[5])/(15 + 12*x + 5*Log[5])) + (-3 + 15*x + 12*x^2 + 5*x*Log[5])/(15 + 12*x + 5*Log[5]))*(-7
83 - 1080*x - 432*x^2 + (-450 - 360*x)*Log[5] - 75*Log[5]^2))/(225 + 360*x + 144*x^2 + (150 + 120*x)*Log[5] +
25*Log[5]^2),x]
[Out]
-3*E^E^(x - 3/(15 + 12*x + 5*Log[5])) + x^8
________________________________________________________________________________________
fricas [B] time = 0.65, size = 131, normalized size = 4.85 \begin {gather*} {\left (x^{8} e^{\left (\frac {12 \, x^{2} + 5 \, x \log \relax (5) + 15 \, x - 3}{12 \, x + 5 \, \log \relax (5) + 15}\right )} - 3 \, e^{\left (\frac {12 \, x^{2} + {\left (12 \, x + 5 \, \log \relax (5) + 15\right )} e^{\left (\frac {12 \, x^{2} + 5 \, x \log \relax (5) + 15 \, x - 3}{12 \, x + 5 \, \log \relax (5) + 15}\right )} + 5 \, x \log \relax (5) + 15 \, x - 3}{12 \, x + 5 \, \log \relax (5) + 15}\right )}\right )} e^{\left (-\frac {12 \, x^{2} + 5 \, x \log \relax (5) + 15 \, x - 3}{12 \, x + 5 \, \log \relax (5) + 15}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-75*log(5)^2+(-360*x-450)*log(5)-432*x^2-1080*x-783)*exp((5*x*log(5)+12*x^2+15*x-3)/(5*log(5)+12*x
+15))*exp(exp((5*x*log(5)+12*x^2+15*x-3)/(5*log(5)+12*x+15)))+200*x^7*log(5)^2+(960*x^8+1200*x^7)*log(5)+1152*
x^9+2880*x^8+1800*x^7)/(25*log(5)^2+(120*x+150)*log(5)+144*x^2+360*x+225),x, algorithm="fricas")
[Out]
(x^8*e^((12*x^2 + 5*x*log(5) + 15*x - 3)/(12*x + 5*log(5) + 15)) - 3*e^((12*x^2 + (12*x + 5*log(5) + 15)*e^((1
2*x^2 + 5*x*log(5) + 15*x - 3)/(12*x + 5*log(5) + 15)) + 5*x*log(5) + 15*x - 3)/(12*x + 5*log(5) + 15)))*e^(-(
12*x^2 + 5*x*log(5) + 15*x - 3)/(12*x + 5*log(5) + 15))
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1152 \, x^{9} + 200 \, x^{7} \log \relax (5)^{2} + 2880 \, x^{8} + 1800 \, x^{7} - 3 \, {\left (144 \, x^{2} + 30 \, {\left (4 \, x + 5\right )} \log \relax (5) + 25 \, \log \relax (5)^{2} + 360 \, x + 261\right )} e^{\left (\frac {12 \, x^{2} + 5 \, x \log \relax (5) + 15 \, x - 3}{12 \, x + 5 \, \log \relax (5) + 15} + e^{\left (\frac {12 \, x^{2} + 5 \, x \log \relax (5) + 15 \, x - 3}{12 \, x + 5 \, \log \relax (5) + 15}\right )}\right )} + 240 \, {\left (4 \, x^{8} + 5 \, x^{7}\right )} \log \relax (5)}{144 \, x^{2} + 30 \, {\left (4 \, x + 5\right )} \log \relax (5) + 25 \, \log \relax (5)^{2} + 360 \, x + 225}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-75*log(5)^2+(-360*x-450)*log(5)-432*x^2-1080*x-783)*exp((5*x*log(5)+12*x^2+15*x-3)/(5*log(5)+12*x
+15))*exp(exp((5*x*log(5)+12*x^2+15*x-3)/(5*log(5)+12*x+15)))+200*x^7*log(5)^2+(960*x^8+1200*x^7)*log(5)+1152*
x^9+2880*x^8+1800*x^7)/(25*log(5)^2+(120*x+150)*log(5)+144*x^2+360*x+225),x, algorithm="giac")
[Out]
integrate((1152*x^9 + 200*x^7*log(5)^2 + 2880*x^8 + 1800*x^7 - 3*(144*x^2 + 30*(4*x + 5)*log(5) + 25*log(5)^2
+ 360*x + 261)*e^((12*x^2 + 5*x*log(5) + 15*x - 3)/(12*x + 5*log(5) + 15) + e^((12*x^2 + 5*x*log(5) + 15*x - 3
)/(12*x + 5*log(5) + 15))) + 240*(4*x^8 + 5*x^7)*log(5))/(144*x^2 + 30*(4*x + 5)*log(5) + 25*log(5)^2 + 360*x
+ 225), x)
________________________________________________________________________________________
maple [A] time = 0.42, size = 36, normalized size = 1.33
|
|
|
| method |
result |
size |
|
|
|
| risch |
\(x^{8}-3 \,{\mathrm e}^{{\mathrm e}^{\frac {5 x \ln \relax (5)+12 x^{2}+15 x -3}{5 \ln \relax (5)+12 x +15}}}\) |
\(36\) |
|
|
|
| |
| |
| |
| |
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(((-75*ln(5)^2+(-360*x-450)*ln(5)-432*x^2-1080*x-783)*exp((5*x*ln(5)+12*x^2+15*x-3)/(5*ln(5)+12*x+15))*exp(
exp((5*x*ln(5)+12*x^2+15*x-3)/(5*ln(5)+12*x+15)))+200*x^7*ln(5)^2+(960*x^8+1200*x^7)*ln(5)+1152*x^9+2880*x^8+1
800*x^7)/(25*ln(5)^2+(120*x+150)*ln(5)+144*x^2+360*x+225),x,method=_RETURNVERBOSE)
[Out]
x^8-3*exp(exp((5*x*ln(5)+12*x^2+15*x-3)/(5*ln(5)+12*x+15)))
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 result too large to
display
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-75*log(5)^2+(-360*x-450)*log(5)-432*x^2-1080*x-783)*exp((5*x*log(5)+12*x^2+15*x-3)/(5*log(5)+12*x
+15))*exp(exp((5*x*log(5)+12*x^2+15*x-3)/(5*log(5)+12*x+15)))+200*x^7*log(5)^2+(960*x^8+1200*x^7)*log(5)+1152*
x^9+2880*x^8+1800*x^7)/(25*log(5)^2+(120*x+150)*log(5)+144*x^2+360*x+225),x, algorithm="maxima")
[Out]
x^8 - 20/21*x^7*(log(5) + 3) + 25/36*(log(5)^2 + 6*log(5) + 9)*x^6 + 20/7*x^7 - 25/9*x^6*(log(5) + 3) - 25/54*
(log(5)^3 + 9*log(5)^2 + 27*log(5) + 27)*x^5 + 25/12*(log(5)^2 + 6*log(5) + 9)*x^5 + 25/12*x^6 - 25/12*x^5*(lo
g(5) + 3) + 3125/10368*(log(5)^4 + 12*log(5)^3 + 54*log(5)^2 + 108*log(5) + 81)*x^4 - 625/432*(log(5)^3 + 9*lo
g(5)^2 + 27*log(5) + 27)*x^4 + 625/384*(log(5)^2 + 6*log(5) + 9)*x^4 - 3125/15552*(log(5)^5 + 15*log(5)^4 + 90
*log(5)^3 + 270*log(5)^2 + 405*log(5) + 243)*x^3 + 15625/15552*(log(5)^4 + 12*log(5)^3 + 54*log(5)^2 + 108*log
(5) + 81)*x^3 - 3125/2592*(log(5)^3 + 9*log(5)^2 + 27*log(5) + 27)*x^3 + 109375/746496*(log(5)^6 + 18*log(5)^5
+ 135*log(5)^4 + 540*log(5)^3 + 1215*log(5)^2 + 1458*log(5) + 729)*x^2 - 15625/20736*(log(5)^5 + 15*log(5)^4
+ 90*log(5)^3 + 270*log(5)^2 + 405*log(5) + 243)*x^2 + 78125/82944*(log(5)^4 + 12*log(5)^3 + 54*log(5)^2 + 108
*log(5) + 81)*x^2 + 25/53747712*(497664*x^6 - 497664*x^5*(log(5) + 3) + 388800*(log(5)^2 + 6*log(5) + 9)*x^4 -
288000*(log(5)^3 + 9*log(5)^2 + 27*log(5) + 27)*x^3 + 225000*(log(5)^4 + 12*log(5)^3 + 54*log(5)^2 + 108*log(
5) + 81)*x^2 - 225000*(log(5)^5 + 15*log(5)^4 + 90*log(5)^3 + 270*log(5)^2 + 405*log(5) + 243)*x + 109375*(log
(5)^6 + 18*log(5)^5 + 135*log(5)^4 + 540*log(5)^3 + 1215*log(5)^2 + 1458*log(5) + 729)*log(12*x + 5*log(5) + 1
5) + 78125*(log(5)^7 + 21*log(5)^6 + 189*log(5)^5 + 945*log(5)^4 + 2835*log(5)^3 + 5103*log(5)^2 + 5103*log(5)
+ 2187)/(12*x + 5*log(5) + 15))*log(5)^2 - 78125/559872*(log(5)^7 + 21*log(5)^6 + 189*log(5)^5 + 945*log(5)^4
+ 2835*log(5)^3 + 5103*log(5)^2 + 5103*log(5) + 2187)*x + 546875/746496*(log(5)^6 + 18*log(5)^5 + 135*log(5)^
4 + 540*log(5)^3 + 1215*log(5)^2 + 1458*log(5) + 729)*x - 78125/82944*(log(5)^5 + 15*log(5)^4 + 90*log(5)^3 +
270*log(5)^2 + 405*log(5) + 243)*x + 5/188116992*(35831808*x^7 - 34836480*x^6*(log(5) + 3) + 26127360*(log(5)^
2 + 6*log(5) + 9)*x^5 - 18144000*(log(5)^3 + 9*log(5)^2 + 27*log(5) + 27)*x^4 + 12600000*(log(5)^4 + 12*log(5)
^3 + 54*log(5)^2 + 108*log(5) + 81)*x^3 - 9450000*(log(5)^5 + 15*log(5)^4 + 90*log(5)^3 + 270*log(5)^2 + 405*l
og(5) + 243)*x^2 + 9187500*(log(5)^6 + 18*log(5)^5 + 135*log(5)^4 + 540*log(5)^3 + 1215*log(5)^2 + 1458*log(5)
+ 729)*x - 4375000*(log(5)^7 + 21*log(5)^6 + 189*log(5)^5 + 945*log(5)^4 + 2835*log(5)^3 + 5103*log(5)^2 + 51
03*log(5) + 2187)*log(12*x + 5*log(5) + 15) - 2734375*(log(5)^8 + 24*log(5)^7 + 252*log(5)^6 + 1512*log(5)^5 +
5670*log(5)^4 + 13608*log(5)^3 + 20412*log(5)^2 + 17496*log(5) + 6561)/(12*x + 5*log(5) + 15))*log(5) + 25/89
57952*(497664*x^6 - 497664*x^5*(log(5) + 3) + 388800*(log(5)^2 + 6*log(5) + 9)*x^4 - 288000*(log(5)^3 + 9*log(
5)^2 + 27*log(5) + 27)*x^3 + 225000*(log(5)^4 + 12*log(5)^3 + 54*log(5)^2 + 108*log(5) + 81)*x^2 - 225000*(log
(5)^5 + 15*log(5)^4 + 90*log(5)^3 + 270*log(5)^2 + 405*log(5) + 243)*x + 109375*(log(5)^6 + 18*log(5)^5 + 135*
log(5)^4 + 540*log(5)^3 + 1215*log(5)^2 + 1458*log(5) + 729)*log(12*x + 5*log(5) + 15) + 78125*(log(5)^7 + 21*
log(5)^6 + 189*log(5)^5 + 945*log(5)^4 + 2835*log(5)^3 + 5103*log(5)^2 + 5103*log(5) + 2187)/(12*x + 5*log(5)
+ 15))*log(5) + 390625/5971968*(log(5)^8 + 24*log(5)^7 + 252*log(5)^6 + 1512*log(5)^5 + 5670*log(5)^4 + 13608*
log(5)^3 + 20412*log(5)^2 + 17496*log(5) + 6561)*log(12*x + 5*log(5) + 15) - 390625/1119744*(log(5)^7 + 21*log
(5)^6 + 189*log(5)^5 + 945*log(5)^4 + 2835*log(5)^3 + 5103*log(5)^2 + 5103*log(5) + 2187)*log(12*x + 5*log(5)
+ 15) + 2734375/5971968*(log(5)^6 + 18*log(5)^5 + 135*log(5)^4 + 540*log(5)^3 + 1215*log(5)^2 + 1458*log(5) +
729)*log(12*x + 5*log(5) + 15) + 1953125/53747712*(log(5)^9 + 27*log(5)^8 + 324*log(5)^7 + 2268*log(5)^6 + 102
06*log(5)^5 + 30618*log(5)^4 + 61236*log(5)^3 + 78732*log(5)^2 + 59049*log(5) + 19683)/(12*x + 5*log(5) + 15)
- 1953125/8957952*(log(5)^8 + 24*log(5)^7 + 252*log(5)^6 + 1512*log(5)^5 + 5670*log(5)^4 + 13608*log(5)^3 + 20
412*log(5)^2 + 17496*log(5) + 6561)/(12*x + 5*log(5) + 15) + 1953125/5971968*(log(5)^7 + 21*log(5)^6 + 189*log
(5)^5 + 945*log(5)^4 + 2835*log(5)^3 + 5103*log(5)^2 + 5103*log(5) + 2187)/(12*x + 5*log(5) + 15) - integrate(
3*(144*x^2 + 120*x*(log(5) + 3) + 25*log(5)^2 + 150*log(5) + 261)*e^(x - 3/(12*x + 5*log(5) + 15) + e^(x - 3/(
12*x + 5*log(5) + 15)))/(144*x^2 + 120*x*(log(5) + 3) + 25*log(5)^2 + 150*log(5) + 225), x)
________________________________________________________________________________________
mupad [B] time = 4.73, size = 70, normalized size = 2.59 \begin {gather*} x^8-3\,{\mathrm {e}}^{5^{\frac {5\,x}{12\,x+5\,\ln \relax (5)+15}}\,{\mathrm {e}}^{-\frac {3}{12\,x+5\,\ln \relax (5)+15}}\,{\mathrm {e}}^{\frac {15\,x}{12\,x+5\,\ln \relax (5)+15}}\,{\mathrm {e}}^{\frac {12\,x^2}{12\,x+5\,\ln \relax (5)+15}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((200*x^7*log(5)^2 + log(5)*(1200*x^7 + 960*x^8) + 1800*x^7 + 2880*x^8 + 1152*x^9 - exp(exp((15*x + 5*x*log
(5) + 12*x^2 - 3)/(12*x + 5*log(5) + 15)))*exp((15*x + 5*x*log(5) + 12*x^2 - 3)/(12*x + 5*log(5) + 15))*(1080*
x + log(5)*(360*x + 450) + 75*log(5)^2 + 432*x^2 + 783))/(360*x + log(5)*(120*x + 150) + 25*log(5)^2 + 144*x^2
+ 225),x)
[Out]
x^8 - 3*exp(5^((5*x)/(12*x + 5*log(5) + 15))*exp(-3/(12*x + 5*log(5) + 15))*exp((15*x)/(12*x + 5*log(5) + 15))
*exp((12*x^2)/(12*x + 5*log(5) + 15)))
________________________________________________________________________________________
sympy [A] time = 0.92, size = 34, normalized size = 1.26 \begin {gather*} x^{8} - 3 e^{e^{\frac {12 x^{2} + 5 x \log {\relax (5 )} + 15 x - 3}{12 x + 5 \log {\relax (5 )} + 15}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-75*ln(5)**2+(-360*x-450)*ln(5)-432*x**2-1080*x-783)*exp((5*x*ln(5)+12*x**2+15*x-3)/(5*ln(5)+12*x+
15))*exp(exp((5*x*ln(5)+12*x**2+15*x-3)/(5*ln(5)+12*x+15)))+200*x**7*ln(5)**2+(960*x**8+1200*x**7)*ln(5)+1152*
x**9+2880*x**8+1800*x**7)/(25*ln(5)**2+(120*x+150)*ln(5)+144*x**2+360*x+225),x)
[Out]
x**8 - 3*exp(exp((12*x**2 + 5*x*log(5) + 15*x - 3)/(12*x + 5*log(5) + 15)))
________________________________________________________________________________________