Optimal. Leaf size=339 \[ -\frac {\left (52-51 i a-2 a^2\right ) b^3 \sqrt {1-i a-i b x}}{6 (i-a)^4 (i+a) \sqrt {1+i a+i b x}}-\frac {(i+a) \sqrt {1-i a-i b x}}{3 (i-a) x^3 \sqrt {1+i a+i b x}}-\frac {7 i b \sqrt {1-i a-i b x}}{6 (i-a)^2 x^2 \sqrt {1+i a+i b x}}+\frac {(19-16 i a) b^2 \sqrt {1-i a-i b x}}{6 (i-a)^3 (i+a) x \sqrt {1+i a+i b x}}+\frac {\left (11 i+18 a-6 i a^2\right ) b^3 \tanh ^{-1}\left (\frac {\sqrt {i+a} \sqrt {1+i a+i b x}}{\sqrt {i-a} \sqrt {1-i a-i b x}}\right )}{(i-a)^{9/2} (i+a)^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.25, antiderivative size = 339, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 7, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.438, Rules used = {5203, 100, 156,
157, 12, 95, 214} \begin {gather*} -\frac {\left (-2 a^2-51 i a+52\right ) b^3 \sqrt {-i a-i b x+1}}{6 (-a+i)^4 (a+i) \sqrt {i a+i b x+1}}+\frac {\left (-6 i a^2+18 a+11 i\right ) b^3 \tanh ^{-1}\left (\frac {\sqrt {a+i} \sqrt {i a+i b x+1}}{\sqrt {-a+i} \sqrt {-i a-i b x+1}}\right )}{(-a+i)^{9/2} (a+i)^{3/2}}+\frac {(19-16 i a) b^2 \sqrt {-i a-i b x+1}}{6 (-a+i)^3 (a+i) x \sqrt {i a+i b x+1}}-\frac {(a+i) \sqrt {-i a-i b x+1}}{3 (-a+i) x^3 \sqrt {i a+i b x+1}}-\frac {7 i b \sqrt {-i a-i b x+1}}{6 (-a+i)^2 x^2 \sqrt {i a+i b x+1}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 95
Rule 100
Rule 156
Rule 157
Rule 214
Rule 5203
Rubi steps
\begin {align*} \int \frac {e^{-3 i \tan ^{-1}(a+b x)}}{x^4} \, dx &=\int \frac {(1-i a-i b x)^{3/2}}{x^4 (1+i a+i b x)^{3/2}} \, dx\\ &=-\frac {(i+a) \sqrt {1-i a-i b x}}{3 (i-a) x^3 \sqrt {1+i a+i b x}}-\frac {\int \frac {7 (i+a) b+6 b^2 x}{x^3 \sqrt {1-i a-i b x} (1+i a+i b x)^{3/2}} \, dx}{3 (1+i a)}\\ &=-\frac {(i+a) \sqrt {1-i a-i b x}}{3 (i-a) x^3 \sqrt {1+i a+i b x}}-\frac {7 i b \sqrt {1-i a-i b x}}{6 (i-a)^2 x^2 \sqrt {1+i a+i b x}}+\frac {\int \frac {-\left (19-35 i a-16 a^2\right ) b^2+14 (i+a) b^3 x}{x^2 \sqrt {1-i a-i b x} (1+i a+i b x)^{3/2}} \, dx}{6 (1+i a) \left (1+a^2\right )}\\ &=-\frac {(i+a) \sqrt {1-i a-i b x}}{3 (i-a) x^3 \sqrt {1+i a+i b x}}-\frac {7 i b \sqrt {1-i a-i b x}}{6 (i-a)^2 x^2 \sqrt {1+i a+i b x}}+\frac {(19 i+16 a) b^2 \sqrt {1-i a-i b x}}{6 (1+i a)^3 (i+a) x \sqrt {1+i a+i b x}}-\frac {\int \frac {-3 (i+a) \left (11-18 i a-6 a^2\right ) b^3-\left (19-35 i a-16 a^2\right ) b^4 x}{x \sqrt {1-i a-i b x} (1+i a+i b x)^{3/2}} \, dx}{6 (1+i a) \left (1+a^2\right )^2}\\ &=-\frac {\left (52-51 i a-2 a^2\right ) b^3 \sqrt {1-i a-i b x}}{6 (i-a)^4 (i+a) \sqrt {1+i a+i b x}}-\frac {(i+a) \sqrt {1-i a-i b x}}{3 (i-a) x^3 \sqrt {1+i a+i b x}}-\frac {7 i b \sqrt {1-i a-i b x}}{6 (i-a)^2 x^2 \sqrt {1+i a+i b x}}+\frac {(19 i+16 a) b^2 \sqrt {1-i a-i b x}}{6 (1+i a)^3 (i+a) x \sqrt {1+i a+i b x}}-\frac {i \int \frac {3 \left (11-29 i a-24 a^2+6 i a^3\right ) b^4}{x \sqrt {1-i a-i b x} \sqrt {1+i a+i b x}} \, dx}{6 (i-a)^4 (i+a)^2 b}\\ &=-\frac {\left (52-51 i a-2 a^2\right ) b^3 \sqrt {1-i a-i b x}}{6 (i-a)^4 (i+a) \sqrt {1+i a+i b x}}-\frac {(i+a) \sqrt {1-i a-i b x}}{3 (i-a) x^3 \sqrt {1+i a+i b x}}-\frac {7 i b \sqrt {1-i a-i b x}}{6 (i-a)^2 x^2 \sqrt {1+i a+i b x}}+\frac {(19 i+16 a) b^2 \sqrt {1-i a-i b x}}{6 (1+i a)^3 (i+a) x \sqrt {1+i a+i b x}}-\frac {\left (\left (11-18 i a-6 a^2\right ) b^3\right ) \int \frac {1}{x \sqrt {1-i a-i b x} \sqrt {1+i a+i b x}} \, dx}{2 (i-a)^4 (i+a)}\\ &=-\frac {\left (52-51 i a-2 a^2\right ) b^3 \sqrt {1-i a-i b x}}{6 (i-a)^4 (i+a) \sqrt {1+i a+i b x}}-\frac {(i+a) \sqrt {1-i a-i b x}}{3 (i-a) x^3 \sqrt {1+i a+i b x}}-\frac {7 i b \sqrt {1-i a-i b x}}{6 (i-a)^2 x^2 \sqrt {1+i a+i b x}}+\frac {(19 i+16 a) b^2 \sqrt {1-i a-i b x}}{6 (1+i a)^3 (i+a) x \sqrt {1+i a+i b x}}-\frac {\left (\left (11-18 i a-6 a^2\right ) b^3\right ) \text {Subst}\left (\int \frac {1}{-1-i a-(-1+i a) x^2} \, dx,x,\frac {\sqrt {1+i a+i b x}}{\sqrt {1-i a-i b x}}\right )}{(i-a)^4 (i+a)}\\ &=-\frac {\left (52-51 i a-2 a^2\right ) b^3 \sqrt {1-i a-i b x}}{6 (i-a)^4 (i+a) \sqrt {1+i a+i b x}}-\frac {(i+a) \sqrt {1-i a-i b x}}{3 (i-a) x^3 \sqrt {1+i a+i b x}}-\frac {7 i b \sqrt {1-i a-i b x}}{6 (i-a)^2 x^2 \sqrt {1+i a+i b x}}+\frac {(19 i+16 a) b^2 \sqrt {1-i a-i b x}}{6 (1+i a)^3 (i+a) x \sqrt {1+i a+i b x}}+\frac {\left (11 i+18 a-6 i a^2\right ) b^3 \tanh ^{-1}\left (\frac {\sqrt {i+a} \sqrt {1+i a+i b x}}{\sqrt {i-a} \sqrt {1-i a-i b x}}\right )}{(i-a)^{9/2} (i+a)^{3/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.29, size = 275, normalized size = 0.81 \begin {gather*} -\frac {-2 (-1-i a)^{7/2} (1-i a) (-i (i+a+b x))^{5/2}-(-1-i a)^{5/2} (3 i+4 a) b x (-i (i+a+b x))^{5/2}+i \left (-11+18 i a+6 a^2\right ) b^2 x^2 \left (-i \sqrt {-1-i a} \sqrt {-i (i+a+b x)} \left (1+a^2+5 i b x+a b x\right )-6 \sqrt {-1+i a} b x \sqrt {1+i a+i b x} \tanh ^{-1}\left (\frac {\sqrt {-1-i a} \sqrt {-i (i+a+b x)}}{\sqrt {-1+i a} \sqrt {1+i a+i b x}}\right )\right )}{6 (-1-i a)^{5/2} \left (1+a^2\right )^2 x^3 \sqrt {1+i a+i b x}} \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. 3636 vs. \(2 (267 ) = 534\).
time = 0.30, size = 3637, normalized size = 10.73
method | result | size |
risch | \(-\frac {i \left (2 a^{2} b^{4} x^{4}+27 i a \,b^{4} x^{4}+2 a^{3} b^{3} x^{3}+45 i a^{2} b^{3} x^{3}+9 i a^{3} b^{2} x^{2}-28 x^{4} b^{4}+2 a^{5} b x -9 i a^{4} b x -58 a \,b^{3} x^{3}-9 i b^{3} x^{3}+2 a^{6}-26 a^{2} b^{2} x^{2}+9 i a \,b^{2} x^{2}+4 a^{3} b x -18 i x \,a^{2} b +6 a^{4}-26 b^{2} x^{2}+2 a b x -9 i b x +6 a^{2}+2\right )}{6 x^{3} \left (i+a \right ) \left (a -i\right )^{4} \sqrt {b^{2} x^{2}+2 a b x +a^{2}+1}}+\frac {6 i b^{3} \ln \left (\frac {2 a^{2}+2+2 a b x +2 \sqrt {a^{2}+1}\, \sqrt {b^{2} x^{2}+2 a b x +a^{2}+1}}{x}\right ) a^{2}}{\left (i+a \right ) \left (a^{4}-4 i a^{3}-6 a^{2}+4 i a +1\right ) \left (i-a \right ) \sqrt {a^{2}+1}}+\frac {3 b^{3} \ln \left (\frac {2 a^{2}+2+2 a b x +2 \sqrt {a^{2}+1}\, \sqrt {b^{2} x^{2}+2 a b x +a^{2}+1}}{x}\right ) a^{3}}{\left (i+a \right ) \left (a^{4}-4 i a^{3}-6 a^{2}+4 i a +1\right ) \left (i-a \right ) \sqrt {a^{2}+1}}+\frac {11 i b^{3} \ln \left (\frac {2 a^{2}+2+2 a b x +2 \sqrt {a^{2}+1}\, \sqrt {b^{2} x^{2}+2 a b x +a^{2}+1}}{x}\right )}{2 \left (i+a \right ) \left (a^{4}-4 i a^{3}-6 a^{2}+4 i a +1\right ) \left (i-a \right ) \sqrt {a^{2}+1}}+\frac {7 b^{3} \ln \left (\frac {2 a^{2}+2+2 a b x +2 \sqrt {a^{2}+1}\, \sqrt {b^{2} x^{2}+2 a b x +a^{2}+1}}{x}\right ) a}{2 \left (i+a \right ) \left (a^{4}-4 i a^{3}-6 a^{2}+4 i a +1\right ) \left (i-a \right ) \sqrt {a^{2}+1}}-\frac {4 b^{2} \sqrt {\left (x -\frac {i-a}{b}\right )^{2} b^{2}+2 i b \left (x -\frac {i-a}{b}\right )}\, a^{2}}{\left (i+a \right ) \left (a^{4}-4 i a^{3}-6 a^{2}+4 i a +1\right ) \left (i-a \right ) \left (x -\frac {i}{b}+\frac {a}{b}\right )}-\frac {4 b^{2} \sqrt {\left (x -\frac {i-a}{b}\right )^{2} b^{2}+2 i b \left (x -\frac {i-a}{b}\right )}}{\left (i+a \right ) \left (a^{4}-4 i a^{3}-6 a^{2}+4 i a +1\right ) \left (i-a \right ) \left (x -\frac {i}{b}+\frac {a}{b}\right )}\) | \(781\) |
default | \(\text {Expression too large to display}\) | \(3637\) |
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: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice
the leaf count of optimal. 839 vs. \(2 (223) = 446\).
time = 2.53, size = 839, normalized size = 2.47 \begin {gather*} \frac {{\left (-2 i \, a^{2} + 51 \, a + 52 i\right )} b^{4} x^{4} + {\left (-2 i \, a^{3} + 49 \, a^{2} + i \, a + 52\right )} b^{3} x^{3} + 3 \, \sqrt {\frac {{\left (36 \, a^{4} + 216 i \, a^{3} - 456 \, a^{2} - 396 i \, a + 121\right )} b^{6}}{a^{12} - 6 i \, a^{11} - 12 \, a^{10} + 2 i \, a^{9} - 27 \, a^{8} + 36 i \, a^{7} + 36 i \, a^{5} + 27 \, a^{4} + 2 i \, a^{3} + 12 \, a^{2} - 6 i \, a - 1}} {\left ({\left (a^{5} - 3 i \, a^{4} - 2 \, a^{3} - 2 i \, a^{2} - 3 \, a + i\right )} b x^{4} + {\left (a^{6} - 4 i \, a^{5} - 5 \, a^{4} - 5 \, a^{2} + 4 i \, a + 1\right )} x^{3}\right )} \log \left (-\frac {{\left (6 \, a^{2} + 18 i \, a - 11\right )} b^{4} x - \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1} {\left (6 \, a^{2} + 18 i \, a - 11\right )} b^{3} + {\left (a^{7} - 3 i \, a^{6} - a^{5} - 5 i \, a^{4} - 5 \, a^{3} - i \, a^{2} - 3 \, a + i\right )} \sqrt {\frac {{\left (36 \, a^{4} + 216 i \, a^{3} - 456 \, a^{2} - 396 i \, a + 121\right )} b^{6}}{a^{12} - 6 i \, a^{11} - 12 \, a^{10} + 2 i \, a^{9} - 27 \, a^{8} + 36 i \, a^{7} + 36 i \, a^{5} + 27 \, a^{4} + 2 i \, a^{3} + 12 \, a^{2} - 6 i \, a - 1}}}{{\left (6 \, a^{2} + 18 i \, a - 11\right )} b^{3}}\right ) - 3 \, \sqrt {\frac {{\left (36 \, a^{4} + 216 i \, a^{3} - 456 \, a^{2} - 396 i \, a + 121\right )} b^{6}}{a^{12} - 6 i \, a^{11} - 12 \, a^{10} + 2 i \, a^{9} - 27 \, a^{8} + 36 i \, a^{7} + 36 i \, a^{5} + 27 \, a^{4} + 2 i \, a^{3} + 12 \, a^{2} - 6 i \, a - 1}} {\left ({\left (a^{5} - 3 i \, a^{4} - 2 \, a^{3} - 2 i \, a^{2} - 3 \, a + i\right )} b x^{4} + {\left (a^{6} - 4 i \, a^{5} - 5 \, a^{4} - 5 \, a^{2} + 4 i \, a + 1\right )} x^{3}\right )} \log \left (-\frac {{\left (6 \, a^{2} + 18 i \, a - 11\right )} b^{4} x - \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1} {\left (6 \, a^{2} + 18 i \, a - 11\right )} b^{3} - {\left (a^{7} - 3 i \, a^{6} - a^{5} - 5 i \, a^{4} - 5 \, a^{3} - i \, a^{2} - 3 \, a + i\right )} \sqrt {\frac {{\left (36 \, a^{4} + 216 i \, a^{3} - 456 \, a^{2} - 396 i \, a + 121\right )} b^{6}}{a^{12} - 6 i \, a^{11} - 12 \, a^{10} + 2 i \, a^{9} - 27 \, a^{8} + 36 i \, a^{7} + 36 i \, a^{5} + 27 \, a^{4} + 2 i \, a^{3} + 12 \, a^{2} - 6 i \, a - 1}}}{{\left (6 \, a^{2} + 18 i \, a - 11\right )} b^{3}}\right ) + {\left ({\left (-2 i \, a^{2} + 51 \, a + 52 i\right )} b^{3} x^{3} - 2 i \, a^{5} + {\left (16 \, a^{2} + 3 i \, a + 19\right )} b^{2} x^{2} - 2 \, a^{4} - 4 i \, a^{3} - 7 \, {\left (a^{3} - i \, a^{2} + a - i\right )} b x - 4 \, a^{2} - 2 i \, a - 2\right )} \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1}}{6 \, {\left ({\left (a^{5} - 3 i \, a^{4} - 2 \, a^{3} - 2 i \, a^{2} - 3 \, a + i\right )} b x^{4} + {\left (a^{6} - 4 i \, a^{5} - 5 \, a^{4} - 5 \, a^{2} + 4 i \, a + 1\right )} x^{3}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \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 ({\left (a+b\,x\right )}^2+1\right )}^{3/2}}{x^4\,{\left (1+a\,1{}\mathrm {i}+b\,x\,1{}\mathrm {i}\right )}^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________