3.1.30 \(\int (d+e x)^m (a+b \sinh ^{-1}(c x))^2 \, dx\) [30]

Optimal. Leaf size=75 \[ \frac {(d+e x)^{1+m} \left (a+b \sinh ^{-1}(c x)\right )^2}{e (1+m)}-\frac {2 b c \text {Int}\left (\frac {(d+e x)^{1+m} \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt {1+c^2 x^2}},x\right )}{e (1+m)} \]

[Out]

(e*x+d)^(1+m)*(a+b*arcsinh(c*x))^2/e/(1+m)-2*b*c*Unintegrable((e*x+d)^(1+m)*(a+b*arcsinh(c*x))/(c^2*x^2+1)^(1/
2),x)/e/(1+m)

________________________________________________________________________________________

Rubi [A]
time = 0.18, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int (d+e x)^m \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(d + e*x)^m*(a + b*ArcSinh[c*x])^2,x]

[Out]

((d + e*x)^(1 + m)*(a + b*ArcSinh[c*x])^2)/(e*(1 + m)) - (2*b*c*Defer[Int][((d + e*x)^(1 + m)*(a + b*ArcSinh[c
*x]))/Sqrt[1 + c^2*x^2], x])/(e*(1 + m))

Rubi steps

\begin {align*} \int (d+e x)^m \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx &=\frac {(d+e x)^{1+m} \left (a+b \sinh ^{-1}(c x)\right )^2}{e (1+m)}-\frac {(2 b c) \int \frac {(d+e x)^{1+m} \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt {1+c^2 x^2}} \, dx}{e (1+m)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 3.32, size = 0, normalized size = 0.00 \begin {gather*} \int (d+e x)^m \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[(d + e*x)^m*(a + b*ArcSinh[c*x])^2,x]

[Out]

Integrate[(d + e*x)^m*(a + b*ArcSinh[c*x])^2, x]

________________________________________________________________________________________

Maple [A]
time = 180.00, size = 0, normalized size = 0.00 \[\int \left (e x +d \right )^{m} \left (a +b \arcsinh \left (c x \right )\right )^{2}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((e*x+d)^m*(a+b*arcsinh(c*x))^2,x)

[Out]

int((e*x+d)^m*(a+b*arcsinh(c*x))^2,x)

________________________________________________________________________________________

Maxima [A]
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]

integrate((e*x+d)^m*(a+b*arcsinh(c*x))^2,x, algorithm="maxima")

[Out]

(x*e + d)^(m + 1)*a^2*e^(-1)/(m + 1) + (b^2*x*e + b^2*d)*e^(m*log(x*e + d) - 1)*log(c*x + sqrt(c^2*x^2 + 1))^2
/(m + 1) + integrate(-2*((b^2*c^2*d*x - a*b*(m + 1)*e - (a*b*c^2*(m + 1) - b^2*c^2)*x^2*e)*sqrt(c^2*x^2 + 1)*(
x*e + d)^m + (b^2*c^3*d*x^2 - (a*b*c^3*(m + 1) - b^2*c^3)*x^3*e + b^2*c*d - (a*b*c*(m + 1) - b^2*c)*x*e)*(x*e
+ d)^m)*log(c*x + sqrt(c^2*x^2 + 1))/(c^3*(m + 1)*x^3*e + c*(m + 1)*x*e + (c^2*(m + 1)*x^2*e + (m + 1)*e)*sqrt
(c^2*x^2 + 1)), x)

________________________________________________________________________________________

Fricas [A]
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]

integrate((e*x+d)^m*(a+b*arcsinh(c*x))^2,x, algorithm="fricas")

[Out]

integral((b^2*arcsinh(c*x)^2 + 2*a*b*arcsinh(c*x) + a^2)*(x*e + d)^m, x)

________________________________________________________________________________________

Sympy [A]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (a + b \operatorname {asinh}{\left (c x \right )}\right )^{2} \left (d + e x\right )^{m}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*x+d)**m*(a+b*asinh(c*x))**2,x)

[Out]

Integral((a + b*asinh(c*x))**2*(d + e*x)**m, x)

________________________________________________________________________________________

Giac [A]
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]

integrate((e*x+d)^m*(a+b*arcsinh(c*x))^2,x, algorithm="giac")

[Out]

integrate((b*arcsinh(c*x) + a)^2*(e*x + d)^m, x)

________________________________________________________________________________________

Mupad [A]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int {\left (a+b\,\mathrm {asinh}\left (c\,x\right )\right )}^2\,{\left (d+e\,x\right )}^m \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + b*asinh(c*x))^2*(d + e*x)^m,x)

[Out]

int((a + b*asinh(c*x))^2*(d + e*x)^m, x)

________________________________________________________________________________________