\(\int \frac {(c i+d i x) (A+B \log (\frac {e (a+b x)}{c+d x}))^2}{a g+b g x} \, dx\) [59]

Optimal result
Mathematica [B] (verified)
Rubi [A] (verified)
Maple [F]
Fricas [F]
Sympy [F]
Maxima [F]
Giac [F]
Mupad [F(-1)]
Reduce [F]

Optimal result

Integrand size = 40, antiderivative size = 286 \[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{a g+b g x} \, dx=\frac {2 B (b c-a d) i \log \left (\frac {b c-a d}{b (c+d x)}\right ) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )}{b^2 g}+\frac {d i (a+b x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{b^2 g}-\frac {(b c-a d) i \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2 \log \left (1-\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g}+\frac {2 B^2 (b c-a d) i \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right )}{b^2 g}+\frac {2 B (b c-a d) i \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g}+\frac {2 B^2 (b c-a d) i \operatorname {PolyLog}\left (3,\frac {b (c+d x)}{d (a+b x)}\right )}{b^2 g} \] Output:

2*B*(-a*d+b*c)*i*ln((-a*d+b*c)/b/(d*x+c))*(A+B*ln(e*(b*x+a)/(d*x+c)))/b^2/ 
g+d*i*(b*x+a)*(A+B*ln(e*(b*x+a)/(d*x+c)))^2/b^2/g-(-a*d+b*c)*i*(A+B*ln(e*( 
b*x+a)/(d*x+c)))^2*ln(1-b*(d*x+c)/d/(b*x+a))/b^2/g+2*B^2*(-a*d+b*c)*i*poly 
log(2,d*(b*x+a)/b/(d*x+c))/b^2/g+2*B*(-a*d+b*c)*i*(A+B*ln(e*(b*x+a)/(d*x+c 
)))*polylog(2,b*(d*x+c)/d/(b*x+a))/b^2/g+2*B^2*(-a*d+b*c)*i*polylog(3,b*(d 
*x+c)/d/(b*x+a))/b^2/g
 

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(1214\) vs. \(2(286)=572\).

Time = 1.38 (sec) , antiderivative size = 1214, normalized size of antiderivative = 4.24 \[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{a g+b g x} \, dx =\text {Too large to display} \] Input:

Integrate[((c*i + d*i*x)*(A + B*Log[(e*(a + b*x))/(c + d*x)])^2)/(a*g + b* 
g*x),x]
 

Output:

(i*(3*A^2*b*d*x + 3*A^2*(b*c - a*d)*Log[a + b*x] - 3*A*B*(a*d*Log[a/b + x] 
^2 - 2*a*d*Log[a/b + x]*(1 + Log[a + b*x]) + 2*(-(b*c) + a*d + Log[c/d + x 
]*(b*c + a*d*Log[a + b*x] - a*d*Log[(d*(a + b*x))/(-(b*c) + a*d)]) + (-(b* 
d*x) + a*d*Log[a + b*x])*Log[(e*(a + b*x))/(c + d*x)]) - 2*a*d*PolyLog[2, 
(b*(c + d*x))/(b*c - a*d)]) + 3*A*b*B*c*(Log[a/b + x]^2 - 2*Log[a + b*x]*( 
Log[a/b + x] - Log[c/d + x] - Log[(e*(a + b*x))/(c + d*x)]) - 2*(Log[c/d + 
 x]*Log[(d*(a + b*x))/(-(b*c) + a*d)] + PolyLog[2, (b*(c + d*x))/(b*c - a* 
d)])) - B^2*(a*d*Log[a/b + x]^3 - 3*d*(2*b*x - 2*(a + b*x)*Log[a/b + x] + 
(a + b*x)*Log[a/b + x]^2) - 3*b*(2*d*x - 2*(c + d*x)*Log[c/d + x] + (c + d 
*x)*Log[c/d + x]^2) - 3*d*(b*x - a*Log[a + b*x])*(-Log[a/b + x] + Log[c/d 
+ x] + Log[(e*(a + b*x))/(c + d*x)])^2 + 6*(a*d + 2*b*d*x - b*d*x*Log[c/d 
+ x] - b*c*Log[c + d*x] + Log[a/b + x]*(-(d*(a + b*x)) + d*(a + b*x)*Log[c 
/d + x] + (b*c - a*d)*Log[(b*(c + d*x))/(b*c - a*d)]) + (b*c - a*d)*PolyLo 
g[2, (d*(a + b*x))/(-(b*c) + a*d)]) - 3*(Log[a/b + x] - Log[c/d + x] - Log 
[(e*(a + b*x))/(c + d*x)])*(-2*b*c + 2*a*d - 2*d*(a + b*x)*Log[a/b + x] + 
a*d*Log[a/b + x]^2 + 2*Log[c/d + x]*(b*(c + d*x) - a*d*Log[(d*(a + b*x))/( 
-(b*c) + a*d)]) - 2*a*d*PolyLog[2, (b*(c + d*x))/(b*c - a*d)]) - 3*a*d*(Lo 
g[a/b + x]^2*(Log[c/d + x] - Log[(b*(c + d*x))/(b*c - a*d)]) - 2*Log[a/b + 
 x]*PolyLog[2, (d*(a + b*x))/(-(b*c) + a*d)] + 2*PolyLog[3, (d*(a + b*x))/ 
(-(b*c) + a*d)]) + 3*a*d*(Log[c/d + x]^2*Log[(d*(a + b*x))/(-(b*c) + a*...
 

Rubi [A] (verified)

Time = 1.08 (sec) , antiderivative size = 272, normalized size of antiderivative = 0.95, number of steps used = 9, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {2962, 2789, 2755, 2754, 2779, 2821, 2838, 7143}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {(c i+d i x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{a g+b g x} \, dx\)

\(\Big \downarrow \) 2962

\(\displaystyle \frac {i (b c-a d) \int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{g}\)

\(\Big \downarrow \) 2789

\(\displaystyle \frac {i (b c-a d) \left (\frac {d \int \frac {\left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{\left (b-\frac {d (a+b x)}{c+d x}\right )^2}d\frac {a+b x}{c+d x}}{b}+\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )}d\frac {a+b x}{c+d x}}{b}\right )}{g}\)

\(\Big \downarrow \) 2755

\(\displaystyle \frac {i (b c-a d) \left (\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}-\frac {2 B \int \frac {A+B \log \left (\frac {e (a+b x)}{c+d x}\right )}{b-\frac {d (a+b x)}{c+d x}}d\frac {a+b x}{c+d x}}{b}\right )}{b}+\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )}d\frac {a+b x}{c+d x}}{b}\right )}{g}\)

\(\Big \downarrow \) 2754

\(\displaystyle \frac {i (b c-a d) \left (\frac {\int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{(a+b x) \left (b-\frac {d (a+b x)}{c+d x}\right )}d\frac {a+b x}{c+d x}}{b}+\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}-\frac {2 B \left (\frac {B \int \frac {(c+d x) \log \left (1-\frac {d (a+b x)}{b (c+d x)}\right )}{a+b x}d\frac {a+b x}{c+d x}}{d}-\frac {\log \left (1-\frac {d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{d}\right )}{b}\right )}{b}\right )}{g}\)

\(\Big \downarrow \) 2779

\(\displaystyle \frac {i (b c-a d) \left (\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}-\frac {2 B \left (\frac {B \int \frac {(c+d x) \log \left (1-\frac {d (a+b x)}{b (c+d x)}\right )}{a+b x}d\frac {a+b x}{c+d x}}{d}-\frac {\log \left (1-\frac {d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{d}\right )}{b}\right )}{b}+\frac {\frac {2 B \int \frac {(c+d x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right ) \log \left (1-\frac {b (c+d x)}{d (a+b x)}\right )}{a+b x}d\frac {a+b x}{c+d x}}{b}-\frac {\log \left (1-\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b}}{b}\right )}{g}\)

\(\Big \downarrow \) 2821

\(\displaystyle \frac {i (b c-a d) \left (\frac {\frac {2 B \left (\operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )-B \int \frac {(c+d x) \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{a+b x}d\frac {a+b x}{c+d x}\right )}{b}-\frac {\log \left (1-\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b}}{b}+\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}-\frac {2 B \left (\frac {B \int \frac {(c+d x) \log \left (1-\frac {d (a+b x)}{b (c+d x)}\right )}{a+b x}d\frac {a+b x}{c+d x}}{d}-\frac {\log \left (1-\frac {d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{d}\right )}{b}\right )}{b}\right )}{g}\)

\(\Big \downarrow \) 2838

\(\displaystyle \frac {i (b c-a d) \left (\frac {\frac {2 B \left (\operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )-B \int \frac {(c+d x) \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{a+b x}d\frac {a+b x}{c+d x}\right )}{b}-\frac {\log \left (1-\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b}}{b}+\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}-\frac {2 B \left (-\frac {\log \left (1-\frac {d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{d}-\frac {B \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right )}{d}\right )}{b}\right )}{b}\right )}{g}\)

\(\Big \downarrow \) 7143

\(\displaystyle \frac {i (b c-a d) \left (\frac {d \left (\frac {(a+b x) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b (c+d x) \left (b-\frac {d (a+b x)}{c+d x}\right )}-\frac {2 B \left (-\frac {\log \left (1-\frac {d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )}{d}-\frac {B \operatorname {PolyLog}\left (2,\frac {d (a+b x)}{b (c+d x)}\right )}{d}\right )}{b}\right )}{b}+\frac {\frac {2 B \left (\operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )+B \operatorname {PolyLog}\left (3,\frac {b (c+d x)}{d (a+b x)}\right )\right )}{b}-\frac {\log \left (1-\frac {b (c+d x)}{d (a+b x)}\right ) \left (B \log \left (\frac {e (a+b x)}{c+d x}\right )+A\right )^2}{b}}{b}\right )}{g}\)

Input:

Int[((c*i + d*i*x)*(A + B*Log[(e*(a + b*x))/(c + d*x)])^2)/(a*g + b*g*x),x 
]
 

Output:

((b*c - a*d)*i*((d*(((a + b*x)*(A + B*Log[(e*(a + b*x))/(c + d*x)])^2)/(b* 
(c + d*x)*(b - (d*(a + b*x))/(c + d*x))) - (2*B*(-(((A + B*Log[(e*(a + b*x 
))/(c + d*x)])*Log[1 - (d*(a + b*x))/(b*(c + d*x))])/d) - (B*PolyLog[2, (d 
*(a + b*x))/(b*(c + d*x))])/d))/b))/b + (-(((A + B*Log[(e*(a + b*x))/(c + 
d*x)])^2*Log[1 - (b*(c + d*x))/(d*(a + b*x))])/b) + (2*B*((A + B*Log[(e*(a 
 + b*x))/(c + d*x)])*PolyLog[2, (b*(c + d*x))/(d*(a + b*x))] + B*PolyLog[3 
, (b*(c + d*x))/(d*(a + b*x))]))/b)/b))/g
 

Defintions of rubi rules used

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

rule 2755
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((d_) + (e_.)*(x_))^2, x_Sy 
mbol] :> Simp[x*((a + b*Log[c*x^n])^p/(d*(d + e*x))), x] - Simp[b*n*(p/d) 
 Int[(a + b*Log[c*x^n])^(p - 1)/(d + e*x), x], x] /; FreeQ[{a, b, c, d, e, 
n, p}, x] && GtQ[p, 0]
 

rule 2779
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] + Simp[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 2789
Int[(((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)*((d_) + (e_.)*(x_))^(q_))/ 
(x_), x_Symbol] :> Simp[1/d   Int[(d + e*x)^(q + 1)*((a + b*Log[c*x^n])^p/x 
), x], x] - Simp[e/d   Int[(d + e*x)^q*(a + b*Log[c*x^n])^p, x], x] /; Free 
Q[{a, b, c, d, e, n}, x] && IGtQ[p, 0] && LtQ[q, -1] && IntegerQ[2*q]
 

rule 2821
Int[(Log[(d_.)*((e_) + (f_.)*(x_)^(m_.))]*((a_.) + Log[(c_.)*(x_)^(n_.)]*(b 
_.))^(p_.))/(x_), x_Symbol] :> Simp[(-PolyLog[2, (-d)*f*x^m])*((a + b*Log[c 
*x^n])^p/m), x] + Simp[b*n*(p/m)   Int[PolyLog[2, (-d)*f*x^m]*((a + b*Log[c 
*x^n])^(p - 1)/x), x], x] /; FreeQ[{a, b, c, d, e, f, m, n}, x] && IGtQ[p, 
0] && EqQ[d*e, 1]
 

rule 2838
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 2962
Int[((A_.) + Log[(e_.)*((a_.) + (b_.)*(x_))^(n_.)*((c_.) + (d_.)*(x_))^(mn_ 
)]*(B_.))^(p_.)*((f_.) + (g_.)*(x_))^(m_.)*((h_.) + (i_.)*(x_))^(q_.), x_Sy 
mbol] :> Simp[(b*c - a*d)^(m + q + 1)*(g/b)^m*(i/d)^q   Subst[Int[x^m*((A + 
 B*Log[e*x^n])^p/(b - d*x)^(m + q + 2)), x], x, (a + b*x)/(c + d*x)], x] /; 
 FreeQ[{a, b, c, d, e, f, g, h, i, A, B, n, p}, x] && EqQ[n + mn, 0] && IGt 
Q[n, 0] && NeQ[b*c - a*d, 0] && EqQ[b*f - a*g, 0] && EqQ[d*h - c*i, 0] && I 
ntegersQ[m, q]
 

rule 7143
Int[PolyLog[n_, (c_.)*((a_.) + (b_.)*(x_))^(p_.)]/((d_.) + (e_.)*(x_)), x_S 
ymbol] :> Simp[PolyLog[n + 1, c*(a + b*x)^p]/(e*p), x] /; FreeQ[{a, b, c, d 
, e, n, p}, x] && EqQ[b*d, a*e]
 
Maple [F]

\[\int \frac {\left (d i x +c i \right ) \left (A +B \ln \left (\frac {e \left (b x +a \right )}{d x +c}\right )\right )^{2}}{b g x +a g}d x\]

Input:

int((d*i*x+c*i)*(A+B*ln(e*(b*x+a)/(d*x+c)))^2/(b*g*x+a*g),x)
 

Output:

int((d*i*x+c*i)*(A+B*ln(e*(b*x+a)/(d*x+c)))^2/(b*g*x+a*g),x)
 

Fricas [F]

\[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{a g+b g x} \, dx=\int { \frac {{\left (d i x + c i\right )} {\left (B \log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}^{2}}{b g x + a g} \,d x } \] Input:

integrate((d*i*x+c*i)*(A+B*log(e*(b*x+a)/(d*x+c)))^2/(b*g*x+a*g),x, algori 
thm="fricas")
 

Output:

integral((A^2*d*i*x + A^2*c*i + (B^2*d*i*x + B^2*c*i)*log((b*e*x + a*e)/(d 
*x + c))^2 + 2*(A*B*d*i*x + A*B*c*i)*log((b*e*x + a*e)/(d*x + c)))/(b*g*x 
+ a*g), x)
 

Sympy [F]

\[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{a g+b g x} \, dx=\frac {i \left (\int \frac {A^{2} c}{a + b x}\, dx + \int \frac {A^{2} d x}{a + b x}\, dx + \int \frac {B^{2} c \log {\left (\frac {a e}{c + d x} + \frac {b e x}{c + d x} \right )}^{2}}{a + b x}\, dx + \int \frac {2 A B c \log {\left (\frac {a e}{c + d x} + \frac {b e x}{c + d x} \right )}}{a + b x}\, dx + \int \frac {B^{2} d x \log {\left (\frac {a e}{c + d x} + \frac {b e x}{c + d x} \right )}^{2}}{a + b x}\, dx + \int \frac {2 A B d x \log {\left (\frac {a e}{c + d x} + \frac {b e x}{c + d x} \right )}}{a + b x}\, dx\right )}{g} \] Input:

integrate((d*i*x+c*i)*(A+B*ln(e*(b*x+a)/(d*x+c)))**2/(b*g*x+a*g),x)
 

Output:

i*(Integral(A**2*c/(a + b*x), x) + Integral(A**2*d*x/(a + b*x), x) + Integ 
ral(B**2*c*log(a*e/(c + d*x) + b*e*x/(c + d*x))**2/(a + b*x), x) + Integra 
l(2*A*B*c*log(a*e/(c + d*x) + b*e*x/(c + d*x))/(a + b*x), x) + Integral(B* 
*2*d*x*log(a*e/(c + d*x) + b*e*x/(c + d*x))**2/(a + b*x), x) + Integral(2* 
A*B*d*x*log(a*e/(c + d*x) + b*e*x/(c + d*x))/(a + b*x), x))/g
 

Maxima [F]

\[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{a g+b g x} \, dx=\int { \frac {{\left (d i x + c i\right )} {\left (B \log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}^{2}}{b g x + a g} \,d x } \] Input:

integrate((d*i*x+c*i)*(A+B*log(e*(b*x+a)/(d*x+c)))^2/(b*g*x+a*g),x, algori 
thm="maxima")
 

Output:

A^2*d*i*(x/(b*g) - a*log(b*x + a)/(b^2*g)) + A^2*c*i*log(b*g*x + a*g)/(b*g 
) + (B^2*b*d*i*x + (b*c*i - a*d*i)*B^2*log(b*x + a))*log(d*x + c)^2/(b^2*g 
) - integrate(-(B^2*b^2*c^2*i*log(e)^2 + 2*A*B*b^2*c^2*i*log(e) + (B^2*b^2 
*d^2*i*log(e)^2 + 2*A*B*b^2*d^2*i*log(e))*x^2 + (B^2*b^2*d^2*i*x^2 + 2*B^2 
*b^2*c*d*i*x + B^2*b^2*c^2*i)*log(b*x + a)^2 + 2*(B^2*b^2*c*d*i*log(e)^2 + 
 2*A*B*b^2*c*d*i*log(e))*x + 2*(B^2*b^2*c^2*i*log(e) + A*B*b^2*c^2*i + (B^ 
2*b^2*d^2*i*log(e) + A*B*b^2*d^2*i)*x^2 + 2*(B^2*b^2*c*d*i*log(e) + A*B*b^ 
2*c*d*i)*x)*log(b*x + a) - 2*(B^2*b^2*c^2*i*log(e) + A*B*b^2*c^2*i + ((i*l 
og(e) + i)*B^2*b^2*d^2 + A*B*b^2*d^2*i)*x^2 + (2*A*B*b^2*c*d*i + (2*b^2*c* 
d*i*log(e) + a*b*d^2*i)*B^2)*x + (B^2*b^2*d^2*i*x^2 + (3*b^2*c*d*i - a*b*d 
^2*i)*B^2*x + (b^2*c^2*i + a*b*c*d*i - a^2*d^2*i)*B^2)*log(b*x + a))*log(d 
*x + c))/(b^3*d*g*x^2 + a*b^2*c*g + (b^3*c*g + a*b^2*d*g)*x), x)
                                                                                    
                                                                                    
 

Giac [F]

\[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{a g+b g x} \, dx=\int { \frac {{\left (d i x + c i\right )} {\left (B \log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right ) + A\right )}^{2}}{b g x + a g} \,d x } \] Input:

integrate((d*i*x+c*i)*(A+B*log(e*(b*x+a)/(d*x+c)))^2/(b*g*x+a*g),x, algori 
thm="giac")
 

Output:

integrate((d*i*x + c*i)*(B*log((b*x + a)*e/(d*x + c)) + A)^2/(b*g*x + a*g) 
, x)
 

Mupad [F(-1)]

Timed out. \[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{a g+b g x} \, dx=\int \frac {\left (c\,i+d\,i\,x\right )\,{\left (A+B\,\ln \left (\frac {e\,\left (a+b\,x\right )}{c+d\,x}\right )\right )}^2}{a\,g+b\,g\,x} \,d x \] Input:

int(((c*i + d*i*x)*(A + B*log((e*(a + b*x))/(c + d*x)))^2)/(a*g + b*g*x),x 
)
 

Output:

int(((c*i + d*i*x)*(A + B*log((e*(a + b*x))/(c + d*x)))^2)/(a*g + b*g*x), 
x)
 

Reduce [F]

\[ \int \frac {(c i+d i x) \left (A+B \log \left (\frac {e (a+b x)}{c+d x}\right )\right )^2}{a g+b g x} \, dx=\frac {i \left (\left (\int \frac {\mathrm {log}\left (\frac {b e x +a e}{d x +c}\right )^{2}}{b x +a}d x \right ) b^{4} c +2 \left (\int \frac {\mathrm {log}\left (\frac {b e x +a e}{d x +c}\right )}{b x +a}d x \right ) a \,b^{3} c +\left (\int \frac {\mathrm {log}\left (\frac {b e x +a e}{d x +c}\right )^{2} x}{b x +a}d x \right ) b^{4} d +2 \left (\int \frac {\mathrm {log}\left (\frac {b e x +a e}{d x +c}\right ) x}{b x +a}d x \right ) a \,b^{3} d -\mathrm {log}\left (b x +a \right ) a^{3} d +\mathrm {log}\left (b x +a \right ) a^{2} b c +a^{2} b d x \right )}{b^{2} g} \] Input:

int((d*i*x+c*i)*(A+B*log(e*(b*x+a)/(d*x+c)))^2/(b*g*x+a*g),x)
 

Output:

(i*(int(log((a*e + b*e*x)/(c + d*x))**2/(a + b*x),x)*b**4*c + 2*int(log((a 
*e + b*e*x)/(c + d*x))/(a + b*x),x)*a*b**3*c + int((log((a*e + b*e*x)/(c + 
 d*x))**2*x)/(a + b*x),x)*b**4*d + 2*int((log((a*e + b*e*x)/(c + d*x))*x)/ 
(a + b*x),x)*a*b**3*d - log(a + b*x)*a**3*d + log(a + b*x)*a**2*b*c + a**2 
*b*d*x))/(b**2*g)