Optimal. Leaf size=111 \[ -\frac {\sqrt {e} \sqrt {d+e x^2}}{20 d x^4}+\frac {3 e^{3/2} \sqrt {d+e x^2}}{40 d^2 x^2}-\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{5 x^5}-\frac {3 e^{5/2} \tanh ^{-1}\left (\frac {\sqrt {d+e x^2}}{\sqrt {d}}\right )}{40 d^{5/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 111, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 5, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.217, Rules used = {6356, 272, 44,
65, 214} \begin {gather*} -\frac {3 e^{5/2} \tanh ^{-1}\left (\frac {\sqrt {d+e x^2}}{\sqrt {d}}\right )}{40 d^{5/2}}+\frac {3 e^{3/2} \sqrt {d+e x^2}}{40 d^2 x^2}-\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{5 x^5}-\frac {\sqrt {e} \sqrt {d+e x^2}}{20 d x^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 44
Rule 65
Rule 214
Rule 272
Rule 6356
Rubi steps
\begin {align*} \int \frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{x^6} \, dx &=-\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{5 x^5}+\frac {1}{5} \sqrt {e} \int \frac {1}{x^5 \sqrt {d+e x^2}} \, dx\\ &=-\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{5 x^5}+\frac {1}{10} \sqrt {e} \text {Subst}\left (\int \frac {1}{x^3 \sqrt {d+e x}} \, dx,x,x^2\right )\\ &=-\frac {\sqrt {e} \sqrt {d+e x^2}}{20 d x^4}-\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{5 x^5}-\frac {\left (3 e^{3/2}\right ) \text {Subst}\left (\int \frac {1}{x^2 \sqrt {d+e x}} \, dx,x,x^2\right )}{40 d}\\ &=-\frac {\sqrt {e} \sqrt {d+e x^2}}{20 d x^4}+\frac {3 e^{3/2} \sqrt {d+e x^2}}{40 d^2 x^2}-\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{5 x^5}+\frac {\left (3 e^{5/2}\right ) \text {Subst}\left (\int \frac {1}{x \sqrt {d+e x}} \, dx,x,x^2\right )}{80 d^2}\\ &=-\frac {\sqrt {e} \sqrt {d+e x^2}}{20 d x^4}+\frac {3 e^{3/2} \sqrt {d+e x^2}}{40 d^2 x^2}-\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{5 x^5}+\frac {\left (3 e^{3/2}\right ) \text {Subst}\left (\int \frac {1}{-\frac {d}{e}+\frac {x^2}{e}} \, dx,x,\sqrt {d+e x^2}\right )}{40 d^2}\\ &=-\frac {\sqrt {e} \sqrt {d+e x^2}}{20 d x^4}+\frac {3 e^{3/2} \sqrt {d+e x^2}}{40 d^2 x^2}-\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{5 x^5}-\frac {3 e^{5/2} \tanh ^{-1}\left (\frac {\sqrt {d+e x^2}}{\sqrt {d}}\right )}{40 d^{5/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 107, normalized size = 0.96 \begin {gather*} \frac {-8 \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )+\frac {\sqrt {e} x \left (\sqrt {d} \sqrt {d+e x^2} \left (-2 d+3 e x^2\right )+3 e^2 x^4 \log (x)-3 e^2 x^4 \log \left (d+\sqrt {d} \sqrt {d+e x^2}\right )\right )}{d^{5/2}}}{40 x^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(170\) vs.
\(2(83)=166\).
time = 0.01, size = 171, normalized size = 1.54
method | result | size |
default | \(-\frac {\arctanh \left (\frac {x \sqrt {e}}{\sqrt {e \,x^{2}+d}}\right )}{5 x^{5}}-\frac {e^{\frac {3}{2}} \left (-\frac {\sqrt {e \,x^{2}+d}}{2 x^{2} d}+\frac {e \ln \left (\frac {2 d +2 \sqrt {d}\, \sqrt {e \,x^{2}+d}}{x}\right )}{2 d^{\frac {3}{2}}}\right )}{5 d}+\frac {\sqrt {e}\, \left (-\frac {\left (e \,x^{2}+d \right )^{\frac {3}{2}}}{4 d \,x^{4}}-\frac {e \left (-\frac {\left (e \,x^{2}+d \right )^{\frac {3}{2}}}{2 d \,x^{2}}+\frac {e \left (\sqrt {e \,x^{2}+d}-\sqrt {d}\, \ln \left (\frac {2 d +2 \sqrt {d}\, \sqrt {e \,x^{2}+d}}{x}\right )\right )}{2 d}\right )}{4 d}\right )}{5 d}\) | \(171\) |
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 [B] Leaf count of result is larger than twice the leaf count of optimal. 369 vs.
\(2 (83) = 166\).
time = 0.39, size = 727, normalized size = 6.55 \begin {gather*} \left [\frac {8 \, d^{3} x^{5} \log \left (-x \cosh \left (\frac {1}{2}\right ) - x \sinh \left (\frac {1}{2}\right ) + \sqrt {\frac {{\left (x^{2} + d\right )} \cosh \left (\frac {1}{2}\right ) + {\left (x^{2} - d\right )} \sinh \left (\frac {1}{2}\right )}{\cosh \left (\frac {1}{2}\right ) - \sinh \left (\frac {1}{2}\right )}}\right ) + 3 \, {\left (x^{5} \cosh \left (\frac {1}{2}\right )^{5} + 5 \, x^{5} \cosh \left (\frac {1}{2}\right )^{4} \sinh \left (\frac {1}{2}\right ) + 10 \, x^{5} \cosh \left (\frac {1}{2}\right )^{3} \sinh \left (\frac {1}{2}\right )^{2} + 10 \, x^{5} \cosh \left (\frac {1}{2}\right )^{2} \sinh \left (\frac {1}{2}\right )^{3} + 5 \, x^{5} \cosh \left (\frac {1}{2}\right ) \sinh \left (\frac {1}{2}\right )^{4} + x^{5} \sinh \left (\frac {1}{2}\right )^{5}\right )} \sqrt {d} \log \left (-\frac {\sqrt {d} - \sqrt {\frac {{\left (x^{2} + d\right )} \cosh \left (\frac {1}{2}\right ) + {\left (x^{2} - d\right )} \sinh \left (\frac {1}{2}\right )}{\cosh \left (\frac {1}{2}\right ) - \sinh \left (\frac {1}{2}\right )}}}{x}\right ) + 4 \, {\left (d^{3} x^{5} - d^{3}\right )} \log \left (\frac {2 \, x^{2} \cosh \left (\frac {1}{2}\right )^{2} + 4 \, x^{2} \cosh \left (\frac {1}{2}\right ) \sinh \left (\frac {1}{2}\right ) + 2 \, x^{2} \sinh \left (\frac {1}{2}\right )^{2} + 2 \, {\left (x \cosh \left (\frac {1}{2}\right ) + x \sinh \left (\frac {1}{2}\right )\right )} \sqrt {\frac {{\left (x^{2} + d\right )} \cosh \left (\frac {1}{2}\right ) + {\left (x^{2} - d\right )} \sinh \left (\frac {1}{2}\right )}{\cosh \left (\frac {1}{2}\right ) - \sinh \left (\frac {1}{2}\right )}} + d}{d}\right ) + {\left (3 \, d x^{3} \cosh \left (\frac {1}{2}\right )^{3} + 9 \, d x^{3} \cosh \left (\frac {1}{2}\right ) \sinh \left (\frac {1}{2}\right )^{2} + 3 \, d x^{3} \sinh \left (\frac {1}{2}\right )^{3} - 2 \, d^{2} x \cosh \left (\frac {1}{2}\right ) + {\left (9 \, d x^{3} \cosh \left (\frac {1}{2}\right )^{2} - 2 \, d^{2} x\right )} \sinh \left (\frac {1}{2}\right )\right )} \sqrt {\frac {{\left (x^{2} + d\right )} \cosh \left (\frac {1}{2}\right ) + {\left (x^{2} - d\right )} \sinh \left (\frac {1}{2}\right )}{\cosh \left (\frac {1}{2}\right ) - \sinh \left (\frac {1}{2}\right )}}}{40 \, d^{3} x^{5}}, \frac {8 \, d^{3} x^{5} \log \left (-x \cosh \left (\frac {1}{2}\right ) - x \sinh \left (\frac {1}{2}\right ) + \sqrt {\frac {{\left (x^{2} + d\right )} \cosh \left (\frac {1}{2}\right ) + {\left (x^{2} - d\right )} \sinh \left (\frac {1}{2}\right )}{\cosh \left (\frac {1}{2}\right ) - \sinh \left (\frac {1}{2}\right )}}\right ) + 6 \, {\left (x^{5} \cosh \left (\frac {1}{2}\right )^{5} + 5 \, x^{5} \cosh \left (\frac {1}{2}\right )^{4} \sinh \left (\frac {1}{2}\right ) + 10 \, x^{5} \cosh \left (\frac {1}{2}\right )^{3} \sinh \left (\frac {1}{2}\right )^{2} + 10 \, x^{5} \cosh \left (\frac {1}{2}\right )^{2} \sinh \left (\frac {1}{2}\right )^{3} + 5 \, x^{5} \cosh \left (\frac {1}{2}\right ) \sinh \left (\frac {1}{2}\right )^{4} + x^{5} \sinh \left (\frac {1}{2}\right )^{5}\right )} \sqrt {-d} \arctan \left (-\frac {{\left (x \cosh \left (\frac {1}{2}\right ) + x \sinh \left (\frac {1}{2}\right ) - \sqrt {\frac {{\left (x^{2} + d\right )} \cosh \left (\frac {1}{2}\right ) + {\left (x^{2} - d\right )} \sinh \left (\frac {1}{2}\right )}{\cosh \left (\frac {1}{2}\right ) - \sinh \left (\frac {1}{2}\right )}}\right )} \sqrt {-d}}{d}\right ) + 4 \, {\left (d^{3} x^{5} - d^{3}\right )} \log \left (\frac {2 \, x^{2} \cosh \left (\frac {1}{2}\right )^{2} + 4 \, x^{2} \cosh \left (\frac {1}{2}\right ) \sinh \left (\frac {1}{2}\right ) + 2 \, x^{2} \sinh \left (\frac {1}{2}\right )^{2} + 2 \, {\left (x \cosh \left (\frac {1}{2}\right ) + x \sinh \left (\frac {1}{2}\right )\right )} \sqrt {\frac {{\left (x^{2} + d\right )} \cosh \left (\frac {1}{2}\right ) + {\left (x^{2} - d\right )} \sinh \left (\frac {1}{2}\right )}{\cosh \left (\frac {1}{2}\right ) - \sinh \left (\frac {1}{2}\right )}} + d}{d}\right ) + {\left (3 \, d x^{3} \cosh \left (\frac {1}{2}\right )^{3} + 9 \, d x^{3} \cosh \left (\frac {1}{2}\right ) \sinh \left (\frac {1}{2}\right )^{2} + 3 \, d x^{3} \sinh \left (\frac {1}{2}\right )^{3} - 2 \, d^{2} x \cosh \left (\frac {1}{2}\right ) + {\left (9 \, d x^{3} \cosh \left (\frac {1}{2}\right )^{2} - 2 \, d^{2} x\right )} \sinh \left (\frac {1}{2}\right )\right )} \sqrt {\frac {{\left (x^{2} + d\right )} \cosh \left (\frac {1}{2}\right ) + {\left (x^{2} - d\right )} \sinh \left (\frac {1}{2}\right )}{\cosh \left (\frac {1}{2}\right ) - \sinh \left (\frac {1}{2}\right )}}}{40 \, d^{3} x^{5}}\right ] \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 {\operatorname {atanh}{\left (\frac {\sqrt {e} x}{\sqrt {d + e x^{2}}} \right )}}{x^{6}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [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]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\mathrm {atanh}\left (\frac {\sqrt {e}\,x}{\sqrt {e\,x^2+d}}\right )}{x^6} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________