Integrand size = 77, antiderivative size = 21 \[ \int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{\left (9+x^5\right ) \log ^2(2)} \, dx=x \left (-x^2+\frac {\log \left (9+x^5\right )}{\log (2)}\right )^2 \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(568\) vs. \(2(21)=42\).
Time = 6.71 (sec) , antiderivative size = 568, normalized size of antiderivative = 27.05, number of steps used = 223, number of rules used = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.325, Rules used = {12, 6857, 1850, 327, 299, 648, 632, 210, 642, 31, 2608, 2498, 207, 2521, 2512, 266, 2463, 2441, 2440, 2438, 2437, 2338, 2505, 2500, 2526} \[ \int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{\left (9+x^5\right ) \log ^2(2)} \, dx=-\frac {2 \sqrt [5]{3} \sqrt {10} \log (8) \arctan \left (\frac {3^{2/5} \left (1-\sqrt {5}\right )-4 x}{3^{2/5} \sqrt {2 \left (5+\sqrt {5}\right )}}\right )}{\sqrt {5+\sqrt {5}} \log ^2(2)}+\frac {\sqrt [5]{3} \sqrt {2 \left (5+\sqrt {5}\right )} \log (8) \arctan \left (\frac {\sqrt {\frac {1}{10} \left (5+\sqrt {5}\right )} \left (3^{2/5} \left (1+\sqrt {5}\right )-4 x\right )}{2\ 3^{2/5}}\right )}{\log ^2(2)}+\frac {6 \sqrt [5]{3} \sqrt {10} \arctan \left (\frac {3^{2/5} \left (1-\sqrt {5}\right )-4 x}{3^{2/5} \sqrt {2 \left (5+\sqrt {5}\right )}}\right )}{\sqrt {5+\sqrt {5}} \log (2)}-\frac {3 \sqrt [5]{3} \sqrt {2 \left (5+\sqrt {5}\right )} \arctan \left (\frac {\sqrt {\frac {1}{10} \left (5+\sqrt {5}\right )} \left (3^{2/5} \left (1+\sqrt {5}\right )-4 x\right )}{2\ 3^{2/5}}\right )}{\log (2)}+x^5+\frac {x \log ^2\left (x^5+9\right )}{\log ^2(2)}+\frac {10 x^3 \log (8)}{9 \log ^2(2)}-\frac {10 x^3}{3 \log (2)}+\frac {\sqrt [5]{3} \left (1+\sqrt {5}\right ) \log (8) \log \left (x^2-\frac {1}{2} 3^{2/5} \left (1-\sqrt {5}\right ) x+3^{4/5}\right )}{2 \log ^2(2)}+\frac {\sqrt [5]{3} \left (1-\sqrt {5}\right ) \log (8) \log \left (x^2-\frac {1}{2} 3^{2/5} \left (1+\sqrt {5}\right ) x+3^{4/5}\right )}{2 \log ^2(2)}-\frac {3 \sqrt [5]{3} \left (1+\sqrt {5}\right ) \log \left (x^2-\frac {1}{2} 3^{2/5} \left (1-\sqrt {5}\right ) x+3^{4/5}\right )}{2 \log (2)}-\frac {3 \sqrt [5]{3} \left (1-\sqrt {5}\right ) \log \left (x^2-\frac {1}{2} 3^{2/5} \left (1+\sqrt {5}\right ) x+3^{4/5}\right )}{2 \log (2)}-\frac {2 x^3 \log (8) \log \left (x^5+9\right )}{3 \log ^2(2)}-\frac {2 \sqrt [5]{3} \log (8) \log \left (x+3^{2/5}\right )}{\log ^2(2)}+\frac {6 \sqrt [5]{3} \log \left (x+3^{2/5}\right )}{\log (2)} \]
[In]
[Out]
Rule 12
Rule 31
Rule 207
Rule 210
Rule 266
Rule 299
Rule 327
Rule 632
Rule 642
Rule 648
Rule 1850
Rule 2338
Rule 2437
Rule 2438
Rule 2440
Rule 2441
Rule 2463
Rule 2498
Rule 2500
Rule 2505
Rule 2512
Rule 2521
Rule 2526
Rule 2608
Rule 6857
Rubi steps \begin{align*} \text {integral}& = \frac {\int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{9+x^5} \, dx}{\log ^2(2)} \\ & = \frac {\int \left (\frac {5 x^4 \log (2) \left (-2 x^3+x^5 \log (2)+\log (512)\right )}{9+x^5}-\frac {2 x^2 \left (-5 x^3+27 \log (2)+x^5 \log (8)\right ) \log \left (9+x^5\right )}{9+x^5}+\log ^2\left (9+x^5\right )\right ) \, dx}{\log ^2(2)} \\ & = \frac {\int \log ^2\left (9+x^5\right ) \, dx}{\log ^2(2)}-\frac {2 \int \frac {x^2 \left (-5 x^3+27 \log (2)+x^5 \log (8)\right ) \log \left (9+x^5\right )}{9+x^5} \, dx}{\log ^2(2)}+\frac {5 \int \frac {x^4 \left (-2 x^3+x^5 \log (2)+\log (512)\right )}{9+x^5} \, dx}{\log (2)} \\ & = x^5+\frac {x \log ^2\left (9+x^5\right )}{\log ^2(2)}-\frac {2 \int \left (-5 \log \left (9+x^5\right )+\frac {45 \log \left (9+x^5\right )}{9+x^5}+x^2 \log (8) \log \left (9+x^5\right )\right ) \, dx}{\log ^2(2)}-\frac {10 \int \frac {x^5 \log \left (9+x^5\right )}{9+x^5} \, dx}{\log ^2(2)}+\frac {\int -\frac {10 x^7}{9+x^5} \, dx}{\log (2)} \\ & = x^5+\frac {x \log ^2\left (9+x^5\right )}{\log ^2(2)}+\frac {10 \int \log \left (9+x^5\right ) \, dx}{\log ^2(2)}-\frac {10 \int \left (\log \left (9+x^5\right )-\frac {9 \log \left (9+x^5\right )}{9+x^5}\right ) \, dx}{\log ^2(2)}-\frac {90 \int \frac {\log \left (9+x^5\right )}{9+x^5} \, dx}{\log ^2(2)}-\frac {10 \int \frac {x^7}{9+x^5} \, dx}{\log (2)}-\frac {(2 \log (8)) \int x^2 \log \left (9+x^5\right ) \, dx}{\log ^2(2)} \\ & = x^5-\frac {10 x^3}{3 \log (2)}+\frac {10 x \log \left (9+x^5\right )}{\log ^2(2)}-\frac {2 x^3 \log (8) \log \left (9+x^5\right )}{3 \log ^2(2)}+\frac {x \log ^2\left (9+x^5\right )}{\log ^2(2)}-\frac {10 \int \log \left (9+x^5\right ) \, dx}{\log ^2(2)}-\frac {50 \int \frac {x^5}{9+x^5} \, dx}{\log ^2(2)}+\frac {90 \int \frac {\log \left (9+x^5\right )}{9+x^5} \, dx}{\log ^2(2)}-\frac {90 \int \left (-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}-x\right )}-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}+\sqrt [5]{-1} x\right )}-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}-(-1)^{2/5} x\right )}-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}+(-1)^{3/5} x\right )}-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}-(-1)^{4/5} x\right )}\right ) \, dx}{\log ^2(2)}+\frac {90 \int \frac {x^2}{9+x^5} \, dx}{\log (2)}+\frac {(10 \log (8)) \int \frac {x^7}{9+x^5} \, dx}{3 \log ^2(2)} \\ & = x^5-\frac {50 x}{\log ^2(2)}-\frac {10 x^3}{3 \log (2)}+\frac {10 x^3 \log (8)}{9 \log ^2(2)}-\frac {2 x^3 \log (8) \log \left (9+x^5\right )}{3 \log ^2(2)}+\frac {x \log ^2\left (9+x^5\right )}{\log ^2(2)}+\frac {50 \int \frac {x^5}{9+x^5} \, dx}{\log ^2(2)}+\frac {90 \int \left (-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}-x\right )}-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}+\sqrt [5]{-1} x\right )}-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}-(-1)^{2/5} x\right )}-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}+(-1)^{3/5} x\right )}-\frac {\log \left (9+x^5\right )}{15\ 3^{3/5} \left (-3^{2/5}-(-1)^{4/5} x\right )}\right ) \, dx}{\log ^2(2)}+\frac {450 \int \frac {1}{9+x^5} \, dx}{\log ^2(2)}+\frac {\left (2\ 3^{2/5}\right ) \int \frac {\log \left (9+x^5\right )}{-3^{2/5}-x} \, dx}{\log ^2(2)}+\frac {\left (2\ 3^{2/5}\right ) \int \frac {\log \left (9+x^5\right )}{-3^{2/5}+\sqrt [5]{-1} x} \, dx}{\log ^2(2)}+\frac {\left (2\ 3^{2/5}\right ) \int \frac {\log \left (9+x^5\right )}{-3^{2/5}-(-1)^{2/5} x} \, dx}{\log ^2(2)}+\frac {\left (2\ 3^{2/5}\right ) \int \frac {\log \left (9+x^5\right )}{-3^{2/5}+(-1)^{3/5} x} \, dx}{\log ^2(2)}+\frac {\left (2\ 3^{2/5}\right ) \int \frac {\log \left (9+x^5\right )}{-3^{2/5}-(-1)^{4/5} x} \, dx}{\log ^2(2)}+\frac {\left (6 \sqrt [5]{3}\right ) \int \frac {1}{3^{2/5}+x} \, dx}{\log (2)}+\frac {\left (12 \sqrt [5]{3}\right ) \int \frac {\frac {1}{4} 3^{2/5} \left (-1-\sqrt {5}\right )-\frac {1}{4} \left (1+\sqrt {5}\right ) x}{3^{4/5}-\frac {1}{2} 3^{2/5} \left (1-\sqrt {5}\right ) x+x^2} \, dx}{\log (2)}+\frac {\left (12 \sqrt [5]{3}\right ) \int \frac {\frac {1}{4} 3^{2/5} \left (-1+\sqrt {5}\right )-\frac {1}{4} \left (1-\sqrt {5}\right ) x}{3^{4/5}-\frac {1}{2} 3^{2/5} \left (1+\sqrt {5}\right ) x+x^2} \, dx}{\log (2)}-\frac {(30 \log (8)) \int \frac {x^2}{9+x^5} \, dx}{\log ^2(2)} \\ & = \text {Too large to display} \\ \end{align*}
Time = 5.04 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.71 \[ \int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{\left (9+x^5\right ) \log ^2(2)} \, dx=\frac {x \left (x^4 \log ^2(2)-x^2 \log (4) \log \left (9+x^5\right )+\log ^2\left (9+x^5\right )\right )}{\log ^2(2)} \]
[In]
[Out]
Time = 2.17 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.62
method | result | size |
risch | \(x^{5}-\frac {2 x^{3} \ln \left (x^{5}+9\right )}{\ln \left (2\right )}+\frac {x \ln \left (x^{5}+9\right )^{2}}{\ln \left (2\right )^{2}}\) | \(34\) |
parallelrisch | \(\frac {x^{5} \ln \left (2\right )^{2}-2 \ln \left (2\right ) x^{3} \ln \left (x^{5}+9\right )+x \ln \left (x^{5}+9\right )^{2}-18 \ln \left (2\right )^{2}}{\ln \left (2\right )^{2}}\) | \(44\) |
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.76 \[ \int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{\left (9+x^5\right ) \log ^2(2)} \, dx=\frac {x^{5} \log \left (2\right )^{2} - 2 \, x^{3} \log \left (2\right ) \log \left (x^{5} + 9\right ) + x \log \left (x^{5} + 9\right )^{2}}{\log \left (2\right )^{2}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 32 vs. \(2 (15) = 30\).
Time = 0.11 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.52 \[ \int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{\left (9+x^5\right ) \log ^2(2)} \, dx=x^{5} - \frac {2 x^{3} \log {\left (x^{5} + 9 \right )}}{\log {\left (2 \right )}} + \frac {x \log {\left (x^{5} + 9 \right )}^{2}}{\log {\left (2 \right )}^{2}} \]
[In]
[Out]
Exception generated. \[ \int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{\left (9+x^5\right ) \log ^2(2)} \, dx=\text {Exception raised: RuntimeError} \]
[In]
[Out]
none
Time = 0.84 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.76 \[ \int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{\left (9+x^5\right ) \log ^2(2)} \, dx=\frac {x^{5} \log \left (2\right )^{2} - 2 \, x^{3} \log \left (2\right ) \log \left (x^{5} + 9\right ) + x \log \left (x^{5} + 9\right )^{2}}{\log \left (2\right )^{2}} \]
[In]
[Out]
Time = 0.48 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.05 \[ \int \frac {-10 x^7 \log (2)+\left (45 x^4+5 x^9\right ) \log ^2(2)+\left (10 x^5+\left (-54 x^2-6 x^7\right ) \log (2)\right ) \log \left (9+x^5\right )+\left (9+x^5\right ) \log ^2\left (9+x^5\right )}{\left (9+x^5\right ) \log ^2(2)} \, dx=\frac {x\,{\left (\ln \left (x^5+9\right )-x^2\,\ln \left (2\right )\right )}^2}{{\ln \left (2\right )}^2} \]
[In]
[Out]