\(\int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}))}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx\) [6786]

Optimal result

Integrand size = 109, antiderivative size = 22 \[ \int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx=2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} \]

[Out]

exp(5/2*x*ln(2)/ln(x)/(exp(exp(ln(x^2)-5))+3))^2

Rubi [F]

\[ \int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx=\int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx \]

[In]

Int[(2^((10*x)/(6*Log[x] + 2*E^(x^2/E^5)*Log[x]))*(-15*Log[2] + 15*Log[2]*Log[x] + E^(x^2/E^5)*(-5*Log[2] + 5*
Log[2]*Log[x] - (10*x^2*Log[2]*Log[x])/E^5)))/(9*Log[x]^2 + 6*E^(x^2/E^5)*Log[x]^2 + E^((2*x^2)/E^5)*Log[x]^2)
,x]

[Out]

-5*Log[2]*Defer[Int][2^((5*x)/((3 + E^(x^2/E^5))*Log[x]))/((3 + E^(x^2/E^5))*Log[x]^2), x] + 5*Log[2]*Defer[In
t][2^((5*x)/((3 + E^(x^2/E^5))*Log[x]))/((3 + E^(x^2/E^5))*Log[x]), x] + (15*Log[2]*Defer[Int][(2^(1 + (5*x)/(
(3 + E^(x^2/E^5))*Log[x]))*x^2)/((3 + E^(x^2/E^5))^2*Log[x]), x])/E^5 - (5*Log[2]*Defer[Int][(2^(1 + (5*x)/((3
+ E^(x^2/E^5))*Log[x]))*x^2)/((3 + E^(x^2/E^5))*Log[x]), x])/E^5

Rubi steps \begin{align*} \text {integral}& = \int \frac {2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{\left (3+e^{\frac {x^2}{e^5}}\right )^2 \log ^2(x)} \, dx \\ & = \int \left (\frac {15\ 2^{1+\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} x^2 \log (2)}{e^5 \left (3+e^{\frac {x^2}{e^5}}\right )^2 \log (x)}+\frac {5\ 2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} \log (2) \left (-e^5+e^5 \log (x)-2 x^2 \log (x)\right )}{e^5 \left (3+e^{\frac {x^2}{e^5}}\right ) \log ^2(x)}\right ) \, dx \\ & = \frac {(5 \log (2)) \int \frac {2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} \left (-e^5+e^5 \log (x)-2 x^2 \log (x)\right )}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log ^2(x)} \, dx}{e^5}+\frac {(15 \log (2)) \int \frac {2^{1+\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} x^2}{\left (3+e^{\frac {x^2}{e^5}}\right )^2 \log (x)} \, dx}{e^5} \\ & = \frac {(5 \log (2)) \int \left (-\frac {2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} e^5}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log ^2(x)}+\frac {2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} e^5}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}-\frac {2^{1+\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} x^2}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}\right ) \, dx}{e^5}+\frac {(15 \log (2)) \int \frac {2^{1+\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} x^2}{\left (3+e^{\frac {x^2}{e^5}}\right )^2 \log (x)} \, dx}{e^5} \\ & = -\left ((5 \log (2)) \int \frac {2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}}}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log ^2(x)} \, dx\right )+(5 \log (2)) \int \frac {2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}}}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)} \, dx-\frac {(5 \log (2)) \int \frac {2^{1+\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} x^2}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)} \, dx}{e^5}+\frac {(15 \log (2)) \int \frac {2^{1+\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} x^2}{\left (3+e^{\frac {x^2}{e^5}}\right )^2 \log (x)} \, dx}{e^5} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.11 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.36 \[ \int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx=\frac {5\ 2^{\frac {5 x}{\left (3+e^{\frac {x^2}{e^5}}\right ) \log (x)}} \log (2)}{\log (32)} \]

[In]

Integrate[(2^((10*x)/(6*Log[x] + 2*E^(x^2/E^5)*Log[x]))*(-15*Log[2] + 15*Log[2]*Log[x] + E^(x^2/E^5)*(-5*Log[2
] + 5*Log[2]*Log[x] - (10*x^2*Log[2]*Log[x])/E^5)))/(9*Log[x]^2 + 6*E^(x^2/E^5)*Log[x]^2 + E^((2*x^2)/E^5)*Log
[x]^2),x]

[Out]

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

Maple [A] (verified)

Time = 0.26 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.05

\[2^{\frac {5 x}{\ln \left (x \right ) \left ({\mathrm e}^{x^{2} {\mathrm e}^{-5}}+3\right )}}\]

[In]

int(((-10*ln(2)*ln(x)*exp(ln(x^2)-5)+5*ln(2)*ln(x)-5*ln(2))*exp(exp(ln(x^2)-5))+15*ln(2)*ln(x)-15*ln(2))*exp(5
*x*ln(2)/(2*ln(x)*exp(exp(ln(x^2)-5))+6*ln(x)))^2/(ln(x)^2*exp(exp(ln(x^2)-5))^2+6*ln(x)^2*exp(exp(ln(x^2)-5))
+9*ln(x)^2),x)

[Out]

(2^(5/2*x/ln(x)/(exp(x^2*exp(-5))+3)))^2

Fricas [A] (verification not implemented)

none

Time = 0.28 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.91 \[ \int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx=2^{\frac {5 \, x}{{\left (e^{\left (x^{2} e^{\left (-5\right )}\right )} + 3\right )} \log \left (x\right )}} \]

[In]

integrate(((-10*log(2)*log(x)*exp(log(x^2)-5)+5*log(2)*log(x)-5*log(2))*exp(exp(log(x^2)-5))+15*log(2)*log(x)-
15*log(2))*exp(5*x*log(2)/(2*log(x)*exp(exp(log(x^2)-5))+6*log(x)))^2/(log(x)^2*exp(exp(log(x^2)-5))^2+6*log(x
)^2*exp(exp(log(x^2)-5))+9*log(x)^2),x, algorithm="fricas")

[Out]

2^(5*x/((e^(x^2*e^(-5)) + 3)*log(x)))

Sympy [A] (verification not implemented)

Time = 0.59 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.18 \[ \int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx=e^{\frac {10 x \log {\left (2 \right )}}{2 e^{\frac {x^{2}}{e^{5}}} \log {\left (x \right )} + 6 \log {\left (x \right )}}} \]

[In]

integrate(((-10*ln(2)*ln(x)*exp(ln(x**2)-5)+5*ln(2)*ln(x)-5*ln(2))*exp(exp(ln(x**2)-5))+15*ln(2)*ln(x)-15*ln(2
))*exp(5*x*ln(2)/(2*ln(x)*exp(exp(ln(x**2)-5))+6*ln(x)))**2/(ln(x)**2*exp(exp(ln(x**2)-5))**2+6*ln(x)**2*exp(e
xp(ln(x**2)-5))+9*ln(x)**2),x)

[Out]

exp(10*x*log(2)/(2*exp(x**2*exp(-5))*log(x) + 6*log(x)))

Maxima [A] (verification not implemented)

none

Time = 0.32 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.91 \[ \int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx=2^{\frac {5 \, x}{{\left (e^{\left (x^{2} e^{\left (-5\right )}\right )} + 3\right )} \log \left (x\right )}} \]

[In]

integrate(((-10*log(2)*log(x)*exp(log(x^2)-5)+5*log(2)*log(x)-5*log(2))*exp(exp(log(x^2)-5))+15*log(2)*log(x)-
15*log(2))*exp(5*x*log(2)/(2*log(x)*exp(exp(log(x^2)-5))+6*log(x)))^2/(log(x)^2*exp(exp(log(x^2)-5))^2+6*log(x
)^2*exp(exp(log(x^2)-5))+9*log(x)^2),x, algorithm="maxima")

[Out]

2^(5*x/((e^(x^2*e^(-5)) + 3)*log(x)))

Giac [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 22, normalized size of antiderivative = 1.00 \[ \int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx=2^{\frac {5 \, x}{e^{\left (x^{2} e^{\left (-5\right )}\right )} \log \left (x\right ) + 3 \, \log \left (x\right )}} \]

[In]

integrate(((-10*log(2)*log(x)*exp(log(x^2)-5)+5*log(2)*log(x)-5*log(2))*exp(exp(log(x^2)-5))+15*log(2)*log(x)-
15*log(2))*exp(5*x*log(2)/(2*log(x)*exp(exp(log(x^2)-5))+6*log(x)))^2/(log(x)^2*exp(exp(log(x^2)-5))^2+6*log(x
)^2*exp(exp(log(x^2)-5))+9*log(x)^2),x, algorithm="giac")

[Out]

2^(5*x/(e^(x^2*e^(-5))*log(x) + 3*log(x)))

Mupad [B] (verification not implemented)

Time = 11.82 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.05 \[ \int \frac {2^{\frac {10 x}{6 \log (x)+2 e^{\frac {x^2}{e^5}} \log (x)}} \left (-15 \log (2)+15 \log (2) \log (x)+e^{\frac {x^2}{e^5}} \left (-5 \log (2)+5 \log (2) \log (x)-\frac {10 x^2 \log (2) \log (x)}{e^5}\right )\right )}{9 \log ^2(x)+6 e^{\frac {x^2}{e^5}} \log ^2(x)+e^{\frac {2 x^2}{e^5}} \log ^2(x)} \, dx={\mathrm {e}}^{\frac {5\,x\,\ln \left (2\right )}{3\,\ln \left (x\right )+{\mathrm {e}}^{x^2\,{\mathrm {e}}^{-5}}\,\ln \left (x\right )}} \]

[In]

int(-(exp((10*x*log(2))/(6*log(x) + 2*exp(exp(log(x^2) - 5))*log(x)))*(15*log(2) + exp(exp(log(x^2) - 5))*(5*l
og(2) - 5*log(2)*log(x) + 10*exp(log(x^2) - 5)*log(2)*log(x)) - 15*log(2)*log(x)))/(6*exp(exp(log(x^2) - 5))*l
og(x)^2 + 9*log(x)^2 + exp(2*exp(log(x^2) - 5))*log(x)^2),x)

[Out]

exp((5*x*log(2))/(3*log(x) + exp(x^2*exp(-5))*log(x)))