Optimal. Leaf size=127 \[ -\frac {\sqrt {c-a c x}}{3 x^3}+\frac {13 a \sqrt {c-a c x}}{12 x^2}-\frac {19 a^2 \sqrt {c-a c x}}{8 x}+\frac {45}{8} a^3 \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c-a c x}}{\sqrt {c}}\right )-4 \sqrt {2} a^3 \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c-a c x}}{\sqrt {2} \sqrt {c}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.13, antiderivative size = 127, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 8, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.348, Rules used = {6265, 21, 100,
156, 162, 65, 214, 212} \begin {gather*} \frac {45}{8} a^3 \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c-a c x}}{\sqrt {c}}\right )-4 \sqrt {2} a^3 \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c-a c x}}{\sqrt {2} \sqrt {c}}\right )-\frac {19 a^2 \sqrt {c-a c x}}{8 x}-\frac {\sqrt {c-a c x}}{3 x^3}+\frac {13 a \sqrt {c-a c x}}{12 x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 21
Rule 65
Rule 100
Rule 156
Rule 162
Rule 212
Rule 214
Rule 6265
Rubi steps
\begin {align*} \int \frac {e^{-2 \tanh ^{-1}(a x)} \sqrt {c-a c x}}{x^4} \, dx &=\int \frac {(1-a x) \sqrt {c-a c x}}{x^4 (1+a x)} \, dx\\ &=\frac {\int \frac {(c-a c x)^{3/2}}{x^4 (1+a x)} \, dx}{c}\\ &=-\frac {\sqrt {c-a c x}}{3 x^3}-\frac {\int \frac {\frac {13 a c^2}{2}-\frac {11}{2} a^2 c^2 x}{x^3 (1+a x) \sqrt {c-a c x}} \, dx}{3 c}\\ &=-\frac {\sqrt {c-a c x}}{3 x^3}+\frac {13 a \sqrt {c-a c x}}{12 x^2}+\frac {\int \frac {\frac {57 a^2 c^3}{4}-\frac {39}{4} a^3 c^3 x}{x^2 (1+a x) \sqrt {c-a c x}} \, dx}{6 c^2}\\ &=-\frac {\sqrt {c-a c x}}{3 x^3}+\frac {13 a \sqrt {c-a c x}}{12 x^2}-\frac {19 a^2 \sqrt {c-a c x}}{8 x}-\frac {\int \frac {\frac {135 a^3 c^4}{8}-\frac {57}{8} a^4 c^4 x}{x (1+a x) \sqrt {c-a c x}} \, dx}{6 c^3}\\ &=-\frac {\sqrt {c-a c x}}{3 x^3}+\frac {13 a \sqrt {c-a c x}}{12 x^2}-\frac {19 a^2 \sqrt {c-a c x}}{8 x}-\frac {1}{16} \left (45 a^3 c\right ) \int \frac {1}{x \sqrt {c-a c x}} \, dx+\left (4 a^4 c\right ) \int \frac {1}{(1+a x) \sqrt {c-a c x}} \, dx\\ &=-\frac {\sqrt {c-a c x}}{3 x^3}+\frac {13 a \sqrt {c-a c x}}{12 x^2}-\frac {19 a^2 \sqrt {c-a c x}}{8 x}+\frac {1}{8} \left (45 a^2\right ) \text {Subst}\left (\int \frac {1}{\frac {1}{a}-\frac {x^2}{a c}} \, dx,x,\sqrt {c-a c x}\right )-\left (8 a^3\right ) \text {Subst}\left (\int \frac {1}{2-\frac {x^2}{c}} \, dx,x,\sqrt {c-a c x}\right )\\ &=-\frac {\sqrt {c-a c x}}{3 x^3}+\frac {13 a \sqrt {c-a c x}}{12 x^2}-\frac {19 a^2 \sqrt {c-a c x}}{8 x}+\frac {45}{8} a^3 \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c-a c x}}{\sqrt {c}}\right )-4 \sqrt {2} a^3 \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c-a c x}}{\sqrt {2} \sqrt {c}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.13, size = 101, normalized size = 0.80 \begin {gather*} \frac {\sqrt {c-a c x} \left (-8+26 a x-57 a^2 x^2\right )}{24 x^3}+\frac {45}{8} a^3 \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c-a c x}}{\sqrt {c}}\right )-4 \sqrt {2} a^3 \sqrt {c} \tanh ^{-1}\left (\frac {\sqrt {c-a c x}}{\sqrt {2} \sqrt {c}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.78, size = 108, normalized size = 0.85
method | result | size |
risch | \(\frac {\left (57 a^{3} x^{3}-83 a^{2} x^{2}+34 a x -8\right ) c}{24 x^{3} \sqrt {-c \left (a x -1\right )}}-\frac {a^{3} \left (-\frac {90 \arctanh \left (\frac {\sqrt {-c x a +c}}{\sqrt {c}}\right )}{\sqrt {c}}+\frac {64 \sqrt {2}\, \arctanh \left (\frac {\sqrt {-c x a +c}\, \sqrt {2}}{2 \sqrt {c}}\right )}{\sqrt {c}}\right ) c}{16}\) | \(92\) |
derivativedivides | \(2 a^{3} c^{3} \left (\frac {\frac {-\frac {19 \left (-c x a +c \right )^{\frac {5}{2}}}{16}+\frac {11 c \left (-c x a +c \right )^{\frac {3}{2}}}{6}-\frac {13 c^{2} \sqrt {-c x a +c}}{16}}{c^{3} x^{3} a^{3}}+\frac {45 \arctanh \left (\frac {\sqrt {-c x a +c}}{\sqrt {c}}\right )}{16 \sqrt {c}}}{c^{2}}-\frac {2 \sqrt {2}\, \arctanh \left (\frac {\sqrt {-c x a +c}\, \sqrt {2}}{2 \sqrt {c}}\right )}{c^{\frac {5}{2}}}\right )\) | \(108\) |
default | \(2 a^{3} c^{3} \left (\frac {\frac {-\frac {19 \left (-c x a +c \right )^{\frac {5}{2}}}{16}+\frac {11 c \left (-c x a +c \right )^{\frac {3}{2}}}{6}-\frac {13 c^{2} \sqrt {-c x a +c}}{16}}{c^{3} x^{3} a^{3}}+\frac {45 \arctanh \left (\frac {\sqrt {-c x a +c}}{\sqrt {c}}\right )}{16 \sqrt {c}}}{c^{2}}-\frac {2 \sqrt {2}\, \arctanh \left (\frac {\sqrt {-c x a +c}\, \sqrt {2}}{2 \sqrt {c}}\right )}{c^{\frac {5}{2}}}\right )\) | \(108\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.47, size = 183, normalized size = 1.44 \begin {gather*} -\frac {1}{48} \, a^{3} c^{3} {\left (\frac {2 \, {\left (57 \, {\left (-a c x + c\right )}^{\frac {5}{2}} - 88 \, {\left (-a c x + c\right )}^{\frac {3}{2}} c + 39 \, \sqrt {-a c x + c} c^{2}\right )}}{{\left (a c x - c\right )}^{3} c^{2} + 3 \, {\left (a c x - c\right )}^{2} c^{3} + 3 \, {\left (a c x - c\right )} c^{4} + c^{5}} - \frac {96 \, \sqrt {2} \log \left (-\frac {\sqrt {2} \sqrt {c} - \sqrt {-a c x + c}}{\sqrt {2} \sqrt {c} + \sqrt {-a c x + c}}\right )}{c^{\frac {5}{2}}} + \frac {135 \, \log \left (\frac {\sqrt {-a c x + c} - \sqrt {c}}{\sqrt {-a c x + c} + \sqrt {c}}\right )}{c^{\frac {5}{2}}}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.37, size = 220, normalized size = 1.73 \begin {gather*} \left [\frac {96 \, \sqrt {2} a^{3} \sqrt {c} x^{3} \log \left (\frac {a c x + 2 \, \sqrt {2} \sqrt {-a c x + c} \sqrt {c} - 3 \, c}{a x + 1}\right ) + 135 \, a^{3} \sqrt {c} x^{3} \log \left (\frac {a c x - 2 \, \sqrt {-a c x + c} \sqrt {c} - 2 \, c}{x}\right ) - 2 \, {\left (57 \, a^{2} x^{2} - 26 \, a x + 8\right )} \sqrt {-a c x + c}}{48 \, x^{3}}, \frac {96 \, \sqrt {2} a^{3} \sqrt {-c} x^{3} \arctan \left (\frac {\sqrt {2} \sqrt {-a c x + c} \sqrt {-c}}{2 \, c}\right ) - 135 \, a^{3} \sqrt {-c} x^{3} \arctan \left (\frac {\sqrt {-a c x + c} \sqrt {-c}}{c}\right ) - {\left (57 \, a^{2} x^{2} - 26 \, a x + 8\right )} \sqrt {-a c x + c}}{24 \, x^{3}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 614 vs.
\(2 (119) = 238\).
time = 15.78, size = 614, normalized size = 4.83 \begin {gather*} \frac {66 a^{3} c^{6} \sqrt {- a c x + c}}{- 144 a c^{6} x + 96 c^{6} - 144 c^{4} \left (- a c x + c\right )^{2} + 48 c^{3} \left (- a c x + c\right )^{3}} - \frac {80 a^{3} c^{5} \left (- a c x + c\right )^{\frac {3}{2}}}{- 144 a c^{6} x + 96 c^{6} - 144 c^{4} \left (- a c x + c\right )^{2} + 48 c^{3} \left (- a c x + c\right )^{3}} + \frac {30 a^{3} c^{4} \left (- a c x + c\right )^{\frac {5}{2}}}{- 144 a c^{6} x + 96 c^{6} - 144 c^{4} \left (- a c x + c\right )^{2} + 48 c^{3} \left (- a c x + c\right )^{3}} + \frac {30 a^{3} c^{4} \sqrt {- a c x + c}}{16 a c^{4} x - 8 c^{4} + 8 c^{2} \left (- a c x + c\right )^{2}} + \frac {5 a^{3} c^{4} \sqrt {\frac {1}{c^{7}}} \log {\left (- c^{4} \sqrt {\frac {1}{c^{7}}} + \sqrt {- a c x + c} \right )}}{16} - \frac {5 a^{3} c^{4} \sqrt {\frac {1}{c^{7}}} \log {\left (c^{4} \sqrt {\frac {1}{c^{7}}} + \sqrt {- a c x + c} \right )}}{16} - \frac {18 a^{3} c^{3} \left (- a c x + c\right )^{\frac {3}{2}}}{16 a c^{4} x - 8 c^{4} + 8 c^{2} \left (- a c x + c\right )^{2}} - \frac {9 a^{3} c^{3} \sqrt {\frac {1}{c^{5}}} \log {\left (- c^{3} \sqrt {\frac {1}{c^{5}}} + \sqrt {- a c x + c} \right )}}{8} + \frac {9 a^{3} c^{3} \sqrt {\frac {1}{c^{5}}} \log {\left (c^{3} \sqrt {\frac {1}{c^{5}}} + \sqrt {- a c x + c} \right )}}{8} + 2 a^{3} c^{2} \sqrt {\frac {1}{c^{3}}} \log {\left (- c^{2} \sqrt {\frac {1}{c^{3}}} + \sqrt {- a c x + c} \right )} - 2 a^{3} c^{2} \sqrt {\frac {1}{c^{3}}} \log {\left (c^{2} \sqrt {\frac {1}{c^{3}}} + \sqrt {- a c x + c} \right )} - \frac {8 a^{3} c \operatorname {atan}{\left (\frac {\sqrt {- a c x + c}}{\sqrt {- c}} \right )}}{\sqrt {- c}} + \frac {4 \sqrt {2} a^{3} c \operatorname {atan}{\left (\frac {\sqrt {2} \sqrt {- a c x + c}}{2 \sqrt {- c}} \right )}}{\sqrt {- c}} - \frac {4 a^{2} \sqrt {- a c x + c}}{x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.40, size = 133, normalized size = 1.05 \begin {gather*} \frac {4 \, \sqrt {2} a^{3} c \arctan \left (\frac {\sqrt {2} \sqrt {-a c x + c}}{2 \, \sqrt {-c}}\right )}{\sqrt {-c}} - \frac {45 \, a^{3} c \arctan \left (\frac {\sqrt {-a c x + c}}{\sqrt {-c}}\right )}{8 \, \sqrt {-c}} - \frac {57 \, {\left (a c x - c\right )}^{2} \sqrt {-a c x + c} a^{3} c - 88 \, {\left (-a c x + c\right )}^{\frac {3}{2}} a^{3} c^{2} + 39 \, \sqrt {-a c x + c} a^{3} c^{3}}{24 \, a^{3} c^{3} x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.13, size = 105, normalized size = 0.83 \begin {gather*} \frac {11\,{\left (c-a\,c\,x\right )}^{3/2}}{3\,c\,x^3}-\frac {a^3\,\sqrt {c}\,\mathrm {atan}\left (\frac {\sqrt {c-a\,c\,x}\,1{}\mathrm {i}}{\sqrt {c}}\right )\,45{}\mathrm {i}}{8}-\frac {13\,\sqrt {c-a\,c\,x}}{8\,x^3}-\frac {19\,{\left (c-a\,c\,x\right )}^{5/2}}{8\,c^2\,x^3}+\sqrt {2}\,a^3\,\sqrt {c}\,\mathrm {atan}\left (\frac {\sqrt {2}\,\sqrt {c-a\,c\,x}\,1{}\mathrm {i}}{2\,\sqrt {c}}\right )\,4{}\mathrm {i} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________