Optimal. Leaf size=1016 \[ \frac {5 b c^3 i \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right ) d^4}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {5 b c i \sqrt {1-c^2 x^2} d^3}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b c \left (3 d h c^2+4 e i\right ) \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right ) d^2}{2 e^3 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {b c (3 e h+4 d i) \sqrt {1-c^2 x^2} d^2}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c \left (\left (4 i d^3+e^2 g d\right ) c^2+4 e^2 (e h-2 d i)\right ) \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right ) d}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b c \left (-4 i d^2+4 e h d+e^2 g\right ) \sqrt {1-c^2 x^2} d}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {i b (e h-3 d i) \sin ^{-1}(c x)^2}{2 e^4}+\frac {i x \left (a+b \sin ^{-1}(c x)\right )}{e^3}-\frac {\left (3 i d^2-2 e h d+e^2 g\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {\left (-i d^3+e h d^2-e^2 g d+e^3 f\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {b c \left (2 g e^4-6 d^2 i e^2-c^2 \left (d e^3 f-4 d^4 i\right )\right ) \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b (e h-3 d i) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b (e h-3 d i) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {b (e h-3 d i) \sin ^{-1}(c x) \log (d+e x)}{e^4}+\frac {(e h-3 d i) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {i b (e h-3 d i) \text {Li}_2\left (\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {i b (e h-3 d i) \text {Li}_2\left (\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b i \sqrt {1-c^2 x^2}}{c e^3}+\frac {b c \left (2 i d^3-2 e^2 g d+e^3 f\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 2.62, antiderivative size = 1016, normalized size of antiderivative = 1.00, number of steps used = 30, number of rules used = 18, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.581, Rules used = {1850, 4753, 12, 6742, 731, 725, 204, 807, 1651, 844, 216, 1654, 2404, 4741, 4519, 2190, 2279, 2391} \[ \frac {5 b c^3 i \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right ) d^4}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {5 b c i \sqrt {1-c^2 x^2} d^3}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b c \left (3 d h c^2+4 e i\right ) \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right ) d^2}{2 e^3 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {b c (3 e h+4 d i) \sqrt {1-c^2 x^2} d^2}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c \left (\left (4 i d^3+e^2 g d\right ) c^2+4 e^2 (e h-2 d i)\right ) \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right ) d}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b c \left (-4 i d^2+4 e h d+e^2 g\right ) \sqrt {1-c^2 x^2} d}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {i b (e h-3 d i) \sin ^{-1}(c x)^2}{2 e^4}+\frac {i x \left (a+b \sin ^{-1}(c x)\right )}{e^3}-\frac {\left (3 i d^2-2 e h d+e^2 g\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {\left (-i d^3+e h d^2-e^2 g d+e^3 f\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {b c \left (2 g e^4-6 d^2 i e^2-c^2 \left (d e^3 f-4 d^4 i\right )\right ) \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b (e h-3 d i) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b (e h-3 d i) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {b (e h-3 d i) \sin ^{-1}(c x) \log (d+e x)}{e^4}+\frac {(e h-3 d i) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {i b (e h-3 d i) \text {PolyLog}\left (2,\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {i b (e h-3 d i) \text {PolyLog}\left (2,\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b i \sqrt {1-c^2 x^2}}{c e^3}+\frac {b c \left (2 i d^3-2 e^2 g d+e^3 f\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 204
Rule 216
Rule 725
Rule 731
Rule 807
Rule 844
Rule 1651
Rule 1654
Rule 1850
Rule 2190
Rule 2279
Rule 2391
Rule 2404
Rule 4519
Rule 4741
Rule 4753
Rule 6742
Rubi steps
\begin {align*} \int \frac {\left (f+g x+h x^2+111 x^3\right ) \left (a+b \sin ^{-1}(c x)\right )}{(d+e x)^3} \, dx &=\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-(b c) \int \frac {-555 d^3+3 d^2 e (h-148 x)-e^3 \left (f+2 g x-222 x^3\right )+d e^2 (-g+4 x (h+111 x))-2 (333 d-e h) (d+e x)^2 \log (d+e x)}{2 e^4 (d+e x)^2 \sqrt {1-c^2 x^2}} \, dx\\ &=\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {(b c) \int \frac {-555 d^3+3 d^2 e (h-148 x)-e^3 \left (f+2 g x-222 x^3\right )+d e^2 (-g+4 x (h+111 x))-2 (333 d-e h) (d+e x)^2 \log (d+e x)}{(d+e x)^2 \sqrt {1-c^2 x^2}} \, dx}{2 e^4}\\ &=\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {(b c) \int \left (-\frac {555 d^3}{(d+e x)^2 \sqrt {1-c^2 x^2}}+\frac {3 d^2 e (h-148 x)}{(d+e x)^2 \sqrt {1-c^2 x^2}}+\frac {d e^2 \left (-g+4 h x+444 x^2\right )}{(d+e x)^2 \sqrt {1-c^2 x^2}}+\frac {e^3 \left (-f-2 g x+222 x^3\right )}{(d+e x)^2 \sqrt {1-c^2 x^2}}-\frac {2 (333 d-e h) \log (d+e x)}{\sqrt {1-c^2 x^2}}\right ) \, dx}{2 e^4}\\ &=\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}+\frac {\left (555 b c d^3\right ) \int \frac {1}{(d+e x)^2 \sqrt {1-c^2 x^2}} \, dx}{2 e^4}-\frac {\left (3 b c d^2\right ) \int \frac {h-148 x}{(d+e x)^2 \sqrt {1-c^2 x^2}} \, dx}{2 e^3}-\frac {(b c d) \int \frac {-g+4 h x+444 x^2}{(d+e x)^2 \sqrt {1-c^2 x^2}} \, dx}{2 e^2}-\frac {(b c) \int \frac {-f-2 g x+222 x^3}{(d+e x)^2 \sqrt {1-c^2 x^2}} \, dx}{2 e}+\frac {(b c (333 d-e h)) \int \frac {\log (d+e x)}{\sqrt {1-c^2 x^2}} \, dx}{e^4}\\ &=\frac {555 b c d^3 \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c \left (222 d^3+e^3 f-2 d e^2 g\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {3 b c d^2 (148 d+e h) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b c d \left (444 d^2-e^2 g-4 d e h\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {b (333 d-e h) \sin ^{-1}(c x) \log (d+e x)}{e^4}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}+\frac {\left (555 b c^3 d^4\right ) \int \frac {1}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 e^4 \left (c^2 d^2-e^2\right )}-\frac {(b c d) \int \frac {d \left (444-c^2 g\right )-4 e h+444 \left (\frac {c^2 d^2}{e}-e\right ) x}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 e^2 \left (c^2 d^2-e^2\right )}-\frac {(b c) \int \frac {-\frac {222 d^2}{e}-c^2 d f+2 e g+222 d \left (1-\frac {c^2 d^2}{e^2}\right ) x+222 \left (\frac {c^2 d^2}{e}-e\right ) x^2}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 e \left (c^2 d^2-e^2\right )}-\frac {\left (3 b c d^2 \left (148 e+c^2 d h\right )\right ) \int \frac {1}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 e^3 \left (c^2 d^2-e^2\right )}-\frac {(b c (333 d-e h)) \int \frac {\sin ^{-1}(c x)}{c d+c e x} \, dx}{e^3}\\ &=\frac {111 b \sqrt {1-c^2 x^2}}{c e^3}+\frac {555 b c d^3 \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c \left (222 d^3+e^3 f-2 d e^2 g\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {3 b c d^2 (148 d+e h) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b c d \left (444 d^2-e^2 g-4 d e h\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {b (333 d-e h) \sin ^{-1}(c x) \log (d+e x)}{e^4}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {(222 b c d) \int \frac {1}{\sqrt {1-c^2 x^2}} \, dx}{e^4}-\frac {\left (555 b c^3 d^4\right ) \operatorname {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 )}{2 e^4 \left (c^2 d^2-e^2\right )}+\frac {b \int \frac {c^2 e \left (222 d^2+c^2 d e f-2 e^2 g\right )+444 c^2 d (c d-e) (c d+e) x}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 c e^3 \left (c^2 d^2-e^2\right )}+\frac {\left (3 b c d^2 \left (148 e+c^2 d h\right )\right ) \operatorname {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 )}{2 e^3 \left (c^2 d^2-e^2\right )}-\frac {(b c (333 d-e h)) \operatorname {Subst}\left (\int \frac {x \cos (x)}{c^2 d+c e \sin (x)} \, dx,x,\sin ^{-1}(c x)\right )}{e^3}+\frac {\left (b c d \left (c^2 \left (444 d^3+d e^2 g\right )-4 e^2 (222 d-e h)\right )\right ) \int \frac {1}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 e^4 \left (c^2 d^2-e^2\right )}\\ &=\frac {111 b \sqrt {1-c^2 x^2}}{c e^3}+\frac {555 b c d^3 \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c \left (222 d^3+e^3 f-2 d e^2 g\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {3 b c d^2 (148 d+e h) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b c d \left (444 d^2-e^2 g-4 d e h\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {222 b d \sin ^{-1}(c x)}{e^4}+\frac {i b (333 d-e h) \sin ^{-1}(c x)^2}{2 e^4}+\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {555 b c^3 d^4 \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {3 b c d^2 \left (148 e+c^2 d h\right ) \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^3 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b (333 d-e h) \sin ^{-1}(c x) \log (d+e x)}{e^4}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}+\frac {(222 b c d) \int \frac {1}{\sqrt {1-c^2 x^2}} \, dx}{e^4}+\frac {\left (b c \left (666 d^2 e^2-c^2 \left (444 d^4-d e^3 f\right )-2 e^4 g\right )\right ) \int \frac {1}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 e^4 \left (c^2 d^2-e^2\right )}-\frac {(b c (333 d-e h)) \operatorname {Subst}\left (\int \frac {e^{i x} x}{c^2 d-c \sqrt {c^2 d^2-e^2}-i c e e^{i x}} \, dx,x,\sin ^{-1}(c x)\right )}{e^3}-\frac {(b c (333 d-e h)) \operatorname {Subst}\left (\int \frac {e^{i x} x}{c^2 d+c \sqrt {c^2 d^2-e^2}-i c e e^{i x}} \, dx,x,\sin ^{-1}(c x)\right )}{e^3}-\frac {\left (b c d \left (c^2 \left (444 d^3+d e^2 g\right )-4 e^2 (222 d-e h)\right )\right ) \operatorname {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 )}{2 e^4 \left (c^2 d^2-e^2\right )}\\ &=\frac {111 b \sqrt {1-c^2 x^2}}{c e^3}+\frac {555 b c d^3 \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c \left (222 d^3+e^3 f-2 d e^2 g\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {3 b c d^2 (148 d+e h) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b c d \left (444 d^2-e^2 g-4 d e h\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {i b (333 d-e h) \sin ^{-1}(c x)^2}{2 e^4}+\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {555 b c^3 d^4 \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {3 b c d^2 \left (148 e+c^2 d h\right ) \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^3 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b c d \left (c^2 \left (444 d^3+d e^2 g\right )-4 e^2 (222 d-e h)\right ) \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {b (333 d-e h) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {b (333 d-e h) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b (333 d-e h) \sin ^{-1}(c x) \log (d+e x)}{e^4}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {\left (b c \left (666 d^2 e^2-c^2 \left (444 d^4-d e^3 f\right )-2 e^4 g\right )\right ) \operatorname {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 )}{2 e^4 \left (c^2 d^2-e^2\right )}+\frac {(b (333 d-e h)) \operatorname {Subst}\left (\int \log \left (1-\frac {i c e e^{i x}}{c^2 d-c \sqrt {c^2 d^2-e^2}}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{e^4}+\frac {(b (333 d-e h)) \operatorname {Subst}\left (\int \log \left (1-\frac {i c e e^{i x}}{c^2 d+c \sqrt {c^2 d^2-e^2}}\right ) \, dx,x,\sin ^{-1}(c x)\right )}{e^4}\\ &=\frac {111 b \sqrt {1-c^2 x^2}}{c e^3}+\frac {555 b c d^3 \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c \left (222 d^3+e^3 f-2 d e^2 g\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {3 b c d^2 (148 d+e h) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b c d \left (444 d^2-e^2 g-4 d e h\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {i b (333 d-e h) \sin ^{-1}(c x)^2}{2 e^4}+\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {555 b c^3 d^4 \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b c \left (666 d^2 e^2-c^2 \left (444 d^4-d e^3 f\right )-2 e^4 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 )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {3 b c d^2 \left (148 e+c^2 d h\right ) \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^3 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b c d \left (c^2 \left (444 d^3+d e^2 g\right )-4 e^2 (222 d-e h)\right ) \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {b (333 d-e h) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {b (333 d-e h) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b (333 d-e h) \sin ^{-1}(c x) \log (d+e x)}{e^4}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {(i b (333 d-e h)) \operatorname {Subst}\left (\int \frac {\log \left (1-\frac {i c e x}{c^2 d-c \sqrt {c^2 d^2-e^2}}\right )}{x} \, dx,x,e^{i \sin ^{-1}(c x)}\right )}{e^4}-\frac {(i b (333 d-e h)) \operatorname {Subst}\left (\int \frac {\log \left (1-\frac {i c e x}{c^2 d+c \sqrt {c^2 d^2-e^2}}\right )}{x} \, dx,x,e^{i \sin ^{-1}(c x)}\right )}{e^4}\\ &=\frac {111 b \sqrt {1-c^2 x^2}}{c e^3}+\frac {555 b c d^3 \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c \left (222 d^3+e^3 f-2 d e^2 g\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {3 b c d^2 (148 d+e h) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}-\frac {b c d \left (444 d^2-e^2 g-4 d e h\right ) \sqrt {1-c^2 x^2}}{2 e^3 \left (c^2 d^2-e^2\right ) (d+e x)}+\frac {i b (333 d-e h) \sin ^{-1}(c x)^2}{2 e^4}+\frac {111 x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {\left (111 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{2 e^4 (d+e x)^2}-\frac {\left (333 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {555 b c^3 d^4 \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b c \left (666 d^2 e^2-c^2 \left (444 d^4-d e^3 f\right )-2 e^4 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 )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {3 b c d^2 \left (148 e+c^2 d h\right ) \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^3 \left (c^2 d^2-e^2\right )^{3/2}}+\frac {b c d \left (c^2 \left (444 d^3+d e^2 g\right )-4 e^2 (222 d-e h)\right ) \tan ^{-1}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{2 e^4 \left (c^2 d^2-e^2\right )^{3/2}}-\frac {b (333 d-e h) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {b (333 d-e h) \sin ^{-1}(c x) \log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b (333 d-e h) \sin ^{-1}(c x) \log (d+e x)}{e^4}-\frac {(333 d-e h) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}+\frac {i b (333 d-e h) \text {Li}_2\left (\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {i b (333 d-e h) \text {Li}_2\left (\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 6.47, size = 1556, normalized size = 1.53 \[ \frac {-3 a i d^2+2 a e h d-a e^2 g}{e^4 (d+e x)}+\frac {a i x}{e^3}+b f \left (-\frac {c \sqrt {\frac {-d-\sqrt {\frac {1}{c^2}} e}{d+e x}+1} \sqrt {\frac {\sqrt {\frac {1}{c^2}} e-d}{d+e x}+1} F_1\left (2;\frac {1}{2},\frac {1}{2};3;-\frac {\sqrt {\frac {1}{c^2}} e-d}{d+e x},-\frac {-d-\sqrt {\frac {1}{c^2}} e}{d+e x}\right )}{4 e^2 (d+e x) \sqrt {1-c^2 x^2}}-\frac {\sin ^{-1}(c x)}{2 e (d+e x)^2}\right )+\frac {(a e h-3 a d i) \log (d+e x)}{e^4}+b g \left (\frac {\frac {c \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{\sqrt {c^2 d^2-e^2}}-\frac {\sin ^{-1}(c x)}{d+e x}}{e^2}-\frac {d \left (-\frac {i d \left (\log \left (\frac {e^2 \sqrt {c^2 d^2-e^2} \left (i d x c^2+i e+\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}\right )}{c^3 d (d+e x)}\right )+\log (4)\right ) c^3}{(c d-e) e (c d+e) \sqrt {c^2 d^2-e^2}}+\frac {\sqrt {1-c^2 x^2} c}{\left (c^2 d^2-e^2\right ) (d+e x)}-\frac {\sin ^{-1}(c x)}{e (d+e x)^2}\right )}{2 e}\right )+b i \left (-\frac {\left (-\frac {i d \left (\log \left (\frac {e^2 \sqrt {c^2 d^2-e^2} \left (i d x c^2+i e+\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}\right )}{c^3 d (d+e x)}\right )+\log (4)\right ) c^3}{(c d-e) e (c d+e) \sqrt {c^2 d^2-e^2}}+\frac {\sqrt {1-c^2 x^2} c}{\left (c^2 d^2-e^2\right ) (d+e x)}-\frac {\sin ^{-1}(c x)}{e (d+e x)^2}\right ) d^3}{2 e^3}+\frac {3 \left (\frac {c \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{\sqrt {c^2 d^2-e^2}}-\frac {\sin ^{-1}(c x)}{d+e x}\right ) d^2}{e^4}-\frac {3 \left (-\frac {i \sin ^{-1}(c x)^2}{2 e}+\frac {\log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right ) \sin ^{-1}(c x)}{e}+\frac {\log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right ) \sin ^{-1}(c x)}{e}-\frac {i \text {Li}_2\left (-\frac {i e e^{i \sin ^{-1}(c x)}}{\sqrt {c^2 d^2-e^2}-c d}\right )}{e}-\frac {i \text {Li}_2\left (\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e}\right ) d}{e^3}+\frac {c x \sin ^{-1}(c x)+\sqrt {1-c^2 x^2}}{c e^3}\right )+b h \left (\frac {\left (-\frac {i d \left (\log \left (\frac {e^2 \sqrt {c^2 d^2-e^2} \left (i d x c^2+i e+\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}\right )}{c^3 d (d+e x)}\right )+\log (4)\right ) c^3}{(c d-e) e (c d+e) \sqrt {c^2 d^2-e^2}}+\frac {\sqrt {1-c^2 x^2} c}{\left (c^2 d^2-e^2\right ) (d+e x)}-\frac {\sin ^{-1}(c x)}{e (d+e x)^2}\right ) d^2}{2 e^2}-\frac {2 \left (\frac {c \tan ^{-1}\left (\frac {d x c^2+e}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{\sqrt {c^2 d^2-e^2}}-\frac {\sin ^{-1}(c x)}{d+e x}\right ) d}{e^3}+\frac {-\frac {i \sin ^{-1}(c x)^2}{2 e}+\frac {\log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right ) \sin ^{-1}(c x)}{e}+\frac {\log \left (1-\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right ) \sin ^{-1}(c x)}{e}-\frac {i \text {Li}_2\left (-\frac {i e e^{i \sin ^{-1}(c x)}}{\sqrt {c^2 d^2-e^2}-c d}\right )}{e}-\frac {i \text {Li}_2\left (\frac {i e e^{i \sin ^{-1}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e}}{e^2}\right )+\frac {a i d^3-a e h d^2+a e^2 g d-a e^3 f}{2 e^4 (d+e x)^2} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.51, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {a i x^{3} + a h x^{2} + a g x + a f + {\left (b i x^{3} + b h x^{2} + b g x + b f\right )} \arcsin \left (c x\right )}{e^{3} x^{3} + 3 \, d e^{2} x^{2} + 3 \, d^{2} e x + d^{3}}, x\right ) \]
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 {{\left (i x^{3} + h x^{2} + g x + f\right )} {\left (b \arcsin \left (c x\right ) + a\right )}}{{\left (e x + d\right )}^{3}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 1.87, size = 4530, normalized size = 4.46 \[ \text {output too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {\left (a+b\,\mathrm {asin}\left (c\,x\right )\right )\,\left (i\,x^3+h\,x^2+g\,x+f\right )}{{\left (d+e\,x\right )}^3} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (a + b \operatorname {asin}{\left (c x \right )}\right ) \left (f + g x + h x^{2} + i x^{3}\right )}{\left (d + e x\right )^{3}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________