Integrand size = 150, antiderivative size = 27 \[ \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)+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)}} \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=-3 e^{e^{x+\frac {1}{x-5 \left (1+x+\frac {\log (5)}{3}\right )}}}+x^8 \]
[Out]
\[ \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)+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)}} \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=\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 \]
[In]
[Out]
Rubi steps \begin{align*} \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 \\ & = 3 \int \frac {5^{\frac {5 x}{12 x+5 (3+\log (5))}} \exp \left (\frac {-3+15 x+12 x^2+5^{\frac {5 x}{12 x+5 (3+\log (5))}} \exp \left (\frac {3 \left (-1+5 x+4 x^2\right )}{12 x+5 (3+\log (5))}\right ) (12 x+5 (3+\log (5)))}{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 )}{(12 x+5 (3+\log (5)))^2} \, dx+1152 \int \left (\frac {x^7}{144}-\frac {5}{864} x^6 (3+\log (5))+\frac {25 x^5 (3+\log (5))^2}{6912}-\frac {125 x^4 (3+\log (5))^3}{62208}+\frac {3125 x^3 (3+\log (5))^4}{2985984}-\frac {3125 x^2 (3+\log (5))^5}{5971968}+\frac {109375 x (3+\log (5))^6}{429981696}-\frac {78125 (3+\log (5))^7}{644972544}-\frac {1953125 (3+\log (5))^9}{5159780352 (15+12 x+5 \log (5))^2}+\frac {390625 (3+\log (5))^8}{573308928 (15+12 x+5 \log (5))}\right ) \, dx+2880 \int \left (\frac {x^6}{144}-\frac {5}{864} x^5 (3+\log (5))+\frac {25 x^4 (3+\log (5))^2}{6912}-\frac {125 x^3 (3+\log (5))^3}{62208}+\frac {3125 x^2 (3+\log (5))^4}{2985984}-\frac {3125 x (3+\log (5))^5}{5971968}+\frac {109375 (3+\log (5))^6}{429981696}+\frac {390625 (3+\log (5))^8}{429981696 (15+12 x+5 \log (5))^2}-\frac {78125 (3+\log (5))^7}{53747712 (15+12 x+5 \log (5))}\right ) \, dx+(240 \log (5)) \int \left (\frac {x^6}{36}+\frac {625 x^2 (3+\log (5))^3 (3+5 \log (5))}{746496}+\frac {390625 \log (5) (3+\log (5))^7}{107495424 (15+12 x+5 \log (5))^2}+\frac {15625 (3+\log (5))^5 (3+7 \log (5))}{107495424}-\frac {78125 (3+\log (5))^6 (3+8 \log (5))}{107495424 (15+12 x+5 \log (5))}-\frac {3125 x (3+\log (5))^4 (1+\log (25))}{2985984}-\frac {5}{432} x^5 (3+\log (25))-\frac {125 x^3 (3+\log (5))^2 (3+\log (625))}{62208}+\frac {25 x^4 \left (3+\log ^2(5)+\log (625)\right )}{1728}\right ) \, dx+\left (200 \left (9+\log ^2(5)\right )\right ) \int \left (\frac {x^5}{144}-\frac {5}{864} x^4 (3+\log (5))+\frac {25 x^3 (3+\log (5))^2}{6912}-\frac {125 x^2 (3+\log (5))^3}{62208}+\frac {3125 x (3+\log (5))^4}{2985984}-\frac {3125 (3+\log (5))^5}{5971968}-\frac {78125 (3+\log (5))^7}{35831808 (15+12 x+5 \log (5))^2}+\frac {109375 (3+\log (5))^6}{35831808 (15+12 x+5 \log (5))}\right ) \, dx \\ & = \frac {20 x^7}{7}+x^8+\frac {20}{21} x^7 \log (5)-\frac {25}{9} x^6 (3+\log (5))-\frac {20}{21} x^7 (3+\log (5))+\frac {25}{12} x^5 (3+\log (5))^2+\frac {25}{36} x^6 (3+\log (5))^2-\frac {625}{432} x^4 (3+\log (5))^3-\frac {25}{54} x^5 (3+\log (5))^3+\frac {15625 x^3 (3+\log (5))^4}{15552}+\frac {3125 x^4 (3+\log (5))^4}{10368}-\frac {15625 x^2 (3+\log (5))^5}{20736}-\frac {3125 x^3 (3+\log (5))^5}{15552}+\frac {546875 x (3+\log (5))^6}{746496}+\frac {109375 x^2 (3+\log (5))^6}{746496}-\frac {78125 x (3+\log (5))^7}{559872}+\frac {3125 x^3 \log (5) (3+\log (5))^3 (3+5 \log (5))}{46656}+\frac {78125 x \log (5) (3+\log (5))^5 (3+7 \log (5))}{2239488}+\frac {25}{108} x^6 \left (9+\log ^2(5)\right )-\frac {25}{108} x^5 (3+\log (5)) \left (9+\log ^2(5)\right )+\frac {625 x^4 (3+\log (5))^2 \left (9+\log ^2(5)\right )}{3456}-\frac {3125 x^3 (3+\log (5))^3 \left (9+\log ^2(5)\right )}{23328}+\frac {78125 x^2 (3+\log (5))^4 \left (9+\log ^2(5)\right )}{746496}-\frac {78125 x (3+\log (5))^5 \left (9+\log ^2(5)\right )}{746496}-\frac {1953125 \log ^2(5) (3+\log (5))^7}{26873856 (12 x+5 (3+\log (5)))}-\frac {1953125 (3+\log (5))^8}{8957952 (12 x+5 (3+\log (5)))}+\frac {1953125 (3+\log (5))^9}{53747712 (12 x+5 (3+\log (5)))}+\frac {1953125 (3+\log (5))^7 \left (9+\log ^2(5)\right )}{53747712 (12 x+5 (3+\log (5)))}-\frac {15625 x^2 \log (5) (3+\log (5))^4 (1+\log (25))}{124416}-\frac {25}{54} x^6 \log (5) (3+\log (25))-\frac {625 x^4 \log (5) (3+\log (5))^2 (3+\log (625))}{5184}+\frac {25}{36} x^5 \log (5) \left (3+\log ^2(5)+\log (625)\right )-\frac {390625 (3+\log (5))^7 \log (12 x+5 (3+\log (5)))}{1119744}+\frac {390625 (3+\log (5))^8 \log (12 x+5 (3+\log (5)))}{5971968}-\frac {390625 \log (5) (3+\log (5))^6 (3+8 \log (5)) \log (12 x+5 (3+\log (5)))}{26873856}+\frac {2734375 (3+\log (5))^6 \left (9+\log ^2(5)\right ) \log (12 x+5 (3+\log (5)))}{53747712}+3 \int \left (-5^{\frac {5 x}{12 x+5 (3+\log (5))}} e^{\frac {-3+15 x+12 x^2+5^{\frac {5 x}{12 x+5 (3+\log (5))}} e^{\frac {3 \left (-1+5 x+4 x^2\right )}{12 x+5 (3+\log (5))}} (12 x+5 (3+\log (5)))}{12 x+5 (3+\log (5))}}-\frac {36\ 5^{\frac {5 x}{12 x+5 (3+\log (5))}} e^{\frac {-3+15 x+12 x^2+5^{\frac {5 x}{12 x+5 (3+\log (5))}} e^{\frac {3 \left (-1+5 x+4 x^2\right )}{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}\right ) \, dx \\ & = \frac {20 x^7}{7}+x^8+\frac {20}{21} x^7 \log (5)-\frac {25}{9} x^6 (3+\log (5))-\frac {20}{21} x^7 (3+\log (5))+\frac {25}{12} x^5 (3+\log (5))^2+\frac {25}{36} x^6 (3+\log (5))^2-\frac {625}{432} x^4 (3+\log (5))^3-\frac {25}{54} x^5 (3+\log (5))^3+\frac {15625 x^3 (3+\log (5))^4}{15552}+\frac {3125 x^4 (3+\log (5))^4}{10368}-\frac {15625 x^2 (3+\log (5))^5}{20736}-\frac {3125 x^3 (3+\log (5))^5}{15552}+\frac {546875 x (3+\log (5))^6}{746496}+\frac {109375 x^2 (3+\log (5))^6}{746496}-\frac {78125 x (3+\log (5))^7}{559872}+\frac {3125 x^3 \log (5) (3+\log (5))^3 (3+5 \log (5))}{46656}+\frac {78125 x \log (5) (3+\log (5))^5 (3+7 \log (5))}{2239488}+\frac {25}{108} x^6 \left (9+\log ^2(5)\right )-\frac {25}{108} x^5 (3+\log (5)) \left (9+\log ^2(5)\right )+\frac {625 x^4 (3+\log (5))^2 \left (9+\log ^2(5)\right )}{3456}-\frac {3125 x^3 (3+\log (5))^3 \left (9+\log ^2(5)\right )}{23328}+\frac {78125 x^2 (3+\log (5))^4 \left (9+\log ^2(5)\right )}{746496}-\frac {78125 x (3+\log (5))^5 \left (9+\log ^2(5)\right )}{746496}-\frac {1953125 \log ^2(5) (3+\log (5))^7}{26873856 (12 x+5 (3+\log (5)))}-\frac {1953125 (3+\log (5))^8}{8957952 (12 x+5 (3+\log (5)))}+\frac {1953125 (3+\log (5))^9}{53747712 (12 x+5 (3+\log (5)))}+\frac {1953125 (3+\log (5))^7 \left (9+\log ^2(5)\right )}{53747712 (12 x+5 (3+\log (5)))}-\frac {15625 x^2 \log (5) (3+\log (5))^4 (1+\log (25))}{124416}-\frac {25}{54} x^6 \log (5) (3+\log (25))-\frac {625 x^4 \log (5) (3+\log (5))^2 (3+\log (625))}{5184}+\frac {25}{36} x^5 \log (5) \left (3+\log ^2(5)+\log (625)\right )-\frac {390625 (3+\log (5))^7 \log (12 x+5 (3+\log (5)))}{1119744}+\frac {390625 (3+\log (5))^8 \log (12 x+5 (3+\log (5)))}{5971968}-\frac {390625 \log (5) (3+\log (5))^6 (3+8 \log (5)) \log (12 x+5 (3+\log (5)))}{26873856}+\frac {2734375 (3+\log (5))^6 \left (9+\log ^2(5)\right ) \log (12 x+5 (3+\log (5)))}{53747712}-3 \int 5^{\frac {5 x}{12 x+5 (3+\log (5))}} e^{\frac {-3+15 x+12 x^2+5^{\frac {5 x}{12 x+5 (3+\log (5))}} e^{\frac {3 \left (-1+5 x+4 x^2\right )}{12 x+5 (3+\log (5))}} (12 x+5 (3+\log (5)))}{12 x+5 (3+\log (5))}} \, dx-108 \int \frac {5^{\frac {5 x}{12 x+5 (3+\log (5))}} e^{\frac {-3+15 x+12 x^2+5^{\frac {5 x}{12 x+5 (3+\log (5))}} e^{\frac {3 \left (-1+5 x+4 x^2\right )}{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} \, dx \\ \end{align*}
Time = 0.42 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.93 \[ \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)+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)}} \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=-3 e^{e^{x-\frac {3}{15+12 x+5 \log (5)}}}+x^8 \]
[In]
[Out]
Time = 5.49 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.33
method | result | size |
risch | \(x^{8}-3 \,{\mathrm e}^{{\mathrm e}^{\frac {5 x \ln \left (5\right )+12 x^{2}+15 x -3}{5 \ln \left (5\right )+12 x +15}}}\) | \(36\) |
parallelrisch | \(x^{8}-3 \,{\mathrm e}^{{\mathrm e}^{\frac {5 x \ln \left (5\right )+12 x^{2}+15 x -3}{5 \ln \left (5\right )+12 x +15}}}\) | \(36\) |
parts | \(x^{8}+\frac {\left (-45-15 \ln \left (5\right )\right ) {\mathrm e}^{{\mathrm e}^{\frac {5 x \ln \left (5\right )+12 x^{2}+15 x -3}{5 \ln \left (5\right )+12 x +15}}}-36 x \,{\mathrm e}^{{\mathrm e}^{\frac {5 x \ln \left (5\right )+12 x^{2}+15 x -3}{5 \ln \left (5\right )+12 x +15}}}}{5 \ln \left (5\right )+12 x +15}\) | \(86\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 131 vs. \(2 (23) = 46\).
Time = 0.28 (sec) , antiderivative size = 131, normalized size of antiderivative = 4.85 \[ \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)+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)}} \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={\left (x^{8} e^{\left (\frac {12 \, x^{2} + 5 \, x \log \left (5\right ) + 15 \, x - 3}{12 \, x + 5 \, \log \left (5\right ) + 15}\right )} - 3 \, e^{\left (\frac {12 \, x^{2} + {\left (12 \, x + 5 \, \log \left (5\right ) + 15\right )} e^{\left (\frac {12 \, x^{2} + 5 \, x \log \left (5\right ) + 15 \, x - 3}{12 \, x + 5 \, \log \left (5\right ) + 15}\right )} + 5 \, x \log \left (5\right ) + 15 \, x - 3}{12 \, x + 5 \, \log \left (5\right ) + 15}\right )}\right )} e^{\left (-\frac {12 \, x^{2} + 5 \, x \log \left (5\right ) + 15 \, x - 3}{12 \, x + 5 \, \log \left (5\right ) + 15}\right )} \]
[In]
[Out]
Time = 0.41 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.26 \[ \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)+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)}} \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=x^{8} - 3 e^{e^{\frac {12 x^{2} + 5 x \log {\left (5 \right )} + 15 x - 3}{12 x + 5 \log {\left (5 \right )} + 15}}} \]
[In]
[Out]
\[ \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)+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)}} \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=\int { \frac {1152 \, x^{9} + 200 \, x^{7} \log \left (5\right )^{2} + 2880 \, x^{8} + 1800 \, x^{7} - 3 \, {\left (144 \, x^{2} + 30 \, {\left (4 \, x + 5\right )} \log \left (5\right ) + 25 \, \log \left (5\right )^{2} + 360 \, x + 261\right )} e^{\left (\frac {12 \, x^{2} + 5 \, x \log \left (5\right ) + 15 \, x - 3}{12 \, x + 5 \, \log \left (5\right ) + 15} + e^{\left (\frac {12 \, x^{2} + 5 \, x \log \left (5\right ) + 15 \, x - 3}{12 \, x + 5 \, \log \left (5\right ) + 15}\right )}\right )} + 240 \, {\left (4 \, x^{8} + 5 \, x^{7}\right )} \log \left (5\right )}{144 \, x^{2} + 30 \, {\left (4 \, x + 5\right )} \log \left (5\right ) + 25 \, \log \left (5\right )^{2} + 360 \, x + 225} \,d x } \]
[In]
[Out]
\[ \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)+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)}} \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=\int { \frac {1152 \, x^{9} + 200 \, x^{7} \log \left (5\right )^{2} + 2880 \, x^{8} + 1800 \, x^{7} - 3 \, {\left (144 \, x^{2} + 30 \, {\left (4 \, x + 5\right )} \log \left (5\right ) + 25 \, \log \left (5\right )^{2} + 360 \, x + 261\right )} e^{\left (\frac {12 \, x^{2} + 5 \, x \log \left (5\right ) + 15 \, x - 3}{12 \, x + 5 \, \log \left (5\right ) + 15} + e^{\left (\frac {12 \, x^{2} + 5 \, x \log \left (5\right ) + 15 \, x - 3}{12 \, x + 5 \, \log \left (5\right ) + 15}\right )}\right )} + 240 \, {\left (4 \, x^{8} + 5 \, x^{7}\right )} \log \left (5\right )}{144 \, x^{2} + 30 \, {\left (4 \, x + 5\right )} \log \left (5\right ) + 25 \, \log \left (5\right )^{2} + 360 \, x + 225} \,d x } \]
[In]
[Out]
Time = 12.85 (sec) , antiderivative size = 70, normalized size of antiderivative = 2.59 \[ \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)+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)}} \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=x^8-3\,{\mathrm {e}}^{5^{\frac {5\,x}{12\,x+5\,\ln \left (5\right )+15}}\,{\mathrm {e}}^{-\frac {3}{12\,x+5\,\ln \left (5\right )+15}}\,{\mathrm {e}}^{\frac {15\,x}{12\,x+5\,\ln \left (5\right )+15}}\,{\mathrm {e}}^{\frac {12\,x^2}{12\,x+5\,\ln \left (5\right )+15}}} \]
[In]
[Out]