Optimal. Leaf size=338 \[ \frac {\left (52+51 i a-2 a^2\right ) b^3 \sqrt {1+i a+i b x}}{6 (i-a) (i+a)^4 \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) (i+a)^3 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)^{3/2} (i+a)^{9/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.24, antiderivative size = 338, 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) (a+i)^4 \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)^{3/2} (a+i)^{9/2}}+\frac {(19+16 i a) b^2 \sqrt {i a+i b x+1}}{6 (-a+i) (a+i)^3 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 (1-i a-i b x)^{3/2} \sqrt {1+i a+i b x}} \, 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 (1-i a-i b x)^{3/2} \sqrt {1+i a+i b x}} \, 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 (i-a) (1-i a)^3 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 (1-i a-i b x)^{3/2} \sqrt {1+i a+i b x}} \, 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) (i+a)^4 \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 (i-a) (1-i a)^3 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)^2 (i+a)^4 b}\\ &=\frac {\left (52+51 i a-2 a^2\right ) b^3 \sqrt {1+i a+i b x}}{6 (i-a) (i+a)^4 \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 (i-a) (1-i a)^3 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) (i+a)^4}\\ &=\frac {\left (52+51 i a-2 a^2\right ) b^3 \sqrt {1+i a+i b x}}{6 (i-a) (i+a)^4 \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 (i-a) (1-i a)^3 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) (i+a)^4}\\ &=\frac {\left (52+51 i a-2 a^2\right ) b^3 \sqrt {1+i a+i b x}}{6 (i-a) (i+a)^4 \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 (i-a) (1-i a)^3 x \sqrt {1-i a-i b x}}+\frac {\left (18 a-i \left (11-6 a^2\right )\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)^{3/2} (i+a)^{9/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.28, size = 282, normalized size = 0.83 \begin {gather*} -\frac {2 (-1+i a)^{3/2} (1+i a) (i+a)^2 (1+i a+i b x)^{5/2}+(3 i-4 a) (-1+i a)^{5/2} b x (1+i a+i 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 {1+i a+i b x} \left (1+a^2-5 i b x+a b x\right )-6 \sqrt {-1-i a} b x \sqrt {-i (i+a+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 {-i (i+a+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. 1648 vs. \(2 (266 ) = 532\).
time = 0.26, size = 1649, normalized size = 4.88
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 (a -i\right ) \left (i+a \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 (a -i\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 (a -i\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 (a -i\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 (a -i\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 (a -i\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 (a -i\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 )}\) | \(757\) |
default | \(\text {Expression too large to display}\) | \(1649\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Both result and optimal contain complex but leaf count of result is larger than
twice the leaf count of optimal. 2313 vs. \(2 (223) = 446\).
time = 0.28, size = 2313, normalized size = 6.84 \begin {gather*} \text {Too large to display} \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 = 4.74, size = 839, normalized size = 2.48 \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]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - i \left (\int \frac {i}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\, dx + \int \left (- \frac {3 a}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\right )\, dx + \int \frac {a^{3}}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\, dx + \int \left (- \frac {3 i a^{2}}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\right )\, dx + \int \left (- \frac {3 b x}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\right )\, dx + \int \frac {b^{3} x^{3}}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\, dx + \int \left (- \frac {3 i b^{2} x^{2}}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\right )\, dx + \int \frac {3 a b^{2} x^{2}}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\, dx + \int \frac {3 a^{2} b x}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\, dx + \int \left (- \frac {6 i a b x}{a^{2} x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + 2 a b x^{5} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + b^{2} x^{6} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} + x^{4} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}\right )\, dx\right ) \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 (1+a\,1{}\mathrm {i}+b\,x\,1{}\mathrm {i}\right )}^3}{x^4\,{\left ({\left (a+b\,x\right )}^2+1\right )}^{3/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________