Optimal. Leaf size=260 \[ \frac{2^{-2-\frac{i n}{2}} \left (36 a^2 n+24 a^3-12 a \left (2-n^2\right )-n \left (8-n^2\right )\right ) (-i a-i b x+1)^{1+\frac{i n}{2}} \, _2F_1\left (\frac{i n}{2}+1,\frac{i n}{2};\frac{i n}{2}+2;\frac{1}{2} (-i a-i b x+1)\right )}{3 b^4 (-n+2 i)}-\frac{(-i a-i b x+1)^{1+\frac{i n}{2}} \left (-18 a^2+2 b x (6 a+n)-10 a n-n^2+6\right ) (i a+i b x+1)^{1-\frac{i n}{2}}}{24 b^4}+\frac{x^2 (-i a-i b x+1)^{1+\frac{i n}{2}} (i a+i b x+1)^{1-\frac{i n}{2}}}{4 b^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.185642, antiderivative size = 260, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.286, Rules used = {5095, 100, 147, 69} \[ \frac{2^{-2-\frac{i n}{2}} \left (36 a^2 n+24 a^3-12 a \left (2-n^2\right )-n \left (8-n^2\right )\right ) (-i a-i b x+1)^{1+\frac{i n}{2}} \, _2F_1\left (\frac{i n}{2}+1,\frac{i n}{2};\frac{i n}{2}+2;\frac{1}{2} (-i a-i b x+1)\right )}{3 b^4 (-n+2 i)}-\frac{(-i a-i b x+1)^{1+\frac{i n}{2}} \left (-18 a^2+2 b x (6 a+n)-10 a n-n^2+6\right ) (i a+i b x+1)^{1-\frac{i n}{2}}}{24 b^4}+\frac{x^2 (-i a-i b x+1)^{1+\frac{i n}{2}} (i a+i b x+1)^{1-\frac{i n}{2}}}{4 b^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5095
Rule 100
Rule 147
Rule 69
Rubi steps
\begin{align*} \int e^{n \tan ^{-1}(a+b x)} x^3 \, dx &=\int x^3 (1-i a-i b x)^{\frac{i n}{2}} (1+i a+i b x)^{-\frac{i n}{2}} \, dx\\ &=\frac{x^2 (1-i a-i b x)^{1+\frac{i n}{2}} (1+i a+i b x)^{1-\frac{i n}{2}}}{4 b^2}+\frac{\int x (1-i a-i b x)^{\frac{i n}{2}} (1+i a+i b x)^{-\frac{i n}{2}} \left (-2 \left (1+a^2\right )-b (6 a+n) x\right ) \, dx}{4 b^2}\\ &=\frac{x^2 (1-i a-i b x)^{1+\frac{i n}{2}} (1+i a+i b x)^{1-\frac{i n}{2}}}{4 b^2}-\frac{(1-i a-i b x)^{1+\frac{i n}{2}} (1+i a+i b x)^{1-\frac{i n}{2}} \left (6-18 a^2-10 a n-n^2+2 b (6 a+n) x\right )}{24 b^4}-\frac{\left (24 a^3+36 a^2 n-12 a \left (2-n^2\right )-n \left (8-n^2\right )\right ) \int (1-i a-i b x)^{\frac{i n}{2}} (1+i a+i b x)^{-\frac{i n}{2}} \, dx}{24 b^3}\\ &=\frac{x^2 (1-i a-i b x)^{1+\frac{i n}{2}} (1+i a+i b x)^{1-\frac{i n}{2}}}{4 b^2}-\frac{(1-i a-i b x)^{1+\frac{i n}{2}} (1+i a+i b x)^{1-\frac{i n}{2}} \left (6-18 a^2-10 a n-n^2+2 b (6 a+n) x\right )}{24 b^4}+\frac{2^{-2-\frac{i n}{2}} \left (24 a^3+36 a^2 n-12 a \left (2-n^2\right )-n \left (8-n^2\right )\right ) (1-i a-i b x)^{1+\frac{i n}{2}} \, _2F_1\left (1+\frac{i n}{2},\frac{i n}{2};2+\frac{i n}{2};\frac{1}{2} (1-i a-i b x)\right )}{3 b^4 (2 i-n)}\\ \end{align*}
Mathematica [A] time = 0.300176, size = 272, normalized size = 1.05 \[ \frac{(-i (a+b x+i))^{1+\frac{i n}{2}} \left (b^2 (-n+2 i) x^2 (i a+i b x+1)^{1-\frac{i n}{2}}-2^{3-\frac{i n}{2}} (6 a+n) \, _2F_1\left (\frac{i n}{2}-2,\frac{i n}{2}+1;\frac{i n}{2}+2;-\frac{1}{2} i (a+b x+i)\right )+(1+i a) 2^{3-\frac{i n}{2}} (5 a+n-i) \, _2F_1\left (\frac{i n}{2}-1,\frac{i n}{2}+1;\frac{i n}{2}+2;-\frac{1}{2} i (a+b x+i)\right )+(a-i)^2 2^{1-\frac{i n}{2}} (4 a+n-2 i) \, _2F_1\left (\frac{i n}{2}+1,\frac{i n}{2};\frac{i n}{2}+2;-\frac{1}{2} i (a+b x+i)\right )\right )}{4 b^4 (-n+2 i)} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.197, size = 0, normalized size = 0. \begin{align*} \int{{\rm e}^{n\arctan \left ( bx+a \right ) }}{x}^{3}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int x^{3} e^{\left (n \arctan \left (b x + a\right )\right )}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (x^{3} e^{\left (n \arctan \left (b x + a\right )\right )}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int x^{3} e^{n \operatorname{atan}{\left (a + b x \right )}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int x^{3} e^{\left (n \arctan \left (b x + a\right )\right )}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]