Integrand size = 109, antiderivative size = 18 \[ \int \frac {e^{\frac {-1+e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)}{-e^x+4 \log (6 x)}} \left (16-4 e^x x+4 e^{2 x} x-32 e^x x \log (6 x)+64 x \log ^2(6 x)\right )}{e^{2 x} x-8 e^x x \log (6 x)+16 x \log ^2(6 x)} \, dx=8 e^{x+\frac {1}{e^x-4 \log (6 x)}} \] Output:
4*exp(1/(exp(x)-4*ln(6*x))+ln(2)+x)
Time = 0.25 (sec) , antiderivative size = 18, normalized size of antiderivative = 1.00 \[ \int \frac {e^{\frac {-1+e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)}{-e^x+4 \log (6 x)}} \left (16-4 e^x x+4 e^{2 x} x-32 e^x x \log (6 x)+64 x \log ^2(6 x)\right )}{e^{2 x} x-8 e^x x \log (6 x)+16 x \log ^2(6 x)} \, dx=8 e^{x+\frac {1}{e^x-4 \log (6 x)}} \] Input:
Integrate[(E^((-1 + E^x*(-x - Log[2]) + (4*x + 4*Log[2])*Log[6*x])/(-E^x + 4*Log[6*x]))*(16 - 4*E^x*x + 4*E^(2*x)*x - 32*E^x*x*Log[6*x] + 64*x*Log[6 *x]^2))/(E^(2*x)*x - 8*E^x*x*Log[6*x] + 16*x*Log[6*x]^2),x]
Output:
8*E^(x + (E^x - 4*Log[6*x])^(-1))
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
| \(\displaystyle \int \frac {\left (-4 e^x x+4 e^{2 x} x+64 x \log ^2(6 x)-32 e^x x \log (6 x)+16\right ) \exp \left (\frac {e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)-1}{4 \log (6 x)-e^x}\right )}{e^{2 x} x+16 x \log ^2(6 x)-8 e^x x \log (6 x)} \, dx\) |
| \(\Big \downarrow \) 7292 |
| \(\displaystyle \int \frac {4 \left (-e^x x+e^{2 x} x+16 x \log ^2(6 x)-8 e^x x \log (6 x)+4\right ) \exp \left (\frac {e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)-1}{4 \log (6 x)-e^x}\right )}{x \left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 27 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}-1} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (-\frac {2^{2-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}} 3^{-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}-1}}{\left (e^x-4 \log (6 x)\right )^2}+6^{-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}}-\frac {6^{-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{-\frac {4 x+4 \log (2)}{e^x-4 \log (6 x)}}}{e^x-4 \log (6 x)}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}-\frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}+1}}{e^x-4 \log (6 x)}-\frac {2^{2-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} 3^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} (x \log (6 x)-1) x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}}}{\left (e^x-4 \log (6 x)\right )^2}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \frac {6^{-\frac {4 (x+\log (2))}{e^x-4 \log (6 x)}} e^{\frac {e^x (x+\log (2))+1}{e^x-4 \log (6 x)}} x^{\frac {-4 x-e^x+4 \log (x)+\log (81)}{e^x-4 \log (6 x)}} \left (16 x \log ^2(6 x)-8 e^x x \log (6 x)-e^x x+e^{2 x} x+4\right )}{\left (e^x-4 \log (6 x)\right )^2}dx\) |
Input:
Int[(E^((-1 + E^x*(-x - Log[2]) + (4*x + 4*Log[2])*Log[6*x])/(-E^x + 4*Log [6*x]))*(16 - 4*E^x*x + 4*E^(2*x)*x - 32*E^x*x*Log[6*x] + 64*x*Log[6*x]^2) )/(E^(2*x)*x - 8*E^x*x*Log[6*x] + 16*x*Log[6*x]^2),x]
Output:
$Aborted
Leaf count of result is larger than twice the leaf count of optimal. \(41\) vs. \(2(18)=36\).
Time = 1.29 (sec) , antiderivative size = 42, normalized size of antiderivative = 2.33
| method | result | size |
| risch | \(4 \,{\mathrm e}^{\frac {-4 \ln \left (6 x \right ) \ln \left (2\right )-4 \ln \left (6 x \right ) x +{\mathrm e}^{x} \ln \left (2\right )+{\mathrm e}^{x} x +1}{{\mathrm e}^{x}-4 \ln \left (6 x \right )}}\) | \(42\) |
| parallelrisch | \(4 \,{\mathrm e}^{\frac {\left (4 \ln \left (2\right )+4 x \right ) \ln \left (6 x \right )+\left (-x -\ln \left (2\right )\right ) {\mathrm e}^{x}-1}{4 \ln \left (6 x \right )-{\mathrm e}^{x}}}\) | \(44\) |
Input:
int((64*x*ln(6*x)^2-32*x*exp(x)*ln(6*x)+4*x*exp(x)^2-4*exp(x)*x+16)*exp((( 4*ln(2)+4*x)*ln(6*x)+(-x-ln(2))*exp(x)-1)/(4*ln(6*x)-exp(x)))/(16*x*ln(6*x )^2-8*x*exp(x)*ln(6*x)+x*exp(x)^2),x,method=_RETURNVERBOSE)
Output:
4*exp((-4*ln(6*x)*ln(2)-4*ln(6*x)*x+exp(x)*ln(2)+exp(x)*x+1)/(exp(x)-4*ln( 6*x)))
Time = 0.11 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.89 \[ \int \frac {e^{\frac {-1+e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)}{-e^x+4 \log (6 x)}} \left (16-4 e^x x+4 e^{2 x} x-32 e^x x \log (6 x)+64 x \log ^2(6 x)\right )}{e^{2 x} x-8 e^x x \log (6 x)+16 x \log ^2(6 x)} \, dx=4 \, e^{\left (\frac {{\left (x + \log \left (2\right )\right )} e^{x} - 4 \, {\left (x + \log \left (2\right )\right )} \log \left (6 \, x\right ) + 1}{e^{x} - 4 \, \log \left (6 \, x\right )}\right )} \] Input:
integrate((64*x*log(6*x)^2-32*x*exp(x)*log(6*x)+4*x*exp(x)^2-4*exp(x)*x+16 )*exp(((4*log(2)+4*x)*log(6*x)+(-x-log(2))*exp(x)-1)/(4*log(6*x)-exp(x)))/ (16*x*log(6*x)^2-8*x*exp(x)*log(6*x)+x*exp(x)^2),x, algorithm="fricas")
Output:
4*e^(((x + log(2))*e^x - 4*(x + log(2))*log(6*x) + 1)/(e^x - 4*log(6*x)))
Leaf count of result is larger than twice the leaf count of optimal. 37 vs. \(2 (15) = 30\).
Time = 0.46 (sec) , antiderivative size = 37, normalized size of antiderivative = 2.06 \[ \int \frac {e^{\frac {-1+e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)}{-e^x+4 \log (6 x)}} \left (16-4 e^x x+4 e^{2 x} x-32 e^x x \log (6 x)+64 x \log ^2(6 x)\right )}{e^{2 x} x-8 e^x x \log (6 x)+16 x \log ^2(6 x)} \, dx=4 e^{\frac {\left (- x - \log {\left (2 \right )}\right ) e^{x} + \left (4 x + 4 \log {\left (2 \right )}\right ) \log {\left (6 x \right )} - 1}{- e^{x} + 4 \log {\left (6 x \right )}}} \] Input:
integrate((64*x*ln(6*x)**2-32*x*exp(x)*ln(6*x)+4*x*exp(x)**2-4*exp(x)*x+16 )*exp(((4*ln(2)+4*x)*ln(6*x)+(-x-ln(2))*exp(x)-1)/(4*ln(6*x)-exp(x)))/(16* x*ln(6*x)**2-8*x*exp(x)*ln(6*x)+x*exp(x)**2),x)
Output:
4*exp(((-x - log(2))*exp(x) + (4*x + 4*log(2))*log(6*x) - 1)/(-exp(x) + 4* log(6*x)))
Leaf count of result is larger than twice the leaf count of optimal. 199 vs. \(2 (18) = 36\).
Time = 0.51 (sec) , antiderivative size = 199, normalized size of antiderivative = 11.06 \[ \int \frac {e^{\frac {-1+e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)}{-e^x+4 \log (6 x)}} \left (16-4 e^x x+4 e^{2 x} x-32 e^x x \log (6 x)+64 x \log ^2(6 x)\right )}{e^{2 x} x-8 e^x x \log (6 x)+16 x \log ^2(6 x)} \, dx=4 \, e^{\left (\frac {x e^{x}}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )} - \frac {4 \, x \log \left (3\right )}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )} - \frac {4 \, x \log \left (2\right )}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )} + \frac {e^{x} \log \left (2\right )}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )} - \frac {4 \, \log \left (3\right ) \log \left (2\right )}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )} - \frac {4 \, \log \left (2\right )^{2}}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )} - \frac {4 \, x \log \left (x\right )}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )} - \frac {4 \, \log \left (2\right ) \log \left (x\right )}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )} + \frac {1}{e^{x} - 4 \, \log \left (3\right ) - 4 \, \log \left (2\right ) - 4 \, \log \left (x\right )}\right )} \] Input:
integrate((64*x*log(6*x)^2-32*x*exp(x)*log(6*x)+4*x*exp(x)^2-4*exp(x)*x+16 )*exp(((4*log(2)+4*x)*log(6*x)+(-x-log(2))*exp(x)-1)/(4*log(6*x)-exp(x)))/ (16*x*log(6*x)^2-8*x*exp(x)*log(6*x)+x*exp(x)^2),x, algorithm="maxima")
Output:
4*e^(x*e^x/(e^x - 4*log(3) - 4*log(2) - 4*log(x)) - 4*x*log(3)/(e^x - 4*lo g(3) - 4*log(2) - 4*log(x)) - 4*x*log(2)/(e^x - 4*log(3) - 4*log(2) - 4*lo g(x)) + e^x*log(2)/(e^x - 4*log(3) - 4*log(2) - 4*log(x)) - 4*log(3)*log(2 )/(e^x - 4*log(3) - 4*log(2) - 4*log(x)) - 4*log(2)^2/(e^x - 4*log(3) - 4* log(2) - 4*log(x)) - 4*x*log(x)/(e^x - 4*log(3) - 4*log(2) - 4*log(x)) - 4 *log(2)*log(x)/(e^x - 4*log(3) - 4*log(2) - 4*log(x)) + 1/(e^x - 4*log(3) - 4*log(2) - 4*log(x)))
Leaf count of result is larger than twice the leaf count of optimal. 56 vs. \(2 (18) = 36\).
Time = 0.68 (sec) , antiderivative size = 56, normalized size of antiderivative = 3.11 \[ \int \frac {e^{\frac {-1+e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)}{-e^x+4 \log (6 x)}} \left (16-4 e^x x+4 e^{2 x} x-32 e^x x \log (6 x)+64 x \log ^2(6 x)\right )}{e^{2 x} x-8 e^x x \log (6 x)+16 x \log ^2(6 x)} \, dx=4 \, e^{\left (\frac {x e^{x} - 4 \, x \log \left (2\right ) + e^{x} \log \left (2\right ) - 4 \, \log \left (2\right )^{2} - 4 \, x \log \left (3 \, x\right ) - 4 \, \log \left (2\right ) \log \left (3 \, x\right ) + 1}{e^{x} - 4 \, \log \left (2\right ) - 4 \, \log \left (3 \, x\right )}\right )} \] Input:
integrate((64*x*log(6*x)^2-32*x*exp(x)*log(6*x)+4*x*exp(x)^2-4*exp(x)*x+16 )*exp(((4*log(2)+4*x)*log(6*x)+(-x-log(2))*exp(x)-1)/(4*log(6*x)-exp(x)))/ (16*x*log(6*x)^2-8*x*exp(x)*log(6*x)+x*exp(x)^2),x, algorithm="giac")
Output:
4*e^((x*e^x - 4*x*log(2) + e^x*log(2) - 4*log(2)^2 - 4*x*log(3*x) - 4*log( 2)*log(3*x) + 1)/(e^x - 4*log(2) - 4*log(3*x)))
Timed out. \[ \int \frac {e^{\frac {-1+e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)}{-e^x+4 \log (6 x)}} \left (16-4 e^x x+4 e^{2 x} x-32 e^x x \log (6 x)+64 x \log ^2(6 x)\right )}{e^{2 x} x-8 e^x x \log (6 x)+16 x \log ^2(6 x)} \, dx=\int \frac {{\mathrm {e}}^{-\frac {{\mathrm {e}}^x\,\left (x+\ln \left (2\right )\right )-\ln \left (6\,x\right )\,\left (4\,x+4\,\ln \left (2\right )\right )+1}{4\,\ln \left (6\,x\right )-{\mathrm {e}}^x}}\,\left (64\,x\,{\ln \left (6\,x\right )}^2-32\,x\,{\mathrm {e}}^x\,\ln \left (6\,x\right )+4\,x\,{\mathrm {e}}^{2\,x}-4\,x\,{\mathrm {e}}^x+16\right )}{16\,x\,{\ln \left (6\,x\right )}^2-8\,x\,{\mathrm {e}}^x\,\ln \left (6\,x\right )+x\,{\mathrm {e}}^{2\,x}} \,d x \] Input:
int((exp(-(exp(x)*(x + log(2)) - log(6*x)*(4*x + 4*log(2)) + 1)/(4*log(6*x ) - exp(x)))*(4*x*exp(2*x) + 64*x*log(6*x)^2 - 4*x*exp(x) - 32*x*log(6*x)* exp(x) + 16))/(x*exp(2*x) + 16*x*log(6*x)^2 - 8*x*log(6*x)*exp(x)),x)
Output:
int((exp(-(exp(x)*(x + log(2)) - log(6*x)*(4*x + 4*log(2)) + 1)/(4*log(6*x ) - exp(x)))*(4*x*exp(2*x) + 64*x*log(6*x)^2 - 4*x*exp(x) - 32*x*log(6*x)* exp(x) + 16))/(x*exp(2*x) + 16*x*log(6*x)^2 - 8*x*log(6*x)*exp(x)), x)
Time = 0.16 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.72 \[ \int \frac {e^{\frac {-1+e^x (-x-\log (2))+(4 x+4 \log (2)) \log (6 x)}{-e^x+4 \log (6 x)}} \left (16-4 e^x x+4 e^{2 x} x-32 e^x x \log (6 x)+64 x \log ^2(6 x)\right )}{e^{2 x} x-8 e^x x \log (6 x)+16 x \log ^2(6 x)} \, dx=8 e^{\frac {e^{x} x -4 \,\mathrm {log}\left (6 x \right ) x +1}{e^{x}-4 \,\mathrm {log}\left (6 x \right )}} \] Input:
int((64*x*log(6*x)^2-32*x*exp(x)*log(6*x)+4*x*exp(x)^2-4*exp(x)*x+16)*exp( ((4*log(2)+4*x)*log(6*x)+(-x-log(2))*exp(x)-1)/(4*log(6*x)-exp(x)))/(16*x* log(6*x)^2-8*x*exp(x)*log(6*x)+x*exp(x)^2),x)
Output:
8*e**((e**x*x - 4*log(6*x)*x + 1)/(e**x - 4*log(6*x)))