Optimal. Leaf size=1352 \[ \text{result too large to display} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.41165, antiderivative size = 1352, normalized size of antiderivative = 1., number of steps used = 46, number of rules used = 15, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.882, Rules used = {6742, 1854, 1855, 1876, 275, 205, 1168, 1162, 617, 204, 1165, 628, 1248, 635, 260} \[ \text{result too large to display} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6742
Rule 1854
Rule 1855
Rule 1876
Rule 275
Rule 205
Rule 1168
Rule 1162
Rule 617
Rule 204
Rule 1165
Rule 628
Rule 1248
Rule 635
Rule 260
Rubi steps
\begin{align*} \int \frac{1}{(d+e x) \left (a+c x^4\right )^3} \, dx &=\int \left (\frac{e^{12}}{\left (c d^4+a e^4\right )^3 (d+e x)}+\frac{c \left (d^3-d^2 e x+d e^2 x^2-e^3 x^3\right )}{\left (c d^4+a e^4\right ) \left (a+c x^4\right )^3}-\frac{c e^4 \left (-d^3+d^2 e x-d e^2 x^2+e^3 x^3\right )}{\left (c d^4+a e^4\right )^2 \left (a+c x^4\right )^2}-\frac{c e^8 \left (-d^3+d^2 e x-d e^2 x^2+e^3 x^3\right )}{\left (c d^4+a e^4\right )^3 \left (a+c x^4\right )}\right ) \, dx\\ &=\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\left (c e^8\right ) \int \frac{-d^3+d^2 e x-d e^2 x^2+e^3 x^3}{a+c x^4} \, dx}{\left (c d^4+a e^4\right )^3}-\frac{\left (c e^4\right ) \int \frac{-d^3+d^2 e x-d e^2 x^2+e^3 x^3}{\left (a+c x^4\right )^2} \, dx}{\left (c d^4+a e^4\right )^2}+\frac{c \int \frac{d^3-d^2 e x+d e^2 x^2-e^3 x^3}{\left (a+c x^4\right )^3} \, dx}{c d^4+a e^4}\\ &=\frac{a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )}{8 a \left (c d^4+a e^4\right ) \left (a+c x^4\right )^2}+\frac{e^4 \left (a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )\right )}{4 a \left (c d^4+a e^4\right )^2 \left (a+c x^4\right )}+\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\left (c e^8\right ) \int \left (\frac{-d^3-d e^2 x^2}{a+c x^4}+\frac{x \left (d^2 e+e^3 x^2\right )}{a+c x^4}\right ) \, dx}{\left (c d^4+a e^4\right )^3}+\frac{\left (c e^4\right ) \int \frac{3 d^3-2 d^2 e x+d e^2 x^2}{a+c x^4} \, dx}{4 a \left (c d^4+a e^4\right )^2}-\frac{c \int \frac{-7 d^3+6 d^2 e x-5 d e^2 x^2}{\left (a+c x^4\right )^2} \, dx}{8 a \left (c d^4+a e^4\right )}\\ &=\frac{c x \left (7 d^3-6 d^2 e x+5 d e^2 x^2\right )}{32 a^2 \left (c d^4+a e^4\right ) \left (a+c x^4\right )}+\frac{a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )}{8 a \left (c d^4+a e^4\right ) \left (a+c x^4\right )^2}+\frac{e^4 \left (a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )\right )}{4 a \left (c d^4+a e^4\right )^2 \left (a+c x^4\right )}+\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\left (c e^8\right ) \int \frac{-d^3-d e^2 x^2}{a+c x^4} \, dx}{\left (c d^4+a e^4\right )^3}-\frac{\left (c e^8\right ) \int \frac{x \left (d^2 e+e^3 x^2\right )}{a+c x^4} \, dx}{\left (c d^4+a e^4\right )^3}+\frac{\left (c e^4\right ) \int \left (-\frac{2 d^2 e x}{a+c x^4}+\frac{3 d^3+d e^2 x^2}{a+c x^4}\right ) \, dx}{4 a \left (c d^4+a e^4\right )^2}+\frac{c \int \frac{21 d^3-12 d^2 e x+5 d e^2 x^2}{a+c x^4} \, dx}{32 a^2 \left (c d^4+a e^4\right )}\\ &=\frac{c x \left (7 d^3-6 d^2 e x+5 d e^2 x^2\right )}{32 a^2 \left (c d^4+a e^4\right ) \left (a+c x^4\right )}+\frac{a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )}{8 a \left (c d^4+a e^4\right ) \left (a+c x^4\right )^2}+\frac{e^4 \left (a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )\right )}{4 a \left (c d^4+a e^4\right )^2 \left (a+c x^4\right )}+\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\left (c e^8\right ) \operatorname{Subst}\left (\int \frac{d^2 e+e^3 x}{a+c x^2} \, dx,x,x^2\right )}{2 \left (c d^4+a e^4\right )^3}+\frac{\left (d e^8 \left (\frac{\sqrt{c} d^2}{\sqrt{a}}-e^2\right )\right ) \int \frac{\sqrt{a} \sqrt{c}-c x^2}{a+c x^4} \, dx}{2 \left (c d^4+a e^4\right )^3}+\frac{\left (d e^8 \left (\frac{\sqrt{c} d^2}{\sqrt{a}}+e^2\right )\right ) \int \frac{\sqrt{a} \sqrt{c}+c x^2}{a+c x^4} \, dx}{2 \left (c d^4+a e^4\right )^3}+\frac{\left (c e^4\right ) \int \frac{3 d^3+d e^2 x^2}{a+c x^4} \, dx}{4 a \left (c d^4+a e^4\right )^2}-\frac{\left (c d^2 e^5\right ) \int \frac{x}{a+c x^4} \, dx}{2 a \left (c d^4+a e^4\right )^2}+\frac{c \int \left (-\frac{12 d^2 e x}{a+c x^4}+\frac{21 d^3+5 d e^2 x^2}{a+c x^4}\right ) \, dx}{32 a^2 \left (c d^4+a e^4\right )}\\ &=\frac{c x \left (7 d^3-6 d^2 e x+5 d e^2 x^2\right )}{32 a^2 \left (c d^4+a e^4\right ) \left (a+c x^4\right )}+\frac{a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )}{8 a \left (c d^4+a e^4\right ) \left (a+c x^4\right )^2}+\frac{e^4 \left (a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )\right )}{4 a \left (c d^4+a e^4\right )^2 \left (a+c x^4\right )}+\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\left (c d^2 e^9\right ) \operatorname{Subst}\left (\int \frac{1}{a+c x^2} \, dx,x,x^2\right )}{2 \left (c d^4+a e^4\right )^3}-\frac{\left (c e^{11}\right ) \operatorname{Subst}\left (\int \frac{x}{a+c x^2} \, dx,x,x^2\right )}{2 \left (c d^4+a e^4\right )^3}+\frac{\left (d e^8 \left (\frac{\sqrt{c} d^2}{\sqrt{a}}+e^2\right )\right ) \int \frac{1}{\frac{\sqrt{a}}{\sqrt{c}}-\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}+x^2} \, dx}{4 \left (c d^4+a e^4\right )^3}+\frac{\left (d e^8 \left (\frac{\sqrt{c} d^2}{\sqrt{a}}+e^2\right )\right ) \int \frac{1}{\frac{\sqrt{a}}{\sqrt{c}}+\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}+x^2} \, dx}{4 \left (c d^4+a e^4\right )^3}-\frac{\left (\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right )\right ) \int \frac{\frac{\sqrt{2} \sqrt [4]{a}}{\sqrt [4]{c}}+2 x}{-\frac{\sqrt{a}}{\sqrt{c}}-\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}-x^2} \, dx}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{\left (\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right )\right ) \int \frac{\frac{\sqrt{2} \sqrt [4]{a}}{\sqrt [4]{c}}-2 x}{-\frac{\sqrt{a}}{\sqrt{c}}+\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}-x^2} \, dx}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{\left (c d^2 e^5\right ) \operatorname{Subst}\left (\int \frac{1}{a+c x^2} \, dx,x,x^2\right )}{4 a \left (c d^4+a e^4\right )^2}+\frac{\left (d e^4 \left (\frac{3 \sqrt{c} d^2}{\sqrt{a}}-e^2\right )\right ) \int \frac{\sqrt{a} \sqrt{c}-c x^2}{a+c x^4} \, dx}{8 a \left (c d^4+a e^4\right )^2}+\frac{\left (d e^4 \left (\frac{3 \sqrt{c} d^2}{\sqrt{a}}+e^2\right )\right ) \int \frac{\sqrt{a} \sqrt{c}+c x^2}{a+c x^4} \, dx}{8 a \left (c d^4+a e^4\right )^2}+\frac{c \int \frac{21 d^3+5 d e^2 x^2}{a+c x^4} \, dx}{32 a^2 \left (c d^4+a e^4\right )}-\frac{\left (3 c d^2 e\right ) \int \frac{x}{a+c x^4} \, dx}{8 a^2 \left (c d^4+a e^4\right )}\\ &=\frac{c x \left (7 d^3-6 d^2 e x+5 d e^2 x^2\right )}{32 a^2 \left (c d^4+a e^4\right ) \left (a+c x^4\right )}+\frac{a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )}{8 a \left (c d^4+a e^4\right ) \left (a+c x^4\right )^2}+\frac{e^4 \left (a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )\right )}{4 a \left (c d^4+a e^4\right )^2 \left (a+c x^4\right )}-\frac{\sqrt{c} d^2 e^9 \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{2 \sqrt{a} \left (c d^4+a e^4\right )^3}-\frac{\sqrt{c} d^2 e^5 \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{4 a^{3/2} \left (c d^4+a e^4\right )^2}+\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{e^{11} \log \left (a+c x^4\right )}{4 \left (c d^4+a e^4\right )^3}+\frac{\left (\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2+\sqrt{a} e^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{2 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{\left (\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2+\sqrt{a} e^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{2 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{\left (d e^4 \left (\frac{3 \sqrt{c} d^2}{\sqrt{a}}+e^2\right )\right ) \int \frac{1}{\frac{\sqrt{a}}{\sqrt{c}}-\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}+x^2} \, dx}{16 a \left (c d^4+a e^4\right )^2}+\frac{\left (d e^4 \left (\frac{3 \sqrt{c} d^2}{\sqrt{a}}+e^2\right )\right ) \int \frac{1}{\frac{\sqrt{a}}{\sqrt{c}}+\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}+x^2} \, dx}{16 a \left (c d^4+a e^4\right )^2}-\frac{\left (\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2-\sqrt{a} e^2\right )\right ) \int \frac{\frac{\sqrt{2} \sqrt [4]{a}}{\sqrt [4]{c}}+2 x}{-\frac{\sqrt{a}}{\sqrt{c}}-\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}-x^2} \, dx}{16 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}-\frac{\left (\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2-\sqrt{a} e^2\right )\right ) \int \frac{\frac{\sqrt{2} \sqrt [4]{a}}{\sqrt [4]{c}}-2 x}{-\frac{\sqrt{a}}{\sqrt{c}}+\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}-x^2} \, dx}{16 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}-\frac{\left (3 c d^2 e\right ) \operatorname{Subst}\left (\int \frac{1}{a+c x^2} \, dx,x,x^2\right )}{16 a^2 \left (c d^4+a e^4\right )}+\frac{\left (d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}-5 e^2\right )\right ) \int \frac{\sqrt{a} \sqrt{c}-c x^2}{a+c x^4} \, dx}{64 a^2 \left (c d^4+a e^4\right )}+\frac{\left (d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}+5 e^2\right )\right ) \int \frac{\sqrt{a} \sqrt{c}+c x^2}{a+c x^4} \, dx}{64 a^2 \left (c d^4+a e^4\right )}\\ &=\frac{c x \left (7 d^3-6 d^2 e x+5 d e^2 x^2\right )}{32 a^2 \left (c d^4+a e^4\right ) \left (a+c x^4\right )}+\frac{a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )}{8 a \left (c d^4+a e^4\right ) \left (a+c x^4\right )^2}+\frac{e^4 \left (a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )\right )}{4 a \left (c d^4+a e^4\right )^2 \left (a+c x^4\right )}-\frac{\sqrt{c} d^2 e^9 \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{2 \sqrt{a} \left (c d^4+a e^4\right )^3}-\frac{\sqrt{c} d^2 e^5 \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{4 a^{3/2} \left (c d^4+a e^4\right )^2}-\frac{3 \sqrt{c} d^2 e \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{16 a^{5/2} \left (c d^4+a e^4\right )}-\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{2 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{2 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{16 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}+\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{16 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}-\frac{e^{11} \log \left (a+c x^4\right )}{4 \left (c d^4+a e^4\right )^3}+\frac{\left (\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2+\sqrt{a} e^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{8 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}-\frac{\left (\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2+\sqrt{a} e^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{8 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}-\frac{\left (\sqrt [4]{c} d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}-5 e^2\right )\right ) \int \frac{\frac{\sqrt{2} \sqrt [4]{a}}{\sqrt [4]{c}}+2 x}{-\frac{\sqrt{a}}{\sqrt{c}}-\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}-x^2} \, dx}{128 \sqrt{2} a^{9/4} \left (c d^4+a e^4\right )}-\frac{\left (\sqrt [4]{c} d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}-5 e^2\right )\right ) \int \frac{\frac{\sqrt{2} \sqrt [4]{a}}{\sqrt [4]{c}}-2 x}{-\frac{\sqrt{a}}{\sqrt{c}}+\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}-x^2} \, dx}{128 \sqrt{2} a^{9/4} \left (c d^4+a e^4\right )}+\frac{\left (d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}+5 e^2\right )\right ) \int \frac{1}{\frac{\sqrt{a}}{\sqrt{c}}-\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}+x^2} \, dx}{128 a^2 \left (c d^4+a e^4\right )}+\frac{\left (d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}+5 e^2\right )\right ) \int \frac{1}{\frac{\sqrt{a}}{\sqrt{c}}+\frac{\sqrt{2} \sqrt [4]{a} x}{\sqrt [4]{c}}+x^2} \, dx}{128 a^2 \left (c d^4+a e^4\right )}\\ &=\frac{c x \left (7 d^3-6 d^2 e x+5 d e^2 x^2\right )}{32 a^2 \left (c d^4+a e^4\right ) \left (a+c x^4\right )}+\frac{a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )}{8 a \left (c d^4+a e^4\right ) \left (a+c x^4\right )^2}+\frac{e^4 \left (a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )\right )}{4 a \left (c d^4+a e^4\right )^2 \left (a+c x^4\right )}-\frac{\sqrt{c} d^2 e^9 \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{2 \sqrt{a} \left (c d^4+a e^4\right )^3}-\frac{\sqrt{c} d^2 e^5 \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{4 a^{3/2} \left (c d^4+a e^4\right )^2}-\frac{3 \sqrt{c} d^2 e \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{16 a^{5/2} \left (c d^4+a e^4\right )}-\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{2 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{8 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}+\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{2 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{8 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}+\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{16 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}-\frac{\sqrt [4]{c} d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}-5 e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{128 \sqrt{2} a^{9/4} \left (c d^4+a e^4\right )}+\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{16 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}+\frac{\sqrt [4]{c} d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}-5 e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{128 \sqrt{2} a^{9/4} \left (c d^4+a e^4\right )}-\frac{e^{11} \log \left (a+c x^4\right )}{4 \left (c d^4+a e^4\right )^3}+\frac{\left (\sqrt [4]{c} d \left (21 \sqrt{c} d^2+5 \sqrt{a} e^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{64 \sqrt{2} a^{11/4} \left (c d^4+a e^4\right )}-\frac{\left (\sqrt [4]{c} d \left (21 \sqrt{c} d^2+5 \sqrt{a} e^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{64 \sqrt{2} a^{11/4} \left (c d^4+a e^4\right )}\\ &=\frac{c x \left (7 d^3-6 d^2 e x+5 d e^2 x^2\right )}{32 a^2 \left (c d^4+a e^4\right ) \left (a+c x^4\right )}+\frac{a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )}{8 a \left (c d^4+a e^4\right ) \left (a+c x^4\right )^2}+\frac{e^4 \left (a e^3+c x \left (d^3-d^2 e x+d e^2 x^2\right )\right )}{4 a \left (c d^4+a e^4\right )^2 \left (a+c x^4\right )}-\frac{\sqrt{c} d^2 e^9 \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{2 \sqrt{a} \left (c d^4+a e^4\right )^3}-\frac{\sqrt{c} d^2 e^5 \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{4 a^{3/2} \left (c d^4+a e^4\right )^2}-\frac{3 \sqrt{c} d^2 e \tan ^{-1}\left (\frac{\sqrt{c} x^2}{\sqrt{a}}\right )}{16 a^{5/2} \left (c d^4+a e^4\right )}-\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{2 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{8 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}-\frac{\sqrt [4]{c} d \left (21 \sqrt{c} d^2+5 \sqrt{a} e^2\right ) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{64 \sqrt{2} a^{11/4} \left (c d^4+a e^4\right )}+\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{2 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2+\sqrt{a} e^2\right ) \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{8 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}+\frac{\sqrt [4]{c} d \left (21 \sqrt{c} d^2+5 \sqrt{a} e^2\right ) \tan ^{-1}\left (1+\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{64 \sqrt{2} a^{11/4} \left (c d^4+a e^4\right )}+\frac{e^{11} \log (d+e x)}{\left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}-\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{16 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}-\frac{\sqrt [4]{c} d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}-5 e^2\right ) \log \left (\sqrt{a}-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{128 \sqrt{2} a^{9/4} \left (c d^4+a e^4\right )}+\frac{\sqrt [4]{c} d e^8 \left (\sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{4 \sqrt{2} a^{3/4} \left (c d^4+a e^4\right )^3}+\frac{\sqrt [4]{c} d e^4 \left (3 \sqrt{c} d^2-\sqrt{a} e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{16 \sqrt{2} a^{7/4} \left (c d^4+a e^4\right )^2}+\frac{\sqrt [4]{c} d \left (\frac{21 \sqrt{c} d^2}{\sqrt{a}}-5 e^2\right ) \log \left (\sqrt{a}+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{c} x^2\right )}{128 \sqrt{2} a^{9/4} \left (c d^4+a e^4\right )}-\frac{e^{11} \log \left (a+c x^4\right )}{4 \left (c d^4+a e^4\right )^3}\\ \end{align*}
Mathematica [A] time = 0.762644, size = 835, normalized size = 0.62 \[ \frac{256 \log (d+e x) e^{11}-64 \log \left (c x^4+a\right ) e^{11}+\frac{32 \left (c d^4+a e^4\right )^2 \left (a e^3+c d x \left (d^2-e x d+e^2 x^2\right )\right )}{a \left (c x^4+a\right )^2}+\frac{8 \left (c d^4+a e^4\right ) \left (8 a^2 e^7+a c d x \left (15 d^2-14 e x d+13 e^2 x^2\right ) e^4+c^2 d^5 x \left (7 d^2-6 e x d+5 e^2 x^2\right )\right )}{a^2 \left (c x^4+a\right )}-\frac{2 \sqrt [4]{c} d \left (21 \sqrt{2} c^{5/2} d^{10}-24 \sqrt [4]{a} c^{9/4} e d^9+5 \sqrt{2} \sqrt{a} c^2 e^2 d^8+66 \sqrt{2} a c^{3/2} e^4 d^6-80 a^{5/4} c^{5/4} e^5 d^5+18 \sqrt{2} a^{3/2} c e^6 d^4+77 \sqrt{2} a^2 \sqrt{c} e^8 d^2-120 a^{9/4} \sqrt [4]{c} e^9 d+45 \sqrt{2} a^{5/2} e^{10}\right ) \tan ^{-1}\left (1-\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}\right )}{a^{11/4}}+\frac{2 \sqrt [4]{c} d \left (21 \sqrt{2} c^{5/2} d^{10}+24 \sqrt [4]{a} c^{9/4} e d^9+5 \sqrt{2} \sqrt{a} c^2 e^2 d^8+66 \sqrt{2} a c^{3/2} e^4 d^6+80 a^{5/4} c^{5/4} e^5 d^5+18 \sqrt{2} a^{3/2} c e^6 d^4+77 \sqrt{2} a^2 \sqrt{c} e^8 d^2+120 a^{9/4} \sqrt [4]{c} e^9 d+45 \sqrt{2} a^{5/2} e^{10}\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt [4]{c} x}{\sqrt [4]{a}}+1\right )}{a^{11/4}}+\frac{\sqrt{2} \sqrt [4]{c} \left (-21 c^{5/2} d^{11}+5 \sqrt{a} c^2 e^2 d^9-66 a c^{3/2} e^4 d^7+18 a^{3/2} c e^6 d^5-77 a^2 \sqrt{c} e^8 d^3+45 a^{5/2} e^{10} d\right ) \log \left (\sqrt{c} x^2-\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{a}\right )}{a^{11/4}}+\frac{\sqrt{2} \sqrt [4]{c} \left (21 c^{5/2} d^{11}-5 \sqrt{a} c^2 e^2 d^9+66 a c^{3/2} e^4 d^7-18 a^{3/2} c e^6 d^5+77 a^2 \sqrt{c} e^8 d^3-45 a^{5/2} e^{10} d\right ) \log \left (\sqrt{c} x^2+\sqrt{2} \sqrt [4]{a} \sqrt [4]{c} x+\sqrt{a}\right )}{a^{11/4}}}{256 \left (c d^4+a e^4\right )^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.023, size = 2098, normalized size = 1.6 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.37036, size = 1705, normalized size = 1.26 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]