Optimal. Leaf size=393 \[ -\frac {1}{2 \left (a+b c^3\right ) x^2}+\frac {3 b c^2 d}{\left (a+b c^3\right )^2 x}+\frac {b^{2/3} \left (\sqrt [3]{a}+\sqrt [3]{b} c\right )^3 \left (a-3 a^{2/3} \sqrt [3]{b} c+b c^3\right ) d^2 \tan ^{-1}\left (\frac {\sqrt [3]{a}-2 \sqrt [3]{b} (c+d x)}{\sqrt {3} \sqrt [3]{a}}\right )}{\sqrt {3} a^{2/3} \left (a+b c^3\right )^3}-\frac {3 b c \left (a-2 b c^3\right ) d^2 \log (x)}{\left (a+b c^3\right )^3}-\frac {b^{2/3} \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2 \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} \left (a+b c^3\right )^3}+\frac {b^{2/3} \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2 \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{6 a^{2/3} \left (a+b c^3\right )^3}+\frac {b c \left (a-2 b c^3\right ) d^2 \log \left (a+b (c+d x)^3\right )}{\left (a+b c^3\right )^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.46, antiderivative size = 393, normalized size of antiderivative = 1.00, number of steps
used = 11, number of rules used = 10, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.588, Rules used = {378, 6857,
1885, 1874, 31, 648, 631, 210, 642, 266} \begin {gather*} \frac {b^{2/3} d^2 \left (-3 a^{2/3} \sqrt [3]{b} c+a+b c^3\right ) \left (\sqrt [3]{a}+\sqrt [3]{b} c\right )^3 \text {ArcTan}\left (\frac {\sqrt [3]{a}-2 \sqrt [3]{b} (c+d x)}{\sqrt {3} \sqrt [3]{a}}\right )}{\sqrt {3} a^{2/3} \left (a+b c^3\right )^3}-\frac {b^{2/3} d^2 \left (6 a^{4/3} b^{2/3} c^2+a^2-3 \sqrt [3]{a} b^{5/3} c^5-7 a b c^3+b^2 c^6\right ) \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} \left (a+b c^3\right )^3}+\frac {b^{2/3} d^2 \left (6 a^{4/3} b^{2/3} c^2+a^2-3 \sqrt [3]{a} b^{5/3} c^5-7 a b c^3+b^2 c^6\right ) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{6 a^{2/3} \left (a+b c^3\right )^3}-\frac {3 b c d^2 \log (x) \left (a-2 b c^3\right )}{\left (a+b c^3\right )^3}+\frac {b c d^2 \left (a-2 b c^3\right ) \log \left (a+b (c+d x)^3\right )}{\left (a+b c^3\right )^3}-\frac {1}{2 x^2 \left (a+b c^3\right )}+\frac {3 b c^2 d}{x \left (a+b c^3\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 210
Rule 266
Rule 378
Rule 631
Rule 642
Rule 648
Rule 1874
Rule 1885
Rule 6857
Rubi steps
\begin {align*} \int \frac {1}{x^3 \left (a+b (c+d x)^3\right )} \, dx &=d^2 \text {Subst}\left (\int \frac {1}{(-c+x)^3 \left (a+b x^3\right )} \, dx,x,c+d x\right )\\ &=d^2 \text {Subst}\left (\int \left (-\frac {1}{\left (a+b c^3\right ) (c-x)^3}-\frac {3 b c^2}{\left (a+b c^3\right )^2 (c-x)^2}-\frac {3 b c \left (-a+2 b c^3\right )}{\left (a+b c^3\right )^3 (c-x)}+\frac {b \left (-a^2+7 a b c^3-b^2 c^6+3 b c^2 \left (2 a-b c^3\right ) x+3 b c \left (a-2 b c^3\right ) x^2\right )}{\left (a+b c^3\right )^3 \left (a+b x^3\right )}\right ) \, dx,x,c+d x\right )\\ &=-\frac {1}{2 \left (a+b c^3\right ) x^2}+\frac {3 b c^2 d}{\left (a+b c^3\right )^2 x}-\frac {3 b c \left (a-2 b c^3\right ) d^2 \log (x)}{\left (a+b c^3\right )^3}+\frac {\left (b d^2\right ) \text {Subst}\left (\int \frac {-a^2+7 a b c^3-b^2 c^6+3 b c^2 \left (2 a-b c^3\right ) x+3 b c \left (a-2 b c^3\right ) x^2}{a+b x^3} \, dx,x,c+d x\right )}{\left (a+b c^3\right )^3}\\ &=-\frac {1}{2 \left (a+b c^3\right ) x^2}+\frac {3 b c^2 d}{\left (a+b c^3\right )^2 x}-\frac {3 b c \left (a-2 b c^3\right ) d^2 \log (x)}{\left (a+b c^3\right )^3}+\frac {\left (b d^2\right ) \text {Subst}\left (\int \frac {-a^2+7 a b c^3-b^2 c^6+3 b c^2 \left (2 a-b c^3\right ) x}{a+b x^3} \, dx,x,c+d x\right )}{\left (a+b c^3\right )^3}+\frac {\left (3 b^2 c \left (a-2 b c^3\right ) d^2\right ) \text {Subst}\left (\int \frac {x^2}{a+b x^3} \, dx,x,c+d x\right )}{\left (a+b c^3\right )^3}\\ &=-\frac {1}{2 \left (a+b c^3\right ) x^2}+\frac {3 b c^2 d}{\left (a+b c^3\right )^2 x}-\frac {3 b c \left (a-2 b c^3\right ) d^2 \log (x)}{\left (a+b c^3\right )^3}+\frac {b c \left (a-2 b c^3\right ) d^2 \log \left (a+b (c+d x)^3\right )}{\left (a+b c^3\right )^3}+\frac {\left (b^{2/3} d^2\right ) \text {Subst}\left (\int \frac {\sqrt [3]{a} \left (3 \sqrt [3]{a} b c^2 \left (2 a-b c^3\right )+2 \sqrt [3]{b} \left (-a^2+7 a b c^3-b^2 c^6\right )\right )+\sqrt [3]{b} \left (3 \sqrt [3]{a} b c^2 \left (2 a-b c^3\right )-\sqrt [3]{b} \left (-a^2+7 a b c^3-b^2 c^6\right )\right ) x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{3 a^{2/3} \left (a+b c^3\right )^3}-\frac {\left (b \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{a}+\sqrt [3]{b} x} \, dx,x,c+d x\right )}{3 a^{2/3} \left (a+b c^3\right )^3}\\ &=-\frac {1}{2 \left (a+b c^3\right ) x^2}+\frac {3 b c^2 d}{\left (a+b c^3\right )^2 x}-\frac {3 b c \left (a-2 b c^3\right ) d^2 \log (x)}{\left (a+b c^3\right )^3}-\frac {b^{2/3} \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2 \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} \left (a+b c^3\right )^3}+\frac {b c \left (a-2 b c^3\right ) d^2 \log \left (a+b (c+d x)^3\right )}{\left (a+b c^3\right )^3}-\frac {\left (b \left (\sqrt [3]{a}+\sqrt [3]{b} c\right )^3 \left (a-3 a^{2/3} \sqrt [3]{b} c+b c^3\right ) d^2\right ) \text {Subst}\left (\int \frac {1}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{2 \sqrt [3]{a} \left (a+b c^3\right )^3}+\frac {\left (b^{2/3} \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2\right ) \text {Subst}\left (\int \frac {-\sqrt [3]{a} \sqrt [3]{b}+2 b^{2/3} x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{6 a^{2/3} \left (a+b c^3\right )^3}\\ &=-\frac {1}{2 \left (a+b c^3\right ) x^2}+\frac {3 b c^2 d}{\left (a+b c^3\right )^2 x}-\frac {3 b c \left (a-2 b c^3\right ) d^2 \log (x)}{\left (a+b c^3\right )^3}-\frac {b^{2/3} \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2 \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} \left (a+b c^3\right )^3}+\frac {b^{2/3} \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2 \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{6 a^{2/3} \left (a+b c^3\right )^3}+\frac {b c \left (a-2 b c^3\right ) d^2 \log \left (a+b (c+d x)^3\right )}{\left (a+b c^3\right )^3}-\frac {\left (b^{2/3} \left (\sqrt [3]{a}+\sqrt [3]{b} c\right )^3 \left (a-3 a^{2/3} \sqrt [3]{b} c+b c^3\right ) d^2\right ) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 \sqrt [3]{b} (c+d x)}{\sqrt [3]{a}}\right )}{a^{2/3} \left (a+b c^3\right )^3}\\ &=-\frac {1}{2 \left (a+b c^3\right ) x^2}+\frac {3 b c^2 d}{\left (a+b c^3\right )^2 x}+\frac {b^{2/3} \left (\sqrt [3]{a}+\sqrt [3]{b} c\right )^3 \left (a-3 a^{2/3} \sqrt [3]{b} c+b c^3\right ) d^2 \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{b} (c+d x)}{\sqrt [3]{a}}}{\sqrt {3}}\right )}{\sqrt {3} a^{2/3} \left (a+b c^3\right )^3}-\frac {3 b c \left (a-2 b c^3\right ) d^2 \log (x)}{\left (a+b c^3\right )^3}-\frac {b^{2/3} \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2 \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{3 a^{2/3} \left (a+b c^3\right )^3}+\frac {b^{2/3} \left (a^2+6 a^{4/3} b^{2/3} c^2-7 a b c^3-3 \sqrt [3]{a} b^{5/3} c^5+b^2 c^6\right ) d^2 \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{6 a^{2/3} \left (a+b c^3\right )^3}+\frac {b c \left (a-2 b c^3\right ) d^2 \log \left (a+b (c+d x)^3\right )}{\left (a+b c^3\right )^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 0.11, size = 244, normalized size = 0.62 \begin {gather*} -\frac {3 \left (a+b c^3\right ) \left (a+b c^2 (c-6 d x)\right )+18 b c \left (a-2 b c^3\right ) d^2 x^2 \log (x)+2 d^2 x^2 \text {RootSum}\left [a+b c^3+3 b c^2 d \text {$\#$1}+3 b c d^2 \text {$\#$1}^2+b d^3 \text {$\#$1}^3\&,\frac {a^2 \log (x-\text {$\#$1})-16 a b c^3 \log (x-\text {$\#$1})+10 b^2 c^6 \log (x-\text {$\#$1})-12 a b c^2 d \log (x-\text {$\#$1}) \text {$\#$1}+15 b^2 c^5 d \log (x-\text {$\#$1}) \text {$\#$1}-3 a b c d^2 \log (x-\text {$\#$1}) \text {$\#$1}^2+6 b^2 c^4 d^2 \log (x-\text {$\#$1}) \text {$\#$1}^2}{c^2+2 c d \text {$\#$1}+d^2 \text {$\#$1}^2}\&\right ]}{6 \left (a+b c^3\right )^3 x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.08, size = 200, normalized size = 0.51
method | result | size |
default | \(-\frac {d^{2} \left (\munderset {\textit {\_R} =\RootOf \left (d^{3} b \,\textit {\_Z}^{3}+3 b c \,d^{2} \textit {\_Z}^{2}+3 b \,c^{2} d \textit {\_Z} +b \,c^{3}+a \right )}{\sum }\frac {\left (6 \textit {\_R}^{2} b^{2} c^{4} d^{2}+15 \textit {\_R} \,b^{2} c^{5} d +10 b^{2} c^{6}-3 \textit {\_R}^{2} a b c \,d^{2}-12 \textit {\_R} a b \,c^{2} d -16 a b \,c^{3}+a^{2}\right ) \ln \left (x -\textit {\_R} \right )}{d^{2} \textit {\_R}^{2}+2 c d \textit {\_R} +c^{2}}\right )}{3 \left (b \,c^{3}+a \right )^{3}}-\frac {1}{2 \left (b \,c^{3}+a \right ) x^{2}}+\frac {3 b \,c^{2} d}{\left (b \,c^{3}+a \right )^{2} x}-\frac {3 b c \left (-2 b \,c^{3}+a \right ) d^{2} \ln \left (x \right )}{\left (b \,c^{3}+a \right )^{3}}\) | \(200\) |
risch | \(\frac {\frac {3 b \,c^{2} d x}{b^{2} c^{6}+2 a b \,c^{3}+a^{2}}-\frac {1}{2 \left (b \,c^{3}+a \right )}}{x^{2}}+\frac {6 b^{2} c^{4} d^{2} \ln \left (-x \right )}{b^{3} c^{9}+3 a \,b^{2} c^{6}+3 a^{2} b \,c^{3}+a^{3}}-\frac {3 b c \,d^{2} \ln \left (-x \right ) a}{b^{3} c^{9}+3 a \,b^{2} c^{6}+3 a^{2} b \,c^{3}+a^{3}}+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (\left (a^{2} b^{3} c^{9}+3 a^{3} b^{2} c^{6}+3 a^{4} b \,c^{3}+a^{5}\right ) \textit {\_Z}^{3}+\left (18 d^{2} c^{4} b^{2} a^{2}-9 a^{3} b c \,d^{2}\right ) \textit {\_Z}^{2}+9 a \,b^{2} c^{2} d^{4} \textit {\_Z} +b^{2} d^{6}\right )}{\sum }\textit {\_R} \ln \left (\left (\left (2 a \,b^{5} c^{15} d +4 a^{2} b^{4} c^{12} d -4 a^{3} b^{3} c^{9} d -16 a^{4} b^{2} c^{6} d -14 a^{5} b \,c^{3} d -4 a^{6} d \right ) \textit {\_R}^{3}+\left (b^{5} c^{13} d^{3}-29 a \,b^{4} c^{10} d^{3}-39 a^{2} b^{3} c^{7} d^{3}+13 a^{3} b^{2} c^{4} d^{3}+22 a^{4} b c \,d^{3}\right ) \textit {\_R}^{2}+\left (-18 b^{4} c^{8} d^{5}-90 a \,b^{3} c^{5} d^{5}+9 a^{2} b^{2} c^{2} d^{5}\right ) \textit {\_R} -3 b^{3} c^{3} d^{7}-3 a \,b^{2} d^{7}\right ) x +\left (a \,b^{5} c^{16}+5 a^{2} b^{4} c^{13}+10 a^{3} b^{3} c^{10}+10 a^{4} b^{2} c^{7}+5 a^{5} b \,c^{4}+a^{6} c \right ) \textit {\_R}^{3}+\left (b^{5} c^{14} d^{2}-14 a \,b^{4} c^{11} d^{2}-21 a^{2} b^{3} c^{8} d^{2}+4 a^{3} b^{2} c^{5} d^{2}+10 a^{4} b \,c^{2} d^{2}\right ) \textit {\_R}^{2}+\left (-19 b^{4} c^{9} d^{4}-12 a \,b^{3} c^{6} d^{4}+6 a^{2} b^{2} c^{3} d^{4}-a^{3} b \,d^{4}\right ) \textit {\_R} +18 b^{3} c^{4} d^{6}-9 a \,b^{2} c \,d^{6}\right )\right )}{3}\) | \(625\) |
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 [C] Result contains complex when optimal does not.
time = 5.07, size = 14765, normalized size = 37.57 \begin {gather*} \text {too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [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]
________________________________________________________________________________________
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 = 2.49, size = 1328, normalized size = 3.38 \begin {gather*} \left (\sum _{k=1}^3\ln \left (\frac {6\,b^6\,c^4\,d^{14}-3\,a\,b^5\,c\,d^{14}}{a^4+4\,a^3\,b\,c^3+6\,a^2\,b^2\,c^6+4\,a\,b^3\,c^9+b^4\,c^{12}}-\mathrm {root}\left (81\,a^3\,b^2\,c^6\,z^3+27\,a^2\,b^3\,c^9\,z^3+81\,a^4\,b\,c^3\,z^3+27\,a^5\,z^3-81\,a^3\,b\,c\,d^2\,z^2+162\,a^2\,b^2\,c^4\,d^2\,z^2+27\,a\,b^2\,c^2\,d^4\,z+b^2\,d^6,z,k\right )\,\left (\frac {a^3\,b^4\,d^{12}-6\,a^2\,b^5\,c^3\,d^{12}+12\,a\,b^6\,c^6\,d^{12}+19\,b^7\,c^9\,d^{12}}{a^4+4\,a^3\,b\,c^3+6\,a^2\,b^2\,c^6+4\,a\,b^3\,c^9+b^4\,c^{12}}-\mathrm {root}\left (81\,a^3\,b^2\,c^6\,z^3+27\,a^2\,b^3\,c^9\,z^3+81\,a^4\,b\,c^3\,z^3+27\,a^5\,z^3-81\,a^3\,b\,c\,d^2\,z^2+162\,a^2\,b^2\,c^4\,d^2\,z^2+27\,a\,b^2\,c^2\,d^4\,z+b^2\,d^6,z,k\right )\,\left (\mathrm {root}\left (81\,a^3\,b^2\,c^6\,z^3+27\,a^2\,b^3\,c^9\,z^3+81\,a^4\,b\,c^3\,z^3+27\,a^5\,z^3-81\,a^3\,b\,c\,d^2\,z^2+162\,a^2\,b^2\,c^4\,d^2\,z^2+27\,a\,b^2\,c^2\,d^4\,z+b^2\,d^6,z,k\right )\,\left (\frac {9\,a^6\,b^3\,c\,d^8+45\,a^5\,b^4\,c^4\,d^8+90\,a^4\,b^5\,c^7\,d^8+90\,a^3\,b^6\,c^{10}\,d^8+45\,a^2\,b^7\,c^{13}\,d^8+9\,a\,b^8\,c^{16}\,d^8}{a^4+4\,a^3\,b\,c^3+6\,a^2\,b^2\,c^6+4\,a\,b^3\,c^9+b^4\,c^{12}}-\frac {x\,\left (36\,a^6\,b^3\,d^9+126\,a^5\,b^4\,c^3\,d^9+144\,a^4\,b^5\,c^6\,d^9+36\,a^3\,b^6\,c^9\,d^9-36\,a^2\,b^7\,c^{12}\,d^9-18\,a\,b^8\,c^{15}\,d^9\right )}{a^4+4\,a^3\,b\,c^3+6\,a^2\,b^2\,c^6+4\,a\,b^3\,c^9+b^4\,c^{12}}\right )+\frac {30\,a^4\,b^4\,c^2\,d^{10}+12\,a^3\,b^5\,c^5\,d^{10}-63\,a^2\,b^6\,c^8\,d^{10}-42\,a\,b^7\,c^{11}\,d^{10}+3\,b^8\,c^{14}\,d^{10}}{a^4+4\,a^3\,b\,c^3+6\,a^2\,b^2\,c^6+4\,a\,b^3\,c^9+b^4\,c^{12}}+\frac {x\,\left (66\,a^4\,b^4\,c\,d^{11}+39\,a^3\,b^5\,c^4\,d^{11}-117\,a^2\,b^6\,c^7\,d^{11}-87\,a\,b^7\,c^{10}\,d^{11}+3\,b^8\,c^{13}\,d^{11}\right )}{a^4+4\,a^3\,b\,c^3+6\,a^2\,b^2\,c^6+4\,a\,b^3\,c^9+b^4\,c^{12}}\right )+\frac {x\,\left (-9\,a^2\,b^5\,c^2\,d^{13}+90\,a\,b^6\,c^5\,d^{13}+18\,b^7\,c^8\,d^{13}\right )}{a^4+4\,a^3\,b\,c^3+6\,a^2\,b^2\,c^6+4\,a\,b^3\,c^9+b^4\,c^{12}}\right )-\frac {x\,\left (b^6\,c^3\,d^{15}+a\,b^5\,d^{15}\right )}{a^4+4\,a^3\,b\,c^3+6\,a^2\,b^2\,c^6+4\,a\,b^3\,c^9+b^4\,c^{12}}\right )\,\mathrm {root}\left (81\,a^3\,b^2\,c^6\,z^3+27\,a^2\,b^3\,c^9\,z^3+81\,a^4\,b\,c^3\,z^3+27\,a^5\,z^3-81\,a^3\,b\,c\,d^2\,z^2+162\,a^2\,b^2\,c^4\,d^2\,z^2+27\,a\,b^2\,c^2\,d^4\,z+b^2\,d^6,z,k\right )\right )-\frac {1}{2\,\left (b\,c^3\,x^2+a\,x^2\right )}+\frac {3\,b\,c^2\,d}{x\,a^2+2\,x\,a\,b\,c^3+x\,b^2\,c^6}+\frac {6\,b^2\,c^4\,d^2\,\ln \left (x\right )}{a^3+3\,a^2\,b\,c^3+3\,a\,b^2\,c^6+b^3\,c^9}-\frac {3\,a\,b\,c\,d^2\,\ln \left (x\right )}{a^3+3\,a^2\,b\,c^3+3\,a\,b^2\,c^6+b^3\,c^9} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________