Optimal. Leaf size=236 \[ \frac {2 d}{\sqrt {\sqrt {a^2 x^2+b^2}+a x}}+\frac {2 d \tan ^{-1}\left (\frac {\sqrt {\sqrt {a^2 x^2+b^2}+a x}}{\sqrt {b}}\right )}{\sqrt {b}}-\frac {2 d \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a^2 x^2+b^2}+a x}}{\sqrt {b}}\right )}{\sqrt {b}}-\frac {b^2 c \left (\sqrt {a^2 x^2+b^2}+a x\right )^{3/2}}{12 a^4}+\frac {c \left (\sqrt {a^2 x^2+b^2}+a x\right )^{7/2}}{56 a^4}+\frac {b^8 c}{72 a^4 \left (\sqrt {a^2 x^2+b^2}+a x\right )^{9/2}}-\frac {b^6 c}{20 a^4 \left (\sqrt {a^2 x^2+b^2}+a x\right )^{5/2}} \]
________________________________________________________________________________________
Rubi [A] time = 0.73, antiderivative size = 236, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 8, integrand size = 34, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.235, Rules used = {6742, 2119, 453, 329, 298, 203, 206, 448} \begin {gather*} \frac {2 d}{\sqrt {\sqrt {a^2 x^2+b^2}+a x}}+\frac {2 d \tan ^{-1}\left (\frac {\sqrt {\sqrt {a^2 x^2+b^2}+a x}}{\sqrt {b}}\right )}{\sqrt {b}}-\frac {2 d \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a^2 x^2+b^2}+a x}}{\sqrt {b}}\right )}{\sqrt {b}}-\frac {b^2 c \left (\sqrt {a^2 x^2+b^2}+a x\right )^{3/2}}{12 a^4}+\frac {c \left (\sqrt {a^2 x^2+b^2}+a x\right )^{7/2}}{56 a^4}+\frac {b^8 c}{72 a^4 \left (\sqrt {a^2 x^2+b^2}+a x\right )^{9/2}}-\frac {b^6 c}{20 a^4 \left (\sqrt {a^2 x^2+b^2}+a x\right )^{5/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 203
Rule 206
Rule 298
Rule 329
Rule 448
Rule 453
Rule 2119
Rule 6742
Rubi steps
\begin {align*} \int \frac {d+c x^4}{x \sqrt {a x+\sqrt {b^2+a^2 x^2}}} \, dx &=\int \left (\frac {d}{x \sqrt {a x+\sqrt {b^2+a^2 x^2}}}+\frac {c x^3}{\sqrt {a x+\sqrt {b^2+a^2 x^2}}}\right ) \, dx\\ &=c \int \frac {x^3}{\sqrt {a x+\sqrt {b^2+a^2 x^2}}} \, dx+d \int \frac {1}{x \sqrt {a x+\sqrt {b^2+a^2 x^2}}} \, dx\\ &=\frac {c \operatorname {Subst}\left (\int \frac {\left (-b^2+x^2\right )^3 \left (b^2+x^2\right )}{x^{11/2}} \, dx,x,a x+\sqrt {b^2+a^2 x^2}\right )}{16 a^4}+d \operatorname {Subst}\left (\int \frac {b^2+x^2}{x^{3/2} \left (-b^2+x^2\right )} \, dx,x,a x+\sqrt {b^2+a^2 x^2}\right )\\ &=\frac {2 d}{\sqrt {a x+\sqrt {b^2+a^2 x^2}}}+\frac {c \operatorname {Subst}\left (\int \left (-\frac {b^8}{x^{11/2}}+\frac {2 b^6}{x^{7/2}}-2 b^2 \sqrt {x}+x^{5/2}\right ) \, dx,x,a x+\sqrt {b^2+a^2 x^2}\right )}{16 a^4}+(2 d) \operatorname {Subst}\left (\int \frac {\sqrt {x}}{-b^2+x^2} \, dx,x,a x+\sqrt {b^2+a^2 x^2}\right )\\ &=\frac {b^8 c}{72 a^4 \left (a x+\sqrt {b^2+a^2 x^2}\right )^{9/2}}-\frac {b^6 c}{20 a^4 \left (a x+\sqrt {b^2+a^2 x^2}\right )^{5/2}}+\frac {2 d}{\sqrt {a x+\sqrt {b^2+a^2 x^2}}}-\frac {b^2 c \left (a x+\sqrt {b^2+a^2 x^2}\right )^{3/2}}{12 a^4}+\frac {c \left (a x+\sqrt {b^2+a^2 x^2}\right )^{7/2}}{56 a^4}+(4 d) \operatorname {Subst}\left (\int \frac {x^2}{-b^2+x^4} \, dx,x,\sqrt {a x+\sqrt {b^2+a^2 x^2}}\right )\\ &=\frac {b^8 c}{72 a^4 \left (a x+\sqrt {b^2+a^2 x^2}\right )^{9/2}}-\frac {b^6 c}{20 a^4 \left (a x+\sqrt {b^2+a^2 x^2}\right )^{5/2}}+\frac {2 d}{\sqrt {a x+\sqrt {b^2+a^2 x^2}}}-\frac {b^2 c \left (a x+\sqrt {b^2+a^2 x^2}\right )^{3/2}}{12 a^4}+\frac {c \left (a x+\sqrt {b^2+a^2 x^2}\right )^{7/2}}{56 a^4}-(2 d) \operatorname {Subst}\left (\int \frac {1}{b-x^2} \, dx,x,\sqrt {a x+\sqrt {b^2+a^2 x^2}}\right )+(2 d) \operatorname {Subst}\left (\int \frac {1}{b+x^2} \, dx,x,\sqrt {a x+\sqrt {b^2+a^2 x^2}}\right )\\ &=\frac {b^8 c}{72 a^4 \left (a x+\sqrt {b^2+a^2 x^2}\right )^{9/2}}-\frac {b^6 c}{20 a^4 \left (a x+\sqrt {b^2+a^2 x^2}\right )^{5/2}}+\frac {2 d}{\sqrt {a x+\sqrt {b^2+a^2 x^2}}}-\frac {b^2 c \left (a x+\sqrt {b^2+a^2 x^2}\right )^{3/2}}{12 a^4}+\frac {c \left (a x+\sqrt {b^2+a^2 x^2}\right )^{7/2}}{56 a^4}+\frac {2 d \tan ^{-1}\left (\frac {\sqrt {a x+\sqrt {b^2+a^2 x^2}}}{\sqrt {b}}\right )}{\sqrt {b}}-\frac {2 d \tanh ^{-1}\left (\frac {\sqrt {a x+\sqrt {b^2+a^2 x^2}}}{\sqrt {b}}\right )}{\sqrt {b}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 8.04, size = 915, normalized size = 3.88 \begin {gather*} \frac {2 \left (-1155 d \left (2 a x-\sqrt {b^2+a^2 x^2}\right ) \left (a x+\sqrt {b^2+a^2 x^2}\right ) a^4-\frac {1155 d \left (b^2+a^2 x^2\right ) \left (a x+\sqrt {b^2+a^2 x^2}\right )^2 \left (-2 b^2-a x \left (a x+\sqrt {b^2+a^2 x^2}\right )+2 \left (b^2+2 a x \left (a x+\sqrt {b^2+a^2 x^2}\right )\right ) \, _2F_1\left (\frac {3}{4},1;\frac {7}{4};\frac {\left (a x+\sqrt {b^2+a^2 x^2}\right )^2}{b^2}\right )\right ) a^4}{\left (b^2+a x \left (a x+\sqrt {b^2+a^2 x^2}\right )\right )^2}+\frac {c \sqrt {b^2+a^2 x^2} \left (128 b^{10}+144 a x \left (9 a x+4 \sqrt {b^2+a^2 x^2}\right ) b^8+195 a^3 x^3 \left (9 a x+8 \sqrt {b^2+a^2 x^2}\right ) b^6-15 a^5 x^5 \left (97 a x+\sqrt {b^2+a^2 x^2}\right ) b^4-180 a^7 x^7 \left (37 a x+23 \sqrt {b^2+a^2 x^2}\right ) b^2-5040 a^9 x^9 \left (a x+\sqrt {b^2+a^2 x^2}\right )\right )}{\left (a x+\sqrt {b^2+a^2 x^2}\right )^3 \left (b^2+a x \left (a x+\sqrt {b^2+a^2 x^2}\right )\right )}+\frac {c \sqrt {b^2+a^2 x^2} \left (b^2+2 a x \left (a x+\sqrt {b^2+a^2 x^2}\right )\right )^4 \left (-304 b^{10}-342 a x \left (9 a x+4 \sqrt {b^2+a^2 x^2}\right ) b^8-15 a^3 x^3 \left (249 a x+247 \sqrt {b^2+a^2 x^2}\right ) b^6+15 a^5 x^5 \left (317 a x+89 \sqrt {b^2+a^2 x^2}\right ) b^4+180 a^7 x^7 \left (59 a x+45 \sqrt {b^2+a^2 x^2}\right ) b^2+5040 a^9 x^9 \left (a x+\sqrt {b^2+a^2 x^2}\right )\right )}{2048 a^{13} x^{13}+2048 a^{12} \sqrt {b^2+a^2 x^2} x^{12}+7168 a^{11} b^2 x^{11}+6144 a^{10} b^2 \sqrt {b^2+a^2 x^2} x^{10}+9728 a^9 b^4 x^9+6912 a^8 b^4 \sqrt {b^2+a^2 x^2} x^8+6400 a^7 b^6 x^7+3584 a^6 b^6 \sqrt {b^2+a^2 x^2} x^6+2072 a^5 b^8 x^5+840 a^4 b^8 \sqrt {b^2+a^2 x^2} x^4+292 a^3 b^{10} x^3+72 a^2 b^{10} \sqrt {b^2+a^2 x^2} x^2+12 a b^{12} x+b^{12} \sqrt {b^2+a^2 x^2}}\right )}{3465 a^4 b^2 \sqrt {a x+\sqrt {b^2+a^2 x^2}}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.47, size = 236, normalized size = 1.00 \begin {gather*} \frac {b^8 c}{72 a^4 \left (a x+\sqrt {b^2+a^2 x^2}\right )^{9/2}}-\frac {b^6 c}{20 a^4 \left (a x+\sqrt {b^2+a^2 x^2}\right )^{5/2}}+\frac {2 d}{\sqrt {a x+\sqrt {b^2+a^2 x^2}}}-\frac {b^2 c \left (a x+\sqrt {b^2+a^2 x^2}\right )^{3/2}}{12 a^4}+\frac {c \left (a x+\sqrt {b^2+a^2 x^2}\right )^{7/2}}{56 a^4}+\frac {2 d \tan ^{-1}\left (\frac {\sqrt {a x+\sqrt {b^2+a^2 x^2}}}{\sqrt {b}}\right )}{\sqrt {b}}-\frac {2 d \tanh ^{-1}\left (\frac {\sqrt {a x+\sqrt {b^2+a^2 x^2}}}{\sqrt {b}}\right )}{\sqrt {b}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.56, size = 482, normalized size = 2.04 \begin {gather*} \left [\frac {630 \, a^{4} b^{\frac {3}{2}} d \arctan \left (\frac {\sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}}}{\sqrt {b}}\right ) + 315 \, a^{4} b^{\frac {3}{2}} d \log \left (\frac {b^{2} + \sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}} {\left ({\left (a x - b\right )} \sqrt {b} - \sqrt {a^{2} x^{2} + b^{2}} \sqrt {b}\right )} + \sqrt {a^{2} x^{2} + b^{2}} b}{x}\right ) - 2 \, {\left (35 \, a^{5} c x^{5} + a^{3} b^{2} c x^{3} - {\left (8 \, a b^{4} c - 315 \, a^{5} d\right )} x - {\left (35 \, a^{4} c x^{4} + 6 \, a^{2} b^{2} c x^{2} - 16 \, b^{4} c + 315 \, a^{4} d\right )} \sqrt {a^{2} x^{2} + b^{2}}\right )} \sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}}}{315 \, a^{4} b^{2}}, \frac {630 \, a^{4} \sqrt {-b} b d \arctan \left (\frac {\sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}} \sqrt {-b}}{b}\right ) - 315 \, a^{4} \sqrt {-b} b d \log \left (-\frac {b^{2} + \sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}} {\left ({\left (a x + b\right )} \sqrt {-b} - \sqrt {a^{2} x^{2} + b^{2}} \sqrt {-b}\right )} - \sqrt {a^{2} x^{2} + b^{2}} b}{x}\right ) - 2 \, {\left (35 \, a^{5} c x^{5} + a^{3} b^{2} c x^{3} - {\left (8 \, a b^{4} c - 315 \, a^{5} d\right )} x - {\left (35 \, a^{4} c x^{4} + 6 \, a^{2} b^{2} c x^{2} - 16 \, b^{4} c + 315 \, a^{4} d\right )} \sqrt {a^{2} x^{2} + b^{2}}\right )} \sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}}}{315 \, a^{4} b^{2}}\right ] \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*} \int \frac {c x^{4} + d}{\sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}} x}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 180.00, size = 0, normalized size = 0.00 \[\int \frac {c \,x^{4}+d}{x \sqrt {a x +\sqrt {a^{2} x^{2}+b^{2}}}}\, dx\]
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*} \int \frac {c x^{4} + d}{\sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}} x}\,{d x} \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 {c\,x^4+d}{x\,\sqrt {a\,x+\sqrt {a^2\,x^2+b^2}}} \,d x \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 {c x^{4} + d}{x \sqrt {a x + \sqrt {a^{2} x^{2} + b^{2}}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________