Integrand size = 91, antiderivative size = 21 \[ \int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx=\left (2+e^x+x\right )^{\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \]
[Out]
\[ \int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx=\int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \left (-\left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )\right )-\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{2 (12-x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx \\ & = \frac {1}{2} \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \left (-\left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )\right )-\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{(12-x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx \\ & = \frac {1}{2} \int \left (\frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \left (-12 \log \left (-3+\frac {x}{4}\right )+x \log \left (-3+\frac {x}{4}\right )-\log \left (2+e^x+x\right )\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )}+\frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \left (-12 \log \left (-3+\frac {x}{4}\right )+x \log \left (-3+\frac {x}{4}\right )-2 \log \left (2+e^x+x\right )-x \log \left (2+e^x+x\right )\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )}\right ) \, dx \\ & = \frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \left (-12 \log \left (-3+\frac {x}{4}\right )+x \log \left (-3+\frac {x}{4}\right )-\log \left (2+e^x+x\right )\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx+\frac {1}{2} \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \left (-12 \log \left (-3+\frac {x}{4}\right )+x \log \left (-3+\frac {x}{4}\right )-2 \log \left (2+e^x+x\right )-x \log \left (2+e^x+x\right )\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx \\ & = \frac {1}{2} \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \left (-\left ((-12+x) \log \left (-3+\frac {x}{4}\right )\right )+(2+x) \log \left (2+e^x+x\right )\right )}{(12-x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx+\frac {1}{2} \int \left (\frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )}-\frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )}\right ) \, dx \\ & = \frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )} \, dx-\frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx+\frac {1}{2} \int \left (\frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )}-\frac {(2+x) \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )}\right ) \, dx \\ & = \frac {1}{2} \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )} \, dx+\frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )} \, dx-\frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx-\frac {1}{2} \int \frac {(2+x) \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx \\ & = \frac {1}{2} \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )} \, dx+\frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )} \, dx-\frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx-\frac {1}{2} \int \left (\frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{\log ^2\left (-3+\frac {x}{4}\right )}+\frac {14 \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )}\right ) \, dx \\ & = \frac {1}{2} \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )} \, dx+\frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}}}{\log \left (-3+\frac {x}{4}\right )} \, dx-\frac {1}{2} \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{\log ^2\left (-3+\frac {x}{4}\right )} \, dx-\frac {1}{2} \int \frac {e^x \left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx-7 \int \frac {\left (2+e^x+x\right )^{-1+\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \log \left (2+e^x+x\right )}{(-12+x) \log ^2\left (-3+\frac {x}{4}\right )} \, dx \\ \end{align*}
Time = 0.67 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.00 \[ \int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx=\left (2+e^x+x\right )^{\frac {1}{2 \log \left (-3+\frac {x}{4}\right )}} \]
[In]
[Out]
Time = 26.41 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.86
method | result | size |
parallelrisch | \({\mathrm e}^{\frac {\ln \left ({\mathrm e}^{x}+2+x \right )}{2 \ln \left (\frac {x}{4}-3\right )}}\) | \(18\) |
risch | \(\left ({\mathrm e}^{x}+2+x \right )^{\frac {1}{-4 \ln \left (2\right )+2 \ln \left (x -12\right )}}\) | \(20\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.76 \[ \int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx={\left (x + e^{x} + 2\right )}^{\frac {1}{2 \, \log \left (\frac {1}{4} \, x - 3\right )}} \]
[In]
[Out]
Timed out. \[ \int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.39 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.10 \[ \int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx=\frac {1}{{\left (x + e^{x} + 2\right )}^{\frac {1}{2 \, {\left (2 \, \log \left (2\right ) - \log \left (x - 12\right )\right )}}}} \]
[In]
[Out]
\[ \int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx=\int { -\frac {{\left ({\left (x + e^{x} + 2\right )} \log \left (x + e^{x} + 2\right ) - {\left ({\left (x - 12\right )} e^{x} + x - 12\right )} \log \left (\frac {1}{4} \, x - 3\right )\right )} {\left (x + e^{x} + 2\right )}^{\frac {1}{2 \, \log \left (\frac {1}{4} \, x - 3\right )}}}{2 \, {\left (x^{2} + {\left (x - 12\right )} e^{x} - 10 \, x - 24\right )} \log \left (\frac {1}{4} \, x - 3\right )^{2}} \,d x } \]
[In]
[Out]
Time = 11.73 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.81 \[ \int \frac {\left (2+e^x+x\right )^{\frac {1}{2 \log \left (\frac {1}{4} (-12+x)\right )}} \left (\left (-12+e^x (-12+x)+x\right ) \log \left (\frac {1}{4} (-12+x)\right )+\left (-2-e^x-x\right ) \log \left (2+e^x+x\right )\right )}{\left (-48-20 x+2 x^2+e^x (-24+2 x)\right ) \log ^2\left (\frac {1}{4} (-12+x)\right )} \, dx={\mathrm {e}}^{\frac {\ln \left (x+{\mathrm {e}}^x+2\right )}{2\,\ln \left (\frac {x}{4}-3\right )}} \]
[In]
[Out]