Optimal. Leaf size=457 \[ \frac {b c (e f-d g) \sqrt {1-c^2 x^2}}{20 e \left (c^2 d^2-e^2\right ) (d+e x)^4}-\frac {b c \left (5 e^2 g-c^2 d (7 e f-2 d g)\right ) \sqrt {1-c^2 x^2}}{60 e \left (c^2 d^2-e^2\right )^2 (d+e x)^3}+\frac {b c^3 \left (e^2 (9 e f-34 d g)+c^2 d^2 (26 e f-d g)\right ) \sqrt {1-c^2 x^2}}{120 e \left (c^2 d^2-e^2\right )^3 (d+e x)^2}-\frac {b c^3 \left (4 e^4 g-c^2 d e^2 (11 e f-18 d g)-c^4 d^3 (10 e f+d g)\right ) \sqrt {1-c^2 x^2}}{24 e \left (c^2 d^2-e^2\right )^4 (d+e x)}-\frac {(e f-d g) (a+b \text {ArcSin}(c x))}{5 e^2 (d+e x)^5}-\frac {g (a+b \text {ArcSin}(c x))}{4 e^2 (d+e x)^4}+\frac {b c^5 \left (c^2 d^2 e^2 (24 e f-19 d g)+3 e^4 (e f-6 d g)+2 c^4 d^4 (4 e f+d g)\right ) \text {ArcTan}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{40 e^2 \left (c^2 d^2-e^2\right )^{9/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.68, antiderivative size = 457, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 7, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {45, 4837, 12,
849, 821, 739, 210} \begin {gather*} -\frac {(e f-d g) (a+b \text {ArcSin}(c x))}{5 e^2 (d+e x)^5}-\frac {g (a+b \text {ArcSin}(c x))}{4 e^2 (d+e x)^4}+\frac {b c^5 \text {ArcTan}\left (\frac {c^2 d x+e}{\sqrt {1-c^2 x^2} \sqrt {c^2 d^2-e^2}}\right ) \left (2 c^4 d^4 (d g+4 e f)+c^2 d^2 e^2 (24 e f-19 d g)+3 e^4 (e f-6 d g)\right )}{40 e^2 \left (c^2 d^2-e^2\right )^{9/2}}-\frac {b c \sqrt {1-c^2 x^2} \left (5 e^2 g-c^2 d (7 e f-2 d g)\right )}{60 e \left (c^2 d^2-e^2\right )^2 (d+e x)^3}+\frac {b c \sqrt {1-c^2 x^2} (e f-d g)}{20 e \left (c^2 d^2-e^2\right ) (d+e x)^4}+\frac {b c^3 \sqrt {1-c^2 x^2} \left (c^2 d^2 (26 e f-d g)+e^2 (9 e f-34 d g)\right )}{120 e \left (c^2 d^2-e^2\right )^3 (d+e x)^2}-\frac {b c^3 \sqrt {1-c^2 x^2} \left (c^4 \left (-d^3\right ) (d g+10 e f)-c^2 d e^2 (11 e f-18 d g)+4 e^4 g\right )}{24 e \left (c^2 d^2-e^2\right )^4 (d+e x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 45
Rule 210
Rule 739
Rule 821
Rule 849
Rule 4837
Rubi steps
\begin {align*} \int \frac {(f+g x) \left (a+b \sin ^{-1}(c x)\right )}{(d+e x)^6} \, dx &=-\frac {(e f-d g) \left (a+b \sin ^{-1}(c x)\right )}{5 e^2 (d+e x)^5}-\frac {g \left (a+b \sin ^{-1}(c x)\right )}{4 e^2 (d+e x)^4}-(b c) \int \frac {-4 e f-d g-5 e g x}{20 e^2 (d+e x)^5 \sqrt {1-c^2 x^2}} \, dx\\ &=-\frac {(e f-d g) \left (a+b \sin ^{-1}(c x)\right )}{5 e^2 (d+e x)^5}-\frac {g \left (a+b \sin ^{-1}(c x)\right )}{4 e^2 (d+e x)^4}-\frac {(b c) \int \frac {-4 e f-d g-5 e g x}{(d+e x)^5 \sqrt {1-c^2 x^2}} \, dx}{20 e^2}\\ &=\frac {b c (e f-d g) \sqrt {1-c^2 x^2}}{20 e \left (c^2 d^2-e^2\right ) (d+e x)^4}-\frac {(e f-d g) \left (a+b \sin ^{-1}(c x)\right )}{5 e^2 (d+e x)^5}-\frac {g \left (a+b \sin ^{-1}(c x)\right )}{4 e^2 (d+e x)^4}-\frac {(b c) \int \frac {4 \left (5 e^2 g-c^2 d (4 e f+d g)\right )+12 c^2 e (e f-d g) x}{(d+e x)^4 \sqrt {1-c^2 x^2}} \, dx}{80 e^2 \left (c^2 d^2-e^2\right )}\\ &=\frac {b c (e f-d g) \sqrt {1-c^2 x^2}}{20 e \left (c^2 d^2-e^2\right ) (d+e x)^4}-\frac {b c \left (5 e^2 g-c^2 d (7 e f-2 d g)\right ) \sqrt {1-c^2 x^2}}{60 e \left (c^2 d^2-e^2\right )^2 (d+e x)^3}-\frac {(e f-d g) \left (a+b \sin ^{-1}(c x)\right )}{5 e^2 (d+e x)^5}-\frac {g \left (a+b \sin ^{-1}(c x)\right )}{4 e^2 (d+e x)^4}-\frac {(b c) \int \frac {-12 c^2 \left (e^2 (3 e f-8 d g)+c^2 d^2 (4 e f+d g)\right )-8 c^2 e \left (5 e^2 g-c^2 d (7 e f-2 d g)\right ) x}{(d+e x)^3 \sqrt {1-c^2 x^2}} \, dx}{240 e^2 \left (c^2 d^2-e^2\right )^2}\\ &=\frac {b c (e f-d g) \sqrt {1-c^2 x^2}}{20 e \left (c^2 d^2-e^2\right ) (d+e x)^4}-\frac {b c \left (5 e^2 g-c^2 d (7 e f-2 d g)\right ) \sqrt {1-c^2 x^2}}{60 e \left (c^2 d^2-e^2\right )^2 (d+e x)^3}+\frac {b c^3 \left (e^2 (9 e f-34 d g)+c^2 d^2 (26 e f-d g)\right ) \sqrt {1-c^2 x^2}}{120 e \left (c^2 d^2-e^2\right )^3 (d+e x)^2}-\frac {(e f-d g) \left (a+b \sin ^{-1}(c x)\right )}{5 e^2 (d+e x)^5}-\frac {g \left (a+b \sin ^{-1}(c x)\right )}{4 e^2 (d+e x)^4}-\frac {(b c) \int \frac {8 c^2 \left (10 e^4 g-c^2 d e^2 (23 e f-28 d g)-3 c^4 d^3 (4 e f+d g)\right )+4 c^4 e \left (e^2 (9 e f-34 d g)+c^2 d^2 (26 e f-d g)\right ) x}{(d+e x)^2 \sqrt {1-c^2 x^2}} \, dx}{480 e^2 \left (c^2 d^2-e^2\right )^3}\\ &=\frac {b c (e f-d g) \sqrt {1-c^2 x^2}}{20 e \left (c^2 d^2-e^2\right ) (d+e x)^4}-\frac {b c \left (5 e^2 g-c^2 d (7 e f-2 d g)\right ) \sqrt {1-c^2 x^2}}{60 e \left (c^2 d^2-e^2\right )^2 (d+e x)^3}+\frac {b c^3 \left (e^2 (9 e f-34 d g)+c^2 d^2 (26 e f-d g)\right ) \sqrt {1-c^2 x^2}}{120 e \left (c^2 d^2-e^2\right )^3 (d+e x)^2}-\frac {b c^3 \left (4 e^4 g-c^2 d e^2 (11 e f-18 d g)-c^4 d^3 (10 e f+d g)\right ) \sqrt {1-c^2 x^2}}{24 e \left (c^2 d^2-e^2\right )^4 (d+e x)}-\frac {(e f-d g) \left (a+b \sin ^{-1}(c x)\right )}{5 e^2 (d+e x)^5}-\frac {g \left (a+b \sin ^{-1}(c x)\right )}{4 e^2 (d+e x)^4}+\frac {\left (b c^5 \left (c^2 d^2 e^2 (24 e f-19 d g)+3 e^4 (e f-6 d g)+2 c^4 d^4 (4 e f+d g)\right )\right ) \int \frac {1}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{40 e^2 \left (c^2 d^2-e^2\right )^4}\\ &=\frac {b c (e f-d g) \sqrt {1-c^2 x^2}}{20 e \left (c^2 d^2-e^2\right ) (d+e x)^4}-\frac {b c \left (5 e^2 g-c^2 d (7 e f-2 d g)\right ) \sqrt {1-c^2 x^2}}{60 e \left (c^2 d^2-e^2\right )^2 (d+e x)^3}+\frac {b c^3 \left (e^2 (9 e f-34 d g)+c^2 d^2 (26 e f-d g)\right ) \sqrt {1-c^2 x^2}}{120 e \left (c^2 d^2-e^2\right )^3 (d+e x)^2}-\frac {b c^3 \left (4 e^4 g-c^2 d e^2 (11 e f-18 d g)-c^4 d^3 (10 e f+d g)\right ) \sqrt {1-c^2 x^2}}{24 e \left (c^2 d^2-e^2\right )^4 (d+e x)}-\frac {(e f-d g) \left (a+b \sin ^{-1}(c x)\right )}{5 e^2 (d+e x)^5}-\frac {g \left (a+b \sin ^{-1}(c x)\right )}{4 e^2 (d+e x)^4}-\frac {\left (b c^5 \left (c^2 d^2 e^2 (24 e f-19 d g)+3 e^4 (e f-6 d g)+2 c^4 d^4 (4 e f+d g)\right )\right ) \text {Subst}\left (\int \frac {1}{-c^2 d^2+e^2-x^2} \, dx,x,\frac {e+c^2 d x}{\sqrt {1-c^2 x^2}}\right )}{40 e^2 \left (c^2 d^2-e^2\right )^4}\\ &=\frac {b c (e f-d g) \sqrt {1-c^2 x^2}}{20 e \left (c^2 d^2-e^2\right ) (d+e x)^4}-\frac {b c \left (5 e^2 g-c^2 d (7 e f-2 d g)\right ) \sqrt {1-c^2 x^2}}{60 e \left (c^2 d^2-e^2\right )^2 (d+e x)^3}+\frac {b c^3 \left (e^2 (9 e f-34 d g)+c^2 d^2 (26 e f-d g)\right ) \sqrt {1-c^2 x^2}}{120 e \left (c^2 d^2-e^2\right )^3 (d+e x)^2}-\frac {b c^3 \left (4 e^4 g-c^2 d e^2 (11 e f-18 d g)-c^4 d^3 (10 e f+d g)\right ) \sqrt {1-c^2 x^2}}{24 e \left (c^2 d^2-e^2\right )^4 (d+e x)}-\frac {(e f-d g) \left (a+b \sin ^{-1}(c x)\right )}{5 e^2 (d+e x)^5}-\frac {g \left (a+b \sin ^{-1}(c x)\right )}{4 e^2 (d+e x)^4}+\frac {b c^5 \left (c^2 d^2 e^2 (24 e f-19 d g)+3 e^4 (e f-6 d g)+2 c^4 d^4 (4 e f+d g)\right ) \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{40 e^2 \left (c^2 d^2-e^2\right )^{9/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.88, size = 494, normalized size = 1.08 \begin {gather*} \frac {\frac {3 a (-8 e f+8 d g)}{(d+e x)^5}-\frac {30 a g}{(d+e x)^4}+\frac {b c e \sqrt {1-c^2 x^2} \left (-6 \left (-c^2 d^2+e^2\right )^3 (e f-d g)-2 \left (-c^2 d^2+e^2\right )^2 \left (5 e^2 g+c^2 d (-7 e f+2 d g)\right ) (d+e x)-c^2 \left (c^2 d^2-e^2\right ) \left (c^2 d^2 (-26 e f+d g)+e^2 (-9 e f+34 d g)\right ) (d+e x)^2+5 c^2 \left (-4 e^4 g+c^2 d e^2 (11 e f-18 d g)+c^4 d^3 (10 e f+d g)\right ) (d+e x)^3\right )}{\left (-c^2 d^2+e^2\right )^4 (d+e x)^4}-\frac {6 b (4 e f+d g+5 e g x) \text {ArcSin}(c x)}{(d+e x)^5}+\frac {3 b c^5 \left (c^2 d^2 e^2 (24 e f-19 d g)+3 e^4 (e f-6 d g)+2 c^4 d^4 (4 e f+d g)\right ) \log (d+e x)}{(-c d+e)^4 (c d+e)^4 \sqrt {-c^2 d^2+e^2}}-\frac {3 b c^5 \left (c^2 d^2 e^2 (24 e f-19 d g)+3 e^4 (e f-6 d g)+2 c^4 d^4 (4 e f+d g)\right ) \log \left (e+c^2 d x+\sqrt {-c^2 d^2+e^2} \sqrt {1-c^2 x^2}\right )}{(-c d+e)^4 (c d+e)^4 \sqrt {-c^2 d^2+e^2}}}{120 e^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(2419\) vs.
\(2(429)=858\).
time = 0.11, size = 2420, normalized size = 5.30
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(2420\) |
default | \(\text {Expression too large to display}\) | \(2420\) |
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 [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]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \operatorname {asin}{\left (c x \right )}\right ) \left (f + g x\right )}{\left (d + e x\right )^{6}}\, dx \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*} \text {could not integrate} \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 {\left (f+g\,x\right )\,\left (a+b\,\mathrm {asin}\left (c\,x\right )\right )}{{\left (d+e\,x\right )}^6} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________