3.3.56 \(\int \frac {(a+b \sinh ^{-1}(c+d x))^4}{\sqrt {c e+d e x}} \, dx\) [256]

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

[Out]

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

________________________________________________________________________________________

Rubi [A]
time = 0.11, 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 \frac {\left (a+b \sinh ^{-1}(c+d x)\right )^4}{\sqrt {c e+d e x}} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(a + b*ArcSinh[c + d*x])^4/Sqrt[c*e + d*e*x],x]

[Out]

(2*Sqrt[e*(c + d*x)]*(a + b*ArcSinh[c + d*x])^4)/(d*e) - (8*b*Defer[Subst][Defer[Int][(Sqrt[e*x]*(a + b*ArcSin
h[x])^3)/Sqrt[1 + x^2], x], x, c + d*x])/(d*e)

Rubi steps

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

________________________________________________________________________________________

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

Verification is not applicable to the result.

[In]

Integrate[(a + b*ArcSinh[c + d*x])^4/Sqrt[c*e + d*e*x],x]

[Out]

Integrate[(a + b*ArcSinh[c + d*x])^4/Sqrt[c*e + d*e*x], x]

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a+b*arcsinh(d*x+c))^4/(d*e*x+c*e)^(1/2),x)

[Out]

int((a+b*arcsinh(d*x+c))^4/(d*e*x+c*e)^(1/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((a+b*arcsinh(d*x+c))^4/(d*e*x+c*e)^(1/2),x, algorithm="maxima")

[Out]

2*sqrt(d*x + c)*b^4*e^(-1/2)*log(d*x + c + sqrt(d^2*x^2 + 2*c*d*x + c^2 + 1))^4/d + 2*sqrt(d*x*e + c*e)*a^4*e^
(-1)/d + integrate(2*(2*(sqrt(d^2*x^2 + 2*c*d*x + c^2 + 1)*((a*b^3*d^2 - 2*b^4*d^2)*x^2*e^(1/2) + 2*(a*b^3*c*d
- 2*b^4*c*d)*x*e^(1/2) - (2*b^4*c^2 - (c^2 + 1)*a*b^3)*e^(1/2))*sqrt(d*x + c) + ((a*b^3*d^3 - 2*b^4*d^3)*x^3*
e^(1/2) + 3*(a*b^3*c*d^2 - 2*b^4*c*d^2)*x^2*e^(1/2) + ((3*c^2*d + d)*a*b^3 - 2*(3*c^2*d + d)*b^4)*x*e^(1/2) +
((c^3 + c)*a*b^3 - 2*(c^3 + c)*b^4)*e^(1/2))*sqrt(d*x + c))*log(d*x + c + sqrt(d^2*x^2 + 2*c*d*x + c^2 + 1))^3
+ 3*((a^2*b^2*d^2*x^2*e^(1/2) + 2*a^2*b^2*c*d*x*e^(1/2) + (c^2 + 1)*a^2*b^2*e^(1/2))*sqrt(d^2*x^2 + 2*c*d*x +
c^2 + 1)*sqrt(d*x + c) + (a^2*b^2*d^3*x^3*e^(1/2) + 3*a^2*b^2*c*d^2*x^2*e^(1/2) + (3*c^2*d + d)*a^2*b^2*x*e^(
1/2) + (c^3 + c)*a^2*b^2*e^(1/2))*sqrt(d*x + c))*log(d*x + c + sqrt(d^2*x^2 + 2*c*d*x + c^2 + 1))^2 + 2*((a^3*
b*d^2*x^2*e^(1/2) + 2*a^3*b*c*d*x*e^(1/2) + (c^2 + 1)*a^3*b*e^(1/2))*sqrt(d^2*x^2 + 2*c*d*x + c^2 + 1)*sqrt(d*
x + c) + (a^3*b*d^3*x^3*e^(1/2) + 3*a^3*b*c*d^2*x^2*e^(1/2) + (3*c^2*d + d)*a^3*b*x*e^(1/2) + (c^3 + c)*a^3*b*
e^(1/2))*sqrt(d*x + c))*log(d*x + c + sqrt(d^2*x^2 + 2*c*d*x + c^2 + 1)))/(d^4*x^4*e + 4*c*d^3*x^3*e + (6*c^2*
d^2 + d^2)*x^2*e + 2*(2*c^3*d + c*d)*x*e + (c^4 + c^2)*e + (d^3*x^3*e + 3*c*d^2*x^2*e + (3*c^2*d + d)*x*e + (c
^3 + c)*e)*sqrt(d^2*x^2 + 2*c*d*x + c^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((a+b*arcsinh(d*x+c))^4/(d*e*x+c*e)^(1/2),x, algorithm="fricas")

[Out]

integral((b^4*arcsinh(d*x + c)^4 + 4*a*b^3*arcsinh(d*x + c)^3 + 6*a^2*b^2*arcsinh(d*x + c)^2 + 4*a^3*b*arcsinh
(d*x + c) + a^4)*e^(-1/2)/sqrt(d*x + c), x)

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*asinh(d*x+c))**4/(d*e*x+c*e)**(1/2),x)

[Out]

Integral((a + b*asinh(c + d*x))**4/sqrt(e*(c + d*x)), 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((a+b*arcsinh(d*x+c))^4/(d*e*x+c*e)^(1/2),x, algorithm="giac")

[Out]

integrate((b*arcsinh(d*x + c) + a)^4/sqrt(d*e*x + c*e), x)

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + b*asinh(c + d*x))^4/(c*e + d*e*x)^(1/2),x)

[Out]

int((a + b*asinh(c + d*x))^4/(c*e + d*e*x)^(1/2), x)

________________________________________________________________________________________