Optimal. Leaf size=235 \[ -\frac {\text {RootSum}\left [\text {$\#$1}^8-4 \text {$\#$1}^6 c+6 \text {$\#$1}^4 c^2-4 \text {$\#$1}^2 c^3+b+c^4\& ,\frac {3 \text {$\#$1}^2 \log \left (\sqrt {\sqrt {\sqrt {a^2 x^2+b}+a x}+c}-\text {$\#$1}\right )-c \log \left (\sqrt {\sqrt {\sqrt {a^2 x^2+b}+a x}+c}-\text {$\#$1}\right )}{-\text {$\#$1}^7+3 \text {$\#$1}^5 c-3 \text {$\#$1}^3 c^2+\text {$\#$1} c^3}\& \right ]}{4 a}-\frac {\sqrt {\sqrt {a^2 x^2+b}+a x} \sqrt {\sqrt {\sqrt {a^2 x^2+b}+a x}+c}}{a^2 x \sqrt {a^2 x^2+b}+a \left (a^2 x^2+b\right )} \]
________________________________________________________________________________________
Rubi [F] time = 0.66, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {\sqrt {a x+\sqrt {b+a^2 x^2}} \sqrt {c+\sqrt {a x+\sqrt {b+a^2 x^2}}}}{\left (b+a^2 x^2\right )^{3/2}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {\sqrt {a x+\sqrt {b+a^2 x^2}} \sqrt {c+\sqrt {a x+\sqrt {b+a^2 x^2}}}}{\left (b+a^2 x^2\right )^{3/2}} \, dx &=\int \frac {\sqrt {a x+\sqrt {b+a^2 x^2}} \sqrt {c+\sqrt {a x+\sqrt {b+a^2 x^2}}}}{\left (b+a^2 x^2\right )^{3/2}} \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [F] time = 0.21, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {a x+\sqrt {b+a^2 x^2}} \sqrt {c+\sqrt {a x+\sqrt {b+a^2 x^2}}}}{\left (b+a^2 x^2\right )^{3/2}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.00, size = 341, normalized size = 1.45 \begin {gather*} -\frac {\sqrt {a x+\sqrt {b+a^2 x^2}} \sqrt {c+\sqrt {a x+\sqrt {b+a^2 x^2}}}}{a^2 x \sqrt {b+a^2 x^2}+a \left (b+a^2 x^2\right )}+\frac {2 \text {RootSum}\left [b+c^4-4 c^3 \text {$\#$1}^2+6 c^2 \text {$\#$1}^4-4 c \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {\log \left (\sqrt {c+\sqrt {a x+\sqrt {b+a^2 x^2}}}-\text {$\#$1}\right ) \text {$\#$1}}{-c^3+3 c^2 \text {$\#$1}^2-3 c \text {$\#$1}^4+\text {$\#$1}^6}\&\right ]}{a}-\frac {\text {RootSum}\left [b+c^4-4 c^3 \text {$\#$1}^2+6 c^2 \text {$\#$1}^4-4 c \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {-c \log \left (\sqrt {c+\sqrt {a x+\sqrt {b+a^2 x^2}}}-\text {$\#$1}\right )-5 \log \left (\sqrt {c+\sqrt {a x+\sqrt {b+a^2 x^2}}}-\text {$\#$1}\right ) \text {$\#$1}^2}{c^3 \text {$\#$1}-3 c^2 \text {$\#$1}^3+3 c \text {$\#$1}^5-\text {$\#$1}^7}\&\right ]}{4 a} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] 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(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \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 {\sqrt {a x +\sqrt {a^{2} x^{2}+b}}\, \sqrt {c +\sqrt {a x +\sqrt {a^{2} x^{2}+b}}}}{\left (a^{2} x^{2}+b \right )^{\frac {3}{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 {\sqrt {a x + \sqrt {a^{2} x^{2} + b}} \sqrt {c + \sqrt {a x + \sqrt {a^{2} x^{2} + b}}}}{{\left (a^{2} x^{2} + b\right )}^{\frac {3}{2}}}\,{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 {\sqrt {\sqrt {a^2\,x^2+b}+a\,x}\,\sqrt {c+\sqrt {\sqrt {a^2\,x^2+b}+a\,x}}}{{\left (a^2\,x^2+b\right )}^{3/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 {\sqrt {c + \sqrt {a x + \sqrt {a^{2} x^{2} + b}}} \sqrt {a x + \sqrt {a^{2} x^{2} + b}}}{\left (a^{2} x^{2} + b\right )^{\frac {3}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________