\(\int (d-c^2 d x^2)^2 (a+b \arcsin (c x))^3 \, dx\) [13]

Optimal result

Integrand size = 24, antiderivative size = 330 \[ \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx=-\frac {4144 b^3 d^2 \sqrt {1-c^2 x^2}}{1125 c}-\frac {272 b^3 d^2 \left (1-c^2 x^2\right )^{3/2}}{3375 c}-\frac {6 b^3 d^2 \left (1-c^2 x^2\right )^{5/2}}{625 c}-\frac {298}{75} b^2 d^2 x (a+b \arcsin (c x))+\frac {76}{225} b^2 c^2 d^2 x^3 (a+b \arcsin (c x))-\frac {6}{125} b^2 c^4 d^2 x^5 (a+b \arcsin (c x))+\frac {8 b d^2 \sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{5 c}+\frac {4 b d^2 \left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{15 c}+\frac {3 b d^2 \left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{25 c}+\frac {8}{15} d^2 x (a+b \arcsin (c x))^3+\frac {4}{15} d^2 x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3 \] Output:

-4144/1125*b^3*d^2*(-c^2*x^2+1)^(1/2)/c-272/3375*b^3*d^2*(-c^2*x^2+1)^(3/2 
)/c-6/625*b^3*d^2*(-c^2*x^2+1)^(5/2)/c-298/75*b^2*d^2*x*(a+b*arcsin(c*x))+ 
76/225*b^2*c^2*d^2*x^3*(a+b*arcsin(c*x))-6/125*b^2*c^4*d^2*x^5*(a+b*arcsin 
(c*x))+8/5*b*d^2*(-c^2*x^2+1)^(1/2)*(a+b*arcsin(c*x))^2/c+4/15*b*d^2*(-c^2 
*x^2+1)^(3/2)*(a+b*arcsin(c*x))^2/c+3/25*b*d^2*(-c^2*x^2+1)^(5/2)*(a+b*arc 
sin(c*x))^2/c+8/15*d^2*x*(a+b*arcsin(c*x))^3+4/15*d^2*x*(-c^2*x^2+1)*(a+b* 
arcsin(c*x))^3+1/5*d^2*x*(-c^2*x^2+1)^2*(a+b*arcsin(c*x))^3
 

Mathematica [A] (verified)

Time = 0.23 (sec) , antiderivative size = 331, normalized size of antiderivative = 1.00 \[ \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx=\frac {d^2 \left (1125 a^3 c x \left (15-10 c^2 x^2+3 c^4 x^4\right )+225 a^2 b \sqrt {1-c^2 x^2} \left (149-38 c^2 x^2+9 c^4 x^4\right )-30 a b^2 c x \left (2235-190 c^2 x^2+27 c^4 x^4\right )-2 b^3 \sqrt {1-c^2 x^2} \left (31841-842 c^2 x^2+81 c^4 x^4\right )+15 b \left (225 a^2 c x \left (15-10 c^2 x^2+3 c^4 x^4\right )+30 a b \sqrt {1-c^2 x^2} \left (149-38 c^2 x^2+9 c^4 x^4\right )-2 b^2 c x \left (2235-190 c^2 x^2+27 c^4 x^4\right )\right ) \arcsin (c x)+225 b^2 \left (15 a c x \left (15-10 c^2 x^2+3 c^4 x^4\right )+b \sqrt {1-c^2 x^2} \left (149-38 c^2 x^2+9 c^4 x^4\right )\right ) \arcsin (c x)^2+1125 b^3 c x \left (15-10 c^2 x^2+3 c^4 x^4\right ) \arcsin (c x)^3\right )}{16875 c} \] Input:

Integrate[(d - c^2*d*x^2)^2*(a + b*ArcSin[c*x])^3,x]
 

Output:

(d^2*(1125*a^3*c*x*(15 - 10*c^2*x^2 + 3*c^4*x^4) + 225*a^2*b*Sqrt[1 - c^2* 
x^2]*(149 - 38*c^2*x^2 + 9*c^4*x^4) - 30*a*b^2*c*x*(2235 - 190*c^2*x^2 + 2 
7*c^4*x^4) - 2*b^3*Sqrt[1 - c^2*x^2]*(31841 - 842*c^2*x^2 + 81*c^4*x^4) + 
15*b*(225*a^2*c*x*(15 - 10*c^2*x^2 + 3*c^4*x^4) + 30*a*b*Sqrt[1 - c^2*x^2] 
*(149 - 38*c^2*x^2 + 9*c^4*x^4) - 2*b^2*c*x*(2235 - 190*c^2*x^2 + 27*c^4*x 
^4))*ArcSin[c*x] + 225*b^2*(15*a*c*x*(15 - 10*c^2*x^2 + 3*c^4*x^4) + b*Sqr 
t[1 - c^2*x^2]*(149 - 38*c^2*x^2 + 9*c^4*x^4))*ArcSin[c*x]^2 + 1125*b^3*c* 
x*(15 - 10*c^2*x^2 + 3*c^4*x^4)*ArcSin[c*x]^3))/(16875*c)
 

Rubi [A] (verified)

Time = 1.68 (sec) , antiderivative size = 435, normalized size of antiderivative = 1.32, number of steps used = 14, number of rules used = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.542, Rules used = {5158, 27, 5158, 5130, 5182, 2009, 5154, 27, 353, 53, 1576, 1140, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx\)

\(\Big \downarrow \) 5158

\(\displaystyle -\frac {3}{5} b c d^2 \int x \left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2dx+\frac {4}{5} d \int d \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3dx+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 27

\(\displaystyle -\frac {3}{5} b c d^2 \int x \left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2dx+\frac {4}{5} d^2 \int \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3dx+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 5158

\(\displaystyle -\frac {3}{5} b c d^2 \int x \left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2dx+\frac {4}{5} d^2 \left (-b c \int x \sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2dx+\frac {2}{3} \int (a+b \arcsin (c x))^3dx+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 5130

\(\displaystyle \frac {4}{5} d^2 \left (\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \int \frac {x (a+b \arcsin (c x))^2}{\sqrt {1-c^2 x^2}}dx\right )-b c \int x \sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2dx+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3\right )-\frac {3}{5} b c d^2 \int x \left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2dx+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 5182

\(\displaystyle \frac {4}{5} d^2 \left (\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \int (a+b \arcsin (c x))dx}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )-b c \left (\frac {2 b \int \left (1-c^2 x^2\right ) (a+b \arcsin (c x))dx}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \int \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))dx}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {4}{5} d^2 \left (-b c \left (\frac {2 b \int \left (1-c^2 x^2\right ) (a+b \arcsin (c x))dx}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \left (a x+b x \arcsin (c x)+\frac {b \sqrt {1-c^2 x^2}}{c}\right )}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \int \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))dx}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 5154

\(\displaystyle \frac {4}{5} d^2 \left (-b c \left (\frac {2 b \left (-b c \int \frac {x \left (3-c^2 x^2\right )}{3 \sqrt {1-c^2 x^2}}dx-\frac {1}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \left (a x+b x \arcsin (c x)+\frac {b \sqrt {1-c^2 x^2}}{c}\right )}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \left (-b c \int \frac {x \left (3 c^4 x^4-10 c^2 x^2+15\right )}{15 \sqrt {1-c^2 x^2}}dx+\frac {1}{5} c^4 x^5 (a+b \arcsin (c x))-\frac {2}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {4}{5} d^2 \left (-b c \left (\frac {2 b \left (-\frac {1}{3} b c \int \frac {x \left (3-c^2 x^2\right )}{\sqrt {1-c^2 x^2}}dx-\frac {1}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \left (a x+b x \arcsin (c x)+\frac {b \sqrt {1-c^2 x^2}}{c}\right )}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \left (-\frac {1}{15} b c \int \frac {x \left (3 c^4 x^4-10 c^2 x^2+15\right )}{\sqrt {1-c^2 x^2}}dx+\frac {1}{5} c^4 x^5 (a+b \arcsin (c x))-\frac {2}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 353

\(\displaystyle \frac {4}{5} d^2 \left (-b c \left (\frac {2 b \left (-\frac {1}{6} b c \int \frac {3-c^2 x^2}{\sqrt {1-c^2 x^2}}dx^2-\frac {1}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \left (a x+b x \arcsin (c x)+\frac {b \sqrt {1-c^2 x^2}}{c}\right )}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \left (-\frac {1}{15} b c \int \frac {x \left (3 c^4 x^4-10 c^2 x^2+15\right )}{\sqrt {1-c^2 x^2}}dx+\frac {1}{5} c^4 x^5 (a+b \arcsin (c x))-\frac {2}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 53

\(\displaystyle \frac {4}{5} d^2 \left (-b c \left (\frac {2 b \left (-\frac {1}{6} b c \int \left (\sqrt {1-c^2 x^2}+\frac {2}{\sqrt {1-c^2 x^2}}\right )dx^2-\frac {1}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \left (a x+b x \arcsin (c x)+\frac {b \sqrt {1-c^2 x^2}}{c}\right )}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \left (-\frac {1}{15} b c \int \frac {x \left (3 c^4 x^4-10 c^2 x^2+15\right )}{\sqrt {1-c^2 x^2}}dx+\frac {1}{5} c^4 x^5 (a+b \arcsin (c x))-\frac {2}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 1576

\(\displaystyle \frac {4}{5} d^2 \left (-b c \left (\frac {2 b \left (-\frac {1}{6} b c \int \left (\sqrt {1-c^2 x^2}+\frac {2}{\sqrt {1-c^2 x^2}}\right )dx^2-\frac {1}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \left (a x+b x \arcsin (c x)+\frac {b \sqrt {1-c^2 x^2}}{c}\right )}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \left (-\frac {1}{30} b c \int \frac {3 c^4 x^4-10 c^2 x^2+15}{\sqrt {1-c^2 x^2}}dx^2+\frac {1}{5} c^4 x^5 (a+b \arcsin (c x))-\frac {2}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 1140

\(\displaystyle \frac {4}{5} d^2 \left (-b c \left (\frac {2 b \left (-\frac {1}{6} b c \int \left (\sqrt {1-c^2 x^2}+\frac {2}{\sqrt {1-c^2 x^2}}\right )dx^2-\frac {1}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )+\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \left (a x+b x \arcsin (c x)+\frac {b \sqrt {1-c^2 x^2}}{c}\right )}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \left (-\frac {1}{30} b c \int \left (3 \left (1-c^2 x^2\right )^{3/2}+4 \sqrt {1-c^2 x^2}+\frac {8}{\sqrt {1-c^2 x^2}}\right )dx^2+\frac {1}{5} c^4 x^5 (a+b \arcsin (c x))-\frac {2}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))\right )}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )+\frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {1}{5} d^2 x \left (1-c^2 x^2\right )^2 (a+b \arcsin (c x))^3+\frac {4}{5} d^2 \left (\frac {1}{3} x \left (1-c^2 x^2\right ) (a+b \arcsin (c x))^3+\frac {2}{3} \left (x (a+b \arcsin (c x))^3-3 b c \left (\frac {2 b \left (a x+b x \arcsin (c x)+\frac {b \sqrt {1-c^2 x^2}}{c}\right )}{c}-\frac {\sqrt {1-c^2 x^2} (a+b \arcsin (c x))^2}{c^2}\right )\right )-b c \left (\frac {2 b \left (-\frac {1}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))-\frac {1}{6} b c \left (-\frac {2 \left (1-c^2 x^2\right )^{3/2}}{3 c^2}-\frac {4 \sqrt {1-c^2 x^2}}{c^2}\right )\right )}{3 c}-\frac {\left (1-c^2 x^2\right )^{3/2} (a+b \arcsin (c x))^2}{3 c^2}\right )\right )-\frac {3}{5} b c d^2 \left (\frac {2 b \left (\frac {1}{5} c^4 x^5 (a+b \arcsin (c x))-\frac {2}{3} c^2 x^3 (a+b \arcsin (c x))+x (a+b \arcsin (c x))-\frac {1}{30} b c \left (-\frac {6 \left (1-c^2 x^2\right )^{5/2}}{5 c^2}-\frac {8 \left (1-c^2 x^2\right )^{3/2}}{3 c^2}-\frac {16 \sqrt {1-c^2 x^2}}{c^2}\right )\right )}{5 c}-\frac {\left (1-c^2 x^2\right )^{5/2} (a+b \arcsin (c x))^2}{5 c^2}\right )\)

Input:

Int[(d - c^2*d*x^2)^2*(a + b*ArcSin[c*x])^3,x]
 

Output:

(d^2*x*(1 - c^2*x^2)^2*(a + b*ArcSin[c*x])^3)/5 - (3*b*c*d^2*(-1/5*((1 - c 
^2*x^2)^(5/2)*(a + b*ArcSin[c*x])^2)/c^2 + (2*b*(-1/30*(b*c*((-16*Sqrt[1 - 
 c^2*x^2])/c^2 - (8*(1 - c^2*x^2)^(3/2))/(3*c^2) - (6*(1 - c^2*x^2)^(5/2)) 
/(5*c^2))) + x*(a + b*ArcSin[c*x]) - (2*c^2*x^3*(a + b*ArcSin[c*x]))/3 + ( 
c^4*x^5*(a + b*ArcSin[c*x]))/5))/(5*c)))/5 + (4*d^2*((x*(1 - c^2*x^2)*(a + 
 b*ArcSin[c*x])^3)/3 - b*c*(-1/3*((1 - c^2*x^2)^(3/2)*(a + b*ArcSin[c*x])^ 
2)/c^2 + (2*b*(-1/6*(b*c*((-4*Sqrt[1 - c^2*x^2])/c^2 - (2*(1 - c^2*x^2)^(3 
/2))/(3*c^2))) + x*(a + b*ArcSin[c*x]) - (c^2*x^3*(a + b*ArcSin[c*x]))/3)) 
/(3*c)) + (2*(x*(a + b*ArcSin[c*x])^3 - 3*b*c*(-((Sqrt[1 - c^2*x^2]*(a + b 
*ArcSin[c*x])^2)/c^2) + (2*b*(a*x + (b*Sqrt[1 - c^2*x^2])/c + b*x*ArcSin[c 
*x]))/c)))/3))/5
 

Defintions of rubi rules used

rule 27

Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 53

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int 
[ExpandIntegrand[(a + b*x)^m*(c + d*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, 
x] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0] && LeQ[7*m + 4*n + 4, 0]) 
|| LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])
 

rule 353

Int[(x_)*((a_) + (b_.)*(x_)^2)^(p_.)*((c_) + (d_.)*(x_)^2)^(q_.), x_Symbol] 
 :> Simp[1/2   Subst[Int[(a + b*x)^p*(c + d*x)^q, x], x, x^2], x] /; FreeQ[ 
{a, b, c, d, p, q}, x] && NeQ[b*c - a*d, 0]
 

rule 1140

Int[((d_.) + (e_.)*(x_))^(m_.)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x 
_Symbol] :> Int[ExpandIntegrand[(d + e*x)^m*(a + b*x + c*x^2)^p, x], x] /; 
FreeQ[{a, b, c, d, e, m}, x] && IGtQ[p, 0]
 

rule 1576

Int[(x_)*((d_) + (e_.)*(x_)^2)^(q_.)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^( 
p_.), x_Symbol] :> Simp[1/2   Subst[Int[(d + e*x)^q*(a + b*x + c*x^2)^p, x] 
, x, x^2], x] /; FreeQ[{a, b, c, d, e, p, q}, x]
 

rule 2009

Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 5130

Int[((a_.) + ArcSin[(c_.)*(x_)]*(b_.))^(n_.), x_Symbol] :> Simp[x*(a + b*Ar 
cSin[c*x])^n, x] - Simp[b*c*n   Int[x*((a + b*ArcSin[c*x])^(n - 1)/Sqrt[1 - 
 c^2*x^2]), x], x] /; FreeQ[{a, b, c}, x] && GtQ[n, 0]
 

rule 5154

Int[((a_.) + ArcSin[(c_.)*(x_)]*(b_.))*((d_) + (e_.)*(x_)^2)^(p_.), x_Symbo 
l] :> With[{u = IntHide[(d + e*x^2)^p, x]}, Simp[(a + b*ArcSin[c*x])   u, x 
] - Simp[b*c   Int[SimplifyIntegrand[u/Sqrt[1 - c^2*x^2], x], x], x]] /; Fr 
eeQ[{a, b, c, d, e}, x] && EqQ[c^2*d + e, 0] && IGtQ[p, 0]
 

rule 5158

Int[((a_.) + ArcSin[(c_.)*(x_)]*(b_.))^(n_.)*((d_) + (e_.)*(x_)^2)^(p_.), x 
_Symbol] :> Simp[x*(d + e*x^2)^p*((a + b*ArcSin[c*x])^n/(2*p + 1)), x] + (S 
imp[2*d*(p/(2*p + 1))   Int[(d + e*x^2)^(p - 1)*(a + b*ArcSin[c*x])^n, x], 
x] - Simp[b*c*(n/(2*p + 1))*Simp[(d + e*x^2)^p/(1 - c^2*x^2)^p]   Int[x*(1 
- c^2*x^2)^(p - 1/2)*(a + b*ArcSin[c*x])^(n - 1), x], x]) /; FreeQ[{a, b, c 
, d, e}, x] && EqQ[c^2*d + e, 0] && GtQ[n, 0] && GtQ[p, 0]
 

rule 5182

Int[((a_.) + ArcSin[(c_.)*(x_)]*(b_.))^(n_.)*(x_)*((d_) + (e_.)*(x_)^2)^(p_ 
.), x_Symbol] :> Simp[(d + e*x^2)^(p + 1)*((a + b*ArcSin[c*x])^n/(2*e*(p + 
1))), x] + Simp[b*(n/(2*c*(p + 1)))*Simp[(d + e*x^2)^p/(1 - c^2*x^2)^p]   I 
nt[(1 - c^2*x^2)^(p + 1/2)*(a + b*ArcSin[c*x])^(n - 1), x], x] /; FreeQ[{a, 
 b, c, d, e, p}, x] && EqQ[c^2*d + e, 0] && GtQ[n, 0] && NeQ[p, -1]
 

Maple [A] (verified)

Time = 0.22 (sec) , antiderivative size = 508, normalized size of antiderivative = 1.54

method	result	size
derivativedivides	\(\frac {d^{2} a^{3} \left (\frac {1}{5} c^{5} x^{5}-\frac {2}{3} c^{3} x^{3}+c x \right )+d^{2} b^{3} \left (\frac {\arcsin \left (c x \right )^{3} \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{15}+\frac {3 \arcsin \left (c x \right )^{2} \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{25}-\frac {2 \arcsin \left (c x \right ) \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{125}-\frac {6 \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{625}+\frac {272 \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{3375}-\frac {4144 \sqrt {-c^{2} x^{2}+1}}{1125}-\frac {4 \arcsin \left (c x \right )^{2} \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{15}+\frac {8 \arcsin \left (c x \right ) \left (c^{2} x^{2}-3\right ) c x}{45}+\frac {8 \arcsin \left (c x \right )^{2} \sqrt {-c^{2} x^{2}+1}}{5}-\frac {16 c x \arcsin \left (c x \right )}{5}\right )+3 d^{2} a \,b^{2} \left (\frac {\arcsin \left (c x \right )^{2} \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{15}+\frac {2 \arcsin \left (c x \right ) \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{25}-\frac {2 \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{375}-\frac {8 \arcsin \left (c x \right ) \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{45}+\frac {8 \left (c^{2} x^{2}-3\right ) c x}{135}-\frac {16 c x}{15}+\frac {16 \arcsin \left (c x \right ) \sqrt {-c^{2} x^{2}+1}}{15}\right )+3 d^{2} a^{2} b \left (\frac {c^{5} x^{5} \arcsin \left (c x \right )}{5}-\frac {2 c^{3} x^{3} \arcsin \left (c x \right )}{3}+c x \arcsin \left (c x \right )+\frac {149 \sqrt {-c^{2} x^{2}+1}}{225}-\frac {38 c^{2} x^{2} \sqrt {-c^{2} x^{2}+1}}{225}+\frac {c^{4} x^{4} \sqrt {-c^{2} x^{2}+1}}{25}\right )}{c}\)	\(508\)
default	\(\frac {d^{2} a^{3} \left (\frac {1}{5} c^{5} x^{5}-\frac {2}{3} c^{3} x^{3}+c x \right )+d^{2} b^{3} \left (\frac {\arcsin \left (c x \right )^{3} \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{15}+\frac {3 \arcsin \left (c x \right )^{2} \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{25}-\frac {2 \arcsin \left (c x \right ) \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{125}-\frac {6 \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{625}+\frac {272 \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{3375}-\frac {4144 \sqrt {-c^{2} x^{2}+1}}{1125}-\frac {4 \arcsin \left (c x \right )^{2} \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{15}+\frac {8 \arcsin \left (c x \right ) \left (c^{2} x^{2}-3\right ) c x}{45}+\frac {8 \arcsin \left (c x \right )^{2} \sqrt {-c^{2} x^{2}+1}}{5}-\frac {16 c x \arcsin \left (c x \right )}{5}\right )+3 d^{2} a \,b^{2} \left (\frac {\arcsin \left (c x \right )^{2} \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{15}+\frac {2 \arcsin \left (c x \right ) \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{25}-\frac {2 \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{375}-\frac {8 \arcsin \left (c x \right ) \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{45}+\frac {8 \left (c^{2} x^{2}-3\right ) c x}{135}-\frac {16 c x}{15}+\frac {16 \arcsin \left (c x \right ) \sqrt {-c^{2} x^{2}+1}}{15}\right )+3 d^{2} a^{2} b \left (\frac {c^{5} x^{5} \arcsin \left (c x \right )}{5}-\frac {2 c^{3} x^{3} \arcsin \left (c x \right )}{3}+c x \arcsin \left (c x \right )+\frac {149 \sqrt {-c^{2} x^{2}+1}}{225}-\frac {38 c^{2} x^{2} \sqrt {-c^{2} x^{2}+1}}{225}+\frac {c^{4} x^{4} \sqrt {-c^{2} x^{2}+1}}{25}\right )}{c}\)	\(508\)
parts	\(d^{2} a^{3} \left (\frac {1}{5} c^{4} x^{5}-\frac {2}{3} c^{2} x^{3}+x \right )+\frac {d^{2} b^{3} \left (\frac {\arcsin \left (c x \right )^{3} \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{15}+\frac {3 \arcsin \left (c x \right )^{2} \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{25}-\frac {2 \arcsin \left (c x \right ) \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{125}-\frac {6 \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{625}+\frac {272 \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{3375}-\frac {4144 \sqrt {-c^{2} x^{2}+1}}{1125}-\frac {4 \arcsin \left (c x \right )^{2} \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{15}+\frac {8 \arcsin \left (c x \right ) \left (c^{2} x^{2}-3\right ) c x}{45}+\frac {8 \arcsin \left (c x \right )^{2} \sqrt {-c^{2} x^{2}+1}}{5}-\frac {16 c x \arcsin \left (c x \right )}{5}\right )}{c}+\frac {3 d^{2} a \,b^{2} \left (\frac {\arcsin \left (c x \right )^{2} \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{15}+\frac {2 \arcsin \left (c x \right ) \left (c^{2} x^{2}-1\right )^{2} \sqrt {-c^{2} x^{2}+1}}{25}-\frac {2 \left (3 c^{4} x^{4}-10 c^{2} x^{2}+15\right ) c x}{375}-\frac {8 \arcsin \left (c x \right ) \left (c^{2} x^{2}-1\right ) \sqrt {-c^{2} x^{2}+1}}{45}+\frac {8 \left (c^{2} x^{2}-3\right ) c x}{135}-\frac {16 c x}{15}+\frac {16 \arcsin \left (c x \right ) \sqrt {-c^{2} x^{2}+1}}{15}\right )}{c}+\frac {3 d^{2} a^{2} b \left (\frac {c^{5} x^{5} \arcsin \left (c x \right )}{5}-\frac {2 c^{3} x^{3} \arcsin \left (c x \right )}{3}+c x \arcsin \left (c x \right )+\frac {149 \sqrt {-c^{2} x^{2}+1}}{225}-\frac {38 c^{2} x^{2} \sqrt {-c^{2} x^{2}+1}}{225}+\frac {c^{4} x^{4} \sqrt {-c^{2} x^{2}+1}}{25}\right )}{c}\)	\(511\)
orering	\(\frac {x \left (29889 c^{6} x^{6}-179507 c^{4} x^{4}+2768347 c^{2} x^{2}+1732471\right ) \left (-c^{2} d \,x^{2}+d \right )^{2} \left (a +b \arcsin \left (c x \right )\right )^{3}}{50625 \left (c^{2} x^{2}-1\right )^{3}}-\frac {\left (7857 c^{6} x^{6}-60788 c^{4} x^{4}+1445605 c^{2} x^{2}+316726\right ) \left (-4 \left (-c^{2} d \,x^{2}+d \right ) \left (a +b \arcsin \left (c x \right )\right )^{3} c^{2} d x +\frac {3 \left (-c^{2} d \,x^{2}+d \right )^{2} \left (a +b \arcsin \left (c x \right )\right )^{2} b c}{\sqrt {-c^{2} x^{2}+1}}\right )}{50625 c^{2} \left (c^{2} x^{2}-1\right )^{2}}+\frac {2 x \left (189 c^{4} x^{4}-1738 c^{2} x^{2}+53349\right ) \left (8 c^{4} d^{2} x^{2} \left (a +b \arcsin \left (c x \right )\right )^{3}-\frac {24 \left (-c^{2} d \,x^{2}+d \right ) \left (a +b \arcsin \left (c x \right )\right )^{2} c^{3} d x b}{\sqrt {-c^{2} x^{2}+1}}-4 \left (-c^{2} d \,x^{2}+d \right ) \left (a +b \arcsin \left (c x \right )\right )^{3} c^{2} d +\frac {6 \left (-c^{2} d \,x^{2}+d \right )^{2} \left (a +b \arcsin \left (c x \right )\right ) b^{2} c^{2}}{-c^{2} x^{2}+1}+\frac {3 \left (-c^{2} d \,x^{2}+d \right )^{2} \left (a +b \arcsin \left (c x \right )\right )^{2} b \,c^{3} x}{\left (-c^{2} x^{2}+1\right )^{\frac {3}{2}}}\right )}{16875 c^{2} \left (c^{2} x^{2}-1\right )}-\frac {\left (81 c^{4} x^{4}-842 c^{2} x^{2}+31841\right ) \left (24 c^{4} d^{2} x \left (a +b \arcsin \left (c x \right )\right )^{3}+\frac {72 c^{5} d^{2} x^{2} \left (a +b \arcsin \left (c x \right )\right )^{2} b}{\sqrt {-c^{2} x^{2}+1}}-\frac {72 \left (-c^{2} d \,x^{2}+d \right ) \left (a +b \arcsin \left (c x \right )\right ) c^{4} d x \,b^{2}}{-c^{2} x^{2}+1}-\frac {36 \left (-c^{2} d \,x^{2}+d \right ) \left (a +b \arcsin \left (c x \right )\right )^{2} c^{3} d b}{\sqrt {-c^{2} x^{2}+1}}-\frac {36 \left (-c^{2} d \,x^{2}+d \right ) \left (a +b \arcsin \left (c x \right )\right )^{2} c^{5} d \,x^{2} b}{\left (-c^{2} x^{2}+1\right )^{\frac {3}{2}}}+\frac {6 \left (-c^{2} d \,x^{2}+d \right )^{2} b^{3} c^{3}}{\left (-c^{2} x^{2}+1\right )^{\frac {3}{2}}}+\frac {18 \left (-c^{2} d \,x^{2}+d \right )^{2} \left (a +b \arcsin \left (c x \right )\right ) b^{2} c^{4} x}{\left (-c^{2} x^{2}+1\right )^{2}}+\frac {9 \left (-c^{2} d \,x^{2}+d \right )^{2} \left (a +b \arcsin \left (c x \right )\right )^{2} b \,c^{5} x^{2}}{\left (-c^{2} x^{2}+1\right )^{\frac {5}{2}}}+\frac {3 \left (-c^{2} d \,x^{2}+d \right )^{2} \left (a +b \arcsin \left (c x \right )\right )^{2} b \,c^{3}}{\left (-c^{2} x^{2}+1\right )^{\frac {3}{2}}}\right )}{50625 c^{4}}\)	\(744\)

Input:

int((-c^2*d*x^2+d)^2*(a+b*arcsin(c*x))^3,x,method=_RETURNVERBOSE)
 

Output:

1/c*(d^2*a^3*(1/5*c^5*x^5-2/3*c^3*x^3+c*x)+d^2*b^3*(1/15*arcsin(c*x)^3*(3* 
c^4*x^4-10*c^2*x^2+15)*c*x+3/25*arcsin(c*x)^2*(c^2*x^2-1)^2*(-c^2*x^2+1)^( 
1/2)-2/125*arcsin(c*x)*(3*c^4*x^4-10*c^2*x^2+15)*c*x-6/625*(c^2*x^2-1)^2*( 
-c^2*x^2+1)^(1/2)+272/3375*(c^2*x^2-1)*(-c^2*x^2+1)^(1/2)-4144/1125*(-c^2* 
x^2+1)^(1/2)-4/15*arcsin(c*x)^2*(c^2*x^2-1)*(-c^2*x^2+1)^(1/2)+8/45*arcsin 
(c*x)*(c^2*x^2-3)*c*x+8/5*arcsin(c*x)^2*(-c^2*x^2+1)^(1/2)-16/5*c*x*arcsin 
(c*x))+3*d^2*a*b^2*(1/15*arcsin(c*x)^2*(3*c^4*x^4-10*c^2*x^2+15)*c*x+2/25* 
arcsin(c*x)*(c^2*x^2-1)^2*(-c^2*x^2+1)^(1/2)-2/375*(3*c^4*x^4-10*c^2*x^2+1 
5)*c*x-8/45*arcsin(c*x)*(c^2*x^2-1)*(-c^2*x^2+1)^(1/2)+8/135*(c^2*x^2-3)*c 
*x-16/15*c*x+16/15*arcsin(c*x)*(-c^2*x^2+1)^(1/2))+3*d^2*a^2*b*(1/5*c^5*x^ 
5*arcsin(c*x)-2/3*c^3*x^3*arcsin(c*x)+c*x*arcsin(c*x)+149/225*(-c^2*x^2+1) 
^(1/2)-38/225*c^2*x^2*(-c^2*x^2+1)^(1/2)+1/25*c^4*x^4*(-c^2*x^2+1)^(1/2)))
 

Fricas [A] (verification not implemented)

Time = 0.11 (sec) , antiderivative size = 407, normalized size of antiderivative = 1.23 \[ \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx=\frac {135 \, {\left (25 \, a^{3} - 6 \, a b^{2}\right )} c^{5} d^{2} x^{5} - 150 \, {\left (75 \, a^{3} - 38 \, a b^{2}\right )} c^{3} d^{2} x^{3} + 225 \, {\left (75 \, a^{3} - 298 \, a b^{2}\right )} c d^{2} x + 1125 \, {\left (3 \, b^{3} c^{5} d^{2} x^{5} - 10 \, b^{3} c^{3} d^{2} x^{3} + 15 \, b^{3} c d^{2} x\right )} \arcsin \left (c x\right )^{3} + 3375 \, {\left (3 \, a b^{2} c^{5} d^{2} x^{5} - 10 \, a b^{2} c^{3} d^{2} x^{3} + 15 \, a b^{2} c d^{2} x\right )} \arcsin \left (c x\right )^{2} + 15 \, {\left (27 \, {\left (25 \, a^{2} b - 2 \, b^{3}\right )} c^{5} d^{2} x^{5} - 10 \, {\left (225 \, a^{2} b - 38 \, b^{3}\right )} c^{3} d^{2} x^{3} + 15 \, {\left (225 \, a^{2} b - 298 \, b^{3}\right )} c d^{2} x\right )} \arcsin \left (c x\right ) + {\left (81 \, {\left (25 \, a^{2} b - 2 \, b^{3}\right )} c^{4} d^{2} x^{4} - 2 \, {\left (4275 \, a^{2} b - 842 \, b^{3}\right )} c^{2} d^{2} x^{2} + {\left (33525 \, a^{2} b - 63682 \, b^{3}\right )} d^{2} + 225 \, {\left (9 \, b^{3} c^{4} d^{2} x^{4} - 38 \, b^{3} c^{2} d^{2} x^{2} + 149 \, b^{3} d^{2}\right )} \arcsin \left (c x\right )^{2} + 450 \, {\left (9 \, a b^{2} c^{4} d^{2} x^{4} - 38 \, a b^{2} c^{2} d^{2} x^{2} + 149 \, a b^{2} d^{2}\right )} \arcsin \left (c x\right )\right )} \sqrt {-c^{2} x^{2} + 1}}{16875 \, c} \] Input:

integrate((-c^2*d*x^2+d)^2*(a+b*arcsin(c*x))^3,x, algorithm="fricas")
 

Output:

1/16875*(135*(25*a^3 - 6*a*b^2)*c^5*d^2*x^5 - 150*(75*a^3 - 38*a*b^2)*c^3* 
d^2*x^3 + 225*(75*a^3 - 298*a*b^2)*c*d^2*x + 1125*(3*b^3*c^5*d^2*x^5 - 10* 
b^3*c^3*d^2*x^3 + 15*b^3*c*d^2*x)*arcsin(c*x)^3 + 3375*(3*a*b^2*c^5*d^2*x^ 
5 - 10*a*b^2*c^3*d^2*x^3 + 15*a*b^2*c*d^2*x)*arcsin(c*x)^2 + 15*(27*(25*a^ 
2*b - 2*b^3)*c^5*d^2*x^5 - 10*(225*a^2*b - 38*b^3)*c^3*d^2*x^3 + 15*(225*a 
^2*b - 298*b^3)*c*d^2*x)*arcsin(c*x) + (81*(25*a^2*b - 2*b^3)*c^4*d^2*x^4 
- 2*(4275*a^2*b - 842*b^3)*c^2*d^2*x^2 + (33525*a^2*b - 63682*b^3)*d^2 + 2 
25*(9*b^3*c^4*d^2*x^4 - 38*b^3*c^2*d^2*x^2 + 149*b^3*d^2)*arcsin(c*x)^2 + 
450*(9*a*b^2*c^4*d^2*x^4 - 38*a*b^2*c^2*d^2*x^2 + 149*a*b^2*d^2)*arcsin(c* 
x))*sqrt(-c^2*x^2 + 1))/c
 

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 717 vs. \(2 (311) = 622\).

Time = 0.84 (sec) , antiderivative size = 717, normalized size of antiderivative = 2.17 \[ \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx =\text {Too large to display} \] Input:

integrate((-c**2*d*x**2+d)**2*(a+b*asin(c*x))**3,x)
                                                                                    
                                                                                    
 

Output:

Piecewise((a**3*c**4*d**2*x**5/5 - 2*a**3*c**2*d**2*x**3/3 + a**3*d**2*x + 
 3*a**2*b*c**4*d**2*x**5*asin(c*x)/5 + 3*a**2*b*c**3*d**2*x**4*sqrt(-c**2* 
x**2 + 1)/25 - 2*a**2*b*c**2*d**2*x**3*asin(c*x) - 38*a**2*b*c*d**2*x**2*s 
qrt(-c**2*x**2 + 1)/75 + 3*a**2*b*d**2*x*asin(c*x) + 149*a**2*b*d**2*sqrt( 
-c**2*x**2 + 1)/(75*c) + 3*a*b**2*c**4*d**2*x**5*asin(c*x)**2/5 - 6*a*b**2 
*c**4*d**2*x**5/125 + 6*a*b**2*c**3*d**2*x**4*sqrt(-c**2*x**2 + 1)*asin(c* 
x)/25 - 2*a*b**2*c**2*d**2*x**3*asin(c*x)**2 + 76*a*b**2*c**2*d**2*x**3/22 
5 - 76*a*b**2*c*d**2*x**2*sqrt(-c**2*x**2 + 1)*asin(c*x)/75 + 3*a*b**2*d** 
2*x*asin(c*x)**2 - 298*a*b**2*d**2*x/75 + 298*a*b**2*d**2*sqrt(-c**2*x**2 
+ 1)*asin(c*x)/(75*c) + b**3*c**4*d**2*x**5*asin(c*x)**3/5 - 6*b**3*c**4*d 
**2*x**5*asin(c*x)/125 + 3*b**3*c**3*d**2*x**4*sqrt(-c**2*x**2 + 1)*asin(c 
*x)**2/25 - 6*b**3*c**3*d**2*x**4*sqrt(-c**2*x**2 + 1)/625 - 2*b**3*c**2*d 
**2*x**3*asin(c*x)**3/3 + 76*b**3*c**2*d**2*x**3*asin(c*x)/225 - 38*b**3*c 
*d**2*x**2*sqrt(-c**2*x**2 + 1)*asin(c*x)**2/75 + 1684*b**3*c*d**2*x**2*sq 
rt(-c**2*x**2 + 1)/16875 + b**3*d**2*x*asin(c*x)**3 - 298*b**3*d**2*x*asin 
(c*x)/75 + 149*b**3*d**2*sqrt(-c**2*x**2 + 1)*asin(c*x)**2/(75*c) - 63682* 
b**3*d**2*sqrt(-c**2*x**2 + 1)/(16875*c), Ne(c, 0)), (a**3*d**2*x, True))
 

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 879 vs. \(2 (292) = 584\).

Time = 0.16 (sec) , antiderivative size = 879, normalized size of antiderivative = 2.66 \[ \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx =\text {Too large to display} \] Input:

integrate((-c^2*d*x^2+d)^2*(a+b*arcsin(c*x))^3,x, algorithm="maxima")
 

Output:

1/5*b^3*c^4*d^2*x^5*arcsin(c*x)^3 + 3/5*a*b^2*c^4*d^2*x^5*arcsin(c*x)^2 + 
1/5*a^3*c^4*d^2*x^5 - 2/3*b^3*c^2*d^2*x^3*arcsin(c*x)^3 - 2*a*b^2*c^2*d^2* 
x^3*arcsin(c*x)^2 + 1/25*(15*x^5*arcsin(c*x) + (3*sqrt(-c^2*x^2 + 1)*x^4/c 
^2 + 4*sqrt(-c^2*x^2 + 1)*x^2/c^4 + 8*sqrt(-c^2*x^2 + 1)/c^6)*c)*a^2*b*c^4 
*d^2 + 2/375*(15*(3*sqrt(-c^2*x^2 + 1)*x^4/c^2 + 4*sqrt(-c^2*x^2 + 1)*x^2/ 
c^4 + 8*sqrt(-c^2*x^2 + 1)/c^6)*c*arcsin(c*x) - (9*c^4*x^5 + 20*c^2*x^3 + 
120*x)/c^4)*a*b^2*c^4*d^2 + 1/5625*(225*(3*sqrt(-c^2*x^2 + 1)*x^4/c^2 + 4* 
sqrt(-c^2*x^2 + 1)*x^2/c^4 + 8*sqrt(-c^2*x^2 + 1)/c^6)*c*arcsin(c*x)^2 - 2 
*c*((27*sqrt(-c^2*x^2 + 1)*c^2*x^4 + 136*sqrt(-c^2*x^2 + 1)*x^2 + 2072*sqr 
t(-c^2*x^2 + 1)/c^2)/c^4 + 15*(9*c^4*x^5 + 20*c^2*x^3 + 120*x)*arcsin(c*x) 
/c^5))*b^3*c^4*d^2 - 2/3*a^3*c^2*d^2*x^3 + b^3*d^2*x*arcsin(c*x)^3 - 2/3*( 
3*x^3*arcsin(c*x) + c*(sqrt(-c^2*x^2 + 1)*x^2/c^2 + 2*sqrt(-c^2*x^2 + 1)/c 
^4))*a^2*b*c^2*d^2 - 4/9*(3*c*(sqrt(-c^2*x^2 + 1)*x^2/c^2 + 2*sqrt(-c^2*x^ 
2 + 1)/c^4)*arcsin(c*x) - (c^2*x^3 + 6*x)/c^2)*a*b^2*c^2*d^2 - 2/27*(9*c*( 
sqrt(-c^2*x^2 + 1)*x^2/c^2 + 2*sqrt(-c^2*x^2 + 1)/c^4)*arcsin(c*x)^2 - 2*c 
*((sqrt(-c^2*x^2 + 1)*x^2 + 20*sqrt(-c^2*x^2 + 1)/c^2)/c^2 + 3*(c^2*x^3 + 
6*x)*arcsin(c*x)/c^3))*b^3*c^2*d^2 + 3*a*b^2*d^2*x*arcsin(c*x)^2 + 3*(sqrt 
(-c^2*x^2 + 1)*arcsin(c*x)^2/c - 2*(c*x*arcsin(c*x) + sqrt(-c^2*x^2 + 1))/ 
c)*b^3*d^2 - 6*a*b^2*d^2*(x - sqrt(-c^2*x^2 + 1)*arcsin(c*x)/c) + a^3*d^2* 
x + 3*(c*x*arcsin(c*x) + sqrt(-c^2*x^2 + 1))*a^2*b*d^2/c
 

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 697 vs. \(2 (292) = 584\).

Time = 0.19 (sec) , antiderivative size = 697, normalized size of antiderivative = 2.11 \[ \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx =\text {Too large to display} \] Input:

integrate((-c^2*d*x^2+d)^2*(a+b*arcsin(c*x))^3,x, algorithm="giac")
 

Output:

1/5*a^3*c^4*d^2*x^5 + 1/5*(c^2*x^2 - 1)^2*b^3*d^2*x*arcsin(c*x)^3 - 2/3*a^ 
3*c^2*d^2*x^3 + 3/5*(c^2*x^2 - 1)^2*a*b^2*d^2*x*arcsin(c*x)^2 - 4/15*(c^2* 
x^2 - 1)*b^3*d^2*x*arcsin(c*x)^3 + 3/5*(c^2*x^2 - 1)^2*a^2*b*d^2*x*arcsin( 
c*x) - 6/125*(c^2*x^2 - 1)^2*b^3*d^2*x*arcsin(c*x) - 4/5*(c^2*x^2 - 1)*a*b 
^2*d^2*x*arcsin(c*x)^2 + 8/15*b^3*d^2*x*arcsin(c*x)^3 + 3/25*(c^2*x^2 - 1) 
^2*sqrt(-c^2*x^2 + 1)*b^3*d^2*arcsin(c*x)^2/c - 6/125*(c^2*x^2 - 1)^2*a*b^ 
2*d^2*x - 4/5*(c^2*x^2 - 1)*a^2*b*d^2*x*arcsin(c*x) + 272/1125*(c^2*x^2 - 
1)*b^3*d^2*x*arcsin(c*x) + 8/5*a*b^2*d^2*x*arcsin(c*x)^2 + 6/25*(c^2*x^2 - 
 1)^2*sqrt(-c^2*x^2 + 1)*a*b^2*d^2*arcsin(c*x)/c + 4/15*(-c^2*x^2 + 1)^(3/ 
2)*b^3*d^2*arcsin(c*x)^2/c + 272/1125*(c^2*x^2 - 1)*a*b^2*d^2*x + 8/5*a^2* 
b*d^2*x*arcsin(c*x) - 4144/1125*b^3*d^2*x*arcsin(c*x) + 3/25*(c^2*x^2 - 1) 
^2*sqrt(-c^2*x^2 + 1)*a^2*b*d^2/c - 6/625*(c^2*x^2 - 1)^2*sqrt(-c^2*x^2 + 
1)*b^3*d^2/c + 8/15*(-c^2*x^2 + 1)^(3/2)*a*b^2*d^2*arcsin(c*x)/c + 8/5*sqr 
t(-c^2*x^2 + 1)*b^3*d^2*arcsin(c*x)^2/c + a^3*d^2*x - 4144/1125*a*b^2*d^2* 
x + 4/15*(-c^2*x^2 + 1)^(3/2)*a^2*b*d^2/c - 272/3375*(-c^2*x^2 + 1)^(3/2)* 
b^3*d^2/c + 16/5*sqrt(-c^2*x^2 + 1)*a*b^2*d^2*arcsin(c*x)/c + 8/5*sqrt(-c^ 
2*x^2 + 1)*a^2*b*d^2/c - 4144/1125*sqrt(-c^2*x^2 + 1)*b^3*d^2/c
 

Mupad [F(-1)]

Timed out. \[ \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx=\int {\left (a+b\,\mathrm {asin}\left (c\,x\right )\right )}^3\,{\left (d-c^2\,d\,x^2\right )}^2 \,d x \] Input:

int((a + b*asin(c*x))^3*(d - c^2*d*x^2)^2,x)
 

Output:

int((a + b*asin(c*x))^3*(d - c^2*d*x^2)^2, x)
 

Reduce [F]

\[ \int \left (d-c^2 d x^2\right )^2 (a+b \arcsin (c x))^3 \, dx=\frac {d^{2} \left (75 \mathit {asin} \left (c x \right )^{3} b^{3} c x +225 \sqrt {-c^{2} x^{2}+1}\, \mathit {asin} \left (c x \right )^{2} b^{3}+225 \mathit {asin} \left (c x \right )^{2} a \,b^{2} c x +450 \sqrt {-c^{2} x^{2}+1}\, \mathit {asin} \left (c x \right ) a \,b^{2}+45 \mathit {asin} \left (c x \right ) a^{2} b \,c^{5} x^{5}-150 \mathit {asin} \left (c x \right ) a^{2} b \,c^{3} x^{3}+225 \mathit {asin} \left (c x \right ) a^{2} b c x -450 \mathit {asin} \left (c x \right ) b^{3} c x +9 \sqrt {-c^{2} x^{2}+1}\, a^{2} b \,c^{4} x^{4}-38 \sqrt {-c^{2} x^{2}+1}\, a^{2} b \,c^{2} x^{2}+149 \sqrt {-c^{2} x^{2}+1}\, a^{2} b -450 \sqrt {-c^{2} x^{2}+1}\, b^{3}+75 \left (\int \mathit {asin} \left (c x \right )^{3} x^{4}d x \right ) b^{3} c^{5}-150 \left (\int \mathit {asin} \left (c x \right )^{3} x^{2}d x \right ) b^{3} c^{3}+225 \left (\int \mathit {asin} \left (c x \right )^{2} x^{4}d x \right ) a \,b^{2} c^{5}-450 \left (\int \mathit {asin} \left (c x \right )^{2} x^{2}d x \right ) a \,b^{2} c^{3}+15 a^{3} c^{5} x^{5}-50 a^{3} c^{3} x^{3}+75 a^{3} c x -450 a \,b^{2} c x \right )}{75 c} \] Input:

int((-c^2*d*x^2+d)^2*(a+b*asin(c*x))^3,x)
 

Output:

(d**2*(75*asin(c*x)**3*b**3*c*x + 225*sqrt( - c**2*x**2 + 1)*asin(c*x)**2* 
b**3 + 225*asin(c*x)**2*a*b**2*c*x + 450*sqrt( - c**2*x**2 + 1)*asin(c*x)* 
a*b**2 + 45*asin(c*x)*a**2*b*c**5*x**5 - 150*asin(c*x)*a**2*b*c**3*x**3 + 
225*asin(c*x)*a**2*b*c*x - 450*asin(c*x)*b**3*c*x + 9*sqrt( - c**2*x**2 + 
1)*a**2*b*c**4*x**4 - 38*sqrt( - c**2*x**2 + 1)*a**2*b*c**2*x**2 + 149*sqr 
t( - c**2*x**2 + 1)*a**2*b - 450*sqrt( - c**2*x**2 + 1)*b**3 + 75*int(asin 
(c*x)**3*x**4,x)*b**3*c**5 - 150*int(asin(c*x)**3*x**2,x)*b**3*c**3 + 225* 
int(asin(c*x)**2*x**4,x)*a*b**2*c**5 - 450*int(asin(c*x)**2*x**2,x)*a*b**2 
*c**3 + 15*a**3*c**5*x**5 - 50*a**3*c**3*x**3 + 75*a**3*c*x - 450*a*b**2*c 
*x))/(75*c)