\(\int \frac {x}{a+b e^x+c e^{2 x}} \, dx\) [514]

   Optimal result
   Rubi [A] (verified)
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [F]
   Maxima [F(-2)]
   Giac [F]
   Mupad [F(-1)]

Optimal result

Integrand size = 18, antiderivative size = 276 \[ \int \frac {x}{a+b e^x+c e^{2 x}} \, dx=-\frac {c x^2}{b^2-4 a c-b \sqrt {b^2-4 a c}}-\frac {c x^2}{b^2-4 a c+b \sqrt {b^2-4 a c}}+\frac {2 c x \log \left (1+\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}\right )}{b^2-4 a c-b \sqrt {b^2-4 a c}}+\frac {2 c x \log \left (1+\frac {2 c e^x}{b+\sqrt {b^2-4 a c}}\right )}{b^2-4 a c+b \sqrt {b^2-4 a c}}+\frac {2 c \operatorname {PolyLog}\left (2,-\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}\right )}{b^2-4 a c-b \sqrt {b^2-4 a c}}+\frac {2 c \operatorname {PolyLog}\left (2,-\frac {2 c e^x}{b+\sqrt {b^2-4 a c}}\right )}{b^2-4 a c+b \sqrt {b^2-4 a c}} \]

[Out]

-c*x^2/(b^2-4*a*c-b*(-4*a*c+b^2)^(1/2))+2*c*x*ln(1+2*c*exp(x)/(b-(-4*a*c+b^2)^(1/2)))/(b^2-4*a*c-b*(-4*a*c+b^2
)^(1/2))+2*c*polylog(2,-2*c*exp(x)/(b-(-4*a*c+b^2)^(1/2)))/(b^2-4*a*c-b*(-4*a*c+b^2)^(1/2))-c*x^2/(b^2-4*a*c+b
*(-4*a*c+b^2)^(1/2))+2*c*x*ln(1+2*c*exp(x)/(b+(-4*a*c+b^2)^(1/2)))/(b^2-4*a*c+b*(-4*a*c+b^2)^(1/2))+2*c*polylo
g(2,-2*c*exp(x)/(b+(-4*a*c+b^2)^(1/2)))/(b^2-4*a*c+b*(-4*a*c+b^2)^(1/2))

Rubi [A] (verified)

Time = 0.25 (sec) , antiderivative size = 276, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.278, Rules used = {2295, 2215, 2221, 2317, 2438} \[ \int \frac {x}{a+b e^x+c e^{2 x}} \, dx=\frac {2 c \operatorname {PolyLog}\left (2,-\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}\right )}{-b \sqrt {b^2-4 a c}-4 a c+b^2}+\frac {2 c \operatorname {PolyLog}\left (2,-\frac {2 c e^x}{b+\sqrt {b^2-4 a c}}\right )}{b \sqrt {b^2-4 a c}-4 a c+b^2}-\frac {c x^2}{-b \sqrt {b^2-4 a c}-4 a c+b^2}-\frac {c x^2}{b \sqrt {b^2-4 a c}-4 a c+b^2}+\frac {2 c x \log \left (\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}+1\right )}{-b \sqrt {b^2-4 a c}-4 a c+b^2}+\frac {2 c x \log \left (\frac {2 c e^x}{\sqrt {b^2-4 a c}+b}+1\right )}{b \sqrt {b^2-4 a c}-4 a c+b^2} \]

[In]

Int[x/(a + b*E^x + c*E^(2*x)),x]

[Out]

-((c*x^2)/(b^2 - 4*a*c - b*Sqrt[b^2 - 4*a*c])) - (c*x^2)/(b^2 - 4*a*c + b*Sqrt[b^2 - 4*a*c]) + (2*c*x*Log[1 +
(2*c*E^x)/(b - Sqrt[b^2 - 4*a*c])])/(b^2 - 4*a*c - b*Sqrt[b^2 - 4*a*c]) + (2*c*x*Log[1 + (2*c*E^x)/(b + Sqrt[b
^2 - 4*a*c])])/(b^2 - 4*a*c + b*Sqrt[b^2 - 4*a*c]) + (2*c*PolyLog[2, (-2*c*E^x)/(b - Sqrt[b^2 - 4*a*c])])/(b^2
 - 4*a*c - b*Sqrt[b^2 - 4*a*c]) + (2*c*PolyLog[2, (-2*c*E^x)/(b + Sqrt[b^2 - 4*a*c])])/(b^2 - 4*a*c + b*Sqrt[b
^2 - 4*a*c])

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 2295

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

Rule 2317

Int[Log[(a_) + (b_.)*((F_)^((e_.)*((c_.) + (d_.)*(x_))))^(n_.)], x_Symbol] :> Dist[1/(d*e*n*Log[F]), Subst[Int
[Log[a + b*x]/x, x], x, (F^(e*(c + d*x)))^n], x] /; FreeQ[{F, a, b, c, d, e, n}, x] && GtQ[a, 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]

Rubi steps \begin{align*} \text {integral}& = \frac {(2 c) \int \frac {x}{b-\sqrt {b^2-4 a c}+2 c e^x} \, dx}{\sqrt {b^2-4 a c}}-\frac {(2 c) \int \frac {x}{b+\sqrt {b^2-4 a c}+2 c e^x} \, dx}{\sqrt {b^2-4 a c}} \\ & = -\frac {c x^2}{b^2-4 a c-b \sqrt {b^2-4 a c}}-\frac {c x^2}{b^2-4 a c+b \sqrt {b^2-4 a c}}+\frac {\left (4 c^2\right ) \int \frac {e^x x}{b-\sqrt {b^2-4 a c}+2 c e^x} \, dx}{b^2-4 a c-b \sqrt {b^2-4 a c}}+\frac {\left (4 c^2\right ) \int \frac {e^x x}{b+\sqrt {b^2-4 a c}+2 c e^x} \, dx}{b^2-4 a c+b \sqrt {b^2-4 a c}} \\ & = -\frac {c x^2}{b^2-4 a c-b \sqrt {b^2-4 a c}}-\frac {c x^2}{b^2-4 a c+b \sqrt {b^2-4 a c}}+\frac {2 c x \log \left (1+\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}\right )}{b^2-4 a c-b \sqrt {b^2-4 a c}}+\frac {2 c x \log \left (1+\frac {2 c e^x}{b+\sqrt {b^2-4 a c}}\right )}{b^2-4 a c+b \sqrt {b^2-4 a c}}-\frac {(2 c) \int \log \left (1+\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}\right ) \, dx}{b^2-4 a c-b \sqrt {b^2-4 a c}}-\frac {(2 c) \int \log \left (1+\frac {2 c e^x}{b+\sqrt {b^2-4 a c}}\right ) \, dx}{b^2-4 a c+b \sqrt {b^2-4 a c}} \\ & = -\frac {c x^2}{b^2-4 a c-b \sqrt {b^2-4 a c}}-\frac {c x^2}{b^2-4 a c+b \sqrt {b^2-4 a c}}+\frac {2 c x \log \left (1+\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}\right )}{b^2-4 a c-b \sqrt {b^2-4 a c}}+\frac {2 c x \log \left (1+\frac {2 c e^x}{b+\sqrt {b^2-4 a c}}\right )}{b^2-4 a c+b \sqrt {b^2-4 a c}}-\frac {(2 c) \text {Subst}\left (\int \frac {\log \left (1+\frac {2 c x}{b-\sqrt {b^2-4 a c}}\right )}{x} \, dx,x,e^x\right )}{b^2-4 a c-b \sqrt {b^2-4 a c}}-\frac {(2 c) \text {Subst}\left (\int \frac {\log \left (1+\frac {2 c x}{b+\sqrt {b^2-4 a c}}\right )}{x} \, dx,x,e^x\right )}{b^2-4 a c+b \sqrt {b^2-4 a c}} \\ & = -\frac {c x^2}{b^2-4 a c-b \sqrt {b^2-4 a c}}-\frac {c x^2}{b^2-4 a c+b \sqrt {b^2-4 a c}}+\frac {2 c x \log \left (1+\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}\right )}{b^2-4 a c-b \sqrt {b^2-4 a c}}+\frac {2 c x \log \left (1+\frac {2 c e^x}{b+\sqrt {b^2-4 a c}}\right )}{b^2-4 a c+b \sqrt {b^2-4 a c}}+\frac {2 c \text {Li}_2\left (-\frac {2 c e^x}{b-\sqrt {b^2-4 a c}}\right )}{b^2-4 a c-b \sqrt {b^2-4 a c}}+\frac {2 c \text {Li}_2\left (-\frac {2 c e^x}{b+\sqrt {b^2-4 a c}}\right )}{b^2-4 a c+b \sqrt {b^2-4 a c}} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.16 (sec) , antiderivative size = 205, normalized size of antiderivative = 0.74 \[ \int \frac {x}{a+b e^x+c e^{2 x}} \, dx=-\frac {\left (b+\sqrt {b^2-4 a c}\right ) x \log \left (1+\frac {\left (b-\sqrt {b^2-4 a c}\right ) e^{-x}}{2 c}\right )+\left (-b+\sqrt {b^2-4 a c}\right ) x \log \left (1+\frac {\left (b+\sqrt {b^2-4 a c}\right ) e^{-x}}{2 c}\right )-\left (b+\sqrt {b^2-4 a c}\right ) \operatorname {PolyLog}\left (2,\frac {\left (-b+\sqrt {b^2-4 a c}\right ) e^{-x}}{2 c}\right )+\left (b-\sqrt {b^2-4 a c}\right ) \operatorname {PolyLog}\left (2,-\frac {\left (b+\sqrt {b^2-4 a c}\right ) e^{-x}}{2 c}\right )}{2 a \sqrt {b^2-4 a c}} \]

[In]

Integrate[x/(a + b*E^x + c*E^(2*x)),x]

[Out]

-1/2*((b + Sqrt[b^2 - 4*a*c])*x*Log[1 + (b - Sqrt[b^2 - 4*a*c])/(2*c*E^x)] + (-b + Sqrt[b^2 - 4*a*c])*x*Log[1
+ (b + Sqrt[b^2 - 4*a*c])/(2*c*E^x)] - (b + Sqrt[b^2 - 4*a*c])*PolyLog[2, (-b + Sqrt[b^2 - 4*a*c])/(2*c*E^x)]
+ (b - Sqrt[b^2 - 4*a*c])*PolyLog[2, -1/2*(b + Sqrt[b^2 - 4*a*c])/(c*E^x)])/(a*Sqrt[b^2 - 4*a*c])

Maple [A] (verified)

Time = 0.03 (sec) , antiderivative size = 376, normalized size of antiderivative = 1.36

method result size
default \(\frac {-\frac {x \left (\ln \left (\frac {-2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}-b}{-b +\sqrt {-4 c a +b^{2}}}\right ) \sqrt {-4 c a +b^{2}}+\ln \left (\frac {-2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}-b}{-b +\sqrt {-4 c a +b^{2}}}\right ) b +\ln \left (\frac {2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}+b}{b +\sqrt {-4 c a +b^{2}}}\right ) \sqrt {-4 c a +b^{2}}-\ln \left (\frac {2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}+b}{b +\sqrt {-4 c a +b^{2}}}\right ) b \right )}{2 \sqrt {-4 c a +b^{2}}}-\frac {\operatorname {dilog}\left (\frac {-2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}-b}{-b +\sqrt {-4 c a +b^{2}}}\right ) \sqrt {-4 c a +b^{2}}+\operatorname {dilog}\left (\frac {-2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}-b}{-b +\sqrt {-4 c a +b^{2}}}\right ) b +\operatorname {dilog}\left (\frac {2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}+b}{b +\sqrt {-4 c a +b^{2}}}\right ) \sqrt {-4 c a +b^{2}}-\operatorname {dilog}\left (\frac {2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}+b}{b +\sqrt {-4 c a +b^{2}}}\right ) b}{2 \sqrt {-4 c a +b^{2}}}}{a}+\frac {x^{2}}{2 a}\) \(376\)
risch \(-\frac {\ln \left (\frac {-2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}-b}{-b +\sqrt {-4 c a +b^{2}}}\right ) x}{2 a}-\frac {\ln \left (\frac {2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}+b}{b +\sqrt {-4 c a +b^{2}}}\right ) x}{2 a}-\frac {x \ln \left (\frac {-2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}-b}{-b +\sqrt {-4 c a +b^{2}}}\right ) b}{2 a \sqrt {-4 c a +b^{2}}}+\frac {x \ln \left (\frac {2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}+b}{b +\sqrt {-4 c a +b^{2}}}\right ) b}{2 a \sqrt {-4 c a +b^{2}}}-\frac {\operatorname {dilog}\left (\frac {-2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}-b}{-b +\sqrt {-4 c a +b^{2}}}\right )}{2 a}-\frac {\operatorname {dilog}\left (\frac {2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}+b}{b +\sqrt {-4 c a +b^{2}}}\right )}{2 a}-\frac {\operatorname {dilog}\left (\frac {-2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}-b}{-b +\sqrt {-4 c a +b^{2}}}\right ) b}{2 a \sqrt {-4 c a +b^{2}}}+\frac {\operatorname {dilog}\left (\frac {2 c \,{\mathrm e}^{x}+\sqrt {-4 c a +b^{2}}+b}{b +\sqrt {-4 c a +b^{2}}}\right ) b}{2 a \sqrt {-4 c a +b^{2}}}+\frac {x^{2}}{2 a}\) \(378\)

[In]

int(x/(a+b*exp(x)+c*exp(2*x)),x,method=_RETURNVERBOSE)

[Out]

1/a*(-1/2*x*(ln((-2*c*exp(x)+(-4*a*c+b^2)^(1/2)-b)/(-b+(-4*a*c+b^2)^(1/2)))*(-4*a*c+b^2)^(1/2)+ln((-2*c*exp(x)
+(-4*a*c+b^2)^(1/2)-b)/(-b+(-4*a*c+b^2)^(1/2)))*b+ln((2*c*exp(x)+(-4*a*c+b^2)^(1/2)+b)/(b+(-4*a*c+b^2)^(1/2)))
*(-4*a*c+b^2)^(1/2)-ln((2*c*exp(x)+(-4*a*c+b^2)^(1/2)+b)/(b+(-4*a*c+b^2)^(1/2)))*b)/(-4*a*c+b^2)^(1/2)-1/2*(di
log((-2*c*exp(x)+(-4*a*c+b^2)^(1/2)-b)/(-b+(-4*a*c+b^2)^(1/2)))*(-4*a*c+b^2)^(1/2)+dilog((-2*c*exp(x)+(-4*a*c+
b^2)^(1/2)-b)/(-b+(-4*a*c+b^2)^(1/2)))*b+dilog((2*c*exp(x)+(-4*a*c+b^2)^(1/2)+b)/(b+(-4*a*c+b^2)^(1/2)))*(-4*a
*c+b^2)^(1/2)-dilog((2*c*exp(x)+(-4*a*c+b^2)^(1/2)+b)/(b+(-4*a*c+b^2)^(1/2)))*b)/(-4*a*c+b^2)^(1/2))+1/2/a*x^2

Fricas [A] (verification not implemented)

none

Time = 0.31 (sec) , antiderivative size = 280, normalized size of antiderivative = 1.01 \[ \int \frac {x}{a+b e^x+c e^{2 x}} \, dx=\frac {{\left (b^{2} - 4 \, a c\right )} x^{2} - {\left (a b \sqrt {\frac {b^{2} - 4 \, a c}{a^{2}}} + b^{2} - 4 \, a c\right )} {\rm Li}_2\left (-\frac {a \sqrt {\frac {b^{2} - 4 \, a c}{a^{2}}} e^{x} + b e^{x} + 2 \, a}{2 \, a} + 1\right ) + {\left (a b \sqrt {\frac {b^{2} - 4 \, a c}{a^{2}}} - b^{2} + 4 \, a c\right )} {\rm Li}_2\left (\frac {a \sqrt {\frac {b^{2} - 4 \, a c}{a^{2}}} e^{x} - b e^{x} - 2 \, a}{2 \, a} + 1\right ) - {\left (a b x \sqrt {\frac {b^{2} - 4 \, a c}{a^{2}}} + {\left (b^{2} - 4 \, a c\right )} x\right )} \log \left (\frac {a \sqrt {\frac {b^{2} - 4 \, a c}{a^{2}}} e^{x} + b e^{x} + 2 \, a}{2 \, a}\right ) + {\left (a b x \sqrt {\frac {b^{2} - 4 \, a c}{a^{2}}} - {\left (b^{2} - 4 \, a c\right )} x\right )} \log \left (-\frac {a \sqrt {\frac {b^{2} - 4 \, a c}{a^{2}}} e^{x} - b e^{x} - 2 \, a}{2 \, a}\right )}{2 \, {\left (a b^{2} - 4 \, a^{2} c\right )}} \]

[In]

integrate(x/(a+b*exp(x)+c*exp(2*x)),x, algorithm="fricas")

[Out]

1/2*((b^2 - 4*a*c)*x^2 - (a*b*sqrt((b^2 - 4*a*c)/a^2) + b^2 - 4*a*c)*dilog(-1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e^x
 + b*e^x + 2*a)/a + 1) + (a*b*sqrt((b^2 - 4*a*c)/a^2) - b^2 + 4*a*c)*dilog(1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e^x
- b*e^x - 2*a)/a + 1) - (a*b*x*sqrt((b^2 - 4*a*c)/a^2) + (b^2 - 4*a*c)*x)*log(1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e
^x + b*e^x + 2*a)/a) + (a*b*x*sqrt((b^2 - 4*a*c)/a^2) - (b^2 - 4*a*c)*x)*log(-1/2*(a*sqrt((b^2 - 4*a*c)/a^2)*e
^x - b*e^x - 2*a)/a))/(a*b^2 - 4*a^2*c)

Sympy [F]

\[ \int \frac {x}{a+b e^x+c e^{2 x}} \, dx=\int \frac {x}{a + b e^{x} + c e^{2 x}}\, dx \]

[In]

integrate(x/(a+b*exp(x)+c*exp(2*x)),x)

[Out]

Integral(x/(a + b*exp(x) + c*exp(2*x)), x)

Maxima [F(-2)]

Exception generated. \[ \int \frac {x}{a+b e^x+c e^{2 x}} \, dx=\text {Exception raised: ValueError} \]

[In]

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

Giac [F]

\[ \int \frac {x}{a+b e^x+c e^{2 x}} \, dx=\int { \frac {x}{c e^{\left (2 \, x\right )} + b e^{x} + a} \,d x } \]

[In]

integrate(x/(a+b*exp(x)+c*exp(2*x)),x, algorithm="giac")

[Out]

integrate(x/(c*e^(2*x) + b*e^x + a), x)

Mupad [F(-1)]

Timed out. \[ \int \frac {x}{a+b e^x+c e^{2 x}} \, dx=\int \frac {x}{a+b\,{\mathrm {e}}^x+c\,{\mathrm {e}}^{2\,x}} \,d x \]

[In]

int(x/(a + b*exp(x) + c*exp(2*x)),x)

[Out]

int(x/(a + b*exp(x) + c*exp(2*x)), x)