3.1.72 \(\int \frac {\text {ArcTan}(c+(-1-i c) \cot (a+b x))}{x} \, dx\) [72]

Optimal. Leaf size=24 \[ \text {Int}\left (\frac {\text {ArcTan}(c+(-1-i c) \cot (a+b x))}{x},x\right ) \]

[Out]

CannotIntegrate(-arctan(-c-(-1-I*c)*cot(b*x+a))/x,x)

________________________________________________________________________________________

Rubi [A]
time = 0.10, 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 {\text {ArcTan}(c+(-1-i c) \cot (a+b x))}{x} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[ArcTan[c + (-1 - I*c)*Cot[a + b*x]]/x,x]

[Out]

Defer[Int][ArcTan[c + (-1 - I*c)*Cot[a + b*x]]/x, x]

Rubi steps

\begin {align*} \int \frac {\tan ^{-1}(c+(-1-i c) \cot (a+b x))}{x} \, dx &=\int \frac {\tan ^{-1}(c+(-1-i c) \cot (a+b x))}{x} \, dx\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.56, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\text {ArcTan}(c+(-1-i c) \cot (a+b x))}{x} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[ArcTan[c + (-1 - I*c)*Cot[a + b*x]]/x,x]

[Out]

Integrate[ArcTan[c + (-1 - I*c)*Cot[a + b*x]]/x, x]

________________________________________________________________________________________

Maple [A]
time = 0.08, size = 0, normalized size = 0.00 \[\int -\frac {\arctan \left (-c -\left (-i c -1\right ) \cot \left (b x +a \right )\right )}{x}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-arctan(-c-(-1-I*c)*cot(b*x+a))/x,x)

[Out]

int(-arctan(-c-(-1-I*c)*cot(b*x+a))/x,x)

________________________________________________________________________________________

Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-arctan(-c-(-1-I*c)*cot(b*x+a))/x,x, algorithm="maxima")

[Out]

Exception raised: ValueError >> Computation failed since Maxima requested additional constraints; using the 'a
ssume' command before evaluation *may* help (example of legal syntax is 'assume(c-1>0)', see `assume?` for mor
e details)Is

________________________________________________________________________________________

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(-arctan(-c-(-1-I*c)*cot(b*x+a))/x,x, algorithm="fricas")

[Out]

integral(1/2*I*log(-(c*e^(2*I*b*x + 2*I*a) - I)*e^(-2*I*b*x - 2*I*a)/(c - I))/x, x)

________________________________________________________________________________________

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]

integrate(-atan(-c-(-1-I*c)*cot(b*x+a))/x,x)

[Out]

Timed out

________________________________________________________________________________________

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(-arctan(-c-(-1-I*c)*cot(b*x+a))/x,x, algorithm="giac")

[Out]

integrate(-arctan(-(-I*c - 1)*cot(b*x + a) - c)/x, x)

________________________________________________________________________________________

Mupad [A]
time = 0.00, size = -1, normalized size = -0.04 \begin {gather*} \int \frac {\mathrm {atan}\left (c-\mathrm {cot}\left (a+b\,x\right )\,\left (1+c\,1{}\mathrm {i}\right )\right )}{x} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(atan(c - cot(a + b*x)*(c*1i + 1))/x,x)

[Out]

int(atan(c - cot(a + b*x)*(c*1i + 1))/x, x)

________________________________________________________________________________________