Optimal. Leaf size=642 \[ -\frac {\log \left (\frac {i+a+b x}{a+b x}\right ) \log \left (-\frac {b \left (i \sqrt {c}-\sqrt {d} x\right )}{\left (b \sqrt {c}+(1-i a) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}+\frac {\log \left (-\frac {i-a-b x}{a+b x}\right ) \log \left (\frac {i b \left (\sqrt {c}+i \sqrt {d} x\right )}{\left (b \sqrt {c}-(1+i a) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}-\frac {\log \left (-\frac {i-a-b x}{a+b x}\right ) \log \left (\frac {b \left (i \sqrt {c}+\sqrt {d} x\right )}{\left (b \sqrt {c}+(1+i a) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}+\frac {\log \left (\frac {i+a+b x}{a+b x}\right ) \log \left (-\frac {b \left (i \sqrt {c}+\sqrt {d} x\right )}{\left (b \sqrt {c}+i (i+a) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}+\frac {\text {PolyLog}\left (2,-\frac {\left (b \sqrt {c}-i a \sqrt {d}\right ) (i-a-b x)}{\left (b \sqrt {c}-(1+i a) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}-\frac {\text {PolyLog}\left (2,-\frac {\left (b \sqrt {c}+i a \sqrt {d}\right ) (i-a-b x)}{\left (b \sqrt {c}+(1+i a) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}-\frac {\text {PolyLog}\left (2,\frac {\left (b \sqrt {c}-i a \sqrt {d}\right ) (i+a+b x)}{\left (b \sqrt {c}+(1-i a) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}+\frac {\text {PolyLog}\left (2,\frac {\left (b \sqrt {c}+i a \sqrt {d}\right ) (i+a+b x)}{\left (b \sqrt {c}+i (i+a) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.64, antiderivative size = 642, normalized size of antiderivative = 1.00, number of steps
used = 15, number of rules used = 5, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.312, Rules used = {5160, 2576,
2404, 2354, 2438} \begin {gather*} \frac {\text {Li}_2\left (-\frac {\left (b \sqrt {c}-i a \sqrt {d}\right ) (-a-b x+i)}{\left (b \sqrt {c}-(i a+1) \sqrt {d}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}-\frac {\text {Li}_2\left (-\frac {\left (i \sqrt {d} a+b \sqrt {c}\right ) (-a-b x+i)}{\left (\sqrt {d} (i a+1)+b \sqrt {c}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}-\frac {\text {Li}_2\left (\frac {\left (b \sqrt {c}-i a \sqrt {d}\right ) (a+b x+i)}{\left (\sqrt {d} (1-i a)+b \sqrt {c}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}+\frac {\text {Li}_2\left (\frac {\left (i \sqrt {d} a+b \sqrt {c}\right ) (a+b x+i)}{\left (i \sqrt {d} (a+i)+b \sqrt {c}\right ) (a+b x)}\right )}{4 \sqrt {c} \sqrt {d}}-\frac {\log \left (\frac {a+b x+i}{a+b x}\right ) \log \left (-\frac {b \left (-\sqrt {d} x+i \sqrt {c}\right )}{(a+b x) \left (b \sqrt {c}+(1-i a) \sqrt {d}\right )}\right )}{4 \sqrt {c} \sqrt {d}}+\frac {\log \left (-\frac {-a-b x+i}{a+b x}\right ) \log \left (\frac {i b \left (\sqrt {c}+i \sqrt {d} x\right )}{(a+b x) \left (b \sqrt {c}-(1+i a) \sqrt {d}\right )}\right )}{4 \sqrt {c} \sqrt {d}}-\frac {\log \left (-\frac {-a-b x+i}{a+b x}\right ) \log \left (\frac {b \left (\sqrt {d} x+i \sqrt {c}\right )}{(a+b x) \left (b \sqrt {c}+(1+i a) \sqrt {d}\right )}\right )}{4 \sqrt {c} \sqrt {d}}+\frac {\log \left (\frac {a+b x+i}{a+b x}\right ) \log \left (-\frac {b \left (\sqrt {d} x+i \sqrt {c}\right )}{(a+b x) \left (b \sqrt {c}+i (a+i) \sqrt {d}\right )}\right )}{4 \sqrt {c} \sqrt {d}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2354
Rule 2404
Rule 2438
Rule 2576
Rule 5160
Rubi steps
\begin {align*} \int \frac {\cot ^{-1}(a+b x)}{c+d x^2} \, dx &=\frac {1}{2} i \int \frac {\log \left (\frac {-i+a+b x}{a+b x}\right )}{c+d x^2} \, dx-\frac {1}{2} i \int \frac {\log \left (\frac {i+a+b x}{a+b x}\right )}{c+d x^2} \, dx\\ &=\frac {1}{2} i \int \frac {\log (-i+a+b x)}{c+d x^2} \, dx-\frac {1}{2} i \int \frac {\log (i+a+b x)}{c+d x^2} \, dx-\frac {1}{2} \left (i \left (-\log (a+b x)+\log (-i+a+b x)-\log \left (\frac {-i+a+b x}{a+b x}\right )\right )\right ) \int \frac {1}{c+d x^2} \, dx+\frac {1}{2} \left (i \left (-\log (a+b x)+\log (i+a+b x)-\log \left (\frac {i+a+b x}{a+b x}\right )\right )\right ) \int \frac {1}{c+d x^2} \, dx\\ &=\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log \left (-\frac {i-a-b x}{a+b x}\right )+\log (a+b x)-\log (-i+a+b x)\right )}{2 \sqrt {c} \sqrt {d}}-\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log (a+b x)-\log (i+a+b x)+\log \left (\frac {i+a+b x}{a+b x}\right )\right )}{2 \sqrt {c} \sqrt {d}}+\frac {1}{2} i \int \left (\frac {\sqrt {-c} \log (-i+a+b x)}{2 c \left (\sqrt {-c}-\sqrt {d} x\right )}+\frac {\sqrt {-c} \log (-i+a+b x)}{2 c \left (\sqrt {-c}+\sqrt {d} x\right )}\right ) \, dx-\frac {1}{2} i \int \left (\frac {\sqrt {-c} \log (i+a+b x)}{2 c \left (\sqrt {-c}-\sqrt {d} x\right )}+\frac {\sqrt {-c} \log (i+a+b x)}{2 c \left (\sqrt {-c}+\sqrt {d} x\right )}\right ) \, dx\\ &=\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log \left (-\frac {i-a-b x}{a+b x}\right )+\log (a+b x)-\log (-i+a+b x)\right )}{2 \sqrt {c} \sqrt {d}}-\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log (a+b x)-\log (i+a+b x)+\log \left (\frac {i+a+b x}{a+b x}\right )\right )}{2 \sqrt {c} \sqrt {d}}-\frac {i \int \frac {\log (-i+a+b x)}{\sqrt {-c}-\sqrt {d} x} \, dx}{4 \sqrt {-c}}-\frac {i \int \frac {\log (-i+a+b x)}{\sqrt {-c}+\sqrt {d} x} \, dx}{4 \sqrt {-c}}+\frac {i \int \frac {\log (i+a+b x)}{\sqrt {-c}-\sqrt {d} x} \, dx}{4 \sqrt {-c}}+\frac {i \int \frac {\log (i+a+b x)}{\sqrt {-c}+\sqrt {d} x} \, dx}{4 \sqrt {-c}}\\ &=\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log \left (-\frac {i-a-b x}{a+b x}\right )+\log (a+b x)-\log (-i+a+b x)\right )}{2 \sqrt {c} \sqrt {d}}-\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log (a+b x)-\log (i+a+b x)+\log \left (\frac {i+a+b x}{a+b x}\right )\right )}{2 \sqrt {c} \sqrt {d}}+\frac {i \log (-i+a+b x) \log \left (\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}-(i-a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \log (i+a+b x) \log \left (\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}+(i+a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \log (-i+a+b x) \log \left (\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}+(i-a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}+\frac {i \log (i+a+b x) \log \left (\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}-(i+a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {(i b) \int \frac {\log \left (\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}+(-i+a) \sqrt {d}}\right )}{-i+a+b x} \, dx}{4 \sqrt {-c} \sqrt {d}}+\frac {(i b) \int \frac {\log \left (\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}+(i+a) \sqrt {d}}\right )}{i+a+b x} \, dx}{4 \sqrt {-c} \sqrt {d}}+\frac {(i b) \int \frac {\log \left (\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}-(-i+a) \sqrt {d}}\right )}{-i+a+b x} \, dx}{4 \sqrt {-c} \sqrt {d}}-\frac {(i b) \int \frac {\log \left (\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}-(i+a) \sqrt {d}}\right )}{i+a+b x} \, dx}{4 \sqrt {-c} \sqrt {d}}\\ &=\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log \left (-\frac {i-a-b x}{a+b x}\right )+\log (a+b x)-\log (-i+a+b x)\right )}{2 \sqrt {c} \sqrt {d}}-\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log (a+b x)-\log (i+a+b x)+\log \left (\frac {i+a+b x}{a+b x}\right )\right )}{2 \sqrt {c} \sqrt {d}}+\frac {i \log (-i+a+b x) \log \left (\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}-(i-a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \log (i+a+b x) \log \left (\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}+(i+a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \log (-i+a+b x) \log \left (\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}+(i-a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}+\frac {i \log (i+a+b x) \log \left (\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}-(i+a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}+\frac {i \text {Subst}\left (\int \frac {\log \left (1+\frac {\sqrt {d} x}{b \sqrt {-c}-(-i+a) \sqrt {d}}\right )}{x} \, dx,x,-i+a+b x\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \text {Subst}\left (\int \frac {\log \left (1-\frac {\sqrt {d} x}{b \sqrt {-c}+(-i+a) \sqrt {d}}\right )}{x} \, dx,x,-i+a+b x\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \text {Subst}\left (\int \frac {\log \left (1+\frac {\sqrt {d} x}{b \sqrt {-c}-(i+a) \sqrt {d}}\right )}{x} \, dx,x,i+a+b x\right )}{4 \sqrt {-c} \sqrt {d}}+\frac {i \text {Subst}\left (\int \frac {\log \left (1-\frac {\sqrt {d} x}{b \sqrt {-c}+(i+a) \sqrt {d}}\right )}{x} \, dx,x,i+a+b x\right )}{4 \sqrt {-c} \sqrt {d}}\\ &=\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log \left (-\frac {i-a-b x}{a+b x}\right )+\log (a+b x)-\log (-i+a+b x)\right )}{2 \sqrt {c} \sqrt {d}}-\frac {i \tan ^{-1}\left (\frac {\sqrt {d} x}{\sqrt {c}}\right ) \left (\log (a+b x)-\log (i+a+b x)+\log \left (\frac {i+a+b x}{a+b x}\right )\right )}{2 \sqrt {c} \sqrt {d}}+\frac {i \log (-i+a+b x) \log \left (\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}-(i-a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \log (i+a+b x) \log \left (\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}+(i+a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \log (-i+a+b x) \log \left (\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}+(i-a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}+\frac {i \log (i+a+b x) \log \left (\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}-(i+a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}+\frac {i \text {Li}_2\left (-\frac {\sqrt {d} (i-a-b x)}{b \sqrt {-c}-(i-a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \text {Li}_2\left (\frac {\sqrt {d} (i-a-b x)}{b \sqrt {-c}+(i-a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}+\frac {i \text {Li}_2\left (-\frac {\sqrt {d} (i+a+b x)}{b \sqrt {-c}-(i+a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}-\frac {i \text {Li}_2\left (\frac {\sqrt {d} (i+a+b x)}{b \sqrt {-c}+(i+a) \sqrt {d}}\right )}{4 \sqrt {-c} \sqrt {d}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.40, size = 563, normalized size = 0.88 \begin {gather*} -\frac {i \left (\log \left (\frac {\sqrt {d} (-i+a+b x)}{b \sqrt {-c}+(-i+a) \sqrt {d}}\right ) \log \left (\sqrt {-c}-\sqrt {d} x\right )-\log \left (\frac {-i+a+b x}{a+b x}\right ) \log \left (\sqrt {-c}-\sqrt {d} x\right )-\log \left (\frac {\sqrt {d} (i+a+b x)}{b \sqrt {-c}+(i+a) \sqrt {d}}\right ) \log \left (\sqrt {-c}-\sqrt {d} x\right )+\log \left (\frac {i+a+b x}{a+b x}\right ) \log \left (\sqrt {-c}-\sqrt {d} x\right )-\log \left (-\frac {\sqrt {d} (-i+a+b x)}{b \sqrt {-c}-(-i+a) \sqrt {d}}\right ) \log \left (\sqrt {-c}+\sqrt {d} x\right )+\log \left (\frac {-i+a+b x}{a+b x}\right ) \log \left (\sqrt {-c}+\sqrt {d} x\right )+\log \left (-\frac {\sqrt {d} (i+a+b x)}{b \sqrt {-c}-(i+a) \sqrt {d}}\right ) \log \left (\sqrt {-c}+\sqrt {d} x\right )-\log \left (\frac {i+a+b x}{a+b x}\right ) \log \left (\sqrt {-c}+\sqrt {d} x\right )+\text {PolyLog}\left (2,\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}+(-i+a) \sqrt {d}}\right )-\text {PolyLog}\left (2,\frac {b \left (\sqrt {-c}-\sqrt {d} x\right )}{b \sqrt {-c}+(i+a) \sqrt {d}}\right )-\text {PolyLog}\left (2,\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}-(-i+a) \sqrt {d}}\right )+\text {PolyLog}\left (2,\frac {b \left (\sqrt {-c}+\sqrt {d} x\right )}{b \sqrt {-c}-(i+a) \sqrt {d}}\right )\right )}{4 \sqrt {-c} \sqrt {d}} \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. 2073 vs. \(2 (495 ) = 990\).
time = 0.70, size = 2074, normalized size = 3.23
method | result | size |
risch | \(-\frac {\dilog \left (\frac {i a d -b \sqrt {c d}+\left (-i b x -i a +1\right ) d -d}{i a d -b \sqrt {c d}-d}\right )}{4 \sqrt {c d}}+\frac {\dilog \left (\frac {i a d +b \sqrt {c d}+\left (-i b x -i a +1\right ) d -d}{i a d +b \sqrt {c d}-d}\right )}{4 \sqrt {c d}}-\frac {\dilog \left (\frac {i a d +b \sqrt {c d}-\left (i b x +i a +1\right ) d +d}{i a d +b \sqrt {c d}+d}\right )}{4 \sqrt {c d}}+\frac {\dilog \left (\frac {i a d -b \sqrt {c d}-\left (i b x +i a +1\right ) d +d}{i a d -b \sqrt {c d}+d}\right )}{4 \sqrt {c d}}-\frac {i b \pi \arctan \left (\frac {2 i a d +2 \left (-i b x -i a +1\right ) d -2 d}{2 \sqrt {-b^{2} c d}}\right )}{2 \sqrt {-b^{2} c d}}-\frac {\ln \left (-i b x -i a +1\right ) \ln \left (\frac {i a d -b \sqrt {c d}+\left (-i b x -i a +1\right ) d -d}{i a d -b \sqrt {c d}-d}\right )}{4 \sqrt {c d}}+\frac {\ln \left (-i b x -i a +1\right ) \ln \left (\frac {i a d +b \sqrt {c d}+\left (-i b x -i a +1\right ) d -d}{i a d +b \sqrt {c d}-d}\right )}{4 \sqrt {c d}}-\frac {\ln \left (i b x +i a +1\right ) \ln \left (\frac {i a d +b \sqrt {c d}-\left (i b x +i a +1\right ) d +d}{i a d +b \sqrt {c d}+d}\right )}{4 \sqrt {c d}}+\frac {\ln \left (i b x +i a +1\right ) \ln \left (\frac {i a d -b \sqrt {c d}-\left (i b x +i a +1\right ) d +d}{i a d -b \sqrt {c d}+d}\right )}{4 \sqrt {c d}}\) | \(543\) |
derivativedivides | \(\text {Expression too large to display}\) | \(2074\) |
default | \(\text {Expression too large to display}\) | \(2074\) |
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. 8519 vs. \(2 (456) = 912\).
time = 5.31, size = 8519, normalized size = 13.27 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [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]
________________________________________________________________________________________
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(-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]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\mathrm {acot}\left (a+b\,x\right )}{d\,x^2+c} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________