\(\int \frac {12 e^x+15 e^{6 x}+(3 e^{6 x}+e^x (48+12 x)) \log (\frac {1}{4} (16+e^{5 x}+4 x))}{16+e^{5 x}+4 x} \, dx\) [1034]

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

Optimal result

Integrand size = 59, antiderivative size = 18 \[ \int \frac {12 e^x+15 e^{6 x}+\left (3 e^{6 x}+e^x (48+12 x)\right ) \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )}{16+e^{5 x}+4 x} \, dx=3 e^x \log \left (4+\frac {e^{5 x}}{4}+x\right ) \]

[Out]

3*ln(1/4*exp(5*x)+x+4)*exp(x)

Rubi [A] (verified)

Time = 0.53 (sec) , antiderivative size = 20, normalized size of antiderivative = 1.11, number of steps used = 13, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.051, Rules used = {6874, 2225, 2634} \[ \int \frac {12 e^x+15 e^{6 x}+\left (3 e^{6 x}+e^x (48+12 x)\right ) \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )}{16+e^{5 x}+4 x} \, dx=3 e^x \log \left (\frac {1}{4} \left (4 x+e^{5 x}+16\right )\right ) \]

[In]

Int[(12*E^x + 15*E^(6*x) + (3*E^(6*x) + E^x*(48 + 12*x))*Log[(16 + E^(5*x) + 4*x)/4])/(16 + E^(5*x) + 4*x),x]

[Out]

3*E^x*Log[(16 + E^(5*x) + 4*x)/4]

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 2634

Int[Log[u_]*(v_), x_Symbol] :> With[{w = IntHide[v, x]}, Dist[Log[u], w, x] - Int[SimplifyIntegrand[w*(D[u, x]
/u), x], x] /; InverseFunctionFreeQ[w, x]] /; InverseFunctionFreeQ[u, x]

Rule 6874

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

Rubi steps \begin{align*} \text {integral}& = \int \left (-\frac {12 e^x (19+5 x)}{16+e^{5 x}+4 x}+3 e^x \left (5+\log \left (4+\frac {e^{5 x}}{4}+x\right )\right )\right ) \, dx \\ & = 3 \int e^x \left (5+\log \left (4+\frac {e^{5 x}}{4}+x\right )\right ) \, dx-12 \int \frac {e^x (19+5 x)}{16+e^{5 x}+4 x} \, dx \\ & = 3 \int \left (5 e^x+e^x \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )\right ) \, dx-12 \int \left (\frac {19 e^x}{16+e^{5 x}+4 x}+\frac {5 e^x x}{16+e^{5 x}+4 x}\right ) \, dx \\ & = 3 \int e^x \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right ) \, dx+15 \int e^x \, dx-60 \int \frac {e^x x}{16+e^{5 x}+4 x} \, dx-228 \int \frac {e^x}{16+e^{5 x}+4 x} \, dx \\ & = 15 e^x+3 e^x \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )-3 \int \frac {e^x \left (4+5 e^{5 x}\right )}{e^{5 x}+4 (4+x)} \, dx-60 \int \frac {e^x x}{16+e^{5 x}+4 x} \, dx-228 \int \frac {e^x}{16+e^{5 x}+4 x} \, dx \\ & = 15 e^x+3 e^x \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )-3 \int \left (5 e^x-\frac {4 e^x (19+5 x)}{16+e^{5 x}+4 x}\right ) \, dx-60 \int \frac {e^x x}{16+e^{5 x}+4 x} \, dx-228 \int \frac {e^x}{16+e^{5 x}+4 x} \, dx \\ & = 15 e^x+3 e^x \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )+12 \int \frac {e^x (19+5 x)}{16+e^{5 x}+4 x} \, dx-15 \int e^x \, dx-60 \int \frac {e^x x}{16+e^{5 x}+4 x} \, dx-228 \int \frac {e^x}{16+e^{5 x}+4 x} \, dx \\ & = 3 e^x \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )+12 \int \left (\frac {19 e^x}{16+e^{5 x}+4 x}+\frac {5 e^x x}{16+e^{5 x}+4 x}\right ) \, dx-60 \int \frac {e^x x}{16+e^{5 x}+4 x} \, dx-228 \int \frac {e^x}{16+e^{5 x}+4 x} \, dx \\ & = 3 e^x \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right ) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.07 (sec) , antiderivative size = 18, normalized size of antiderivative = 1.00 \[ \int \frac {12 e^x+15 e^{6 x}+\left (3 e^{6 x}+e^x (48+12 x)\right ) \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )}{16+e^{5 x}+4 x} \, dx=3 e^x \log \left (4+\frac {e^{5 x}}{4}+x\right ) \]

[In]

Integrate[(12*E^x + 15*E^(6*x) + (3*E^(6*x) + E^x*(48 + 12*x))*Log[(16 + E^(5*x) + 4*x)/4])/(16 + E^(5*x) + 4*
x),x]

[Out]

3*E^x*Log[4 + E^(5*x)/4 + x]

Maple [A] (verified)

Time = 0.11 (sec) , antiderivative size = 15, normalized size of antiderivative = 0.83

method result size
risch \(3 \ln \left (\frac {{\mathrm e}^{5 x}}{4}+x +4\right ) {\mathrm e}^{x}\) \(15\)
parallelrisch \(3 \ln \left (\frac {{\mathrm e}^{5 x}}{4}+x +4\right ) {\mathrm e}^{x}\) \(15\)

[In]

int(((3*exp(x)*exp(5*x)+(12*x+48)*exp(x))*ln(1/4*exp(5*x)+x+4)+15*exp(x)*exp(5*x)+12*exp(x))/(exp(5*x)+4*x+16)
,x,method=_RETURNVERBOSE)

[Out]

3*ln(1/4*exp(5*x)+x+4)*exp(x)

Fricas [A] (verification not implemented)

none

Time = 0.24 (sec) , antiderivative size = 14, normalized size of antiderivative = 0.78 \[ \int \frac {12 e^x+15 e^{6 x}+\left (3 e^{6 x}+e^x (48+12 x)\right ) \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )}{16+e^{5 x}+4 x} \, dx=3 \, e^{x} \log \left (x + \frac {1}{4} \, e^{\left (5 \, x\right )} + 4\right ) \]

[In]

integrate(((3*exp(x)*exp(5*x)+(12*x+48)*exp(x))*log(1/4*exp(5*x)+x+4)+15*exp(x)*exp(5*x)+12*exp(x))/(exp(5*x)+
4*x+16),x, algorithm="fricas")

[Out]

3*e^x*log(x + 1/4*e^(5*x) + 4)

Sympy [F(-1)]

Timed out. \[ \int \frac {12 e^x+15 e^{6 x}+\left (3 e^{6 x}+e^x (48+12 x)\right ) \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )}{16+e^{5 x}+4 x} \, dx=\text {Timed out} \]

[In]

integrate(((3*exp(x)*exp(5*x)+(12*x+48)*exp(x))*ln(1/4*exp(5*x)+x+4)+15*exp(x)*exp(5*x)+12*exp(x))/(exp(5*x)+4
*x+16),x)

[Out]

Timed out

Maxima [A] (verification not implemented)

none

Time = 0.29 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.17 \[ \int \frac {12 e^x+15 e^{6 x}+\left (3 e^{6 x}+e^x (48+12 x)\right ) \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )}{16+e^{5 x}+4 x} \, dx=-6 \, e^{x} \log \left (2\right ) + 3 \, e^{x} \log \left (4 \, x + e^{\left (5 \, x\right )} + 16\right ) \]

[In]

integrate(((3*exp(x)*exp(5*x)+(12*x+48)*exp(x))*log(1/4*exp(5*x)+x+4)+15*exp(x)*exp(5*x)+12*exp(x))/(exp(5*x)+
4*x+16),x, algorithm="maxima")

[Out]

-6*e^x*log(2) + 3*e^x*log(4*x + e^(5*x) + 16)

Giac [A] (verification not implemented)

none

Time = 0.29 (sec) , antiderivative size = 14, normalized size of antiderivative = 0.78 \[ \int \frac {12 e^x+15 e^{6 x}+\left (3 e^{6 x}+e^x (48+12 x)\right ) \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )}{16+e^{5 x}+4 x} \, dx=3 \, e^{x} \log \left (x + \frac {1}{4} \, e^{\left (5 \, x\right )} + 4\right ) \]

[In]

integrate(((3*exp(x)*exp(5*x)+(12*x+48)*exp(x))*log(1/4*exp(5*x)+x+4)+15*exp(x)*exp(5*x)+12*exp(x))/(exp(5*x)+
4*x+16),x, algorithm="giac")

[Out]

3*e^x*log(x + 1/4*e^(5*x) + 4)

Mupad [B] (verification not implemented)

Time = 0.17 (sec) , antiderivative size = 14, normalized size of antiderivative = 0.78 \[ \int \frac {12 e^x+15 e^{6 x}+\left (3 e^{6 x}+e^x (48+12 x)\right ) \log \left (\frac {1}{4} \left (16+e^{5 x}+4 x\right )\right )}{16+e^{5 x}+4 x} \, dx=3\,{\mathrm {e}}^x\,\ln \left (x+\frac {{\mathrm {e}}^{5\,x}}{4}+4\right ) \]

[In]

int((15*exp(6*x) + 12*exp(x) + log(x + exp(5*x)/4 + 4)*(3*exp(6*x) + exp(x)*(12*x + 48)))/(4*x + exp(5*x) + 16
),x)

[Out]

3*exp(x)*log(x + exp(5*x)/4 + 4)