3.6.64 \(\int a^x b^x x \, dx\) [564]

Optimal. Leaf size=31 \[ -\frac {a^x b^x}{(\log (a)+\log (b))^2}+\frac {a^x b^x x}{\log (a)+\log (b)} \]

[Out]

-a^x*b^x/(ln(a)+ln(b))^2+a^x*b^x*x/(ln(a)+ln(b))

________________________________________________________________________________________

Rubi [A]
time = 0.02, antiderivative size = 31, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.375, Rules used = {2325, 2207, 2225} \begin {gather*} \frac {x a^x b^x}{\log (a)+\log (b)}-\frac {a^x b^x}{(\log (a)+\log (b))^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[a^x*b^x*x,x]

[Out]

-((a^x*b^x)/(Log[a] + Log[b])^2) + (a^x*b^x*x)/(Log[a] + Log[b])

Rule 2207

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

Rule 2225

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

Rule 2325

Int[(u_.)*(F_)^(v_)*(G_)^(w_), x_Symbol] :> With[{z = v*Log[F] + w*Log[G]}, Int[u*NormalizeIntegrand[E^z, x],
x] /; BinomialQ[z, x] || (PolynomialQ[z, x] && LeQ[Exponent[z, x], 2])] /; FreeQ[{F, G}, x]

Rubi steps

\begin {align*} \int a^x b^x x \, dx &=\int e^{x (\log (a)+\log (b))} x \, dx\\ &=\frac {a^x b^x x}{\log (a)+\log (b)}-\frac {\int e^{x (\log (a)+\log (b))} \, dx}{\log (a)+\log (b)}\\ &=-\frac {a^x b^x}{(\log (a)+\log (b))^2}+\frac {a^x b^x x}{\log (a)+\log (b)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.02, size = 26, normalized size = 0.84 \begin {gather*} a^x b^x \left (-\frac {1}{(\log (a)+\log (b))^2}+\frac {x}{\log (a)+\log (b)}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[a^x*b^x*x,x]

[Out]

a^x*b^x*(-(Log[a] + Log[b])^(-2) + x/(Log[a] + Log[b]))

________________________________________________________________________________________

Maple [A]
time = 0.02, size = 25, normalized size = 0.81

method	result	size
gosper	\(\frac {\left (\ln \left (b \right ) x +\ln \left (a \right ) x -1\right ) a^{x} b^{x}}{\left (\ln \left (a \right )+\ln \left (b \right )\right )^{2}}\)	\(25\)
risch	\(\frac {\left (\ln \left (b \right ) x +\ln \left (a \right ) x -1\right ) a^{x} b^{x}}{\left (\ln \left (a \right )+\ln \left (b \right )\right )^{2}}\)	\(25\)
norman	\(\frac {x \,{\mathrm e}^{\ln \left (a \right ) x} {\mathrm e}^{\ln \left (b \right ) x}}{\ln \left (a \right )+\ln \left (b \right )}-\frac {{\mathrm e}^{\ln \left (a \right ) x} {\mathrm e}^{\ln \left (b \right ) x}}{\left (\ln \left (a \right )+\ln \left (b \right )\right )^{2}}\)	\(40\)
meijerg	\(\frac {1-\frac {\left (2-2 x \ln \left (b \right ) \left (1+\frac {\ln \left (a \right )}{\ln \left (b \right )}\right )\right ) {\mathrm e}^{x \ln \left (b \right ) \left (1+\frac {\ln \left (a \right )}{\ln \left (b \right )}\right )}}{2}}{\ln \left (b \right )^{2} \left (1+\frac {\ln \left (a \right )}{\ln \left (b \right )}\right )^{2}}\)	\(51\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(a^x*b^x*x,x,method=_RETURNVERBOSE)

[Out]

(ln(b)*x+ln(a)*x-1)*a^x*b^x/(ln(a)+ln(b))^2

________________________________________________________________________________________

Maxima [A]
time = 0.28, size = 37, normalized size = 1.19 \begin {gather*} \frac {{\left (x {\left (\log \left (a\right ) + \log \left (b\right )\right )} - 1\right )} e^{\left (x \log \left (a\right ) + x \log \left (b\right )\right )}}{\log \left (a\right )^{2} + 2 \, \log \left (a\right ) \log \left (b\right ) + \log \left (b\right )^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(a^x*b^x*x,x, algorithm="maxima")

[Out]

(x*(log(a) + log(b)) - 1)*e^(x*log(a) + x*log(b))/(log(a)^2 + 2*log(a)*log(b) + log(b)^2)

________________________________________________________________________________________

Fricas [A]
time = 0.40, size = 34, normalized size = 1.10 \begin {gather*} \frac {{\left (x \log \left (a\right ) + x \log \left (b\right ) - 1\right )} a^{x} b^{x}}{\log \left (a\right )^{2} + 2 \, \log \left (a\right ) \log \left (b\right ) + \log \left (b\right )^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(a^x*b^x*x,x, algorithm="fricas")

[Out]

(x*log(a) + x*log(b) - 1)*a^x*b^x/(log(a)^2 + 2*log(a)*log(b) + log(b)^2)

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 190 vs. \(2 (29) = 58\).
time = 0.35, size = 190, normalized size = 6.13 \begin {gather*} \begin {cases} \frac {a^{x} b^{x} x \log {\left (a \right )}}{\log {\left (a \right )}^{2} + 2 \log {\left (a \right )} \log {\left (b \right )} + \log {\left (b \right )}^{2}} + \frac {a^{x} b^{x} x \log {\left (b \right )}}{\log {\left (a \right )}^{2} + 2 \log {\left (a \right )} \log {\left (b \right )} + \log {\left (b \right )}^{2}} - \frac {a^{x} b^{x}}{\log {\left (a \right )}^{2} + 2 \log {\left (a \right )} \log {\left (b \right )} + \log {\left (b \right )}^{2}} & \text {for}\: a \neq \frac {1}{b} \\\frac {b^{x} x \left (\frac {1}{b}\right )^{x} \log {\left (\frac {1}{b} \right )}}{\log {\left (\frac {1}{b} \right )}^{2} + 2 \log {\left (\frac {1}{b} \right )} \log {\left (b \right )} + \log {\left (b \right )}^{2}} + \frac {b^{x} x \left (\frac {1}{b}\right )^{x} \log {\left (b \right )}}{\log {\left (\frac {1}{b} \right )}^{2} + 2 \log {\left (\frac {1}{b} \right )} \log {\left (b \right )} + \log {\left (b \right )}^{2}} - \frac {b^{x} \left (\frac {1}{b}\right )^{x}}{\log {\left (\frac {1}{b} \right )}^{2} + 2 \log {\left (\frac {1}{b} \right )} \log {\left (b \right )} + \log {\left (b \right )}^{2}} & \text {otherwise} \end {cases} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(a**x*b**x*x,x)

[Out]

Piecewise((a**x*b**x*x*log(a)/(log(a)**2 + 2*log(a)*log(b) + log(b)**2) + a**x*b**x*x*log(b)/(log(a)**2 + 2*lo
g(a)*log(b) + log(b)**2) - a**x*b**x/(log(a)**2 + 2*log(a)*log(b) + log(b)**2), Ne(a, 1/b)), (b**x*x*(1/b)**x*
log(1/b)/(log(1/b)**2 + 2*log(1/b)*log(b) + log(b)**2) + b**x*x*(1/b)**x*log(b)/(log(1/b)**2 + 2*log(1/b)*log(
b) + log(b)**2) - b**x*(1/b)**x/(log(1/b)**2 + 2*log(1/b)*log(b) + log(b)**2), True))

________________________________________________________________________________________

Giac [C] Result contains complex when optimal does not.
time = 4.77, size = 994, normalized size = 32.06 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(a^x*b^x*x,x, algorithm="giac")

[Out]

(2*((pi*x*sgn(a) + pi*x*sgn(b) - 2*pi*x)*(pi*log(abs(a))*sgn(a) + pi*log(abs(b))*sgn(a) + pi*log(abs(a))*sgn(b
) + pi*log(abs(b))*sgn(b) - 2*pi*log(abs(a)) - 2*pi*log(abs(b)))/((pi^2*sgn(a)*sgn(b) - 2*pi^2*sgn(a) - 2*pi^2
*sgn(b) + 3*pi^2 - 2*log(abs(a))^2 - 4*log(abs(a))*log(abs(b)) - 2*log(abs(b))^2)^2 + 4*(pi*log(abs(a))*sgn(a)
+ pi*log(abs(b))*sgn(a) + pi*log(abs(a))*sgn(b) + pi*log(abs(b))*sgn(b) - 2*pi*log(abs(a)) - 2*pi*log(abs(b))
)^2) - (pi^2*sgn(a)*sgn(b) - 2*pi^2*sgn(a) - 2*pi^2*sgn(b) + 3*pi^2 - 2*log(abs(a))^2 - 4*log(abs(a))*log(abs(
b)) - 2*log(abs(b))^2)*(x*log(abs(a)) + x*log(abs(b)) - 1)/((pi^2*sgn(a)*sgn(b) - 2*pi^2*sgn(a) - 2*pi^2*sgn(b
) + 3*pi^2 - 2*log(abs(a))^2 - 4*log(abs(a))*log(abs(b)) - 2*log(abs(b))^2)^2 + 4*(pi*log(abs(a))*sgn(a) + pi*
log(abs(b))*sgn(a) + pi*log(abs(a))*sgn(b) + pi*log(abs(b))*sgn(b) - 2*pi*log(abs(a)) - 2*pi*log(abs(b)))^2))*
cos(-1/2*pi*x*sgn(a) - 1/2*pi*x*sgn(b) + pi*x) - ((pi^2*sgn(a)*sgn(b) - 2*pi^2*sgn(a) - 2*pi^2*sgn(b) + 3*pi^2
- 2*log(abs(a))^2 - 4*log(abs(a))*log(abs(b)) - 2*log(abs(b))^2)*(pi*x*sgn(a) + pi*x*sgn(b) - 2*pi*x)/((pi^2*
sgn(a)*sgn(b) - 2*pi^2*sgn(a) - 2*pi^2*sgn(b) + 3*pi^2 - 2*log(abs(a))^2 - 4*log(abs(a))*log(abs(b)) - 2*log(a
bs(b))^2)^2 + 4*(pi*log(abs(a))*sgn(a) + pi*log(abs(b))*sgn(a) + pi*log(abs(a))*sgn(b) + pi*log(abs(b))*sgn(b)
- 2*pi*log(abs(a)) - 2*pi*log(abs(b)))^2) + 4*(pi*log(abs(a))*sgn(a) + pi*log(abs(b))*sgn(a) + pi*log(abs(a))
*sgn(b) + pi*log(abs(b))*sgn(b) - 2*pi*log(abs(a)) - 2*pi*log(abs(b)))*(x*log(abs(a)) + x*log(abs(b)) - 1)/((p
i^2*sgn(a)*sgn(b) - 2*pi^2*sgn(a) - 2*pi^2*sgn(b) + 3*pi^2 - 2*log(abs(a))^2 - 4*log(abs(a))*log(abs(b)) - 2*l
og(abs(b))^2)^2 + 4*(pi*log(abs(a))*sgn(a) + pi*log(abs(b))*sgn(a) + pi*log(abs(a))*sgn(b) + pi*log(abs(b))*sg
n(b) - 2*pi*log(abs(a)) - 2*pi*log(abs(b)))^2))*sin(-1/2*pi*x*sgn(a) - 1/2*pi*x*sgn(b) + pi*x))*e^(x*(log(abs(
a)) + log(abs(b)))) + 1/2*I*((pi*x*sgn(a) + pi*x*sgn(b) - 2*pi*x - 2*I*x*log(abs(a)) - 2*I*x*log(abs(b)) + 2*I
)*e^(1/2*I*pi*x*sgn(a) + 1/2*I*pi*x*sgn(b) - I*pi*x)/(pi^2*sgn(a)*sgn(b) - 2*pi^2*sgn(a) - 2*I*pi*log(abs(a))*
sgn(a) - 2*I*pi*log(abs(b))*sgn(a) - 2*pi^2*sgn(b) - 2*I*pi*log(abs(a))*sgn(b) - 2*I*pi*log(abs(b))*sgn(b) + 3
*pi^2 + 4*I*pi*log(abs(a)) - 2*log(abs(a))^2 + 4*I*pi*log(abs(b)) - 4*log(abs(a))*log(abs(b)) - 2*log(abs(b))^
2) + (pi*x*sgn(a) + pi*x*sgn(b) - 2*pi*x + 2*I*x*log(abs(a)) + 2*I*x*log(abs(b)) - 2*I)*e^(-1/2*I*pi*x*sgn(a)
- 1/2*I*pi*x*sgn(b) + I*pi*x)/(pi^2*sgn(a)*sgn(b) - 2*pi^2*sgn(a) + 2*I*pi*log(abs(a))*sgn(a) + 2*I*pi*log(abs
(b))*sgn(a) - 2*pi^2*sgn(b) + 2*I*pi*log(abs(a))*sgn(b) + 2*I*pi*log(abs(b))*sgn(b) + 3*pi^2 - 4*I*pi*log(abs(
a)) - 2*log(abs(a))^2 - 4*I*pi*log(abs(b)) - 4*log(abs(a))*log(abs(b)) - 2*log(abs(b))^2))*e^(x*(log(abs(a)) +
log(abs(b))))

________________________________________________________________________________________

Mupad [B]
time = 0.02, size = 23, normalized size = 0.74 \begin {gather*} \frac {a^x\,b^x\,\left (x\,\left (\ln \left (a\right )+\ln \left (b\right )\right )-1\right )}{{\left (\ln \left (a\right )+\ln \left (b\right )\right )}^2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(a^x*b^x*x,x)

[Out]

(a^x*b^x*(x*(log(a) + log(b)) - 1))/(log(a) + log(b))^2

________________________________________________________________________________________