Optimal. Leaf size=258 \[ \frac {3}{64} (-15+4 x) \sqrt [3]{5+4 x}+\frac {3}{160} (5+4 x)^{2/3} (-15+8 x)+\frac {3}{748} (5+4 x)^{5/6} \left (45-30 x+22 x^2\right )+\frac {3 \sqrt [6]{5+4 x} \left (4583-150 x+70 x^2+728 x^3\right )}{6916}-3 \log \left (1+\sqrt [6]{5+4 x}\right )+\frac {1}{2} \text {RootSum}\left [-4-\text {$\#$1}^3+\text {$\#$1}^6\& ,\frac {-4 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right )+3 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}-8 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}^2+2 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}^3-\log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}^4+2 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}^5}{-\text {$\#$1}^2+2 \text {$\#$1}^5}\& \right ] \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(976\) vs. \(2(258)=516\).
time = 4.08, antiderivative size = 976, normalized size of antiderivative = 3.78, number of steps
used = 40, number of rules used = 17, integrand size = 47, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.362, Rules used = {2080,
6873, 12, 6874, 2099, 1804, 1436, 206, 31, 648, 631, 210, 642, 1482, 646, 1524, 298}
\begin {gather*} \frac {3}{608} (4 x+5)^{19/6}+\frac {3}{544} (4 x+5)^{17/6}-\frac {15}{208} (4 x+5)^{13/6}-\frac {15}{176} (4 x+5)^{11/6}+\frac {3}{80} (4 x+5)^{5/3}+\frac {3}{64} (4 x+5)^{4/3}+\frac {75}{224} (4 x+5)^{7/6}+\frac {15}{32} (4 x+5)^{5/6}-\frac {15}{32} (4 x+5)^{2/3}-\frac {15}{16} \sqrt [3]{4 x+5}+\frac {3}{2} \sqrt [6]{4 x+5}+\frac {1}{4} \sqrt {\frac {3}{17}} \sqrt [3]{243+59 \sqrt {17}} \text {ArcTan}\left (\frac {1-2 \sqrt [3]{\frac {2}{-1+\sqrt {17}}} \sqrt [6]{4 x+5}}{\sqrt {3}}\right )-\frac {\sqrt {\frac {3}{17}} \sqrt [3]{37+9 \sqrt {17}} \text {ArcTan}\left (\frac {1-2 \sqrt [3]{\frac {2}{-1+\sqrt {17}}} \sqrt [6]{4 x+5}}{\sqrt {3}}\right )}{2^{2/3}}+\frac {1}{4} \sqrt {\frac {3}{17}} \sqrt [3]{-243+59 \sqrt {17}} \text {ArcTan}\left (\frac {2 \sqrt [3]{\frac {2}{1+\sqrt {17}}} \sqrt [6]{4 x+5}+1}{\sqrt {3}}\right )-\frac {\sqrt {\frac {3}{17}} \sqrt [3]{-37+9 \sqrt {17}} \text {ArcTan}\left (\frac {2 \sqrt [3]{\frac {2}{1+\sqrt {17}}} \sqrt [6]{4 x+5}+1}{\sqrt {3}}\right )}{2^{2/3}}-3 \log \left (\sqrt [6]{4 x+5}+1\right )+\frac {\sqrt [3]{-243+59 \sqrt {17}} \log \left (\sqrt [3]{1+\sqrt {17}}-\sqrt [3]{2} \sqrt [6]{4 x+5}\right )}{4 \sqrt {17}}+\frac {\sqrt [3]{-37+9 \sqrt {17}} \log \left (\sqrt [3]{1+\sqrt {17}}-\sqrt [3]{2} \sqrt [6]{4 x+5}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{243+59 \sqrt {17}} \log \left (\sqrt [3]{2} \sqrt [6]{4 x+5}+\sqrt [3]{-1+\sqrt {17}}\right )}{4 \sqrt {17}}+\frac {\sqrt [3]{37+9 \sqrt {17}} \log \left (\sqrt [3]{2} \sqrt [6]{4 x+5}+\sqrt [3]{-1+\sqrt {17}}\right )}{2^{2/3} \sqrt {17}}-\frac {\sqrt [3]{243+59 \sqrt {17}} \log \left (2^{2/3} \sqrt [3]{4 x+5}-\sqrt [3]{2 \left (-1+\sqrt {17}\right )} \sqrt [6]{4 x+5}+\left (-1+\sqrt {17}\right )^{2/3}\right )}{8 \sqrt {17}}-\frac {\sqrt [3]{37+9 \sqrt {17}} \log \left (2^{2/3} \sqrt [3]{4 x+5}-\sqrt [3]{2 \left (-1+\sqrt {17}\right )} \sqrt [6]{4 x+5}+\left (-1+\sqrt {17}\right )^{2/3}\right )}{2\ 2^{2/3} \sqrt {17}}-\frac {\sqrt [3]{-243+59 \sqrt {17}} \log \left (2^{2/3} \sqrt [3]{4 x+5}+\sqrt [3]{2 \left (1+\sqrt {17}\right )} \sqrt [6]{4 x+5}+\left (1+\sqrt {17}\right )^{2/3}\right )}{8 \sqrt {17}}-\frac {\sqrt [3]{-37+9 \sqrt {17}} \log \left (2^{2/3} \sqrt [3]{4 x+5}+\sqrt [3]{2 \left (1+\sqrt {17}\right )} \sqrt [6]{4 x+5}+\left (1+\sqrt {17}\right )^{2/3}\right )}{2\ 2^{2/3} \sqrt {17}}+\frac {1}{34} \left (17+7 \sqrt {17}\right ) \log \left (-2 \sqrt {4 x+5}-\sqrt {17}+1\right )+\frac {1}{34} \left (17-7 \sqrt {17}\right ) \log \left (-2 \sqrt {4 x+5}+\sqrt {17}+1\right ) \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
Rule 12
Rule 31
Rule 206
Rule 210
Rule 298
Rule 631
Rule 642
Rule 646
Rule 648
Rule 1436
Rule 1482
Rule 1524
Rule 1804
Rule 2080
Rule 2099
Rule 6873
Rule 6874
Rubi steps
\begin {align*} \int \frac {1-x^3 \sqrt [3]{5+4 x}-x^3 (5+4 x)^{2/3}}{1-x \sqrt {5+4 x}} \, dx &=6 \text {Subst}\left (\int \frac {x^5 \left (1-\frac {1}{64} x^2 \left (-5+x^6\right )^3-\frac {1}{64} x^4 \left (-5+x^6\right )^3\right )}{4+5 x^3-x^9} \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=6 \text {Subst}\left (\int \frac {x^5 \left (64+64 x+125 x^2+61 x^3+61 x^4-61 x^6-61 x^7-75 x^8-14 x^9-14 x^{10}+14 x^{12}+14 x^{13}+15 x^{14}+x^{15}+x^{16}-x^{18}-x^{19}-x^{20}\right )}{256+256 x+64 x^3+64 x^4-64 x^6-64 x^7} \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=6 \text {Subst}\left (\int \frac {x^5 \left (64+64 x+125 x^2+61 x^3+61 x^4-61 x^6-61 x^7-75 x^8-14 x^9-14 x^{10}+14 x^{12}+14 x^{13}+15 x^{14}+x^{15}+x^{16}-x^{18}-x^{19}-x^{20}\right )}{64 \left (4+4 x+x^3+x^4-x^6-x^7\right )} \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{32} \text {Subst}\left (\int \frac {x^5 \left (64+64 x+125 x^2+61 x^3+61 x^4-61 x^6-61 x^7-75 x^8-14 x^9-14 x^{10}+14 x^{12}+14 x^{13}+15 x^{14}+x^{15}+x^{16}-x^{18}-x^{19}-x^{20}\right )}{4+4 x+x^3+x^4-x^6-x^7} \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{32} \text {Subst}\left (\int \left (16-20 x-20 x^3+25 x^4+25 x^6+4 x^7+4 x^9-10 x^{10}-10 x^{12}+x^{16}+x^{18}-\frac {16 \left (4-x-5 x^2-4 x^3+x^4+x^5\right )}{4+4 x+x^3+x^4-x^6-x^7}\right ) \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-\frac {3}{2} \text {Subst}\left (\int \frac {4-x-5 x^2-4 x^3+x^4+x^5}{4+4 x+x^3+x^4-x^6-x^7} \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-\frac {3}{2} \text {Subst}\left (\int \left (\frac {2}{1+x}+\frac {4-3 x+8 x^2-2 x^3+x^4-2 x^5}{-4-x^3+x^6}\right ) \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-3 \log \left (1+\sqrt [6]{5+4 x}\right )-\frac {3}{2} \text {Subst}\left (\int \frac {4-3 x+8 x^2-2 x^3+x^4-2 x^5}{-4-x^3+x^6} \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-3 \log \left (1+\sqrt [6]{5+4 x}\right )-\frac {3}{2} \text {Subst}\left (\int \left (\frac {4-2 x^3}{-4-x^3+x^6}+\frac {x^2 \left (8-2 x^3\right )}{-4-x^3+x^6}+\frac {x \left (-3+x^3\right )}{-4-x^3+x^6}\right ) \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-3 \log \left (1+\sqrt [6]{5+4 x}\right )-\frac {3}{2} \text {Subst}\left (\int \frac {4-2 x^3}{-4-x^3+x^6} \, dx,x,\sqrt [6]{5+4 x}\right )-\frac {3}{2} \text {Subst}\left (\int \frac {x^2 \left (8-2 x^3\right )}{-4-x^3+x^6} \, dx,x,\sqrt [6]{5+4 x}\right )-\frac {3}{2} \text {Subst}\left (\int \frac {x \left (-3+x^3\right )}{-4-x^3+x^6} \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-3 \log \left (1+\sqrt [6]{5+4 x}\right )-\frac {1}{2} \text {Subst}\left (\int \frac {8-2 x}{-4-x+x^2} \, dx,x,\sqrt {5+4 x}\right )-\frac {1}{68} \left (3 \left (17-5 \sqrt {17}\right )\right ) \text {Subst}\left (\int \frac {x}{-\frac {1}{2}-\frac {\sqrt {17}}{2}+x^3} \, dx,x,\sqrt [6]{5+4 x}\right )+\frac {1}{34} \left (3 \left (17-3 \sqrt {17}\right )\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2}-\frac {\sqrt {17}}{2}+x^3} \, dx,x,\sqrt [6]{5+4 x}\right )+\frac {1}{34} \left (3 \left (17+3 \sqrt {17}\right )\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2}+\frac {\sqrt {17}}{2}+x^3} \, dx,x,\sqrt [6]{5+4 x}\right )-\frac {1}{68} \left (3 \left (17+5 \sqrt {17}\right )\right ) \text {Subst}\left (\int \frac {x}{-\frac {1}{2}+\frac {\sqrt {17}}{2}+x^3} \, dx,x,\sqrt [6]{5+4 x}\right )\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-3 \log \left (1+\sqrt [6]{5+4 x}\right )-\frac {1}{34} \left (-17+7 \sqrt {17}\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2}-\frac {\sqrt {17}}{2}+x} \, dx,x,\sqrt {5+4 x}\right )+\frac {1}{34} \left (17+7 \sqrt {17}\right ) \text {Subst}\left (\int \frac {1}{-\frac {1}{2}+\frac {\sqrt {17}}{2}+x} \, dx,x,\sqrt {5+4 x}\right )+\frac {\sqrt [3]{-37+9 \sqrt {17}} \text {Subst}\left (\int \frac {1}{-\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )}+x} \, dx,x,\sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{-37+9 \sqrt {17}} \text {Subst}\left (\int \frac {-2^{2/3} \sqrt [3]{1+\sqrt {17}}-x}{\left (\frac {1}{2} \left (1+\sqrt {17}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{37+9 \sqrt {17}} \text {Subst}\left (\int \frac {1}{\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )}+x} \, dx,x,\sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{37+9 \sqrt {17}} \text {Subst}\left (\int \frac {2^{2/3} \sqrt [3]{-1+\sqrt {17}}-x}{\left (\frac {1}{2} \left (-1+\sqrt {17}\right )\right )^{2/3}-\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{-243+59 \sqrt {17}} \text {Subst}\left (\int \frac {1}{-\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )}+x} \, dx,x,\sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}-\frac {\sqrt [3]{-243+59 \sqrt {17}} \text {Subst}\left (\int \frac {-\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )}+x}{\left (\frac {1}{2} \left (1+\sqrt {17}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}+\frac {\sqrt [3]{243+59 \sqrt {17}} \text {Subst}\left (\int \frac {1}{\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )}+x} \, dx,x,\sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}-\frac {\sqrt [3]{243+59 \sqrt {17}} \text {Subst}\left (\int \frac {\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )}+x}{\left (\frac {1}{2} \left (-1+\sqrt {17}\right )\right )^{2/3}-\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-3 \log \left (1+\sqrt [6]{5+4 x}\right )+\frac {\sqrt [3]{-37+9 \sqrt {17}} \log \left (\sqrt [3]{1+\sqrt {17}}-\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{-243+59 \sqrt {17}} \log \left (\sqrt [3]{1+\sqrt {17}}-\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}+\frac {\sqrt [3]{37+9 \sqrt {17}} \log \left (\sqrt [3]{-1+\sqrt {17}}+\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{243+59 \sqrt {17}} \log \left (\sqrt [3]{-1+\sqrt {17}}+\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}+\frac {1}{34} \left (17+7 \sqrt {17}\right ) \log \left (1-\sqrt {17}-2 \sqrt {5+4 x}\right )+\frac {1}{34} \left (17-7 \sqrt {17}\right ) \log \left (1+\sqrt {17}-2 \sqrt {5+4 x}\right )+\frac {\left (3 \sqrt [3]{\frac {1}{2} \left (95-23 \sqrt {17}\right )}\right ) \text {Subst}\left (\int \frac {1}{\left (\frac {1}{2} \left (1+\sqrt {17}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}-\frac {\left (3 \sqrt [3]{\frac {1}{2} \left (29-7 \sqrt {17}\right )}\right ) \text {Subst}\left (\int \frac {1}{\left (\frac {1}{2} \left (1+\sqrt {17}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{2 \sqrt {17}}+\frac {\left (3 \sqrt [3]{\frac {1}{2} \left (29+7 \sqrt {17}\right )}\right ) \text {Subst}\left (\int \frac {1}{\left (\frac {1}{2} \left (-1+\sqrt {17}\right )\right )^{2/3}-\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{2 \sqrt {17}}-\frac {\sqrt [3]{-37+9 \sqrt {17}} \text {Subst}\left (\int \frac {\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )}+2 x}{\left (\frac {1}{2} \left (1+\sqrt {17}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{2\ 2^{2/3} \sqrt {17}}-\frac {\sqrt [3]{37+9 \sqrt {17}} \text {Subst}\left (\int \frac {-\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )}+2 x}{\left (\frac {1}{2} \left (-1+\sqrt {17}\right )\right )^{2/3}-\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{2\ 2^{2/3} \sqrt {17}}-\frac {\left (3 \sqrt [3]{\frac {1}{2} \left (95+23 \sqrt {17}\right )}\right ) \text {Subst}\left (\int \frac {1}{\left (\frac {1}{2} \left (-1+\sqrt {17}\right )\right )^{2/3}-\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}-\frac {\sqrt [3]{-243+59 \sqrt {17}} \text {Subst}\left (\int \frac {\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )}+2 x}{\left (\frac {1}{2} \left (1+\sqrt {17}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{8 \sqrt {17}}-\frac {\sqrt [3]{243+59 \sqrt {17}} \text {Subst}\left (\int \frac {-\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )}+2 x}{\left (\frac {1}{2} \left (-1+\sqrt {17}\right )\right )^{2/3}-\sqrt [3]{\frac {1}{2} \left (-1+\sqrt {17}\right )} x+x^2} \, dx,x,\sqrt [6]{5+4 x}\right )}{8 \sqrt {17}}\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-3 \log \left (1+\sqrt [6]{5+4 x}\right )+\frac {\sqrt [3]{-37+9 \sqrt {17}} \log \left (\sqrt [3]{1+\sqrt {17}}-\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{-243+59 \sqrt {17}} \log \left (\sqrt [3]{1+\sqrt {17}}-\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}+\frac {\sqrt [3]{37+9 \sqrt {17}} \log \left (\sqrt [3]{-1+\sqrt {17}}+\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{243+59 \sqrt {17}} \log \left (\sqrt [3]{-1+\sqrt {17}}+\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}-\frac {\sqrt [3]{37+9 \sqrt {17}} \log \left (\left (-1+\sqrt {17}\right )^{2/3}-\sqrt [3]{2 \left (-1+\sqrt {17}\right )} \sqrt [6]{5+4 x}+2^{2/3} \sqrt [3]{5+4 x}\right )}{2\ 2^{2/3} \sqrt {17}}-\frac {\sqrt [3]{243+59 \sqrt {17}} \log \left (\left (-1+\sqrt {17}\right )^{2/3}-\sqrt [3]{2 \left (-1+\sqrt {17}\right )} \sqrt [6]{5+4 x}+2^{2/3} \sqrt [3]{5+4 x}\right )}{8 \sqrt {17}}-\frac {\sqrt [3]{-37+9 \sqrt {17}} \log \left (\left (1+\sqrt {17}\right )^{2/3}+\sqrt [3]{2 \left (1+\sqrt {17}\right )} \sqrt [6]{5+4 x}+2^{2/3} \sqrt [3]{5+4 x}\right )}{2\ 2^{2/3} \sqrt {17}}-\frac {\sqrt [3]{-243+59 \sqrt {17}} \log \left (\left (1+\sqrt {17}\right )^{2/3}+\sqrt [3]{2 \left (1+\sqrt {17}\right )} \sqrt [6]{5+4 x}+2^{2/3} \sqrt [3]{5+4 x}\right )}{8 \sqrt {17}}+\frac {1}{34} \left (17+7 \sqrt {17}\right ) \log \left (1-\sqrt {17}-2 \sqrt {5+4 x}\right )+\frac {1}{34} \left (17-7 \sqrt {17}\right ) \log \left (1+\sqrt {17}-2 \sqrt {5+4 x}\right )+\frac {\left (3 \sqrt [3]{-37+9 \sqrt {17}}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+2 \sqrt [3]{\frac {2}{1+\sqrt {17}}} \sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\left (3 \sqrt [3]{37+9 \sqrt {17}}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-2 \sqrt [3]{\frac {2}{-1+\sqrt {17}}} \sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}-\frac {\left (3 \sqrt [3]{-243+59 \sqrt {17}}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+2 \sqrt [3]{\frac {2}{1+\sqrt {17}}} \sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}-\frac {\left (3 \sqrt [3]{243+59 \sqrt {17}}\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-2 \sqrt [3]{\frac {2}{-1+\sqrt {17}}} \sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}\\ &=\frac {3}{2} \sqrt [6]{5+4 x}-\frac {15}{16} \sqrt [3]{5+4 x}-\frac {15}{32} (5+4 x)^{2/3}+\frac {15}{32} (5+4 x)^{5/6}+\frac {75}{224} (5+4 x)^{7/6}+\frac {3}{64} (5+4 x)^{4/3}+\frac {3}{80} (5+4 x)^{5/3}-\frac {15}{176} (5+4 x)^{11/6}-\frac {15}{208} (5+4 x)^{13/6}+\frac {3}{544} (5+4 x)^{17/6}+\frac {3}{608} (5+4 x)^{19/6}-\frac {\sqrt {\frac {3}{17}} \sqrt [3]{37+9 \sqrt {17}} \tan ^{-1}\left (\frac {1-2 \sqrt [3]{\frac {2}{-1+\sqrt {17}}} \sqrt [6]{5+4 x}}{\sqrt {3}}\right )}{2^{2/3}}+\frac {1}{4} \sqrt {\frac {3}{17}} \sqrt [3]{243+59 \sqrt {17}} \tan ^{-1}\left (\frac {1-2 \sqrt [3]{\frac {2}{-1+\sqrt {17}}} \sqrt [6]{5+4 x}}{\sqrt {3}}\right )-\frac {\sqrt {\frac {3}{17}} \sqrt [3]{-37+9 \sqrt {17}} \tan ^{-1}\left (\frac {1+2 \sqrt [3]{\frac {2}{1+\sqrt {17}}} \sqrt [6]{5+4 x}}{\sqrt {3}}\right )}{2^{2/3}}+\frac {1}{4} \sqrt {\frac {3}{17}} \sqrt [3]{-243+59 \sqrt {17}} \tan ^{-1}\left (\frac {1+2 \sqrt [3]{\frac {2}{1+\sqrt {17}}} \sqrt [6]{5+4 x}}{\sqrt {3}}\right )-3 \log \left (1+\sqrt [6]{5+4 x}\right )+\frac {\sqrt [3]{-37+9 \sqrt {17}} \log \left (\sqrt [3]{1+\sqrt {17}}-\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{-243+59 \sqrt {17}} \log \left (\sqrt [3]{1+\sqrt {17}}-\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}+\frac {\sqrt [3]{37+9 \sqrt {17}} \log \left (\sqrt [3]{-1+\sqrt {17}}+\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{2^{2/3} \sqrt {17}}+\frac {\sqrt [3]{243+59 \sqrt {17}} \log \left (\sqrt [3]{-1+\sqrt {17}}+\sqrt [3]{2} \sqrt [6]{5+4 x}\right )}{4 \sqrt {17}}-\frac {\sqrt [3]{37+9 \sqrt {17}} \log \left (\left (-1+\sqrt {17}\right )^{2/3}-\sqrt [3]{2 \left (-1+\sqrt {17}\right )} \sqrt [6]{5+4 x}+2^{2/3} \sqrt [3]{5+4 x}\right )}{2\ 2^{2/3} \sqrt {17}}-\frac {\sqrt [3]{243+59 \sqrt {17}} \log \left (\left (-1+\sqrt {17}\right )^{2/3}-\sqrt [3]{2 \left (-1+\sqrt {17}\right )} \sqrt [6]{5+4 x}+2^{2/3} \sqrt [3]{5+4 x}\right )}{8 \sqrt {17}}-\frac {\sqrt [3]{-37+9 \sqrt {17}} \log \left (\left (1+\sqrt {17}\right )^{2/3}+\sqrt [3]{2 \left (1+\sqrt {17}\right )} \sqrt [6]{5+4 x}+2^{2/3} \sqrt [3]{5+4 x}\right )}{2\ 2^{2/3} \sqrt {17}}-\frac {\sqrt [3]{-243+59 \sqrt {17}} \log \left (\left (1+\sqrt {17}\right )^{2/3}+\sqrt [3]{2 \left (1+\sqrt {17}\right )} \sqrt [6]{5+4 x}+2^{2/3} \sqrt [3]{5+4 x}\right )}{8 \sqrt {17}}+\frac {1}{34} \left (17+7 \sqrt {17}\right ) \log \left (1-\sqrt {17}-2 \sqrt {5+4 x}\right )+\frac {1}{34} \left (17-7 \sqrt {17}\right ) \log \left (1+\sqrt {17}-2 \sqrt {5+4 x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.12, size = 297, normalized size = 1.15 \begin {gather*} \frac {3 \left (51731680 \sqrt [6]{5+4 x}-32332300 \sqrt [3]{5+4 x}-16166150 (5+4 x)^{2/3}+16166150 (5+4 x)^{5/6}+11547250 (5+4 x)^{7/6}+1616615 (5+4 x)^{4/3}+1293292 (5+4 x)^{5/3}-2939300 (5+4 x)^{11/6}-2487100 (5+4 x)^{13/6}+190190 (5+4 x)^{17/6}+170170 (5+4 x)^{19/6}\right )}{103463360}-3 \log \left (1+\sqrt [6]{5+4 x}\right )+\frac {1}{2} \text {RootSum}\left [-4-\text {$\#$1}^3+\text {$\#$1}^6\&,\frac {-4 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right )+3 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}-8 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}^2+2 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}^3-\log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}^4+2 \log \left (\sqrt [6]{5+4 x}-\text {$\#$1}\right ) \text {$\#$1}^5}{-\text {$\#$1}^2+2 \text {$\#$1}^5}\&\right ] \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
1.
time = 0.11, size = 180, normalized size = 0.70
method | result | size |
derivativedivides | \(\frac {3 \left (5+4 x \right )^{\frac {19}{6}}}{608}+\frac {3 \left (5+4 x \right )^{\frac {17}{6}}}{544}-\frac {15 \left (5+4 x \right )^{\frac {13}{6}}}{208}-\frac {15 \left (5+4 x \right )^{\frac {11}{6}}}{176}+\frac {3 \left (5+4 x \right )^{\frac {5}{3}}}{80}+\frac {3 \left (5+4 x \right )^{\frac {4}{3}}}{64}+\frac {75 \left (5+4 x \right )^{\frac {7}{6}}}{224}+\frac {15 \left (5+4 x \right )^{\frac {5}{6}}}{32}-\frac {15 \left (5+4 x \right )^{\frac {2}{3}}}{32}-\frac {15 \left (5+4 x \right )^{\frac {1}{3}}}{16}+\frac {3 \left (5+4 x \right )^{\frac {1}{6}}}{2}-3 \ln \left (\left (5+4 x \right )^{\frac {1}{6}}+1\right )+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{6}-\textit {\_Z}^{3}-4\right )}{\sum }\frac {\left (2 \textit {\_R}^{5}-\textit {\_R}^{4}+2 \textit {\_R}^{3}-8 \textit {\_R}^{2}+3 \textit {\_R} -4\right ) \ln \left (\left (5+4 x \right )^{\frac {1}{6}}-\textit {\_R} \right )}{2 \textit {\_R}^{5}-\textit {\_R}^{2}}\right )}{2}\) | \(180\) |
default | \(\frac {3 \left (5+4 x \right )^{\frac {19}{6}}}{608}+\frac {3 \left (5+4 x \right )^{\frac {17}{6}}}{544}-\frac {15 \left (5+4 x \right )^{\frac {13}{6}}}{208}-\frac {15 \left (5+4 x \right )^{\frac {11}{6}}}{176}+\frac {3 \left (5+4 x \right )^{\frac {5}{3}}}{80}+\frac {3 \left (5+4 x \right )^{\frac {4}{3}}}{64}+\frac {75 \left (5+4 x \right )^{\frac {7}{6}}}{224}+\frac {15 \left (5+4 x \right )^{\frac {5}{6}}}{32}-\frac {15 \left (5+4 x \right )^{\frac {2}{3}}}{32}-\frac {15 \left (5+4 x \right )^{\frac {1}{3}}}{16}+\frac {3 \left (5+4 x \right )^{\frac {1}{6}}}{2}-3 \ln \left (\left (5+4 x \right )^{\frac {1}{6}}+1\right )+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{6}-\textit {\_Z}^{3}-4\right )}{\sum }\frac {\left (2 \textit {\_R}^{5}-\textit {\_R}^{4}+2 \textit {\_R}^{3}-8 \textit {\_R}^{2}+3 \textit {\_R} -4\right ) \ln \left (\left (5+4 x \right )^{\frac {1}{6}}-\textit {\_R} \right )}{2 \textit {\_R}^{5}-\textit {\_R}^{2}}\right )}{2}\) | \(180\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{3} \left (4 x + 5\right )^{\frac {2}{3}} + x^{3} \sqrt [3]{4 x + 5} - 1}{x \sqrt {4 x + 5} - 1}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.90, size = 423, normalized size = 1.64 \begin {gather*} \left (\sum _{k=1}^6\ln \left (\mathrm {root}\left (z^6-3\,z^5+\frac {45\,z^4}{68}+\frac {957\,z^3}{544}-\frac {1863\,z^2}{9248}-\frac {225\,z}{578}-\frac {2439}{39304},z,k\right )\,\left (-\mathrm {root}\left (z^6-3\,z^5+\frac {45\,z^4}{68}+\frac {957\,z^3}{544}-\frac {1863\,z^2}{9248}-\frac {225\,z}{578}-\frac {2439}{39304},z,k\right )\,\left (\mathrm {root}\left (z^6-3\,z^5+\frac {45\,z^4}{68}+\frac {957\,z^3}{544}-\frac {1863\,z^2}{9248}-\frac {225\,z}{578}-\frac {2439}{39304},z,k\right )\,\left (-\mathrm {root}\left (z^6-3\,z^5+\frac {45\,z^4}{68}+\frac {957\,z^3}{544}-\frac {1863\,z^2}{9248}-\frac {225\,z}{578}-\frac {2439}{39304},z,k\right )\,\left (\mathrm {root}\left (z^6-3\,z^5+\frac {45\,z^4}{68}+\frac {957\,z^3}{544}-\frac {1863\,z^2}{9248}-\frac {225\,z}{578}-\frac {2439}{39304},z,k\right )\,\left (-\mathrm {root}\left (z^6-3\,z^5+\frac {45\,z^4}{68}+\frac {957\,z^3}{544}-\frac {1863\,z^2}{9248}-\frac {225\,z}{578}-\frac {2439}{39304},z,k\right )\,\left (89890560\,{\left (4\,x+5\right )}^{1/6}+95508720\right )+92137824\,{\left (4\,x+5\right )}^{1/6}+79777872\right )+37240965\,{\left (4\,x+5\right )}^{1/6}+52777656\right )+42123807\,{\left (4\,x+5\right )}^{1/6}+37377288\right )+8945559\,{\left (4\,x+5\right )}^{1/6}+13837149\right )+5031558\,{\left (4\,x+5\right )}^{1/6}+2990358\right )+1119744\,{\left (4\,x+5\right )}^{1/6}+874800\right )\,\mathrm {root}\left (z^6-3\,z^5+\frac {45\,z^4}{68}+\frac {957\,z^3}{544}-\frac {1863\,z^2}{9248}-\frac {225\,z}{578}-\frac {2439}{39304},z,k\right )\right )-3\,\ln \left (-83860333479\,{\left (4\,x+5\right )}^{1/6}-83860333479\right )-\frac {15\,{\left (4\,x+5\right )}^{1/3}}{16}-\frac {15\,{\left (4\,x+5\right )}^{2/3}}{32}+\frac {3\,{\left (4\,x+5\right )}^{1/6}}{2}+\frac {3\,{\left (4\,x+5\right )}^{4/3}}{64}+\frac {3\,{\left (4\,x+5\right )}^{5/3}}{80}+\frac {15\,{\left (4\,x+5\right )}^{5/6}}{32}+\frac {75\,{\left (4\,x+5\right )}^{7/6}}{224}-\frac {15\,{\left (4\,x+5\right )}^{11/6}}{176}-\frac {15\,{\left (4\,x+5\right )}^{13/6}}{208}+\frac {3\,{\left (4\,x+5\right )}^{17/6}}{544}+\frac {3\,{\left (4\,x+5\right )}^{19/6}}{608} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________