3.3.45 \(\int \frac {-192+56 x-64 (i \pi +\log (3))+(-96+30 x-32 (i \pi +\log (3))) \log (3+i \pi -x+\log (3))+(-12+4 x-4 (i \pi +\log (3))) \log ^2(3+i \pi -x+\log (3))}{3 x^5-x^6+x^5 (i \pi +\log (3))} \, dx\) [245]

Optimal. Leaf size=23 \[ \frac {(-4-\log (3+i \pi -x+\log (3)))^2}{x^4} \]

[Out]

(-4-ln(ln(3)+I*Pi+3-x))^2/x^4

________________________________________________________________________________________

Rubi [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
time = 1.27, antiderivative size = 505, normalized size of antiderivative = 21.96, number of steps used = 42, number of rules used = 23, integrand size = 101, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.228, Rules used = {6, 1607, 6873, 6874, 78, 2465, 2442, 46, 2441, 2352, 2437, 12, 2338, 36, 29, 31, 2445, 2458, 2389, 2379, 2438, 2351, 2356} \begin {gather*} -\frac {2 \text {Li}_2\left (\frac {3+i \pi +\log (3)}{-x+\log (3)+i \pi +3}\right )}{(3+i \pi +\log (3))^4}-\frac {2 \text {Li}_2\left (1-\frac {x}{3+i \pi +\log (3)}\right )}{(\pi -i (3+\log (3)))^4}+\frac {16}{x^4}+\frac {\log ^2(-x+i \pi +3+\log (3))}{x^4}+\frac {8 \log (-x+i \pi +3+\log (3))}{x^4}-\frac {\log (-x+i \pi +3+\log (3))}{x^2 (\pi -i (3+\log (3)))^2}-\frac {\log (-x+i \pi +3+\log (3))}{x^2 (3+i \pi +\log (3))^2}+\frac {1}{3 x^2 (\pi -i (3+\log (3)))^2}+\frac {1}{3 x^2 (3+i \pi +\log (3))^2}+\frac {\log ^2(-x+i \pi +3+\log (3))}{(\pi -i (3+\log (3)))^4}-\frac {2 (-x+i \pi +3+\log (3)) \log (-x+i \pi +3+\log (3))}{x (3+i \pi +\log (3))^4}-\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (-x+i \pi +3+\log (3))}{(\pi -i (3+\log (3)))^4}+\frac {2 \log \left (1-\frac {3+i \pi +\log (3)}{-x+i \pi +3+\log (3)}\right ) \log (-x+i \pi +3+\log (3))}{(3+i \pi +\log (3))^4}+\frac {2 \log (-x+i \pi +3+\log (3))}{x (3+i \pi +\log (3))^3}+\frac {11 \log (x)}{3 (\pi -i (3+\log (3)))^4}-\frac {11 \log (x)}{3 (3+i \pi +\log (3))^4}-\frac {11 \log (-i x-\pi +i (3+\log (3)))}{3 (\pi -i (3+\log (3)))^4}+\frac {5 \log (-i x-\pi +i (3+\log (3)))}{3 (3+i \pi +\log (3))^4} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-192 + 56*x - 64*(I*Pi + Log[3]) + (-96 + 30*x - 32*(I*Pi + Log[3]))*Log[3 + I*Pi - x + Log[3]] + (-12 +
4*x - 4*(I*Pi + Log[3]))*Log[3 + I*Pi - x + Log[3]]^2)/(3*x^5 - x^6 + x^5*(I*Pi + Log[3])),x]

[Out]

16/x^4 + 1/(3*x^2*(3 + I*Pi + Log[3])^2) + 1/(3*x^2*(Pi - I*(3 + Log[3]))^2) - (11*Log[x])/(3*(3 + I*Pi + Log[
3])^4) + (11*Log[x])/(3*(Pi - I*(3 + Log[3]))^4) + (8*Log[3 + I*Pi - x + Log[3]])/x^4 + (2*Log[3 + I*Pi - x +
Log[3]])/(x*(3 + I*Pi + Log[3])^3) - Log[3 + I*Pi - x + Log[3]]/(x^2*(3 + I*Pi + Log[3])^2) - (2*(3 + I*Pi - x
+ Log[3])*Log[3 + I*Pi - x + Log[3]])/(x*(3 + I*Pi + Log[3])^4) - Log[3 + I*Pi - x + Log[3]]/(x^2*(Pi - I*(3
+ Log[3]))^2) - (2*Log[x/(3 + I*Pi + Log[3])]*Log[3 + I*Pi - x + Log[3]])/(Pi - I*(3 + Log[3]))^4 + Log[3 + I*
Pi - x + Log[3]]^2/x^4 + Log[3 + I*Pi - x + Log[3]]^2/(Pi - I*(3 + Log[3]))^4 + (5*Log[-Pi - I*x + I*(3 + Log[
3])])/(3*(3 + I*Pi + Log[3])^4) - (11*Log[-Pi - I*x + I*(3 + Log[3])])/(3*(Pi - I*(3 + Log[3]))^4) + (2*Log[3
+ I*Pi - x + Log[3]]*Log[1 - (3 + I*Pi + Log[3])/(3 + I*Pi - x + Log[3])])/(3 + I*Pi + Log[3])^4 - (2*PolyLog[
2, (3 + I*Pi + Log[3])/(3 + I*Pi - x + Log[3])])/(3 + I*Pi + Log[3])^4 - (2*PolyLog[2, 1 - x/(3 + I*Pi + Log[3
])])/(Pi - I*(3 + Log[3]))^4

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 29

Int[(x_)^(-1), x_Symbol] :> Simp[Log[x], x]

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rule 36

Int[1/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))), x_Symbol] :> Dist[b/(b*c - a*d), Int[1/(a + b*x), x], x] -
Dist[d/(b*c - a*d), Int[1/(c + d*x), x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0]

Rule 46

Int[((a_) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d*x
)^n, x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0] && ILtQ[m, 0] && IntegerQ[n] &&  !(IGtQ[n, 0] && Lt
Q[m + n + 2, 0])

Rule 78

Int[((a_.) + (b_.)*(x_))*((c_) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Int[ExpandIntegran
d[(a + b*x)*(c + d*x)^n*(e + f*x)^p, x], x] /; FreeQ[{a, b, c, d, e, f, n}, x] && NeQ[b*c - a*d, 0] && ((ILtQ[
n, 0] && ILtQ[p, 0]) || EqQ[p, 1] || (IGtQ[p, 0] && ( !IntegerQ[n] || LeQ[9*p + 5*(n + 2), 0] || GeQ[n + p + 1
, 0] || (GeQ[n + p + 2, 0] && RationalQ[a, b, c, d, e, f]))))

Rule 1607

Int[(u_.)*((a_.)*(x_)^(p_.) + (b_.)*(x_)^(q_.))^(n_.), x_Symbol] :> Int[u*x^(n*p)*(a + b*x^(q - p))^n, x] /; F
reeQ[{a, b, p, q}, x] && IntegerQ[n] && PosQ[q - p]

Rule 2338

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))/(x_), x_Symbol] :> Simp[(a + b*Log[c*x^n])^2/(2*b*n), x] /; FreeQ[{a
, b, c, n}, x]

Rule 2351

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_) + (e_.)*(x_)^(r_.))^(q_), x_Symbol] :> Simp[x*(d + e*x^r)^(q +
1)*((a + b*Log[c*x^n])/d), x] - Dist[b*(n/d), Int[(d + e*x^r)^(q + 1), x], x] /; FreeQ[{a, b, c, d, e, n, q,
r}, x] && EqQ[r*(q + 1) + 1, 0]

Rule 2352

Int[Log[(c_.)*(x_)]/((d_) + (e_.)*(x_)), x_Symbol] :> Simp[(-e^(-1))*PolyLog[2, 1 - c*x], x] /; FreeQ[{c, d, e
}, x] && EqQ[e + c*d, 0]

Rule 2356

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_) + (e_.)*(x_))^(q_.), x_Symbol] :> Simp[(d + e*x)^(q + 1)
*((a + b*Log[c*x^n])^p/(e*(q + 1))), x] - Dist[b*n*(p/(e*(q + 1))), Int[((d + e*x)^(q + 1)*(a + b*Log[c*x^n])^
(p - 1))/x, x], x] /; FreeQ[{a, b, c, d, e, n, p, q}, x] && GtQ[p, 0] && NeQ[q, -1] && (EqQ[p, 1] || (Integers
Q[2*p, 2*q] &&  !IGtQ[q, 0]) || (EqQ[p, 2] && NeQ[q, 1]))

Rule 2379

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((x_)*((d_) + (e_.)*(x_)^(r_.))), x_Symbol] :> Simp[(-Log[1 +
d/(e*x^r)])*((a + b*Log[c*x^n])^p/(d*r)), x] + Dist[b*n*(p/(d*r)), Int[Log[1 + d/(e*x^r)]*((a + b*Log[c*x^n])^
(p - 1)/x), x], x] /; FreeQ[{a, b, c, d, e, n, r}, x] && IGtQ[p, 0]

Rule 2389

Int[(((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_) + (e_.)*(x_))^(q_))/(x_), x_Symbol] :> Dist[1/d, Int[(d
+ e*x)^(q + 1)*((a + b*Log[c*x^n])^p/x), x], x] - Dist[e/d, Int[(d + e*x)^q*(a + b*Log[c*x^n])^p, x], x] /; F
reeQ[{a, b, c, d, e, n}, x] && IGtQ[p, 0] && LtQ[q, -1] && IntegerQ[2*q]

Rule 2437

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_) + (g_.)*(x_))^(q_.), x_Symbol] :> Dist[1/
e, Subst[Int[(f*(x/d))^q*(a + b*Log[c*x^n])^p, x], x, d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, n, p, q}, x]
&& EqQ[e*f - d*g, 0]

Rule 2438

Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2, (-c)*e*x^n]/n, x] /; FreeQ[{c, d,
e, n}, x] && EqQ[c*d, 1]

Rule 2441

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Simp[Log[e*((f + g
*x)/(e*f - d*g))]*((a + b*Log[c*(d + e*x)^n])/g), x] - Dist[b*e*(n/g), Int[Log[(e*(f + g*x))/(e*f - d*g)]/(d +
e*x), x], x] /; FreeQ[{a, b, c, d, e, f, g, n}, x] && NeQ[e*f - d*g, 0]

Rule 2442

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))*((f_.) + (g_.)*(x_))^(q_.), x_Symbol] :> Simp[(f + g*
x)^(q + 1)*((a + b*Log[c*(d + e*x)^n])/(g*(q + 1))), x] - Dist[b*e*(n/(g*(q + 1))), Int[(f + g*x)^(q + 1)/(d +
e*x), x], x] /; FreeQ[{a, b, c, d, e, f, g, n, q}, x] && NeQ[e*f - d*g, 0] && NeQ[q, -1]

Rule 2445

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_)*((f_.) + (g_.)*(x_))^(q_.), x_Symbol] :> Simp[(f
+ g*x)^(q + 1)*((a + b*Log[c*(d + e*x)^n])^p/(g*(q + 1))), x] - Dist[b*e*n*(p/(g*(q + 1))), Int[(f + g*x)^(q
+ 1)*((a + b*Log[c*(d + e*x)^n])^(p - 1)/(d + e*x)), x], x] /; FreeQ[{a, b, c, d, e, f, g, n, q}, x] && NeQ[e*
f - d*g, 0] && GtQ[p, 0] && NeQ[q, -1] && IntegersQ[2*p, 2*q] && ( !IGtQ[q, 0] || (EqQ[p, 2] && NeQ[q, 1]))

Rule 2458

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_.) + (g_.)*(x_))^(q_.)*((h_.) + (i_.)*(x_))
^(r_.), x_Symbol] :> Dist[1/e, Subst[Int[(g*(x/e))^q*((e*h - d*i)/e + i*(x/e))^r*(a + b*Log[c*x^n])^p, x], x,
d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, h, i, n, p, q, r}, x] && EqQ[e*f - d*g, 0] && (IGtQ[p, 0] || IGtQ[
r, 0]) && IntegerQ[2*r]

Rule 2465

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*(RFx_), x_Symbol] :> With[{u = ExpandIntegrand[
(a + b*Log[c*(d + e*x)^n])^p, RFx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, d, e, n}, x] && RationalFunct
ionQ[RFx, x] && IntegerQ[p]

Rule 6873

Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =!= u]

Rule 6874

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-192+56 x-64 (i \pi +\log (3))+(-96+30 x-32 (i \pi +\log (3))) \log (3+i \pi -x+\log (3))+(-12+4 x-4 (i \pi +\log (3))) \log ^2(3+i \pi -x+\log (3))}{-x^6+x^5 (3+i \pi +\log (3))} \, dx\\ &=\int \frac {-192+56 x-64 (i \pi +\log (3))+(-96+30 x-32 (i \pi +\log (3))) \log (3+i \pi -x+\log (3))+(-12+4 x-4 (i \pi +\log (3))) \log ^2(3+i \pi -x+\log (3))}{x^5 (3+i \pi -x+\log (3))} \, dx\\ &=\int \frac {56 x-192 \left (1+\frac {1}{3} (i \pi +\log (3))\right )+(-96+30 x-32 (i \pi +\log (3))) \log (3+i \pi -x+\log (3))+(-12+4 x-4 (i \pi +\log (3))) \log ^2(3+i \pi -x+\log (3))}{x^5 (3+i \pi -x+\log (3))} \, dx\\ &=\int \left (-\frac {8 (-24-8 i \pi +7 x-8 \log (3))}{x^5 (-3-i \pi +x-\log (3))}-\frac {2 (-48-16 i \pi +15 x-16 \log (3)) \log (3+i \pi -x+\log (3))}{x^5 (-3-i \pi +x-\log (3))}-\frac {4 \log ^2(3+i \pi -x+\log (3))}{x^5}\right ) \, dx\\ &=-\left (2 \int \frac {(-48-16 i \pi +15 x-16 \log (3)) \log (3+i \pi -x+\log (3))}{x^5 (-3-i \pi +x-\log (3))} \, dx\right )-4 \int \frac {\log ^2(3+i \pi -x+\log (3))}{x^5} \, dx-8 \int \frac {-24-8 i \pi +7 x-8 \log (3)}{x^5 (-3-i \pi +x-\log (3))} \, dx\\ &=\frac {\log ^2(3+i \pi -x+\log (3))}{x^4}+2 \int \frac {\log (3+i \pi -x+\log (3))}{x^4 (3+i \pi -x+\log (3))} \, dx-2 \int \left (\frac {16 \log (3+i \pi -x+\log (3))}{x^5}+\frac {\log (3+i \pi -x+\log (3))}{x (\pi -i (3+\log (3)))^4}-\frac {i \log (3+i \pi -x+\log (3))}{(-3 i+\pi +i x-i \log (3)) (\pi -i (3+\log (3)))^4}+\frac {i \log (3+i \pi -x+\log (3))}{x^2 (\pi -i (3+\log (3)))^3}-\frac {\log (3+i \pi -x+\log (3))}{x^3 (\pi -i (3+\log (3)))^2}-\frac {i \log (3+i \pi -x+\log (3))}{x^4 (\pi -i (3+\log (3)))}\right ) \, dx-8 \int \left (\frac {8}{x^5}+\frac {1}{x (\pi -i (3+\log (3)))^4}-\frac {i}{(-3 i+\pi +i x-i \log (3)) (\pi -i (3+\log (3)))^4}+\frac {i}{x^2 (\pi -i (3+\log (3)))^3}-\frac {1}{x^3 (\pi -i (3+\log (3)))^2}-\frac {i}{x^4 (\pi -i (3+\log (3)))}\right ) \, dx\\ &=\frac {16}{x^4}+\frac {8}{x (3+i \pi +\log (3))^3}+\frac {8}{3 x^3 (3+i \pi +\log (3))}-\frac {4}{x^2 (\pi -i (3+\log (3)))^2}-\frac {8 \log (x)}{(\pi -i (3+\log (3)))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{x^4}+\frac {8 \log (-\pi -i x+i (3+\log (3)))}{(\pi -i (3+\log (3)))^4}-2 \text {Subst}\left (\int \frac {\log (x)}{x (3+i \pi -x+\log (3))^4} \, dx,x,3+i \pi -x+\log (3)\right )-32 \int \frac {\log (3+i \pi -x+\log (3))}{x^5} \, dx-\frac {2 \int \frac {\log (3+i \pi -x+\log (3))}{x^2} \, dx}{(3+i \pi +\log (3))^3}-\frac {2 \int \frac {\log (3+i \pi -x+\log (3))}{x^4} \, dx}{3+i \pi +\log (3)}+\frac {(2 i) \int \frac {\log (3+i \pi -x+\log (3))}{-3 i+\pi +i x-i \log (3)} \, dx}{(\pi -i (3+\log (3)))^4}-\frac {2 \int \frac {\log (3+i \pi -x+\log (3))}{x} \, dx}{(\pi -i (3+\log (3)))^4}+\frac {2 \int \frac {\log (3+i \pi -x+\log (3))}{x^3} \, dx}{(\pi -i (3+\log (3)))^2}\\ &=\frac {16}{x^4}+\frac {8}{x (3+i \pi +\log (3))^3}+\frac {8}{3 x^3 (3+i \pi +\log (3))}-\frac {4}{x^2 (\pi -i (3+\log (3)))^2}-\frac {8 \log (x)}{(\pi -i (3+\log (3)))^4}+\frac {8 \log (3+i \pi -x+\log (3))}{x^4}+\frac {2 \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^3}+\frac {2 \log (3+i \pi -x+\log (3))}{3 x^3 (3+i \pi +\log (3))}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (\pi -i (3+\log (3)))^2}-\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{x^4}+\frac {8 \log (-\pi -i x+i (3+\log (3)))}{(\pi -i (3+\log (3)))^4}+8 \int \frac {1}{x^4 (3+i \pi -x+\log (3))} \, dx+\frac {2 \int \frac {1}{x (3+i \pi -x+\log (3))} \, dx}{(3+i \pi +\log (3))^3}+\frac {2 \int \frac {1}{x^3 (3+i \pi -x+\log (3))} \, dx}{3 (3+i \pi +\log (3))}-\frac {2 \text {Subst}\left (\int \frac {\log (x)}{(3+i \pi -x+\log (3))^4} \, dx,x,3+i \pi -x+\log (3)\right )}{3+i \pi +\log (3)}-\frac {2 \text {Subst}\left (\int \frac {\log (x)}{x (3+i \pi -x+\log (3))^3} \, dx,x,3+i \pi -x+\log (3)\right )}{3+i \pi +\log (3)}-\frac {(2 i) \text {Subst}\left (\int \frac {(3+i \pi +\log (3)) \log (x)}{x (-3 i+\pi -i \log (3))} \, dx,x,3+i \pi -x+\log (3)\right )}{(\pi -i (3+\log (3)))^4}-\frac {2 \int \frac {\log \left (-\frac {x}{-3-i \pi -\log (3)}\right )}{3+i \pi -x+\log (3)} \, dx}{(\pi -i (3+\log (3)))^4}-\frac {\int \frac {1}{x^2 (3+i \pi -x+\log (3))} \, dx}{(\pi -i (3+\log (3)))^2}\\ &=\frac {16}{x^4}+\frac {8}{x (3+i \pi +\log (3))^3}+\frac {8}{3 x^3 (3+i \pi +\log (3))}-\frac {4}{x^2 (\pi -i (3+\log (3)))^2}-\frac {8 \log (x)}{(\pi -i (3+\log (3)))^4}+\frac {8 \log (3+i \pi -x+\log (3))}{x^4}+\frac {2 \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^3}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (\pi -i (3+\log (3)))^2}-\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{x^4}+\frac {8 \log (-\pi -i x+i (3+\log (3)))}{(\pi -i (3+\log (3)))^4}-\frac {2 \text {Li}_2\left (1-\frac {x}{3+i \pi +\log (3)}\right )}{(\pi -i (3+\log (3)))^4}+8 \int \left (\frac {1}{x (\pi -i (3+\log (3)))^4}-\frac {i}{(-3 i+\pi +i x-i \log (3)) (\pi -i (3+\log (3)))^4}+\frac {i}{x^2 (\pi -i (3+\log (3)))^3}-\frac {1}{x^3 (\pi -i (3+\log (3)))^2}-\frac {i}{x^4 (\pi -i (3+\log (3)))}\right ) \, dx+\frac {2 \int \frac {1}{x} \, dx}{(3+i \pi +\log (3))^4}+\frac {2 \int \frac {1}{3+i \pi -x+\log (3)} \, dx}{(3+i \pi +\log (3))^4}-\frac {2 \text {Subst}\left (\int \frac {\log (x)}{(3+i \pi -x+\log (3))^3} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^2}-\frac {2 \text {Subst}\left (\int \frac {\log (x)}{x (3+i \pi -x+\log (3))^2} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^2}+\frac {2 \int \left (\frac {i}{x (\pi -i (3+\log (3)))^3}+\frac {1}{(-3 i+\pi +i x-i \log (3)) (\pi -i (3+\log (3)))^3}-\frac {1}{x^2 (\pi -i (3+\log (3)))^2}-\frac {i}{x^3 (\pi -i (3+\log (3)))}\right ) \, dx}{3 (3+i \pi +\log (3))}+\frac {2 \text {Subst}\left (\int \frac {1}{x (3+i \pi -x+\log (3))^3} \, dx,x,3+i \pi -x+\log (3)\right )}{3 (3+i \pi +\log (3))}+\frac {2 \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,3+i \pi -x+\log (3)\right )}{(\pi -i (3+\log (3)))^4}-\frac {\int \left (-\frac {1}{x (\pi -i (3+\log (3)))^2}+\frac {i}{(-3 i+\pi +i x-i \log (3)) (\pi -i (3+\log (3)))^2}-\frac {i}{x^2 (\pi -i (3+\log (3)))}\right ) \, dx}{(\pi -i (3+\log (3)))^2}\\ &=\frac {16}{x^4}-\frac {5}{3 x (3+i \pi +\log (3))^3}-\frac {1}{3 x^2 (3+i \pi +\log (3))^2}+\frac {8 \log (x)}{3 (3+i \pi +\log (3))^4}+\frac {\log (x)}{(\pi -i (3+\log (3)))^4}+\frac {8 \log (3+i \pi -x+\log (3))}{x^4}+\frac {2 \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^3}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (3+i \pi +\log (3))^2}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (\pi -i (3+\log (3)))^2}-\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{x^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}-\frac {8 \log (-\pi -i x+i (3+\log (3)))}{3 (3+i \pi +\log (3))^4}-\frac {\log (-\pi -i x+i (3+\log (3)))}{(\pi -i (3+\log (3)))^4}-\frac {2 \text {Li}_2\left (1-\frac {x}{3+i \pi +\log (3)}\right )}{(\pi -i (3+\log (3)))^4}-\frac {2 \text {Subst}\left (\int \frac {\log (x)}{(3+i \pi -x+\log (3))^2} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^3}-\frac {2 \text {Subst}\left (\int \frac {\log (x)}{x (3+i \pi -x+\log (3))} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^3}+\frac {\text {Subst}\left (\int \frac {1}{x (3+i \pi -x+\log (3))^2} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^2}+\frac {2 \text {Subst}\left (\int \left (\frac {i}{x (\pi -i (3+\log (3)))^3}+\frac {1}{(-3 i+\pi +i x-i \log (3)) (\pi -i (3+\log (3)))^3}+\frac {1}{(3 i-\pi -i x+i \log (3))^2 (\pi -i (3+\log (3)))^2}+\frac {1}{(-3 i+\pi +i x-i \log (3))^3 (\pi -i (3+\log (3)))}\right ) \, dx,x,3+i \pi -x+\log (3)\right )}{3 (3+i \pi +\log (3))}\\ &=\frac {16}{x^4}-\frac {1}{x (3+i \pi +\log (3))^3}+\frac {2 \log (x)}{(3+i \pi +\log (3))^4}+\frac {\log (x)}{(\pi -i (3+\log (3)))^4}+\frac {8 \log (3+i \pi -x+\log (3))}{x^4}+\frac {2 \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^3}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (3+i \pi +\log (3))^2}-\frac {2 (3+i \pi -x+\log (3)) \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^4}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (\pi -i (3+\log (3)))^2}-\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{x^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}-\frac {2 \log (-\pi -i x+i (3+\log (3)))}{(3+i \pi +\log (3))^4}-\frac {\log (-\pi -i x+i (3+\log (3)))}{(\pi -i (3+\log (3)))^4}-\frac {2 \text {Li}_2\left (1-\frac {x}{3+i \pi +\log (3)}\right )}{(\pi -i (3+\log (3)))^4}+\frac {2 \text {Subst}\left (\int \frac {1}{3+i \pi -x+\log (3)} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^4}-\frac {2 \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^4}-\frac {2 \text {Subst}\left (\int \frac {\log (x)}{3+i \pi -x+\log (3)} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^4}+\frac {\text {Subst}\left (\int \left (-\frac {1}{x (\pi -i (3+\log (3)))^2}+\frac {i}{(-3 i+\pi +i x-i \log (3)) (\pi -i (3+\log (3)))^2}+\frac {i}{(3 i-\pi -i x+i \log (3))^2 (\pi -i (3+\log (3)))}\right ) \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^2}\\ &=\frac {16}{x^4}+\frac {8 \log (3+i \pi -x+\log (3))}{x^4}+\frac {2 \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^3}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (3+i \pi +\log (3))^2}-\frac {2 (3+i \pi -x+\log (3)) \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^4}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (\pi -i (3+\log (3)))^2}+\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (3+i \pi -x+\log (3))}{(3+i \pi +\log (3))^4}-\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{x^4}-\frac {\log ^2(3+i \pi -x+\log (3))}{(3+i \pi +\log (3))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}-\frac {2 \log (-\pi -i x+i (3+\log (3)))}{(3+i \pi +\log (3))^4}-\frac {2 \text {Li}_2\left (1-\frac {x}{3+i \pi +\log (3)}\right )}{(\pi -i (3+\log (3)))^4}-\frac {2 \text {Subst}\left (\int \frac {\log \left (1-\frac {x}{3+i \pi +\log (3)}\right )}{x} \, dx,x,3+i \pi -x+\log (3)\right )}{(3+i \pi +\log (3))^4}\\ &=\frac {16}{x^4}+\frac {8 \log (3+i \pi -x+\log (3))}{x^4}+\frac {2 \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^3}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (3+i \pi +\log (3))^2}-\frac {2 (3+i \pi -x+\log (3)) \log (3+i \pi -x+\log (3))}{x (3+i \pi +\log (3))^4}-\frac {\log (3+i \pi -x+\log (3))}{x^2 (\pi -i (3+\log (3)))^2}+\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (3+i \pi -x+\log (3))}{(3+i \pi +\log (3))^4}-\frac {2 \log \left (\frac {x}{3+i \pi +\log (3)}\right ) \log (3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{x^4}-\frac {\log ^2(3+i \pi -x+\log (3))}{(3+i \pi +\log (3))^4}+\frac {\log ^2(3+i \pi -x+\log (3))}{(\pi -i (3+\log (3)))^4}-\frac {2 \log (-\pi -i x+i (3+\log (3)))}{(3+i \pi +\log (3))^4}+\frac {2 \text {Li}_2\left (1-\frac {x}{3+i \pi +\log (3)}\right )}{(3+i \pi +\log (3))^4}-\frac {2 \text {Li}_2\left (1-\frac {x}{3+i \pi +\log (3)}\right )}{(\pi -i (3+\log (3)))^4}\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [B] Both result and optimal contain complex but leaf count is larger than twice the leaf count of optimal. \(73\) vs. \(2(23)=46\).
time = 0.25, size = 73, normalized size = 3.17 \begin {gather*} \frac {(4+\log (3+i \pi -x+\log (3))) (8 (\pi -i (3+\log (3)))+(2 \pi -i (6+\log (9))) \log (3+i \pi -x+\log (3)))}{2 x^4 (\pi -i (3+\log (3)))} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-192 + 56*x - 64*(I*Pi + Log[3]) + (-96 + 30*x - 32*(I*Pi + Log[3]))*Log[3 + I*Pi - x + Log[3]] + (
-12 + 4*x - 4*(I*Pi + Log[3]))*Log[3 + I*Pi - x + Log[3]]^2)/(3*x^5 - x^6 + x^5*(I*Pi + Log[3])),x]

[Out]

((4 + Log[3 + I*Pi - x + Log[3]])*(8*(Pi - I*(3 + Log[3])) + (2*Pi - I*(6 + Log[9]))*Log[3 + I*Pi - x + Log[3]
]))/(2*x^4*(Pi - I*(3 + Log[3])))

________________________________________________________________________________________

Maple [A]
time = 1.27, size = 35, normalized size = 1.52

method	result	size
norman	\(\frac {16+\ln \left (\ln \left (3\right )+i \pi +3-x \right )^{2}+8 \ln \left (\ln \left (3\right )+i \pi +3-x \right )}{x^{4}}\)	\(35\)
risch	\(\frac {\ln \left (\ln \left (3\right )+i \pi +3-x \right )^{2}}{x^{4}}+\frac {8 \ln \left (\ln \left (3\right )+i \pi +3-x \right )}{x^{4}}+\frac {16}{x^{4}}\)	\(42\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-4*ln(3)-4*I*Pi+4*x-12)*ln(ln(3)+I*Pi+3-x)^2+(-32*ln(3)-32*I*Pi+30*x-96)*ln(ln(3)+I*Pi+3-x)-64*ln(3)-64*
I*Pi+56*x-192)/(x^5*(ln(3)+I*Pi)-x^6+3*x^5),x,method=_RETURNVERBOSE)

[Out]

(16+ln(ln(3)+I*Pi+3-x)^2+8*ln(ln(3)+I*Pi+3-x))/x^4

________________________________________________________________________________________

Maxima [B] Both result and optimal contain complex but leaf count of result is larger than twice the leaf count of optimal. 1585 vs. \(2 (19) = 38\).
time = 0.66, size = 1585, normalized size = 68.91 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-4*log(3)-4*I*pi+4*x-12)*log(log(3)+I*pi+3-x)^2+(-32*log(3)-32*I*pi+30*x-96)*log(log(3)+I*pi+3-x)-
64*log(3)-64*I*pi+56*x-192)/(x^5*(log(3)+I*pi)-x^6+3*x^5),x, algorithm="maxima")

[Out]

64*I*pi*(log(-I*pi + x - log(3) - 3)/(405*I*pi + I*pi^5 - 5*(-I*pi - 3)*log(3)^4 + log(3)^5 + 15*pi^4 - 10*(-6
*I*pi + pi^2 - 9)*log(3)^3 - 90*I*pi^3 - 10*(-27*I*pi + I*pi^3 + 9*pi^2 - 27)*log(3)^2 - 270*pi^2 - 5*(-108*I*
pi - pi^4 + 12*I*pi^3 + 54*pi^2 - 81)*log(3) + 243) - log(x)/(405*I*pi + I*pi^5 - 5*(-I*pi - 3)*log(3)^4 + log
(3)^5 + 15*pi^4 - 10*(-6*I*pi + pi^2 - 9)*log(3)^3 - 90*I*pi^3 - 10*(-27*I*pi + I*pi^3 + 9*pi^2 - 27)*log(3)^2
- 270*pi^2 - 5*(-108*I*pi - pi^4 + 12*I*pi^3 + 54*pi^2 - 81)*log(3) + 243) + (81*I*pi - 3*I*pi^3 - 6*(-I*pi -
log(3) - 3)*x^2 + 12*x^3 - 9*(-I*pi - 3)*log(3)^2 + 3*log(3)^3 - 27*pi^2 - 4*(-6*I*pi + pi^2 + 2*(-I*pi - 3)*
log(3) - log(3)^2 - 9)*x - 9*(-6*I*pi + pi^2 - 9)*log(3) + 81)/((1296*I*pi + 12*pi^4 - 48*(-I*pi - 3)*log(3)^3
+ 12*log(3)^4 - 144*I*pi^3 - 72*(-6*I*pi + pi^2 - 9)*log(3)^2 - 648*pi^2 - 48*(-27*I*pi + I*pi^3 + 9*pi^2 - 2
7)*log(3) + 972)*x^4)) + 64*(log(-I*pi + x - log(3) - 3)/(405*I*pi + I*pi^5 - 5*(-I*pi - 3)*log(3)^4 + log(3)^
5 + 15*pi^4 - 10*(-6*I*pi + pi^2 - 9)*log(3)^3 - 90*I*pi^3 - 10*(-27*I*pi + I*pi^3 + 9*pi^2 - 27)*log(3)^2 - 2
70*pi^2 - 5*(-108*I*pi - pi^4 + 12*I*pi^3 + 54*pi^2 - 81)*log(3) + 243) - log(x)/(405*I*pi + I*pi^5 - 5*(-I*pi
- 3)*log(3)^4 + log(3)^5 + 15*pi^4 - 10*(-6*I*pi + pi^2 - 9)*log(3)^3 - 90*I*pi^3 - 10*(-27*I*pi + I*pi^3 + 9
*pi^2 - 27)*log(3)^2 - 270*pi^2 - 5*(-108*I*pi - pi^4 + 12*I*pi^3 + 54*pi^2 - 81)*log(3) + 243) + (81*I*pi - 3
*I*pi^3 - 6*(-I*pi - log(3) - 3)*x^2 + 12*x^3 - 9*(-I*pi - 3)*log(3)^2 + 3*log(3)^3 - 27*pi^2 - 4*(-6*I*pi + p
i^2 + 2*(-I*pi - 3)*log(3) - log(3)^2 - 9)*x - 9*(-6*I*pi + pi^2 - 9)*log(3) + 81)/((1296*I*pi + 12*pi^4 - 48*
(-I*pi - 3)*log(3)^3 + 12*log(3)^4 - 144*I*pi^3 - 72*(-6*I*pi + pi^2 - 9)*log(3)^2 - 648*pi^2 - 48*(-27*I*pi +
I*pi^3 + 9*pi^2 - 27)*log(3) + 972)*x^4))*log(3) + 192*log(-I*pi + x - log(3) - 3)/(405*I*pi + I*pi^5 - 5*(-I
*pi - 3)*log(3)^4 + log(3)^5 + 15*pi^4 - 10*(-6*I*pi + pi^2 - 9)*log(3)^3 - 90*I*pi^3 - 10*(-27*I*pi + I*pi^3
+ 9*pi^2 - 27)*log(3)^2 - 270*pi^2 - 5*(-108*I*pi - pi^4 + 12*I*pi^3 + 54*pi^2 - 81)*log(3) + 243) - 192*log(x
)/(405*I*pi + I*pi^5 - 5*(-I*pi - 3)*log(3)^4 + log(3)^5 + 15*pi^4 - 10*(-6*I*pi + pi^2 - 9)*log(3)^3 - 90*I*p
i^3 - 10*(-27*I*pi + I*pi^3 + 9*pi^2 - 27)*log(3)^2 - 270*pi^2 - 5*(-108*I*pi - pi^4 + 12*I*pi^3 + 54*pi^2 - 8
1)*log(3) + 243) + 64*log(x)/(pi^4 - 4*pi^3*(I*log(3) + 3*I) + log(3)^4 - 6*pi^2*(log(3)^2 + 6*log(3) + 9) + 1
2*log(3)^3 - 4*pi*(-I*log(3)^3 - 9*I*log(3)^2 - 27*I*log(3) - 27*I) + 54*log(3)^2 + 108*log(3) + 81) + 192*(81
*I*pi - 3*I*pi^3 - 6*(-I*pi - log(3) - 3)*x^2 + 12*x^3 - 9*(-I*pi - 3)*log(3)^2 + 3*log(3)^3 - 27*pi^2 - 4*(-6
*I*pi + pi^2 + 2*(-I*pi - 3)*log(3) - log(3)^2 - 9)*x - 9*(-6*I*pi + pi^2 - 9)*log(3) + 81)/((1296*I*pi + 12*p
i^4 - 48*(-I*pi - 3)*log(3)^3 + 12*log(3)^4 - 144*I*pi^3 - 72*(-6*I*pi + pi^2 - 9)*log(3)^2 - 648*pi^2 - 48*(-
27*I*pi + I*pi^3 + 9*pi^2 - 27)*log(3) + 972)*x^4) - 1/3*(192*(I*pi + log(3) + 3)*x^3 - 96*(pi^2 - 2*pi*(I*log
(3) + 3*I) - log(3)^2 - 6*log(3) - 9)*x^2 - 3*(pi^4 - 4*pi^3*(I*log(3) + 3*I) + log(3)^4 - 6*pi^2*(log(3)^2 +
6*log(3) + 9) + 12*log(3)^3 - 4*pi*(-I*log(3)^3 - 9*I*log(3)^2 - 27*I*log(3) - 27*I) + 54*log(3)^2 + 108*log(3
) + 81)*log(I*pi - x + log(3) + 3)^2 + 64*(-I*pi^3 - 3*pi^2*(log(3) + 3) + log(3)^3 + 3*pi*(I*log(3)^2 + 6*I*l
og(3) + 9*I) + 9*log(3)^2 + 27*log(3) + 27)*x - 24*(pi^4 - 8*x^4 - 4*pi^3*(I*log(3) + 3*I) + log(3)^4 - 6*pi^2
*(log(3)^2 + 6*log(3) + 9) + 12*log(3)^3 - 4*pi*(-I*log(3)^3 - 9*I*log(3)^2 - 27*I*log(3) - 27*I) + 54*log(3)^
2 + 108*log(3) + 81)*log(I*pi - x + log(3) + 3))/((pi^4 - 4*pi^3*(I*log(3) + 3*I) + log(3)^4 - 6*pi^2*(log(3)^
2 + 6*log(3) + 9) + 12*log(3)^3 - 4*pi*(-I*log(3)^3 - 9*I*log(3)^2 - 27*I*log(3) - 27*I) + 54*log(3)^2 + 108*l
og(3) + 81)*x^4)

________________________________________________________________________________________

Fricas [A]
time = 0.32, size = 32, normalized size = 1.39 \begin {gather*} \frac {\log \left (i \, \pi - x + \log \left (3\right ) + 3\right )^{2} + 8 \, \log \left (i \, \pi - x + \log \left (3\right ) + 3\right ) + 16}{x^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-4*log(3)-4*I*pi+4*x-12)*log(log(3)+I*pi+3-x)^2+(-32*log(3)-32*I*pi+30*x-96)*log(log(3)+I*pi+3-x)-
64*log(3)-64*I*pi+56*x-192)/(x^5*(log(3)+I*pi)-x^6+3*x^5),x, algorithm="fricas")

[Out]

(log(I*pi - x + log(3) + 3)^2 + 8*log(I*pi - x + log(3) + 3) + 16)/x^4

________________________________________________________________________________________

Sympy [A]
time = 0.56, size = 37, normalized size = 1.61 \begin {gather*} \frac {\log {\left (- x + \log {\left (3 \right )} + 3 + i \pi \right )}^{2}}{x^{4}} + \frac {8 \log {\left (- x + \log {\left (3 \right )} + 3 + i \pi \right )}}{x^{4}} + \frac {16}{x^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-4*ln(3)-4*I*pi+4*x-12)*ln(ln(3)+I*pi+3-x)**2+(-32*ln(3)-32*I*pi+30*x-96)*ln(ln(3)+I*pi+3-x)-64*ln
(3)-64*I*pi+56*x-192)/(x**5*(ln(3)+I*pi)-x**6+3*x**5),x)

[Out]

log(-x + log(3) + 3 + I*pi)**2/x**4 + 8*log(-x + log(3) + 3 + I*pi)/x**4 + 16/x**4

________________________________________________________________________________________

Giac [B] Both result and optimal contain complex but leaf count of result is larger than twice the leaf count of optimal. 1159 vs. \(2 (19) = 38\).
time = 0.45, size = 1159, normalized size = 50.39 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-4*log(3)-4*I*pi+4*x-12)*log(log(3)+I*pi+3-x)^2+(-32*log(3)-32*I*pi+30*x-96)*log(log(3)+I*pi+3-x)-
64*log(3)-64*I*pi+56*x-192)/(x^5*(log(3)+I*pi)-x^6+3*x^5),x, algorithm="giac")

[Out]

6*I*log(I*pi - x + log(3) + 3)^2/(6*I*pi^4 - 36*I*pi^2*(I*pi - x + log(3) + 3)^2 + 24*pi*(I*pi - x + log(3) +
3)^3 + 6*I*(I*pi - x + log(3) + 3)^4 + 24*pi^3*(-I*pi + x - log(3) - 3) + 24*pi^3*log(3) - 72*pi^2*(pi + I*x -
I*log(3) - 3*I)*log(3) - 72*pi*(I*pi - x + log(3) + 3)^2*log(3) - 24*I*(I*pi - x + log(3) + 3)^3*log(3) - 36*
I*pi^2*log(3)^2 + 36*I*(I*pi - x + log(3) + 3)^2*log(3)^2 - 72*pi*(-I*pi + x - log(3) - 3)*log(3)^2 - 24*pi*lo
g(3)^3 + 24*(pi + I*x - I*log(3) - 3*I)*log(3)^3 + 6*I*log(3)^4 + 72*pi^3 - 216*pi^2*(pi + I*x - I*log(3) - 3*
I) - 216*pi*(I*pi - x + log(3) + 3)^2 - 72*I*(I*pi - x + log(3) + 3)^3 - 216*I*pi^2*log(3) + 216*I*(I*pi - x +
log(3) + 3)^2*log(3) - 432*pi*(-I*pi + x - log(3) - 3)*log(3) - 216*pi*log(3)^2 + 216*(pi + I*x - I*log(3) -
3*I)*log(3)^2 + 72*I*log(3)^3 - 324*I*pi^2 + 324*I*(I*pi - x + log(3) + 3)^2 - 648*pi*(-I*pi + x - log(3) - 3)
- 648*pi*log(3) + 648*(pi + I*x - I*log(3) - 3*I)*log(3) + 324*I*log(3)^2 + 648*I*x - 1458*I) + 48*I*log(I*pi
- x + log(3) + 3)/(6*I*pi^4 - 36*I*pi^2*(I*pi - x + log(3) + 3)^2 + 24*pi*(I*pi - x + log(3) + 3)^3 + 6*I*(I*
pi - x + log(3) + 3)^4 + 24*pi^3*(-I*pi + x - log(3) - 3) + 24*pi^3*log(3) - 72*pi^2*(pi + I*x - I*log(3) - 3*
I)*log(3) - 72*pi*(I*pi - x + log(3) + 3)^2*log(3) - 24*I*(I*pi - x + log(3) + 3)^3*log(3) - 36*I*pi^2*log(3)^
2 + 36*I*(I*pi - x + log(3) + 3)^2*log(3)^2 - 72*pi*(-I*pi + x - log(3) - 3)*log(3)^2 - 24*pi*log(3)^3 + 24*(p
i + I*x - I*log(3) - 3*I)*log(3)^3 + 6*I*log(3)^4 + 72*pi^3 - 216*pi^2*(pi + I*x - I*log(3) - 3*I) - 216*pi*(I
*pi - x + log(3) + 3)^2 - 72*I*(I*pi - x + log(3) + 3)^3 - 216*I*pi^2*log(3) + 216*I*(I*pi - x + log(3) + 3)^2
*log(3) - 432*pi*(-I*pi + x - log(3) - 3)*log(3) - 216*pi*log(3)^2 + 216*(pi + I*x - I*log(3) - 3*I)*log(3)^2
+ 72*I*log(3)^3 - 324*I*pi^2 + 324*I*(I*pi - x + log(3) + 3)^2 - 648*pi*(-I*pi + x - log(3) - 3) - 648*pi*log(
3) + 648*(pi + I*x - I*log(3) - 3*I)*log(3) + 324*I*log(3)^2 + 648*I*x - 1458*I) + 96*I/(6*I*pi^4 - 36*I*pi^2*
(I*pi - x + log(3) + 3)^2 + 24*pi*(I*pi - x + log(3) + 3)^3 + 6*I*(I*pi - x + log(3) + 3)^4 + 24*pi^3*(-I*pi +
x - log(3) - 3) + 24*pi^3*log(3) - 72*pi^2*(pi + I*x - I*log(3) - 3*I)*log(3) - 72*pi*(I*pi - x + log(3) + 3)
^2*log(3) - 24*I*(I*pi - x + log(3) + 3)^3*log(3) - 36*I*pi^2*log(3)^2 + 36*I*(I*pi - x + log(3) + 3)^2*log(3)
^2 - 72*pi*(-I*pi + x - log(3) - 3)*log(3)^2 - 24*pi*log(3)^3 + 24*(pi + I*x - I*log(3) - 3*I)*log(3)^3 + 6*I*
log(3)^4 + 72*pi^3 - 216*pi^2*(pi + I*x - I*log(3) - 3*I) - 216*pi*(I*pi - x + log(3) + 3)^2 - 72*I*(I*pi - x
+ log(3) + 3)^3 - 216*I*pi^2*log(3) + 216*I*(I*pi - x + log(3) + 3)^2*log(3) - 432*pi*(-I*pi + x - log(3) - 3)
*log(3) - 216*pi*log(3)^2 + 216*(pi + I*x - I*log(3) - 3*I)*log(3)^2 + 72*I*log(3)^3 - 324*I*pi^2 + 324*I*(I*p
i - x + log(3) + 3)^2 - 648*pi*(-I*pi + x - log(3) - 3) - 648*pi*log(3) + 648*(pi + I*x - I*log(3) - 3*I)*log(
3) + 324*I*log(3)^2 + 648*I*x - 1458*I)

________________________________________________________________________________________

Mupad [B]
time = 1.67, size = 20, normalized size = 0.87 \begin {gather*} \frac {{\left (\ln \left (\ln \left (3\right )-x+3+\Pi \,1{}\mathrm {i}\right )+4\right )}^2}{x^4} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(Pi*64i - 56*x + 64*log(3) + log(Pi*1i - x + log(3) + 3)^2*(Pi*4i - 4*x + 4*log(3) + 12) + log(Pi*1i - x
+ log(3) + 3)*(Pi*32i - 30*x + 32*log(3) + 96) + 192)/(x^5*(Pi*1i + log(3)) + 3*x^5 - x^6),x)

[Out]

(log(Pi*1i - x + log(3) + 3) + 4)^2/x^4

________________________________________________________________________________________