Optimal. Leaf size=227 \[ \frac {a x \sqrt {x+x^4}}{3 c}+\frac {\sqrt {-\left (\left (\sqrt {c}+\sqrt {d}\right ) \sqrt {d}\right )} (b c+a d) \text {ArcTan}\left (\frac {\sqrt {-\sqrt {c} \sqrt {d}-d} x \sqrt {x+x^4}}{\sqrt {d} (1+x) \left (1-x+x^2\right )}\right )}{3 c^{3/2} d}-\frac {\sqrt {\left (\sqrt {c}-\sqrt {d}\right ) \sqrt {d}} (b c+a d) \text {ArcTan}\left (\frac {\sqrt {\sqrt {c} \sqrt {d}-d} x \sqrt {x+x^4}}{\sqrt {d} (1+x) \left (1-x+x^2\right )}\right )}{3 c^{3/2} d}+\frac {a \tanh ^{-1}\left (\frac {x^2}{\sqrt {x+x^4}}\right )}{3 c} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.50, antiderivative size = 250, normalized size of antiderivative = 1.10, number of steps
used = 15, number of rules used = 10, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.357, Rules used = {2081, 6847,
1707, 201, 221, 1189, 399, 385, 214, 211} \begin {gather*} -\frac {\sqrt {x^4+x} \sqrt {\sqrt {c}-\sqrt {d}} (a d+b c) \text {ArcTan}\left (\frac {x^{3/2} \sqrt {\sqrt {c}-\sqrt {d}}}{\sqrt [4]{d} \sqrt {x^3+1}}\right )}{3 c^{3/2} d^{3/4} \sqrt {x^3+1} \sqrt {x}}-\frac {\sqrt {x^4+x} \sqrt {\sqrt {c}+\sqrt {d}} (a d+b c) \tanh ^{-1}\left (\frac {x^{3/2} \sqrt {\sqrt {c}+\sqrt {d}}}{\sqrt [4]{d} \sqrt {x^3+1}}\right )}{3 c^{3/2} d^{3/4} \sqrt {x^3+1} \sqrt {x}}+\frac {a \sqrt {x^4+x} x}{3 c}+\frac {a \sqrt {x^4+x} \sinh ^{-1}\left (x^{3/2}\right )}{3 c \sqrt {x^3+1} \sqrt {x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 201
Rule 211
Rule 214
Rule 221
Rule 385
Rule 399
Rule 1189
Rule 1707
Rule 2081
Rule 6847
Rubi steps
\begin {align*} \int \frac {\sqrt {x+x^4} \left (b+a x^6\right )}{-d+c x^6} \, dx &=\frac {\sqrt {x+x^4} \int \frac {\sqrt {x} \sqrt {1+x^3} \left (b+a x^6\right )}{-d+c x^6} \, dx}{\sqrt {x} \sqrt {1+x^3}}\\ &=\frac {\left (2 \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {\sqrt {1+x^2} \left (b+a x^4\right )}{-d+c x^4} \, dx,x,x^{3/2}\right )}{3 \sqrt {x} \sqrt {1+x^3}}\\ &=\frac {\left (2 \sqrt {x+x^4}\right ) \text {Subst}\left (\int \left (\frac {a \sqrt {1+x^2}}{c}+\frac {(b c+a d) \sqrt {1+x^2}}{c \left (-d+c x^4\right )}\right ) \, dx,x,x^{3/2}\right )}{3 \sqrt {x} \sqrt {1+x^3}}\\ &=\frac {\left (2 a \sqrt {x+x^4}\right ) \text {Subst}\left (\int \sqrt {1+x^2} \, dx,x,x^{3/2}\right )}{3 c \sqrt {x} \sqrt {1+x^3}}+\frac {\left (2 (b c+a d) \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {\sqrt {1+x^2}}{-d+c x^4} \, dx,x,x^{3/2}\right )}{3 c \sqrt {x} \sqrt {1+x^3}}\\ &=\frac {a x \sqrt {x+x^4}}{3 c}+\frac {\left (a \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {1+x^2}} \, dx,x,x^{3/2}\right )}{3 c \sqrt {x} \sqrt {1+x^3}}-\frac {\left ((b c+a d) \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {\sqrt {1+x^2}}{\sqrt {c} \sqrt {d}-c x^2} \, dx,x,x^{3/2}\right )}{3 \sqrt {c} \sqrt {d} \sqrt {x} \sqrt {1+x^3}}-\frac {\left ((b c+a d) \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {\sqrt {1+x^2}}{\sqrt {c} \sqrt {d}+c x^2} \, dx,x,x^{3/2}\right )}{3 \sqrt {c} \sqrt {d} \sqrt {x} \sqrt {1+x^3}}\\ &=\frac {a x \sqrt {x+x^4}}{3 c}+\frac {a \sqrt {x+x^4} \sinh ^{-1}\left (x^{3/2}\right )}{3 c \sqrt {x} \sqrt {1+x^3}}+\frac {\left (\left (-1+\frac {\sqrt {d}}{\sqrt {c}}\right ) (b c+a d) \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {1+x^2} \left (\sqrt {c} \sqrt {d}+c x^2\right )} \, dx,x,x^{3/2}\right )}{3 \sqrt {c} \sqrt {d} \sqrt {x} \sqrt {1+x^3}}-\frac {\left (\left (1+\frac {\sqrt {d}}{\sqrt {c}}\right ) (b c+a d) \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {1+x^2} \left (\sqrt {c} \sqrt {d}-c x^2\right )} \, dx,x,x^{3/2}\right )}{3 \sqrt {c} \sqrt {d} \sqrt {x} \sqrt {1+x^3}}\\ &=\frac {a x \sqrt {x+x^4}}{3 c}+\frac {a \sqrt {x+x^4} \sinh ^{-1}\left (x^{3/2}\right )}{3 c \sqrt {x} \sqrt {1+x^3}}+\frac {\left (\left (-1+\frac {\sqrt {d}}{\sqrt {c}}\right ) (b c+a d) \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {c} \sqrt {d}-\left (-c+\sqrt {c} \sqrt {d}\right ) x^2} \, dx,x,\frac {x^{3/2}}{\sqrt {1+x^3}}\right )}{3 \sqrt {c} \sqrt {d} \sqrt {x} \sqrt {1+x^3}}-\frac {\left (\left (1+\frac {\sqrt {d}}{\sqrt {c}}\right ) (b c+a d) \sqrt {x+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {c} \sqrt {d}-\left (c+\sqrt {c} \sqrt {d}\right ) x^2} \, dx,x,\frac {x^{3/2}}{\sqrt {1+x^3}}\right )}{3 \sqrt {c} \sqrt {d} \sqrt {x} \sqrt {1+x^3}}\\ &=\frac {a x \sqrt {x+x^4}}{3 c}+\frac {a \sqrt {x+x^4} \sinh ^{-1}\left (x^{3/2}\right )}{3 c \sqrt {x} \sqrt {1+x^3}}-\frac {\sqrt {\sqrt {c}-\sqrt {d}} (b c+a d) \sqrt {x+x^4} \tan ^{-1}\left (\frac {\sqrt {\sqrt {c}-\sqrt {d}} x^{3/2}}{\sqrt [4]{d} \sqrt {1+x^3}}\right )}{3 c^{3/2} d^{3/4} \sqrt {x} \sqrt {1+x^3}}-\frac {\sqrt {\sqrt {c}+\sqrt {d}} (b c+a d) \sqrt {x+x^4} \tanh ^{-1}\left (\frac {\sqrt {\sqrt {c}+\sqrt {d}} x^{3/2}}{\sqrt [4]{d} \sqrt {1+x^3}}\right )}{3 c^{3/2} d^{3/4} \sqrt {x} \sqrt {1+x^3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 0.35, size = 185, normalized size = 0.81 \begin {gather*} \frac {\sqrt {x+x^4} \left (a \left (x^{3/2} \sqrt {1+x^3}+\tanh ^{-1}\left (\frac {x^{3/2}}{\sqrt {1+x^3}}\right )\right )+(b c+a d) \text {RootSum}\left [16 c-16 d-32 c \text {$\#$1}+32 d \text {$\#$1}+24 c \text {$\#$1}^2-16 d \text {$\#$1}^2-8 c \text {$\#$1}^3+c \text {$\#$1}^4\&,\frac {\log \left (2+2 x^3+2 x^{3/2} \sqrt {1+x^3}-\text {$\#$1}\right ) \text {$\#$1}^2}{-8 c+8 d+12 c \text {$\#$1}-8 d \text {$\#$1}-6 c \text {$\#$1}^2+c \text {$\#$1}^3}\&\right ]\right )}{3 c \sqrt {x} \sqrt {1+x^3}} \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.44, size = 686, normalized size = 3.02 Too large to display
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 {\sqrt {x \left (x + 1\right ) \left (x^{2} - x + 1\right )} \left (a x^{6} + b\right )}{c x^{6} - d}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: NotImplementedError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int -\frac {\left (a\,x^6+b\right )\,\sqrt {x^4+x}}{d-c\,x^6} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________