3.6.72 \(\int \frac {(d+e e^{h+i x}) (f+g x)^3}{a+b e^{h+i x}+c e^{2 h+2 i x}} \, dx\) [572]

Optimal. Leaf size=770 \[ \frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b+\sqrt {b^2-4 a c}\right ) g}+\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b-\sqrt {b^2-4 a c}\right ) g}-\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+i x}}{b-\sqrt {b^2-4 a c}}\right )}{\left (b-\sqrt {b^2-4 a c}\right ) i}-\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+i x}}{b+\sqrt {b^2-4 a c}}\right )}{\left (b+\sqrt {b^2-4 a c}\right ) i}-\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+i x}}{b-\sqrt {b^2-4 a c}}\right )}{\left (b-\sqrt {b^2-4 a c}\right ) i^2}-\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+i x}}{b+\sqrt {b^2-4 a c}}\right )}{\left (b+\sqrt {b^2-4 a c}\right ) i^2}+\frac {6 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2 (f+g x) \text {Li}_3\left (-\frac {2 c e^{h+i x}}{b-\sqrt {b^2-4 a c}}\right )}{\left (b-\sqrt {b^2-4 a c}\right ) i^3}+\frac {6 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2 (f+g x) \text {Li}_3\left (-\frac {2 c e^{h+i x}}{b+\sqrt {b^2-4 a c}}\right )}{\left (b+\sqrt {b^2-4 a c}\right ) i^3}-\frac {6 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^3 \text {Li}_4\left (-\frac {2 c e^{h+i x}}{b-\sqrt {b^2-4 a c}}\right )}{\left (b-\sqrt {b^2-4 a c}\right ) i^4}-\frac {6 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^3 \text {Li}_4\left (-\frac {2 c e^{h+i x}}{b+\sqrt {b^2-4 a c}}\right )}{\left (b+\sqrt {b^2-4 a c}\right ) i^4} \]

[Out]

1/4*(g*x+f)^4*(e+(-b*e+2*c*d)/(-4*a*c+b^2)^(1/2))/g/(b-(-4*a*c+b^2)^(1/2))-(g*x+f)^3*ln(1+2*c*exp(i*x+h)/(b-(-
4*a*c+b^2)^(1/2)))*(e+(-b*e+2*c*d)/(-4*a*c+b^2)^(1/2))/i/(b-(-4*a*c+b^2)^(1/2))-3*g*(g*x+f)^2*polylog(2,-2*c*e
xp(i*x+h)/(b-(-4*a*c+b^2)^(1/2)))*(e+(-b*e+2*c*d)/(-4*a*c+b^2)^(1/2))/i^2/(b-(-4*a*c+b^2)^(1/2))+6*g^2*(g*x+f)
*polylog(3,-2*c*exp(i*x+h)/(b-(-4*a*c+b^2)^(1/2)))*(e+(-b*e+2*c*d)/(-4*a*c+b^2)^(1/2))/i^3/(b-(-4*a*c+b^2)^(1/
2))-6*g^3*polylog(4,-2*c*exp(i*x+h)/(b-(-4*a*c+b^2)^(1/2)))*(e+(-b*e+2*c*d)/(-4*a*c+b^2)^(1/2))/i^4/(b-(-4*a*c
+b^2)^(1/2))+1/4*(g*x+f)^4*(e+(b*e-2*c*d)/(-4*a*c+b^2)^(1/2))/g/(b+(-4*a*c+b^2)^(1/2))-(g*x+f)^3*ln(1+2*c*exp(
i*x+h)/(b+(-4*a*c+b^2)^(1/2)))*(e+(b*e-2*c*d)/(-4*a*c+b^2)^(1/2))/i/(b+(-4*a*c+b^2)^(1/2))-3*g*(g*x+f)^2*polyl
og(2,-2*c*exp(i*x+h)/(b+(-4*a*c+b^2)^(1/2)))*(e+(b*e-2*c*d)/(-4*a*c+b^2)^(1/2))/i^2/(b+(-4*a*c+b^2)^(1/2))+6*g
^2*(g*x+f)*polylog(3,-2*c*exp(i*x+h)/(b+(-4*a*c+b^2)^(1/2)))*(e+(b*e-2*c*d)/(-4*a*c+b^2)^(1/2))/i^3/(b+(-4*a*c
+b^2)^(1/2))-6*g^3*polylog(4,-2*c*exp(i*x+h)/(b+(-4*a*c+b^2)^(1/2)))*(e+(b*e-2*c*d)/(-4*a*c+b^2)^(1/2))/i^4/(b
+(-4*a*c+b^2)^(1/2))

________________________________________________________________________________________

Rubi [A]
time = 0.94, antiderivative size = 770, normalized size of antiderivative = 1.00, number of steps used = 13, number of rules used = 7, integrand size = 44, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.159, Rules used = {2297, 2215, 2221, 2611, 6744, 2320, 6724} \begin {gather*} \frac {6 g^2 (f+g x) \left (\frac {2 c d-b e}{\sqrt {b^2-4 a c}}+e\right ) \text {PolyLog}\left (3,-\frac {2 c e^{h+i x}}{b-\sqrt {b^2-4 a c}}\right )}{i^3 \left (b-\sqrt {b^2-4 a c}\right )}+\frac {6 g^2 (f+g x) \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) \text {PolyLog}\left (3,-\frac {2 c e^{h+i x}}{\sqrt {b^2-4 a c}+b}\right )}{i^3 \left (\sqrt {b^2-4 a c}+b\right )}-\frac {3 g (f+g x)^2 \left (\frac {2 c d-b e}{\sqrt {b^2-4 a c}}+e\right ) \text {PolyLog}\left (2,-\frac {2 c e^{h+i x}}{b-\sqrt {b^2-4 a c}}\right )}{i^2 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {3 g (f+g x)^2 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) \text {PolyLog}\left (2,-\frac {2 c e^{h+i x}}{\sqrt {b^2-4 a c}+b}\right )}{i^2 \left (\sqrt {b^2-4 a c}+b\right )}-\frac {6 g^3 \left (\frac {2 c d-b e}{\sqrt {b^2-4 a c}}+e\right ) \text {PolyLog}\left (4,-\frac {2 c e^{h+i x}}{b-\sqrt {b^2-4 a c}}\right )}{i^4 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {6 g^3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) \text {PolyLog}\left (4,-\frac {2 c e^{h+i x}}{\sqrt {b^2-4 a c}+b}\right )}{i^4 \left (\sqrt {b^2-4 a c}+b\right )}-\frac {(f+g x)^3 \left (\frac {2 c d-b e}{\sqrt {b^2-4 a c}}+e\right ) \log \left (\frac {2 c e^{h+i x}}{b-\sqrt {b^2-4 a c}}+1\right )}{i \left (b-\sqrt {b^2-4 a c}\right )}-\frac {(f+g x)^3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) \log \left (\frac {2 c e^{h+i x}}{\sqrt {b^2-4 a c}+b}+1\right )}{i \left (\sqrt {b^2-4 a c}+b\right )}+\frac {(f+g x)^4 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right )}{4 g \left (\sqrt {b^2-4 a c}+b\right )}+\frac {(f+g x)^4 \left (\frac {2 c d-b e}{\sqrt {b^2-4 a c}}+e\right )}{4 g \left (b-\sqrt {b^2-4 a c}\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[((d + e*E^(h + i*x))*(f + g*x)^3)/(a + b*E^(h + i*x) + c*E^(2*h + 2*i*x)),x]

[Out]

((e - (2*c*d - b*e)/Sqrt[b^2 - 4*a*c])*(f + g*x)^4)/(4*(b + Sqrt[b^2 - 4*a*c])*g) + ((e + (2*c*d - b*e)/Sqrt[b
^2 - 4*a*c])*(f + g*x)^4)/(4*(b - Sqrt[b^2 - 4*a*c])*g) - ((e + (2*c*d - b*e)/Sqrt[b^2 - 4*a*c])*(f + g*x)^3*L
og[1 + (2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])])/((b - Sqrt[b^2 - 4*a*c])*i) - ((e - (2*c*d - b*e)/Sqrt[b^2
- 4*a*c])*(f + g*x)^3*Log[1 + (2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])])/((b + Sqrt[b^2 - 4*a*c])*i) - (3*(e
+ (2*c*d - b*e)/Sqrt[b^2 - 4*a*c])*g*(f + g*x)^2*PolyLog[2, (-2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])])/((b -
Sqrt[b^2 - 4*a*c])*i^2) - (3*(e - (2*c*d - b*e)/Sqrt[b^2 - 4*a*c])*g*(f + g*x)^2*PolyLog[2, (-2*c*E^(h + i*x)
)/(b + Sqrt[b^2 - 4*a*c])])/((b + Sqrt[b^2 - 4*a*c])*i^2) + (6*(e + (2*c*d - b*e)/Sqrt[b^2 - 4*a*c])*g^2*(f +
g*x)*PolyLog[3, (-2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])])/((b - Sqrt[b^2 - 4*a*c])*i^3) + (6*(e - (2*c*d -
b*e)/Sqrt[b^2 - 4*a*c])*g^2*(f + g*x)*PolyLog[3, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])])/((b + Sqrt[b^2 -
4*a*c])*i^3) - (6*(e + (2*c*d - b*e)/Sqrt[b^2 - 4*a*c])*g^3*PolyLog[4, (-2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a
*c])])/((b - Sqrt[b^2 - 4*a*c])*i^4) - (6*(e - (2*c*d - b*e)/Sqrt[b^2 - 4*a*c])*g^3*PolyLog[4, (-2*c*E^(h + i*
x))/(b + Sqrt[b^2 - 4*a*c])])/((b + Sqrt[b^2 - 4*a*c])*i^4)

Rule 2215

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

Rule 2221

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

Rule 2297

Int[(((i_.)*(F_)^(u_) + (h_))*((f_.) + (g_.)*(x_))^(m_.))/((a_.) + (b_.)*(F_)^(u_) + (c_.)*(F_)^(v_)), x_Symbo
l] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Dist[Simplify[(2*c*h - b*i)/q] + i, Int[(f + g*x)^m/(b - q + 2*c*F^u), x]
, x] - Dist[Simplify[(2*c*h - b*i)/q] - i, Int[(f + g*x)^m/(b + q + 2*c*F^u), x], x]] /; FreeQ[{F, a, b, c, f,
g, h, i}, x] && EqQ[v, 2*u] && LinearQ[u, x] && NeQ[b^2 - 4*a*c, 0] && IGtQ[m, 0]

Rule 2320

Int[u_, x_Symbol] :> With[{v = FunctionOfExponential[u, x]}, Dist[v/D[v, x], Subst[Int[FunctionOfExponentialFu
nction[u, x]/x, x], x, v], x]] /; FunctionOfExponentialQ[u, x] &&  !MatchQ[u, (w_)*((a_.)*(v_)^(n_))^(m_) /; F
reeQ[{a, m, n}, x] && IntegerQ[m*n]] &&  !MatchQ[u, E^((c_.)*((a_.) + (b_.)*x))*(F_)[v_] /; FreeQ[{a, b, c}, x
] && InverseFunctionQ[F[x]]]

Rule 2611

Int[Log[1 + (e_.)*((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.)]*((f_.) + (g_.)*(x_))^(m_.), x_Symbol] :> Simp[(-(
f + g*x)^m)*(PolyLog[2, (-e)*(F^(c*(a + b*x)))^n]/(b*c*n*Log[F])), x] + Dist[g*(m/(b*c*n*Log[F])), Int[(f + g*
x)^(m - 1)*PolyLog[2, (-e)*(F^(c*(a + b*x)))^n], x], x] /; FreeQ[{F, a, b, c, e, f, g, n}, x] && GtQ[m, 0]

Rule 6724

Int[PolyLog[n_, (c_.)*((a_.) + (b_.)*(x_))^(p_.)]/((d_.) + (e_.)*(x_)), x_Symbol] :> 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]

Rule 6744

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

Rubi steps

\begin {align*} \int \frac {\left (d+e e^{h+572 x}\right ) (f+g x)^3}{a+b e^{h+572 x}+c e^{2 h+1144 x}} \, dx &=-\left (\left (-e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) \int \frac {(f+g x)^3}{b+\sqrt {b^2-4 a c}+2 c e^{h+572 x}} \, dx\right )+\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) \int \frac {(f+g x)^3}{b-\sqrt {b^2-4 a c}+2 c e^{h+572 x}} \, dx\\ &=\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b+\sqrt {b^2-4 a c}\right ) g}+\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b-\sqrt {b^2-4 a c}\right ) g}-\frac {\left (2 c \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right )\right ) \int \frac {e^{h+572 x} (f+g x)^3}{b+\sqrt {b^2-4 a c}+2 c e^{h+572 x}} \, dx}{b+\sqrt {b^2-4 a c}}-\frac {\left (2 c \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right )\right ) \int \frac {e^{h+572 x} (f+g x)^3}{b-\sqrt {b^2-4 a c}+2 c e^{h+572 x}} \, dx}{b-\sqrt {b^2-4 a c}}\\ &=\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b+\sqrt {b^2-4 a c}\right ) g}+\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b-\sqrt {b^2-4 a c}\right ) g}-\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{572 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{572 \left (b+\sqrt {b^2-4 a c}\right )}+\frac {\left (3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g\right ) \int (f+g x)^2 \log \left (1+\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right ) \, dx}{572 \left (b+\sqrt {b^2-4 a c}\right )}+\frac {\left (3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g\right ) \int (f+g x)^2 \log \left (1+\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right ) \, dx}{572 \left (b-\sqrt {b^2-4 a c}\right )}\\ &=\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b+\sqrt {b^2-4 a c}\right ) g}+\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b-\sqrt {b^2-4 a c}\right ) g}-\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{572 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{572 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{327184 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{327184 \left (b+\sqrt {b^2-4 a c}\right )}+\frac {\left (3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2\right ) \int (f+g x) \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right ) \, dx}{163592 \left (b+\sqrt {b^2-4 a c}\right )}+\frac {\left (3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2\right ) \int (f+g x) \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right ) \, dx}{163592 \left (b-\sqrt {b^2-4 a c}\right )}\\ &=\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b+\sqrt {b^2-4 a c}\right ) g}+\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b-\sqrt {b^2-4 a c}\right ) g}-\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{572 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{572 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{327184 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{327184 \left (b+\sqrt {b^2-4 a c}\right )}+\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2 (f+g x) \text {Li}_3\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{93574624 \left (b-\sqrt {b^2-4 a c}\right )}+\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2 (f+g x) \text {Li}_3\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{93574624 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {\left (3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^3\right ) \int \text {Li}_3\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right ) \, dx}{93574624 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {\left (3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^3\right ) \int \text {Li}_3\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right ) \, dx}{93574624 \left (b-\sqrt {b^2-4 a c}\right )}\\ &=\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b+\sqrt {b^2-4 a c}\right ) g}+\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b-\sqrt {b^2-4 a c}\right ) g}-\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{572 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{572 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{327184 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{327184 \left (b+\sqrt {b^2-4 a c}\right )}+\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2 (f+g x) \text {Li}_3\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{93574624 \left (b-\sqrt {b^2-4 a c}\right )}+\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2 (f+g x) \text {Li}_3\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{93574624 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {\left (3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^3\right ) \text {Subst}\left (\int \frac {\text {Li}_3\left (-\frac {2 c x}{b+\sqrt {b^2-4 a c}}\right )}{x} \, dx,x,e^{h+572 x}\right )}{53524684928 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {\left (3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^3\right ) \text {Subst}\left (\int \frac {\text {Li}_3\left (\frac {2 c x}{-b+\sqrt {b^2-4 a c}}\right )}{x} \, dx,x,e^{h+572 x}\right )}{53524684928 \left (b-\sqrt {b^2-4 a c}\right )}\\ &=\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b+\sqrt {b^2-4 a c}\right ) g}+\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^4}{4 \left (b-\sqrt {b^2-4 a c}\right ) g}-\frac {\left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{572 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {\left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) (f+g x)^3 \log \left (1+\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{572 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{327184 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g (f+g x)^2 \text {Li}_2\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{327184 \left (b+\sqrt {b^2-4 a c}\right )}+\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2 (f+g x) \text {Li}_3\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{93574624 \left (b-\sqrt {b^2-4 a c}\right )}+\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^2 (f+g x) \text {Li}_3\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{93574624 \left (b+\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e+\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^3 \text {Li}_4\left (-\frac {2 c e^{h+572 x}}{b-\sqrt {b^2-4 a c}}\right )}{53524684928 \left (b-\sqrt {b^2-4 a c}\right )}-\frac {3 \left (e-\frac {2 c d-b e}{\sqrt {b^2-4 a c}}\right ) g^3 \text {Li}_4\left (-\frac {2 c e^{h+572 x}}{b+\sqrt {b^2-4 a c}}\right )}{53524684928 \left (b+\sqrt {b^2-4 a c}\right )}\\ \end {align*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(2448\) vs. \(2(770)=1540\).
time = 2.90, size = 2448, normalized size = 3.18 \begin {gather*} \text {Result too large to show} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[((d + e*E^(h + i*x))*(f + g*x)^3)/(a + b*E^(h + i*x) + c*E^(2*h + 2*i*x)),x]

[Out]

-1/4*(-6*Sqrt[-(b^2 - 4*a*c)^2]*d*f^2*g*i^4*x^2 - 4*Sqrt[-(b^2 - 4*a*c)^2]*d*f*g^2*i^4*x^3 - Sqrt[-(b^2 - 4*a*
c)^2]*d*g^3*i^4*x^4 + 4*b*Sqrt[b^2 - 4*a*c]*d*f^3*i^3*ArcTan[(b + 2*c*E^(h + i*x))/Sqrt[-b^2 + 4*a*c]] - 8*a*S
qrt[b^2 - 4*a*c]*e*f^3*i^3*ArcTan[(b + 2*c*E^(h + i*x))/Sqrt[-b^2 + 4*a*c]] - 4*Sqrt[-(b^2 - 4*a*c)^2]*d*f^3*i
^3*Log[E^(h + i*x)] + 6*Sqrt[-(b^2 - 4*a*c)^2]*d*f^2*g*i^3*x*Log[1 + (2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])
] + 6*b*Sqrt[-b^2 + 4*a*c]*d*f^2*g*i^3*x*Log[1 + (2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])] - 12*a*Sqrt[-b^2 +
4*a*c]*e*f^2*g*i^3*x*Log[1 + (2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])] + 6*Sqrt[-(b^2 - 4*a*c)^2]*d*f*g^2*i^
3*x^2*Log[1 + (2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])] + 6*b*Sqrt[-b^2 + 4*a*c]*d*f*g^2*i^3*x^2*Log[1 + (2*c
*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])] - 12*a*Sqrt[-b^2 + 4*a*c]*e*f*g^2*i^3*x^2*Log[1 + (2*c*E^(h + i*x))/(b
- Sqrt[b^2 - 4*a*c])] + 2*Sqrt[-(b^2 - 4*a*c)^2]*d*g^3*i^3*x^3*Log[1 + (2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c
])] + 2*b*Sqrt[-b^2 + 4*a*c]*d*g^3*i^3*x^3*Log[1 + (2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])] - 4*a*Sqrt[-b^2
+ 4*a*c]*e*g^3*i^3*x^3*Log[1 + (2*c*E^(h + i*x))/(b - Sqrt[b^2 - 4*a*c])] + 6*Sqrt[-(b^2 - 4*a*c)^2]*d*f^2*g*i
^3*x*Log[1 + (2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] - 6*b*Sqrt[-b^2 + 4*a*c]*d*f^2*g*i^3*x*Log[1 + (2*c*E^
(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] + 12*a*Sqrt[-b^2 + 4*a*c]*e*f^2*g*i^3*x*Log[1 + (2*c*E^(h + i*x))/(b + Sqr
t[b^2 - 4*a*c])] + 6*Sqrt[-(b^2 - 4*a*c)^2]*d*f*g^2*i^3*x^2*Log[1 + (2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])]
- 6*b*Sqrt[-b^2 + 4*a*c]*d*f*g^2*i^3*x^2*Log[1 + (2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] + 12*a*Sqrt[-b^2
+ 4*a*c]*e*f*g^2*i^3*x^2*Log[1 + (2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] + 2*Sqrt[-(b^2 - 4*a*c)^2]*d*g^3*i
^3*x^3*Log[1 + (2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] - 2*b*Sqrt[-b^2 + 4*a*c]*d*g^3*i^3*x^3*Log[1 + (2*c*
E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] + 4*a*Sqrt[-b^2 + 4*a*c]*e*g^3*i^3*x^3*Log[1 + (2*c*E^(h + i*x))/(b + Sq
rt[b^2 - 4*a*c])] + 2*Sqrt[-(b^2 - 4*a*c)^2]*d*f^3*i^3*Log[a + E^(h + i*x)*(b + c*E^(h + i*x))] + 6*(Sqrt[-(b^
2 - 4*a*c)^2]*d + b*Sqrt[-b^2 + 4*a*c]*d - 2*a*Sqrt[-b^2 + 4*a*c]*e)*g*i^2*(f + g*x)^2*PolyLog[2, (2*c*E^(h +
i*x))/(-b + Sqrt[b^2 - 4*a*c])] + 6*(Sqrt[-(b^2 - 4*a*c)^2]*d - b*Sqrt[-b^2 + 4*a*c]*d + 2*a*Sqrt[-b^2 + 4*a*c
]*e)*g*i^2*(f + g*x)^2*PolyLog[2, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] - 12*Sqrt[-(b^2 - 4*a*c)^2]*d*f*
g^2*i*PolyLog[3, (2*c*E^(h + i*x))/(-b + Sqrt[b^2 - 4*a*c])] - 12*b*Sqrt[-b^2 + 4*a*c]*d*f*g^2*i*PolyLog[3, (2
*c*E^(h + i*x))/(-b + Sqrt[b^2 - 4*a*c])] + 24*a*Sqrt[-b^2 + 4*a*c]*e*f*g^2*i*PolyLog[3, (2*c*E^(h + i*x))/(-b
+ Sqrt[b^2 - 4*a*c])] - 12*Sqrt[-(b^2 - 4*a*c)^2]*d*g^3*i*x*PolyLog[3, (2*c*E^(h + i*x))/(-b + Sqrt[b^2 - 4*a
*c])] - 12*b*Sqrt[-b^2 + 4*a*c]*d*g^3*i*x*PolyLog[3, (2*c*E^(h + i*x))/(-b + Sqrt[b^2 - 4*a*c])] + 24*a*Sqrt[-
b^2 + 4*a*c]*e*g^3*i*x*PolyLog[3, (2*c*E^(h + i*x))/(-b + Sqrt[b^2 - 4*a*c])] - 12*Sqrt[-(b^2 - 4*a*c)^2]*d*f*
g^2*i*PolyLog[3, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] + 12*b*Sqrt[-b^2 + 4*a*c]*d*f*g^2*i*PolyLog[3, (-
2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] - 24*a*Sqrt[-b^2 + 4*a*c]*e*f*g^2*i*PolyLog[3, (-2*c*E^(h + i*x))/(b
+ Sqrt[b^2 - 4*a*c])] - 12*Sqrt[-(b^2 - 4*a*c)^2]*d*g^3*i*x*PolyLog[3, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a
*c])] + 12*b*Sqrt[-b^2 + 4*a*c]*d*g^3*i*x*PolyLog[3, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] - 24*a*Sqrt[-
b^2 + 4*a*c]*e*g^3*i*x*PolyLog[3, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] + 12*Sqrt[-(b^2 - 4*a*c)^2]*d*g^
3*PolyLog[4, (2*c*E^(h + i*x))/(-b + Sqrt[b^2 - 4*a*c])] + 12*b*Sqrt[-b^2 + 4*a*c]*d*g^3*PolyLog[4, (2*c*E^(h
+ i*x))/(-b + Sqrt[b^2 - 4*a*c])] - 24*a*Sqrt[-b^2 + 4*a*c]*e*g^3*PolyLog[4, (2*c*E^(h + i*x))/(-b + Sqrt[b^2
- 4*a*c])] + 12*Sqrt[-(b^2 - 4*a*c)^2]*d*g^3*PolyLog[4, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] - 12*b*Sqr
t[-b^2 + 4*a*c]*d*g^3*PolyLog[4, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])] + 24*a*Sqrt[-b^2 + 4*a*c]*e*g^3*P
olyLog[4, (-2*c*E^(h + i*x))/(b + Sqrt[b^2 - 4*a*c])])/(a*Sqrt[-(b^2 - 4*a*c)^2]*i^4)

________________________________________________________________________________________

Maple [F]
time = 0.12, size = 0, normalized size = 0.00 \[\int \frac {\left (d +e \,{\mathrm e}^{i x +h}\right ) \left (g x +f \right )^{3}}{a +b \,{\mathrm e}^{i x +h}+c \,{\mathrm e}^{2 i x +2 h}}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((d+e*exp(i*x+h))*(g*x+f)^3/(a+b*exp(i*x+h)+c*exp(2*i*x+2*h)),x)

[Out]

int((d+e*exp(i*x+h))*(g*x+f)^3/(a+b*exp(i*x+h)+c*exp(2*i*x+2*h)),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((d+e*exp(i*x+h))*(g*x+f)^3/(a+b*exp(i*x+h)+c*exp(2*i*x+2*h)),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(4*a*c-b^2>0)', see `assume?` f
or more deta

________________________________________________________________________________________

Fricas [B] Both result and optimal contain complex but leaf count of result is larger than twice the leaf count of optimal. 3031 vs. \(2 (701) = 1402\).
time = 0.51, size = 3031, normalized size = 3.94 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((d+e*exp(i*x+h))*(g*x+f)^3/(a+b*exp(i*x+h)+c*exp(2*i*x+2*h)),x, algorithm="fricas")

[Out]

-1/4*((b^2 - 4*a*c)*d*g^3*h^4 - (b^2 - 4*a*c)*d*g^3*x^4 - 4*(b^2 - 4*a*c)*d*f*g^2*x^3 - 6*(b^2 - 4*a*c)*d*f^2*
g*x^2 - 4*(b^2 - 4*a*c)*d*f^3*x - 4*(-I*b^2 + 4*I*a*c)*d*f^3 - 6*(b^2 - 4*a*c)*d*f^2*g - 4*(I*b^2 - 4*I*a*c)*d
*f*g^2 + (b^2 - 4*a*c)*d*g^3 - 4*((I*b^2 - 4*I*a*c)*d*f*g^2 - (b^2 - 4*a*c)*d*g^3)*h^3 - 6*((b^2 - 4*a*c)*d*f^
2*g + 2*(I*b^2 - 4*I*a*c)*d*f*g^2 - (b^2 - 4*a*c)*d*g^3)*h^2 - 4*((-I*b^2 + 4*I*a*c)*d*f^3 + 3*(b^2 - 4*a*c)*d
*f^2*g + 3*(I*b^2 - 4*I*a*c)*d*f*g^2 - (b^2 - 4*a*c)*d*g^3)*h - 6*((b^2 - 4*a*c)*d*g^3*x^2 + 2*(b^2 - 4*a*c)*d
*f*g^2*x + (b^2 - 4*a*c)*d*f^2*g - (2*(a^2*g^3*x^2 + 2*a^2*f*g^2*x + a^2*f^2*g)*e^2 - (a*b*d*g^3*x^2 + 2*a*b*d
*f*g^2*x + a*b*d*f^2*g)*e)*sqrt((b^2 - 4*a*c)/a^2)*e^(-1))*dilog(-1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e^(h + I*x +
1) + 2*a*e + b*e^(h + I*x + 1))*e^(-1)/a + 1) - 6*((b^2 - 4*a*c)*d*g^3*x^2 + 2*(b^2 - 4*a*c)*d*f*g^2*x + (b^2
- 4*a*c)*d*f^2*g + (2*(a^2*g^3*x^2 + 2*a^2*f*g^2*x + a^2*f^2*g)*e^2 - (a*b*d*g^3*x^2 + 2*a*b*d*f*g^2*x + a*b*d
*f^2*g)*e)*sqrt((b^2 - 4*a*c)/a^2)*e^(-1))*dilog(1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e^(h + I*x + 1) - 2*a*e - b*e^
(h + I*x + 1))*e^(-1)/a + 1) + 2*((b^2 - 4*a*c)*d*g^3*h^3 - (I*b^2 - 4*I*a*c)*d*g^3*x^3 - 3*(I*b^2 - 4*I*a*c)*
d*f*g^2*x^2 - 3*(I*b^2 - 4*I*a*c)*d*f^2*g*x - 3*(b^2 - 4*a*c)*d*f^2*g - 3*(I*b^2 - 4*I*a*c)*d*f*g^2 + (b^2 - 4
*a*c)*d*g^3 - 3*((I*b^2 - 4*I*a*c)*d*f*g^2 - (b^2 - 4*a*c)*d*g^3)*h^2 - (2*(a^2*g^3*h^3 - I*a^2*g^3*x^3 - 3*I*
a^2*f*g^2*x^2 - 3*I*a^2*f^2*g*x - 3*a^2*f^2*g - 3*I*a^2*f*g^2 + a^2*g^3 + 3*(-I*a^2*f*g^2 + a^2*g^3)*h^2 - 3*(
a^2*f^2*g + 2*I*a^2*f*g^2 - a^2*g^3)*h)*e^2 - (a*b*d*g^3*h^3 - I*a*b*d*g^3*x^3 - 3*I*a*b*d*f*g^2*x^2 - 3*I*a*b
*d*f^2*g*x - 3*a*b*d*f^2*g - 3*I*a*b*d*f*g^2 + a*b*d*g^3 - 3*(I*a*b*d*f*g^2 - a*b*d*g^3)*h^2 - 3*(a*b*d*f^2*g
+ 2*I*a*b*d*f*g^2 - a*b*d*g^3)*h)*e)*sqrt((b^2 - 4*a*c)/a^2)*e^(-1) - 3*((b^2 - 4*a*c)*d*f^2*g + 2*(I*b^2 - 4*
I*a*c)*d*f*g^2 - (b^2 - 4*a*c)*d*g^3)*h)*log(1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e^(h + I*x + 1) + 2*a*e + b*e^(h +
I*x + 1))*e^(-1)/a) + 2*((b^2 - 4*a*c)*d*g^3*h^3 - (I*b^2 - 4*I*a*c)*d*g^3*x^3 - 3*(I*b^2 - 4*I*a*c)*d*f*g^2*
x^2 - 3*(I*b^2 - 4*I*a*c)*d*f^2*g*x - 3*(b^2 - 4*a*c)*d*f^2*g - 3*(I*b^2 - 4*I*a*c)*d*f*g^2 + (b^2 - 4*a*c)*d*
g^3 - 3*((I*b^2 - 4*I*a*c)*d*f*g^2 - (b^2 - 4*a*c)*d*g^3)*h^2 + (2*(a^2*g^3*h^3 - I*a^2*g^3*x^3 - 3*I*a^2*f*g^
2*x^2 - 3*I*a^2*f^2*g*x - 3*a^2*f^2*g - 3*I*a^2*f*g^2 + a^2*g^3 - 3*(I*a^2*f*g^2 - a^2*g^3)*h^2 - 3*(a^2*f^2*g
+ 2*I*a^2*f*g^2 - a^2*g^3)*h)*e^2 - (a*b*d*g^3*h^3 - I*a*b*d*g^3*x^3 - 3*I*a*b*d*f*g^2*x^2 - 3*I*a*b*d*f^2*g*
x - 3*a*b*d*f^2*g - 3*I*a*b*d*f*g^2 + a*b*d*g^3 + 3*(-I*a*b*d*f*g^2 + a*b*d*g^3)*h^2 - 3*(a*b*d*f^2*g + 2*I*a*
b*d*f*g^2 - a*b*d*g^3)*h)*e)*sqrt((b^2 - 4*a*c)/a^2)*e^(-1) - 3*((b^2 - 4*a*c)*d*f^2*g + 2*(I*b^2 - 4*I*a*c)*d
*f*g^2 - (b^2 - 4*a*c)*d*g^3)*h)*log(-1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e^(h + I*x + 1) - 2*a*e - b*e^(h + I*x +
1))*e^(-1)/a) - 2*((b^2 - 4*a*c)*d*g^3*h^3 + (I*b^2 - 4*I*a*c)*d*f^3 - 3*(b^2 - 4*a*c)*d*f^2*g + 3*(-I*b^2 + 4
*I*a*c)*d*f*g^2 + (b^2 - 4*a*c)*d*g^3 + 3*((-I*b^2 + 4*I*a*c)*d*f*g^2 + (b^2 - 4*a*c)*d*g^3)*h^2 + (2*(a^2*g^3
*h^3 + I*a^2*f^3 - 3*a^2*f^2*g - 3*I*a^2*f*g^2 + a^2*g^3 + 3*(-I*a^2*f*g^2 + a^2*g^3)*h^2 - 3*(a^2*f^2*g + 2*I
*a^2*f*g^2 - a^2*g^3)*h)*e^2 - (a*b*d*g^3*h^3 + I*a*b*d*f^3 - 3*a*b*d*f^2*g - 3*I*a*b*d*f*g^2 + a*b*d*g^3 - 3*
(I*a*b*d*f*g^2 - a*b*d*g^3)*h^2 - 3*(a*b*d*f^2*g + 2*I*a*b*d*f*g^2 - a*b*d*g^3)*h)*e)*sqrt((b^2 - 4*a*c)/a^2)*
e^(-1) - 3*((b^2 - 4*a*c)*d*f^2*g - 2*(-I*b^2 + 4*I*a*c)*d*f*g^2 - (b^2 - 4*a*c)*d*g^3)*h)*log(1/2*(a*sqrt((b^
2 - 4*a*c)/a^2)*e + b*e + 2*c*e^(h + I*x + 1))/c) - 2*((b^2 - 4*a*c)*d*g^3*h^3 + (I*b^2 - 4*I*a*c)*d*f^3 - 3*(
b^2 - 4*a*c)*d*f^2*g + 3*(-I*b^2 + 4*I*a*c)*d*f*g^2 + (b^2 - 4*a*c)*d*g^3 + 3*((-I*b^2 + 4*I*a*c)*d*f*g^2 + (b
^2 - 4*a*c)*d*g^3)*h^2 - (2*(a^2*g^3*h^3 + I*a^2*f^3 - 3*a^2*f^2*g - 3*I*a^2*f*g^2 + a^2*g^3 - 3*(I*a^2*f*g^2
- a^2*g^3)*h^2 - 3*(a^2*f^2*g + 2*I*a^2*f*g^2 - a^2*g^3)*h)*e^2 - (a*b*d*g^3*h^3 + I*a*b*d*f^3 - 3*a*b*d*f^2*g
- 3*I*a*b*d*f*g^2 + a*b*d*g^3 + 3*(-I*a*b*d*f*g^2 + a*b*d*g^3)*h^2 - 3*(a*b*d*f^2*g + 2*I*a*b*d*f*g^2 - a*b*d
*g^3)*h)*e)*sqrt((b^2 - 4*a*c)/a^2)*e^(-1) - 3*((b^2 - 4*a*c)*d*f^2*g - 2*(-I*b^2 + 4*I*a*c)*d*f*g^2 - (b^2 -
4*a*c)*d*g^3)*h)*log(-1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e - b*e - 2*c*e^(h + I*x + 1))/c) + 12*((b^2 - 4*a*c)*d*g
^3 + (a*b*d*g^3*e - 2*a^2*g^3*e^2)*sqrt((b^2 - 4*a*c)/a^2)*e^(-1))*polylog(4, -1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*
e^(h + I*x + 1) + b*e^(h + I*x + 1))*e^(-1)/a) + 12*((b^2 - 4*a*c)*d*g^3 - (a*b*d*g^3*e - 2*a^2*g^3*e^2)*sqrt(
(b^2 - 4*a*c)/a^2)*e^(-1))*polylog(4, 1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e^(h + I*x + 1) - b*e^(h + I*x + 1))*e^(-
1)/a) - 12*((I*b^2 - 4*I*a*c)*d*g^3*x + (I*b^2 - 4*I*a*c)*d*f*g^2 + (2*(-I*a^2*g^3*x - I*a^2*f*g^2)*e^2 + (I*a
*b*d*g^3*x + I*a*b*d*f*g^2)*e)*sqrt((b^2 - 4*a*c)/a^2)*e^(-1))*polylog(3, -1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e^(h
+ I*x + 1) + b*e^(h + I*x + 1))*e^(-1)/a) - 12*((I*b^2 - 4*I*a*c)*d*g^3*x + (I*b^2 - 4*I*a*c)*d*f*g^2 + (2*(I
*a^2*g^3*x + I*a^2*f*g^2)*e^2 + (-I*a*b*d*g^3*x...

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (d + e e^{h} e^{i x}\right ) \left (f + g x\right )^{3}}{a + b e^{h} e^{i x} + c e^{2 h} e^{2 i x}}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((d+e*exp(i*x+h))*(g*x+f)**3/(a+b*exp(i*x+h)+c*exp(2*i*x+2*h)),x)

[Out]

Integral((d + e*exp(h)*exp(i*x))*(f + g*x)**3/(a + b*exp(h)*exp(i*x) + c*exp(2*h)*exp(2*i*x)), x)

________________________________________________________________________________________

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]

integrate((d+e*exp(i*x+h))*(g*x+f)^3/(a+b*exp(i*x+h)+c*exp(2*i*x+2*h)),x, algorithm="giac")

[Out]

integrate((g*x + f)^3*(d + e^(h + I*x + 1))/(c*e^(2*h + 2*I*x) + b*e^(h + I*x) + a), x)

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (f+g\,x\right )}^3\,\left (d+e\,{\mathrm {e}}^{h+i\,x}\right )}{a+b\,{\mathrm {e}}^{h+i\,x}+c\,{\mathrm {e}}^{2\,h+2\,i\,x}} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((f + g*x)^3*(d + e*exp(h + i*x)))/(a + b*exp(h + i*x) + c*exp(2*h + 2*i*x)),x)

[Out]

int(((f + g*x)^3*(d + e*exp(h + i*x)))/(a + b*exp(h + i*x) + c*exp(2*h + 2*i*x)), x)

________________________________________________________________________________________