Optimal. Leaf size=132 \[ \frac {1}{8} a^3 \sqrt {\frac {1}{a x+1}} \sqrt {a x+1} \tanh ^{-1}\left (\sqrt {1-a x} \sqrt {a x+1}\right )+\frac {\sqrt {1-a x}}{12 a x^4 \sqrt {\frac {1}{a x+1}}}+\frac {1}{12 a x^4}-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3}+\frac {a \sqrt {1-a x}}{8 x^2 \sqrt {\frac {1}{a x+1}}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.06, antiderivative size = 132, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, integrand size = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.600, Rules used = {6335, 30, 103, 12, 92, 208} \[ \frac {1}{8} a^3 \sqrt {\frac {1}{a x+1}} \sqrt {a x+1} \tanh ^{-1}\left (\sqrt {1-a x} \sqrt {a x+1}\right )+\frac {a \sqrt {1-a x}}{8 x^2 \sqrt {\frac {1}{a x+1}}}+\frac {\sqrt {1-a x}}{12 a x^4 \sqrt {\frac {1}{a x+1}}}+\frac {1}{12 a x^4}-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 30
Rule 92
Rule 103
Rule 208
Rule 6335
Rubi steps
\begin {align*} \int \frac {e^{\text {sech}^{-1}(a x)}}{x^4} \, dx &=-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3}-\frac {\int \frac {1}{x^5} \, dx}{3 a}-\frac {\left (\sqrt {\frac {1}{1+a x}} \sqrt {1+a x}\right ) \int \frac {1}{x^5 \sqrt {1-a x} \sqrt {1+a x}} \, dx}{3 a}\\ &=\frac {1}{12 a x^4}-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3}+\frac {\sqrt {1-a x}}{12 a x^4 \sqrt {\frac {1}{1+a x}}}+\frac {\left (\sqrt {\frac {1}{1+a x}} \sqrt {1+a x}\right ) \int -\frac {3 a^2}{x^3 \sqrt {1-a x} \sqrt {1+a x}} \, dx}{12 a}\\ &=\frac {1}{12 a x^4}-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3}+\frac {\sqrt {1-a x}}{12 a x^4 \sqrt {\frac {1}{1+a x}}}-\frac {1}{4} \left (a \sqrt {\frac {1}{1+a x}} \sqrt {1+a x}\right ) \int \frac {1}{x^3 \sqrt {1-a x} \sqrt {1+a x}} \, dx\\ &=\frac {1}{12 a x^4}-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3}+\frac {\sqrt {1-a x}}{12 a x^4 \sqrt {\frac {1}{1+a x}}}+\frac {a \sqrt {1-a x}}{8 x^2 \sqrt {\frac {1}{1+a x}}}-\frac {1}{8} \left (a \sqrt {\frac {1}{1+a x}} \sqrt {1+a x}\right ) \int \frac {a^2}{x \sqrt {1-a x} \sqrt {1+a x}} \, dx\\ &=\frac {1}{12 a x^4}-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3}+\frac {\sqrt {1-a x}}{12 a x^4 \sqrt {\frac {1}{1+a x}}}+\frac {a \sqrt {1-a x}}{8 x^2 \sqrt {\frac {1}{1+a x}}}-\frac {1}{8} \left (a^3 \sqrt {\frac {1}{1+a x}} \sqrt {1+a x}\right ) \int \frac {1}{x \sqrt {1-a x} \sqrt {1+a x}} \, dx\\ &=\frac {1}{12 a x^4}-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3}+\frac {\sqrt {1-a x}}{12 a x^4 \sqrt {\frac {1}{1+a x}}}+\frac {a \sqrt {1-a x}}{8 x^2 \sqrt {\frac {1}{1+a x}}}+\frac {1}{8} \left (a^4 \sqrt {\frac {1}{1+a x}} \sqrt {1+a x}\right ) \operatorname {Subst}\left (\int \frac {1}{a-a x^2} \, dx,x,\sqrt {1-a x} \sqrt {1+a x}\right )\\ &=\frac {1}{12 a x^4}-\frac {e^{\text {sech}^{-1}(a x)}}{3 x^3}+\frac {\sqrt {1-a x}}{12 a x^4 \sqrt {\frac {1}{1+a x}}}+\frac {a \sqrt {1-a x}}{8 x^2 \sqrt {\frac {1}{1+a x}}}+\frac {1}{8} a^3 \sqrt {\frac {1}{1+a x}} \sqrt {1+a x} \tanh ^{-1}\left (\sqrt {1-a x} \sqrt {1+a x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.08, size = 110, normalized size = 0.83 \[ \frac {-a^4 x^4 \log (x)+a^4 x^4 \log \left (a x \sqrt {\frac {1-a x}{a x+1}}+\sqrt {\frac {1-a x}{a x+1}}+1\right )+\sqrt {\frac {1-a x}{a x+1}} \left (a^3 x^3+a^2 x^2-2 a x-2\right )-2}{8 a x^4} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.65, size = 138, normalized size = 1.05 \[ \frac {a^{4} x^{4} \log \left (a x \sqrt {\frac {a x + 1}{a x}} \sqrt {-\frac {a x - 1}{a x}} + 1\right ) - a^{4} x^{4} \log \left (a x \sqrt {\frac {a x + 1}{a x}} \sqrt {-\frac {a x - 1}{a x}} - 1\right ) + 2 \, {\left (a^{3} x^{3} - 2 \, a x\right )} \sqrt {\frac {a x + 1}{a x}} \sqrt {-\frac {a x - 1}{a x}} - 4}{16 \, a x^{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\sqrt {\frac {1}{a x} + 1} \sqrt {\frac {1}{a x} - 1} + \frac {1}{a x}}{x^{4}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 110, normalized size = 0.83 \[ \frac {\sqrt {-\frac {a x -1}{a x}}\, \sqrt {\frac {a x +1}{a x}}\, \left (\arctanh \left (\frac {1}{\sqrt {-a^{2} x^{2}+1}}\right ) x^{4} a^{4}+a^{2} x^{2} \sqrt {-a^{2} x^{2}+1}-2 \sqrt {-a^{2} x^{2}+1}\right )}{8 x^{3} \sqrt {-a^{2} x^{2}+1}}-\frac {1}{4 x^{4} a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \frac {\frac {1}{8} \, a^{4} \log \left (\frac {2 \, \sqrt {-a^{2} x^{2} + 1}}{{\left | x \right |}} + \frac {2}{{\left | x \right |}}\right ) - \frac {1}{8} \, \sqrt {-a^{2} x^{2} + 1} a^{4} - \frac {{\left (-a^{2} x^{2} + 1\right )}^{\frac {3}{2}} a^{2}}{8 \, x^{2}} - \frac {{\left (-a^{2} x^{2} + 1\right )}^{\frac {3}{2}}}{4 \, x^{4}}}{a} - \frac {1}{4 \, a x^{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 13.42, size = 602, normalized size = 4.56 \[ \frac {a^3\,\mathrm {atanh}\left (\frac {\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}}{\sqrt {\frac {1}{a\,x}+1}-1}\right )}{2}-\frac {\frac {35\,a^3\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^3}{2\,{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^3}+\frac {273\,a^3\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^5}{2\,{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^5}+\frac {715\,a^3\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^7}{2\,{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^7}+\frac {715\,a^3\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^9}{2\,{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^9}+\frac {273\,a^3\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^{11}}{2\,{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^{11}}+\frac {35\,a^3\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^{13}}{2\,{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^{13}}+\frac {a^3\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^{15}}{2\,{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^{15}}+\frac {a^3\,\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}{2\,\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}}{1+\frac {28\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^4}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^4}-\frac {56\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^6}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^6}+\frac {70\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^8}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^8}-\frac {56\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^{10}}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^{10}}+\frac {28\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^{12}}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^{12}}-\frac {8\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^{14}}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^{14}}+\frac {{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^{16}}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^{16}}-\frac {8\,{\left (\sqrt {\frac {1}{a\,x}-1}-\mathrm {i}\right )}^2}{{\left (\sqrt {\frac {1}{a\,x}+1}-1\right )}^2}}-\frac {1}{4\,a\,x^4} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \frac {\int \frac {1}{x^{5}}\, dx + \int \frac {a \sqrt {-1 + \frac {1}{a x}} \sqrt {1 + \frac {1}{a x}}}{x^{4}}\, dx}{a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________