Optimal. Leaf size=617 \[ \frac {b (e h-2 d i) \sqrt {1-c^2 x^2}}{c e^3}+\frac {b i x \sqrt {1-c^2 x^2}}{4 c e^2}-\frac {b i \text {ArcSin}(c x)}{4 c^2 e^2}-\frac {i b \left (e^2 g-2 d e h+3 d^2 i\right ) \text {ArcSin}(c x)^2}{2 e^4}+\frac {(e h-2 d i) x (a+b \text {ArcSin}(c x))}{e^3}+\frac {i x^2 (a+b \text {ArcSin}(c x))}{2 e^2}-\frac {\left (e^3 f-d e^2 g+d^2 e h-d^3 i\right ) (a+b \text {ArcSin}(c x))}{e^4 (d+e x)}+\frac {b c \left (e^3 f-d e^2 g+d^2 e h-d^3 i\right ) \text {ArcTan}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{e^4 \sqrt {c^2 d^2-e^2}}+\frac {b \left (e^2 g-2 d e h+3 d^2 i\right ) \text {ArcSin}(c x) \log \left (1-\frac {i e e^{i \text {ArcSin}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b \left (e^2 g-2 d e h+3 d^2 i\right ) \text {ArcSin}(c x) \log \left (1-\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {b \left (e^2 g-2 d e h+3 d^2 i\right ) \text {ArcSin}(c x) \log (d+e x)}{e^4}+\frac {\left (e^2 g-2 d e h+3 d^2 i\right ) (a+b \text {ArcSin}(c x)) \log (d+e x)}{e^4}-\frac {i b \left (e^2 g-2 d e h+3 d^2 i\right ) \text {PolyLog}\left (2,\frac {i e e^{i \text {ArcSin}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {i b \left (e^2 g-2 d e h+3 d^2 i\right ) \text {PolyLog}\left (2,\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 1.12, antiderivative size = 617, normalized size of antiderivative = 1.00, number of steps
used = 18, number of rules used = 15, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.484, Rules used =
{1864, 4837, 12, 6874, 267, 327, 222, 739, 210, 2451, 4825, 4615, 2221, 2317, 2438}
\begin {gather*} \frac {\log (d+e x) (a+b \text {ArcSin}(c x)) \left (3 d^2 i-2 d e h+e^2 g\right )}{e^4}-\frac {(a+b \text {ArcSin}(c x)) \left (d^3 (-i)+d^2 e h-d e^2 g+e^3 f\right )}{e^4 (d+e x)}+\frac {x (e h-2 d i) (a+b \text {ArcSin}(c x))}{e^3}+\frac {i x^2 (a+b \text {ArcSin}(c x))}{2 e^2}-\frac {i b \left (3 d^2 i-2 d e h+e^2 g\right ) \text {Li}_2\left (\frac {i e e^{i \text {ArcSin}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}-\frac {i b \left (3 d^2 i-2 d e h+e^2 g\right ) \text {Li}_2\left (\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b \text {ArcSin}(c x) \left (3 d^2 i-2 d e h+e^2 g\right ) \log \left (1-\frac {i e e^{i \text {ArcSin}(c x)}}{c d-\sqrt {c^2 d^2-e^2}}\right )}{e^4}+\frac {b \text {ArcSin}(c x) \left (3 d^2 i-2 d e h+e^2 g\right ) \log \left (1-\frac {i e e^{i \text {ArcSin}(c x)}}{\sqrt {c^2 d^2-e^2}+c d}\right )}{e^4}-\frac {b i \text {ArcSin}(c x)}{4 c^2 e^2}-\frac {i b \text {ArcSin}(c x)^2 \left (3 d^2 i-2 d e h+e^2 g\right )}{2 e^4}-\frac {b \text {ArcSin}(c x) \log (d+e x) \left (3 d^2 i-2 d e h+e^2 g\right )}{e^4}+\frac {b c \text {ArcTan}\left (\frac {c^2 d x+e}{\sqrt {1-c^2 x^2} \sqrt {c^2 d^2-e^2}}\right ) \left (d^3 (-i)+d^2 e h-d e^2 g+e^3 f\right )}{e^4 \sqrt {c^2 d^2-e^2}}+\frac {b \sqrt {1-c^2 x^2} (e h-2 d i)}{c e^3}+\frac {b i x \sqrt {1-c^2 x^2}}{4 c e^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 210
Rule 222
Rule 267
Rule 327
Rule 739
Rule 1864
Rule 2221
Rule 2317
Rule 2438
Rule 2451
Rule 4615
Rule 4825
Rule 4837
Rule 6874
Rubi steps
\begin {align*} \int \frac {\left (f+g x+h x^2+110 x^3\right ) \left (a+b \sin ^{-1}(c x)\right )}{(d+e x)^2} \, dx &=-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-(b c) \int \frac {110 d^3-d^2 e (h+220 x)+d e^2 (g+(h-165 x) x)+e^3 \left (-f+x^2 (h+55 x)\right )+\left (330 d^2+e^2 g-2 d e h\right ) (d+e x) \log (d+e x)}{e^4 (d+e x) \sqrt {1-c^2 x^2}} \, dx\\ &=-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {(b c) \int \frac {110 d^3-d^2 e (h+220 x)+d e^2 (g+(h-165 x) x)+e^3 \left (-f+x^2 (h+55 x)\right )+\left (330 d^2+e^2 g-2 d e h\right ) (d+e x) \log (d+e x)}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{e^4}\\ &=-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {(b c) \int \left (\frac {110 d^3-e^3 f+d e^2 g-d^2 e h-d e (220 d-e h) x-e^2 (165 d-e h) x^2+55 e^3 x^3}{(d+e x) \sqrt {1-c^2 x^2}}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \log (d+e x)}{\sqrt {1-c^2 x^2}}\right ) \, dx}{e^4}\\ &=-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {(b c) \int \frac {110 d^3-e^3 f+d e^2 g-d^2 e h-d e (220 d-e h) x-e^2 (165 d-e h) x^2+55 e^3 x^3}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{e^4}-\frac {\left (b c \left (330 d^2+e^2 g-2 d e h\right )\right ) \int \frac {\log (d+e x)}{\sqrt {1-c^2 x^2}} \, dx}{e^4}\\ &=\frac {55 b (d+e x) \sqrt {1-c^2 x^2}}{2 c e^3}-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {b \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x) \log (d+e x)}{e^4}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}+\frac {b \int \frac {-e^3 \left (55 d e^2+2 c^2 \left (110 d^3-e^3 f+d e^2 g-d^2 e h\right )\right )-e^4 \left (55 e^2-c^2 d (495 d-2 e h)\right ) x+c^2 e^5 (495 d-2 e h) x^2}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 c e^7}+\frac {\left (b c \left (330 d^2+e^2 g-2 d e h\right )\right ) \int \frac {\sin ^{-1}(c x)}{c d+c e x} \, dx}{e^3}\\ &=-\frac {b (495 d-2 e h) \sqrt {1-c^2 x^2}}{2 c e^3}+\frac {55 b (d+e x) \sqrt {1-c^2 x^2}}{2 c e^3}-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {b \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x) \log (d+e x)}{e^4}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {b \int \frac {c^2 e^5 \left (55 d e^2+2 c^2 \left (110 d^3-e^3 f+d e^2 g-d^2 e h\right )\right )+55 c^2 e^8 x}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{2 c^3 e^9}+\frac {\left (b c \left (330 d^2+e^2 g-2 d e h\right )\right ) \text {Subst}\left (\int \frac {x \cos (x)}{c^2 d+c e \sin (x)} \, dx,x,\sin ^{-1}(c x)\right )}{e^3}\\ &=-\frac {b (495 d-2 e h) \sqrt {1-c^2 x^2}}{2 c e^3}+\frac {55 b (d+e x) \sqrt {1-c^2 x^2}}{2 c e^3}-\frac {i b \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x)^2}{2 e^4}-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {b \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x) \log (d+e x)}{e^4}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {(55 b) \int \frac {1}{\sqrt {1-c^2 x^2}} \, dx}{2 c e^2}+\frac {\left (b c \left (330 d^2+e^2 g-2 d e h\right )\right ) \text {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 \left (330 d^2+e^2 g-2 d e h\right )\right ) \text {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 \left (110 d^3-e^3 f+d e^2 g-d^2 e h\right )\right ) \int \frac {1}{(d+e x) \sqrt {1-c^2 x^2}} \, dx}{e^4}\\ &=-\frac {b (495 d-2 e h) \sqrt {1-c^2 x^2}}{2 c e^3}+\frac {55 b (d+e x) \sqrt {1-c^2 x^2}}{2 c e^3}-\frac {55 b \sin ^{-1}(c x)}{2 c^2 e^2}-\frac {i b \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x)^2}{2 e^4}-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}+\frac {b \left (330 d^2+e^2 g-2 d e h\right ) \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 \left (330 d^2+e^2 g-2 d e h\right ) \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 \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x) \log (d+e x)}{e^4}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {\left (b \left (330 d^2+e^2 g-2 d e h\right )\right ) \text {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 {\left (b \left (330 d^2+e^2 g-2 d e h\right )\right ) \text {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 {\left (b c \left (110 d^3-e^3 f+d e^2 g-d^2 e h\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 )}{e^4}\\ &=-\frac {b (495 d-2 e h) \sqrt {1-c^2 x^2}}{2 c e^3}+\frac {55 b (d+e x) \sqrt {1-c^2 x^2}}{2 c e^3}-\frac {55 b \sin ^{-1}(c x)}{2 c^2 e^2}-\frac {i b \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x)^2}{2 e^4}-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {b c \left (110 d^3-e^3 f+d e^2 g-d^2 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 )}{e^4 \sqrt {c^2 d^2-e^2}}+\frac {b \left (330 d^2+e^2 g-2 d e h\right ) \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 \left (330 d^2+e^2 g-2 d e h\right ) \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 \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x) \log (d+e x)}{e^4}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}+\frac {\left (i b \left (330 d^2+e^2 g-2 d e h\right )\right ) \text {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 {\left (i b \left (330 d^2+e^2 g-2 d e h\right )\right ) \text {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 {b (495 d-2 e h) \sqrt {1-c^2 x^2}}{2 c e^3}+\frac {55 b (d+e x) \sqrt {1-c^2 x^2}}{2 c e^3}-\frac {55 b \sin ^{-1}(c x)}{2 c^2 e^2}-\frac {i b \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x)^2}{2 e^4}-\frac {(220 d-e h) x \left (a+b \sin ^{-1}(c x)\right )}{e^3}+\frac {55 x^2 \left (a+b \sin ^{-1}(c x)\right )}{e^2}+\frac {\left (110 d^3-e^3 f+d e^2 g-d^2 e h\right ) \left (a+b \sin ^{-1}(c x)\right )}{e^4 (d+e x)}-\frac {b c \left (110 d^3-e^3 f+d e^2 g-d^2 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 )}{e^4 \sqrt {c^2 d^2-e^2}}+\frac {b \left (330 d^2+e^2 g-2 d e h\right ) \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 \left (330 d^2+e^2 g-2 d e h\right ) \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 \left (330 d^2+e^2 g-2 d e h\right ) \sin ^{-1}(c x) \log (d+e x)}{e^4}+\frac {\left (330 d^2+e^2 g-2 d e h\right ) \left (a+b \sin ^{-1}(c x)\right ) \log (d+e x)}{e^4}-\frac {i b \left (330 d^2+e^2 g-2 d e h\right ) \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 \left (330 d^2+e^2 g-2 d e h\right ) \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] Result contains higher order function than in optimal. Order 6 vs. order 4 in
optimal.
time = 3.40, size = 1168, normalized size = 1.89 \begin {gather*} \frac {2 a e (e h-2 d i) x+a e^2 i x^2+\frac {2 a \left (-e^3 f+d e^2 g-d^2 e h+d^3 i\right )}{d+e x}-2 b e^2 f \left (\frac {c \sqrt {\frac {e \left (-\sqrt {\frac {1}{c^2}}+x\right )}{d+e x}} \sqrt {\frac {e \left (\sqrt {\frac {1}{c^2}}+x\right )}{d+e x}} F_1\left (1;\frac {1}{2},\frac {1}{2};2;\frac {d-\sqrt {\frac {1}{c^2}} e}{d+e x},\frac {d+\sqrt {\frac {1}{c^2}} e}{d+e x}\right )}{\sqrt {1-c^2 x^2}}+\frac {e \text {ArcSin}(c x)}{d+e x}\right )+2 a \left (e^2 g-2 d e h+3 d^2 i\right ) \log (d+e x)-6 i b d^2 i \text {PolyLog}\left (2,-\frac {i e e^{i \text {ArcSin}(c x)}}{-c d+\sqrt {c^2 d^2-e^2}}\right )+b e^2 g \left (\frac {2 d \text {ArcSin}(c x)}{d+e x}-i \text {ArcSin}(c x)^2-\frac {2 c d \text {ArcTan}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{\sqrt {c^2 d^2-e^2}}+2 \text {ArcSin}(c x) \log \left (1+\frac {i e e^{i \text {ArcSin}(c x)}}{-c d+\sqrt {c^2 d^2-e^2}}\right )+2 \text {ArcSin}(c x) \log \left (1-\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )-2 i \text {PolyLog}\left (2,-\frac {i e e^{i \text {ArcSin}(c x)}}{-c d+\sqrt {c^2 d^2-e^2}}\right )-2 i \text {PolyLog}\left (2,\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )\right )+2 b e h \left (\frac {e \sqrt {1-c^2 x^2}}{c}+e x \text {ArcSin}(c x)-\frac {d^2 \text {ArcSin}(c x)}{d+e x}+i d \text {ArcSin}(c x)^2+\frac {c d^2 \text {ArcTan}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{\sqrt {c^2 d^2-e^2}}-2 d \text {ArcSin}(c x) \log \left (1+\frac {i e e^{i \text {ArcSin}(c x)}}{-c d+\sqrt {c^2 d^2-e^2}}\right )-2 d \text {ArcSin}(c x) \log \left (1-\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )+2 i d \text {PolyLog}\left (2,-\frac {i e e^{i \text {ArcSin}(c x)}}{-c d+\sqrt {c^2 d^2-e^2}}\right )+2 i d \text {PolyLog}\left (2,\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )\right )+\frac {1}{2} b i \left (-6 i d^2 \text {ArcSin}(c x)^2-\frac {4 c d^3 \text {ArcTan}\left (\frac {e+c^2 d x}{\sqrt {c^2 d^2-e^2} \sqrt {1-c^2 x^2}}\right )}{\sqrt {c^2 d^2-e^2}}+\frac {e \left (c (-8 d+e x) \sqrt {1-c^2 x^2}-2 e \text {ArcTan}\left (\frac {c x}{-1+\sqrt {1-c^2 x^2}}\right )\right )}{c^2}+2 \text {ArcSin}(c x) \left (-4 d e x+e^2 x^2+\frac {2 d^3}{d+e x}+6 d^2 \log \left (1+\frac {i e e^{i \text {ArcSin}(c x)}}{-c d+\sqrt {c^2 d^2-e^2}}\right )+6 d^2 \log \left (1-\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )\right )-12 i d^2 \text {PolyLog}\left (2,\frac {i e e^{i \text {ArcSin}(c x)}}{c d+\sqrt {c^2 d^2-e^2}}\right )\right )}{2 e^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 2985 vs. \(2 (616 ) = 1232\).
time = 3.27, size = 2986, normalized size = 4.84
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(2986\) |
default | \(\text {Expression too large to display}\) | \(2986\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [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]
________________________________________________________________________________________
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 + h x^{2} + i x^{3}\right )}{\left (d + e x\right )^{2}}\, 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 (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 )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________