Optimal. Leaf size=471 \[ \frac {2 \left (\sqrt {2} \sqrt {a} \sqrt {b} \sqrt {\sqrt {a+b^2}+b}+\sqrt {2} \sqrt {b} \sqrt {a+b^2} \sqrt {\sqrt {a+b^2}+b}-\sqrt {2} b^{3/2} \sqrt {\sqrt {a+b^2}+b}\right ) \tan ^{-1}\left (\frac {\sqrt [4]{a} \sqrt {\sqrt {a x^2+b^2}-\sqrt {a} x}}{\sqrt {b} \sqrt {\sqrt {a+b^2}+b}}\right )}{a^{5/4}}-\frac {2 \left (-\sqrt {2} \sqrt {a} \sqrt {b} \sqrt {\sqrt {a+b^2}-b}+\sqrt {2} \sqrt {b} \sqrt {a+b^2} \sqrt {\sqrt {a+b^2}-b}+\sqrt {2} b^{3/2} \sqrt {\sqrt {a+b^2}-b}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{a} \sqrt {\sqrt {a x^2+b^2}-\sqrt {a} x}}{\sqrt {b} \sqrt {\sqrt {a+b^2}-b}}\right )}{a^{5/4}}+\frac {\sqrt {2} \sqrt {\sqrt {a x^2+b^2}-\sqrt {a} x} \left (\sqrt {a} x-b\right )}{\sqrt {a} b}+\frac {\sqrt {2} \sqrt {a x^2+b^2} \sqrt {\sqrt {a x^2+b^2}-\sqrt {a} x}}{\sqrt {a} b}-\frac {2 \sqrt {2} \sqrt {b} \tan ^{-1}\left (\frac {\sqrt {\sqrt {a x^2+b^2}-\sqrt {a} x}}{\sqrt {b}}\right )}{\sqrt {a}} \]
________________________________________________________________________________________
Rubi [F] time = 0.67, 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 {b^2+a x}{\left (-b^2+a x\right ) \sqrt {b+\sqrt {b^2+a x^2}}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {b^2+a x}{\left (-b^2+a x\right ) \sqrt {b+\sqrt {b^2+a x^2}}} \, dx &=\int \left (\frac {1}{\sqrt {b+\sqrt {b^2+a x^2}}}-\frac {2 b^2}{\left (b^2-a x\right ) \sqrt {b+\sqrt {b^2+a x^2}}}\right ) \, dx\\ &=-\left (\left (2 b^2\right ) \int \frac {1}{\left (b^2-a x\right ) \sqrt {b+\sqrt {b^2+a x^2}}} \, dx\right )+\int \frac {1}{\sqrt {b+\sqrt {b^2+a x^2}}} \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [F] time = 0.33, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {b^2+a x}{\left (-b^2+a x\right ) \sqrt {b+\sqrt {b^2+a x^2}}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [C] time = 4.76, size = 1138, normalized size = 2.42 \begin {gather*} \frac {2 x}{\sqrt {b+\sqrt {b^2+a x^2}}}+\frac {2 \sqrt {2} \sqrt {b} \tan ^{-1}\left (\frac {\sqrt {a} x}{\sqrt {2} \sqrt {b} \sqrt {b+\sqrt {b^2+a x^2}}}-\frac {\sqrt {b+\sqrt {b^2+a x^2}}}{\sqrt {2} \sqrt {b}}\right )}{\sqrt {a}}-2 i \sqrt {a} b^3 \text {RootSum}\left [16 a^4 b^4-8 a^2 b^2 \text {$\#$1}^4-16 a b^4 \text {$\#$1}^4+\text {$\#$1}^8\&,\frac {\log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right ) \text {$\#$1}}{-4 a^2 b^2-8 a b^4+\text {$\#$1}^4}\&\right ]-\frac {i b^2 \text {RootSum}\left [16 a^4 b^4-8 a^2 b^2 \text {$\#$1}^4-16 a b^4 \text {$\#$1}^4+\text {$\#$1}^8\&,\frac {\log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right ) \text {$\#$1}^3}{-4 a^2 b^2-8 a b^4+\text {$\#$1}^4}\&\right ]}{\sqrt {a}}+4 i a^{3/2} b^4 \text {RootSum}\left [16 a^4 b^4-8 a^2 b^2 \text {$\#$1}^4-16 a b^4 \text {$\#$1}^4+\text {$\#$1}^8\&,\frac {\log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right )}{4 a^2 b^2 \text {$\#$1}+8 a b^4 \text {$\#$1}-\text {$\#$1}^5}\&\right ]+8 i a^{5/2} b^5 \text {RootSum}\left [16 a^4 b^4-8 a^2 b^2 \text {$\#$1}^4-16 a b^4 \text {$\#$1}^4+\text {$\#$1}^8\&,\frac {\log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right )}{4 a^2 b^2 \text {$\#$1}^3+8 a b^4 \text {$\#$1}^3-\text {$\#$1}^7}\&\right ]-i b \text {RootSum}\left [16 a^4 b^4-8 a^2 b^2 \text {$\#$1}^4-16 a b^4 \text {$\#$1}^4+\text {$\#$1}^8\&,\frac {8 a^3 b^3 \log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right )+4 a^2 b^2 \log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right ) \text {$\#$1}^2+8 a b^4 \log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right ) \text {$\#$1}^2-2 a b \log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right ) \text {$\#$1}^4-4 b^3 \log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right ) \text {$\#$1}^4-\log \left (\frac {i a x}{\sqrt {b+\sqrt {b^2+a x^2}}}-i \sqrt {a} \sqrt {b+\sqrt {b^2+a x^2}}-\text {$\#$1}\right ) \text {$\#$1}^6}{4 a^2 b^2 \text {$\#$1}^3+8 a b^4 \text {$\#$1}^3-\text {$\#$1}^7}\&\right ] \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] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int -\frac {b^{2} + a x}{{\left (b^{2} - a x\right )} \sqrt {b + \sqrt {a x^{2} + b^{2}}}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.05, size = 0, normalized size = 0.00 \[\int \frac {a x +b^{2}}{\left (a x -b^{2}\right ) \sqrt {b +\sqrt {a \,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 {b^{2} + a x}{{\left (b^{2} - a x\right )} \sqrt {b + \sqrt {a x^{2} + b^{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 {b^2+a\,x}{\left (a\,x-b^2\right )\,\sqrt {b+\sqrt {b^2+a\,x^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 {a x + b^{2}}{\sqrt {b + \sqrt {a x^{2} + b^{2}}} \left (a x - b^{2}\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________