Integrand size = 648, antiderivative size = 30 \[ \int e^{e^{32}+e^{4 x^2}+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+e^{16} \left (-2 x^4-4 x^5-2 x^6\right )+e^{2 x^2} \left (2 e^{16}-2 x^4-4 x^5-2 x^6\right )+\left (4 x^7+16 x^8+24 x^9+16 x^{10}+4 x^{11}+e^{16} \left (-4 x^3-8 x^4-4 x^5\right )+e^{2 x^2} \left (-4 x^3-8 x^4-4 x^5\right )\right ) \log (x)+\left (6 x^6+24 x^7+36 x^8+24 x^9+6 x^{10}+e^{16} \left (-2 x^2-4 x^3-2 x^4\right )+e^{2 x^2} \left (-2 x^2-4 x^3-2 x^4\right )\right ) \log ^2(x)+\left (4 x^5+16 x^6+24 x^7+16 x^8+4 x^9\right ) \log ^3(x)+\left (x^4+4 x^5+6 x^6+4 x^7+x^8\right ) \log ^4(x)} \left (8 e^{4 x^2} x+4 x^6+24 x^7+60 x^8+76 x^9+48 x^{10}+12 x^{11}+e^{16} \left (-4 x^2-16 x^3-24 x^4-12 x^5\right )+e^{2 x^2} \left (8 e^{16} x-4 x^2-16 x^3-24 x^4-20 x^5-16 x^6-8 x^7\right )+\left (12 x^5+76 x^6+200 x^7+264 x^8+172 x^9+44 x^{10}+e^{16} \left (-4 x-20 x^2-36 x^3-20 x^4\right )+e^{2 x^2} \left (-4 x-20 x^2-36 x^3-36 x^4-32 x^5-16 x^6\right )\right ) \log (x)+\left (12 x^4+84 x^5+240 x^6+336 x^7+228 x^8+60 x^9+e^{16} \left (-4 x-12 x^2-8 x^3\right )+e^{2 x^2} \left (-4 x-12 x^2-16 x^3-16 x^4-8 x^5\right )\right ) \log ^2(x)+\left (4 x^3+36 x^4+120 x^5+184 x^6+132 x^7+36 x^8\right ) \log ^3(x)+\left (4 x^3+20 x^4+36 x^5+28 x^6+8 x^7\right ) \log ^4(x)\right ) \, dx=e^{\left (e^{16}+e^{2 x^2}-\left (x+x^2\right )^2 (x+\log (x))^2\right )^2} \] Output:
exp((exp(x^2)^2+exp(16)-(x^2+x)^2*(x+ln(x))^2)^2)
Leaf count is larger than twice the leaf count of optimal. \(184\) vs. \(2(30)=60\).
Time = 0.97 (sec) , antiderivative size = 184, normalized size of antiderivative = 6.13 \[ \int e^{e^{32}+e^{4 x^2}+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+e^{16} \left (-2 x^4-4 x^5-2 x^6\right )+e^{2 x^2} \left (2 e^{16}-2 x^4-4 x^5-2 x^6\right )+\left (4 x^7+16 x^8+24 x^9+16 x^{10}+4 x^{11}+e^{16} \left (-4 x^3-8 x^4-4 x^5\right )+e^{2 x^2} \left (-4 x^3-8 x^4-4 x^5\right )\right ) \log (x)+\left (6 x^6+24 x^7+36 x^8+24 x^9+6 x^{10}+e^{16} \left (-2 x^2-4 x^3-2 x^4\right )+e^{2 x^2} \left (-2 x^2-4 x^3-2 x^4\right )\right ) \log ^2(x)+\left (4 x^5+16 x^6+24 x^7+16 x^8+4 x^9\right ) \log ^3(x)+\left (x^4+4 x^5+6 x^6+4 x^7+x^8\right ) \log ^4(x)} \left (8 e^{4 x^2} x+4 x^6+24 x^7+60 x^8+76 x^9+48 x^{10}+12 x^{11}+e^{16} \left (-4 x^2-16 x^3-24 x^4-12 x^5\right )+e^{2 x^2} \left (8 e^{16} x-4 x^2-16 x^3-24 x^4-20 x^5-16 x^6-8 x^7\right )+\left (12 x^5+76 x^6+200 x^7+264 x^8+172 x^9+44 x^{10}+e^{16} \left (-4 x-20 x^2-36 x^3-20 x^4\right )+e^{2 x^2} \left (-4 x-20 x^2-36 x^3-36 x^4-32 x^5-16 x^6\right )\right ) \log (x)+\left (12 x^4+84 x^5+240 x^6+336 x^7+228 x^8+60 x^9+e^{16} \left (-4 x-12 x^2-8 x^3\right )+e^{2 x^2} \left (-4 x-12 x^2-16 x^3-16 x^4-8 x^5\right )\right ) \log ^2(x)+\left (4 x^3+36 x^4+120 x^5+184 x^6+132 x^7+36 x^8\right ) \log ^3(x)+\left (4 x^3+20 x^4+36 x^5+28 x^6+8 x^7\right ) \log ^4(x)\right ) \, dx=e^{e^{32}+e^{4 x^2}-2 e^{16} x^4-4 e^{16} x^5-2 e^{16} x^6+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+2 e^{2 x^2} \left (e^{16}-x^4 (1+x)^2\right )+2 x^2 (1+x)^2 \left (-e^{16}-e^{2 x^2}+3 x^4 (1+x)^2\right ) \log ^2(x)+4 x^5 (1+x)^4 \log ^3(x)+x^4 (1+x)^4 \log ^4(x)} x^{4 x^3 (1+x)^2 \left (-e^{16}-e^{2 x^2}+x^4 (1+x)^2\right )} \] Input:
Integrate[E^(E^32 + E^(4*x^2) + x^8 + 4*x^9 + 6*x^10 + 4*x^11 + x^12 + E^1 6*(-2*x^4 - 4*x^5 - 2*x^6) + E^(2*x^2)*(2*E^16 - 2*x^4 - 4*x^5 - 2*x^6) + (4*x^7 + 16*x^8 + 24*x^9 + 16*x^10 + 4*x^11 + E^16*(-4*x^3 - 8*x^4 - 4*x^5 ) + E^(2*x^2)*(-4*x^3 - 8*x^4 - 4*x^5))*Log[x] + (6*x^6 + 24*x^7 + 36*x^8 + 24*x^9 + 6*x^10 + E^16*(-2*x^2 - 4*x^3 - 2*x^4) + E^(2*x^2)*(-2*x^2 - 4* x^3 - 2*x^4))*Log[x]^2 + (4*x^5 + 16*x^6 + 24*x^7 + 16*x^8 + 4*x^9)*Log[x] ^3 + (x^4 + 4*x^5 + 6*x^6 + 4*x^7 + x^8)*Log[x]^4)*(8*E^(4*x^2)*x + 4*x^6 + 24*x^7 + 60*x^8 + 76*x^9 + 48*x^10 + 12*x^11 + E^16*(-4*x^2 - 16*x^3 - 2 4*x^4 - 12*x^5) + E^(2*x^2)*(8*E^16*x - 4*x^2 - 16*x^3 - 24*x^4 - 20*x^5 - 16*x^6 - 8*x^7) + (12*x^5 + 76*x^6 + 200*x^7 + 264*x^8 + 172*x^9 + 44*x^1 0 + E^16*(-4*x - 20*x^2 - 36*x^3 - 20*x^4) + E^(2*x^2)*(-4*x - 20*x^2 - 36 *x^3 - 36*x^4 - 32*x^5 - 16*x^6))*Log[x] + (12*x^4 + 84*x^5 + 240*x^6 + 33 6*x^7 + 228*x^8 + 60*x^9 + E^16*(-4*x - 12*x^2 - 8*x^3) + E^(2*x^2)*(-4*x - 12*x^2 - 16*x^3 - 16*x^4 - 8*x^5))*Log[x]^2 + (4*x^3 + 36*x^4 + 120*x^5 + 184*x^6 + 132*x^7 + 36*x^8)*Log[x]^3 + (4*x^3 + 20*x^4 + 36*x^5 + 28*x^6 + 8*x^7)*Log[x]^4),x]
Output:
E^(E^32 + E^(4*x^2) - 2*E^16*x^4 - 4*E^16*x^5 - 2*E^16*x^6 + x^8 + 4*x^9 + 6*x^10 + 4*x^11 + x^12 + 2*E^(2*x^2)*(E^16 - x^4*(1 + x)^2) + 2*x^2*(1 + x)^2*(-E^16 - E^(2*x^2) + 3*x^4*(1 + x)^2)*Log[x]^2 + 4*x^5*(1 + x)^4*Log[ x]^3 + x^4*(1 + x)^4*Log[x]^4)*x^(4*x^3*(1 + x)^2*(-E^16 - E^(2*x^2) + x^4 *(1 + x)^2))
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 \left (12 x^{11}+48 x^{10}+76 x^9+60 x^8+24 x^7+4 x^6+8 e^{4 x^2} x+e^{16} \left (-12 x^5-24 x^4-16 x^3-4 x^2\right )+\left (8 x^7+28 x^6+36 x^5+20 x^4+4 x^3\right ) \log ^4(x)+\left (36 x^8+132 x^7+184 x^6+120 x^5+36 x^4+4 x^3\right ) \log ^3(x)+e^{2 x^2} \left (-8 x^7-16 x^6-20 x^5-24 x^4-16 x^3-4 x^2+8 e^{16} x\right )+\left (60 x^9+228 x^8+336 x^7+240 x^6+84 x^5+12 x^4+e^{16} \left (-8 x^3-12 x^2-4 x\right )+e^{2 x^2} \left (-8 x^5-16 x^4-16 x^3-12 x^2-4 x\right )\right ) \log ^2(x)+\left (44 x^{10}+172 x^9+264 x^8+200 x^7+76 x^6+12 x^5+e^{16} \left (-20 x^4-36 x^3-20 x^2-4 x\right )+e^{2 x^2} \left (-16 x^6-32 x^5-36 x^4-36 x^3-20 x^2-4 x\right )\right ) \log (x)\right ) \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+e^{4 x^2}+e^{16} \left (-2 x^6-4 x^5-2 x^4\right )+e^{2 x^2} \left (-2 x^6-4 x^5-2 x^4+2 e^{16}\right )+\left (4 x^9+16 x^8+24 x^7+16 x^6+4 x^5\right ) \log ^3(x)+\left (x^8+4 x^7+6 x^6+4 x^5+x^4\right ) \log ^4(x)+\left (6 x^{10}+24 x^9+36 x^8+24 x^7+6 x^6+e^{2 x^2} \left (-2 x^4-4 x^3-2 x^2\right )+e^{16} \left (-2 x^4-4 x^3-2 x^2\right )\right ) \log ^2(x)+\left (4 x^{11}+16 x^{10}+24 x^9+16 x^8+4 x^7+e^{16} \left (-4 x^5-8 x^4-4 x^3\right )+e^{2 x^2} \left (-4 x^5-8 x^4-4 x^3\right )\right ) \log (x)+e^{32}\right ) \, dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle \int 4 x^{4 (x+1)^2 \left ((x+1)^2 x^4-e^{2 x^2}-e^{16}\right ) x^3+1} \left (-(x+1)^2 x^4-2 (x+1)^2 x^3 \log (x)+e^{2 x^2}-(x+1)^2 x^2 \log ^2(x)+e^{16}\right ) \left (-3 x^4-6 x^3-4 x^2+2 e^{2 x^2}-\left (2 x^2+3 x+1\right ) \log ^2(x)-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)-x\right ) \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 x^5 \log ^3(x)-2 e^{16} (x+1)^2 x^4+(x+1)^4 x^4 \log ^4(x)+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) x^2 \log ^2(x)+e^{32}\right )dx\) |
| \(\Big \downarrow \) 27 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-3 x^4-6 x^3-4 x^2-x+2 e^{2 x^2}-\left (2 x^2+3 x+1\right ) \log ^2(x)-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-4 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-6 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-3 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+4 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+6 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 \log ^2(x) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+8 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 \log (x) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+4 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 x^{7-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+3 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 \log ^2(x) x^{7-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+12 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 \log (x) x^{7-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+6 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 x^{8-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+6 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 \log (x) x^{8-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+3 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 e^{16} (x+1)^2 x^4-2 (x+1)^2 \left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^2 x^{9-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
| \(\Big \downarrow \) 7293 |
| \(\displaystyle 4 \int \left (2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+4 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) (2 x+1) \log ^2(x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (5 x^2+4 x+1\right ) \log (x) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+2 x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} \left (-2 x^6-4 \log (x) x^5-4 x^5-2 \log ^2(x) x^4-8 \log (x) x^4-5 x^4-4 \log ^2(x) x^3-9 \log (x) x^3-6 x^3-4 \log ^2(x) x^2-9 \log (x) x^2-4 x^2-3 \log ^2(x) x-5 \log (x) x-x-\log ^2(x)-\log (x)+2 e^{16}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}-e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}+16} (x+1) \left (3 x^2+3 x+1\right ) x^{2-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^4(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^3(x) x^{3-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^3(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log ^2(x) x^{4-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 (2 x+1) \log ^2(x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+2 e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (5 x^2+4 x+1\right ) \log (x) x^{5-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}+e^{x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}} (x+1)^3 \left (3 x^2+3 x+1\right ) x^{6-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )}\right )dx\) |
| \(\Big \downarrow \) 7239 |
| \(\displaystyle 4 \int \exp \left (x^{12}+4 x^{11}+6 x^{10}+4 x^9+x^8+4 (x+1)^4 \log ^3(x) x^5+(x+1)^4 \log ^4(x) x^4-2 (x+1)^2 \left (e^{16} x^2+\left (-3 (x+1)^2 x^4+e^{2 x^2}+e^{16}\right ) \log ^2(x)\right ) x^2+e^{4 x^2}+2 e^{2 x^2} \left (e^{16}-x^4 (x+1)^2\right )+e^{32}\right ) x^{1-4 x^3 (x+1)^2 \left (-(x+1)^2 x^4+e^{2 x^2}+e^{16}\right )} \left (-(x+1)^2 x^4-2 (x+1)^2 \log (x) x^3-(x+1)^2 \log ^2(x) x^2+e^{2 x^2}+e^{16}\right ) \left (-\left (\left (2 x^2+3 x+1\right ) \log ^2(x)\right )-\left (5 x^3+9 x^2+5 x+1\right ) \log (x)+2 e^{2 x^2}-x \left (3 x^3+6 x^2+4 x+1\right )\right )dx\) |
Input:
Int[E^(E^32 + E^(4*x^2) + x^8 + 4*x^9 + 6*x^10 + 4*x^11 + x^12 + E^16*(-2* x^4 - 4*x^5 - 2*x^6) + E^(2*x^2)*(2*E^16 - 2*x^4 - 4*x^5 - 2*x^6) + (4*x^7 + 16*x^8 + 24*x^9 + 16*x^10 + 4*x^11 + E^16*(-4*x^3 - 8*x^4 - 4*x^5) + E^ (2*x^2)*(-4*x^3 - 8*x^4 - 4*x^5))*Log[x] + (6*x^6 + 24*x^7 + 36*x^8 + 24*x ^9 + 6*x^10 + E^16*(-2*x^2 - 4*x^3 - 2*x^4) + E^(2*x^2)*(-2*x^2 - 4*x^3 - 2*x^4))*Log[x]^2 + (4*x^5 + 16*x^6 + 24*x^7 + 16*x^8 + 4*x^9)*Log[x]^3 + ( x^4 + 4*x^5 + 6*x^6 + 4*x^7 + x^8)*Log[x]^4)*(8*E^(4*x^2)*x + 4*x^6 + 24*x ^7 + 60*x^8 + 76*x^9 + 48*x^10 + 12*x^11 + E^16*(-4*x^2 - 16*x^3 - 24*x^4 - 12*x^5) + E^(2*x^2)*(8*E^16*x - 4*x^2 - 16*x^3 - 24*x^4 - 20*x^5 - 16*x^ 6 - 8*x^7) + (12*x^5 + 76*x^6 + 200*x^7 + 264*x^8 + 172*x^9 + 44*x^10 + E^ 16*(-4*x - 20*x^2 - 36*x^3 - 20*x^4) + E^(2*x^2)*(-4*x - 20*x^2 - 36*x^3 - 36*x^4 - 32*x^5 - 16*x^6))*Log[x] + (12*x^4 + 84*x^5 + 240*x^6 + 336*x^7 + 228*x^8 + 60*x^9 + E^16*(-4*x - 12*x^2 - 8*x^3) + E^(2*x^2)*(-4*x - 12*x ^2 - 16*x^3 - 16*x^4 - 8*x^5))*Log[x]^2 + (4*x^3 + 36*x^4 + 120*x^5 + 184* x^6 + 132*x^7 + 36*x^8)*Log[x]^3 + (4*x^3 + 20*x^4 + 36*x^5 + 28*x^6 + 8*x ^7)*Log[x]^4),x]
Output:
$Aborted
Leaf count of result is larger than twice the leaf count of optimal. \(343\) vs. \(2(27)=54\).
Time = 0.20 (sec) , antiderivative size = 344, normalized size of antiderivative = 11.47
\[x^{-4 \left (-x^{6}-2 x^{5}-x^{4}+{\mathrm e}^{2 x^{2}}+{\mathrm e}^{16}\right ) \left (1+x \right )^{2} x^{3}} {\mathrm e}^{-2 \,{\mathrm e}^{2 x^{2}} x^{6}-4 \,{\mathrm e}^{2 x^{2}} x^{5}-2 x^{4} {\mathrm e}^{2 x^{2}}+4 x^{5} \ln \left (x \right )^{3}+6 x^{6} \ln \left (x \right )^{2}+x^{8} \ln \left (x \right )^{4}+24 x^{9} \ln \left (x \right )^{2}+4 x^{9} \ln \left (x \right )^{3}+6 x^{10} \ln \left (x \right )^{2}+16 x^{6} \ln \left (x \right )^{3}+24 x^{7} \ln \left (x \right )^{2}+24 x^{7} \ln \left (x \right )^{3}+36 x^{8} \ln \left (x \right )^{2}+16 x^{8} \ln \left (x \right )^{3}+6 x^{6} \ln \left (x \right )^{4}+4 x^{7} \ln \left (x \right )^{4}+4 x^{5} \ln \left (x \right )^{4}+{\mathrm e}^{32}+x^{4} \ln \left (x \right )^{4}+{\mathrm e}^{4 x^{2}}+4 x^{11}+x^{8}+6 x^{10}+4 x^{9}+x^{12}+2 \,{\mathrm e}^{2 x^{2}+16}-2 \ln \left (x \right )^{2} {\mathrm e}^{16} x^{4}-2 \ln \left (x \right )^{2} {\mathrm e}^{2 x^{2}} x^{2}-2 \ln \left (x \right )^{2} {\mathrm e}^{2 x^{2}} x^{4}-4 \ln \left (x \right )^{2} {\mathrm e}^{2 x^{2}} x^{3}-2 \,{\mathrm e}^{16} x^{6}-4 \,{\mathrm e}^{16} x^{5}-2 x^{4} {\mathrm e}^{16}-4 x^{3} \ln \left (x \right )^{2} {\mathrm e}^{16}-2 x^{2} \ln \left (x \right )^{2} {\mathrm e}^{16}}\]
Input:
int(((8*x^7+28*x^6+36*x^5+20*x^4+4*x^3)*ln(x)^4+(36*x^8+132*x^7+184*x^6+12 0*x^5+36*x^4+4*x^3)*ln(x)^3+((-8*x^5-16*x^4-16*x^3-12*x^2-4*x)*exp(x^2)^2+ (-8*x^3-12*x^2-4*x)*exp(16)+60*x^9+228*x^8+336*x^7+240*x^6+84*x^5+12*x^4)* ln(x)^2+((-16*x^6-32*x^5-36*x^4-36*x^3-20*x^2-4*x)*exp(x^2)^2+(-20*x^4-36* x^3-20*x^2-4*x)*exp(16)+44*x^10+172*x^9+264*x^8+200*x^7+76*x^6+12*x^5)*ln( x)+8*x*exp(x^2)^4+(8*x*exp(16)-8*x^7-16*x^6-20*x^5-24*x^4-16*x^3-4*x^2)*ex p(x^2)^2+(-12*x^5-24*x^4-16*x^3-4*x^2)*exp(16)+12*x^11+48*x^10+76*x^9+60*x ^8+24*x^7+4*x^6)*exp((x^8+4*x^7+6*x^6+4*x^5+x^4)*ln(x)^4+(4*x^9+16*x^8+24* x^7+16*x^6+4*x^5)*ln(x)^3+((-2*x^4-4*x^3-2*x^2)*exp(x^2)^2+(-2*x^4-4*x^3-2 *x^2)*exp(16)+6*x^10+24*x^9+36*x^8+24*x^7+6*x^6)*ln(x)^2+((-4*x^5-8*x^4-4* x^3)*exp(x^2)^2+(-4*x^5-8*x^4-4*x^3)*exp(16)+4*x^11+16*x^10+24*x^9+16*x^8+ 4*x^7)*ln(x)+exp(x^2)^4+(2*exp(16)-2*x^6-4*x^5-2*x^4)*exp(x^2)^2+exp(16)^2 +(-2*x^6-4*x^5-2*x^4)*exp(16)+x^12+4*x^11+6*x^10+4*x^9+x^8),x)
Output:
x^(-4*(-x^6-2*x^5-x^4+exp(2*x^2)+exp(16))*(1+x)^2*x^3)*exp(-2*exp(2*x^2)*x ^6-4*exp(2*x^2)*x^5-2*x^4*exp(2*x^2)+4*x^5*ln(x)^3+6*x^6*ln(x)^2+x^8*ln(x) ^4+24*x^9*ln(x)^2+4*x^9*ln(x)^3+6*x^10*ln(x)^2+16*x^6*ln(x)^3+24*x^7*ln(x) ^2+24*x^7*ln(x)^3+36*x^8*ln(x)^2+16*x^8*ln(x)^3+6*x^6*ln(x)^4+4*x^7*ln(x)^ 4+4*x^5*ln(x)^4+exp(32)+x^4*ln(x)^4+exp(4*x^2)+4*x^11+x^8+6*x^10+4*x^9+x^1 2+2*exp(2*x^2+16)-2*ln(x)^2*exp(16)*x^4-2*ln(x)^2*exp(2*x^2)*x^2-2*ln(x)^2 *exp(2*x^2)*x^4-4*ln(x)^2*exp(2*x^2)*x^3-2*exp(16)*x^6-4*exp(16)*x^5-2*x^4 *exp(16)-4*x^3*ln(x)^2*exp(16)-2*x^2*ln(x)^2*exp(16))
Leaf count of result is larger than twice the leaf count of optimal. 256 vs. \(2 (30) = 60\).
Time = 0.11 (sec) , antiderivative size = 256, normalized size of antiderivative = 8.53 \[ \int e^{e^{32}+e^{4 x^2}+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+e^{16} \left (-2 x^4-4 x^5-2 x^6\right )+e^{2 x^2} \left (2 e^{16}-2 x^4-4 x^5-2 x^6\right )+\left (4 x^7+16 x^8+24 x^9+16 x^{10}+4 x^{11}+e^{16} \left (-4 x^3-8 x^4-4 x^5\right )+e^{2 x^2} \left (-4 x^3-8 x^4-4 x^5\right )\right ) \log (x)+\left (6 x^6+24 x^7+36 x^8+24 x^9+6 x^{10}+e^{16} \left (-2 x^2-4 x^3-2 x^4\right )+e^{2 x^2} \left (-2 x^2-4 x^3-2 x^4\right )\right ) \log ^2(x)+\left (4 x^5+16 x^6+24 x^7+16 x^8+4 x^9\right ) \log ^3(x)+\left (x^4+4 x^5+6 x^6+4 x^7+x^8\right ) \log ^4(x)} \left (8 e^{4 x^2} x+4 x^6+24 x^7+60 x^8+76 x^9+48 x^{10}+12 x^{11}+e^{16} \left (-4 x^2-16 x^3-24 x^4-12 x^5\right )+e^{2 x^2} \left (8 e^{16} x-4 x^2-16 x^3-24 x^4-20 x^5-16 x^6-8 x^7\right )+\left (12 x^5+76 x^6+200 x^7+264 x^8+172 x^9+44 x^{10}+e^{16} \left (-4 x-20 x^2-36 x^3-20 x^4\right )+e^{2 x^2} \left (-4 x-20 x^2-36 x^3-36 x^4-32 x^5-16 x^6\right )\right ) \log (x)+\left (12 x^4+84 x^5+240 x^6+336 x^7+228 x^8+60 x^9+e^{16} \left (-4 x-12 x^2-8 x^3\right )+e^{2 x^2} \left (-4 x-12 x^2-16 x^3-16 x^4-8 x^5\right )\right ) \log ^2(x)+\left (4 x^3+36 x^4+120 x^5+184 x^6+132 x^7+36 x^8\right ) \log ^3(x)+\left (4 x^3+20 x^4+36 x^5+28 x^6+8 x^7\right ) \log ^4(x)\right ) \, dx=e^{\left (x^{12} + 4 \, x^{11} + 6 \, x^{10} + 4 \, x^{9} + x^{8} + {\left (x^{8} + 4 \, x^{7} + 6 \, x^{6} + 4 \, x^{5} + x^{4}\right )} \log \left (x\right )^{4} + 4 \, {\left (x^{9} + 4 \, x^{8} + 6 \, x^{7} + 4 \, x^{6} + x^{5}\right )} \log \left (x\right )^{3} + 2 \, {\left (3 \, x^{10} + 12 \, x^{9} + 18 \, x^{8} + 12 \, x^{7} + 3 \, x^{6} - {\left (x^{4} + 2 \, x^{3} + x^{2}\right )} e^{16} - {\left (x^{4} + 2 \, x^{3} + x^{2}\right )} e^{\left (2 \, x^{2}\right )}\right )} \log \left (x\right )^{2} - 2 \, {\left (x^{6} + 2 \, x^{5} + x^{4}\right )} e^{16} - 2 \, {\left (x^{6} + 2 \, x^{5} + x^{4} - e^{16}\right )} e^{\left (2 \, x^{2}\right )} + 4 \, {\left (x^{11} + 4 \, x^{10} + 6 \, x^{9} + 4 \, x^{8} + x^{7} - {\left (x^{5} + 2 \, x^{4} + x^{3}\right )} e^{16} - {\left (x^{5} + 2 \, x^{4} + x^{3}\right )} e^{\left (2 \, x^{2}\right )}\right )} \log \left (x\right ) + e^{32} + e^{\left (4 \, x^{2}\right )}\right )} \] Input:
integrate(((8*x^7+28*x^6+36*x^5+20*x^4+4*x^3)*log(x)^4+(36*x^8+132*x^7+184 *x^6+120*x^5+36*x^4+4*x^3)*log(x)^3+((-8*x^5-16*x^4-16*x^3-12*x^2-4*x)*exp (x^2)^2+(-8*x^3-12*x^2-4*x)*exp(16)+60*x^9+228*x^8+336*x^7+240*x^6+84*x^5+ 12*x^4)*log(x)^2+((-16*x^6-32*x^5-36*x^4-36*x^3-20*x^2-4*x)*exp(x^2)^2+(-2 0*x^4-36*x^3-20*x^2-4*x)*exp(16)+44*x^10+172*x^9+264*x^8+200*x^7+76*x^6+12 *x^5)*log(x)+8*x*exp(x^2)^4+(8*x*exp(16)-8*x^7-16*x^6-20*x^5-24*x^4-16*x^3 -4*x^2)*exp(x^2)^2+(-12*x^5-24*x^4-16*x^3-4*x^2)*exp(16)+12*x^11+48*x^10+7 6*x^9+60*x^8+24*x^7+4*x^6)*exp((x^8+4*x^7+6*x^6+4*x^5+x^4)*log(x)^4+(4*x^9 +16*x^8+24*x^7+16*x^6+4*x^5)*log(x)^3+((-2*x^4-4*x^3-2*x^2)*exp(x^2)^2+(-2 *x^4-4*x^3-2*x^2)*exp(16)+6*x^10+24*x^9+36*x^8+24*x^7+6*x^6)*log(x)^2+((-4 *x^5-8*x^4-4*x^3)*exp(x^2)^2+(-4*x^5-8*x^4-4*x^3)*exp(16)+4*x^11+16*x^10+2 4*x^9+16*x^8+4*x^7)*log(x)+exp(x^2)^4+(2*exp(16)-2*x^6-4*x^5-2*x^4)*exp(x^ 2)^2+exp(16)^2+(-2*x^6-4*x^5-2*x^4)*exp(16)+x^12+4*x^11+6*x^10+4*x^9+x^8), x, algorithm="fricas")
Output:
e^(x^12 + 4*x^11 + 6*x^10 + 4*x^9 + x^8 + (x^8 + 4*x^7 + 6*x^6 + 4*x^5 + x ^4)*log(x)^4 + 4*(x^9 + 4*x^8 + 6*x^7 + 4*x^6 + x^5)*log(x)^3 + 2*(3*x^10 + 12*x^9 + 18*x^8 + 12*x^7 + 3*x^6 - (x^4 + 2*x^3 + x^2)*e^16 - (x^4 + 2*x ^3 + x^2)*e^(2*x^2))*log(x)^2 - 2*(x^6 + 2*x^5 + x^4)*e^16 - 2*(x^6 + 2*x^ 5 + x^4 - e^16)*e^(2*x^2) + 4*(x^11 + 4*x^10 + 6*x^9 + 4*x^8 + x^7 - (x^5 + 2*x^4 + x^3)*e^16 - (x^5 + 2*x^4 + x^3)*e^(2*x^2))*log(x) + e^32 + e^(4* x^2))
Leaf count of result is larger than twice the leaf count of optimal. 286 vs. \(2 (26) = 52\).
Time = 1.81 (sec) , antiderivative size = 286, normalized size of antiderivative = 9.53 \[ \int e^{e^{32}+e^{4 x^2}+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+e^{16} \left (-2 x^4-4 x^5-2 x^6\right )+e^{2 x^2} \left (2 e^{16}-2 x^4-4 x^5-2 x^6\right )+\left (4 x^7+16 x^8+24 x^9+16 x^{10}+4 x^{11}+e^{16} \left (-4 x^3-8 x^4-4 x^5\right )+e^{2 x^2} \left (-4 x^3-8 x^4-4 x^5\right )\right ) \log (x)+\left (6 x^6+24 x^7+36 x^8+24 x^9+6 x^{10}+e^{16} \left (-2 x^2-4 x^3-2 x^4\right )+e^{2 x^2} \left (-2 x^2-4 x^3-2 x^4\right )\right ) \log ^2(x)+\left (4 x^5+16 x^6+24 x^7+16 x^8+4 x^9\right ) \log ^3(x)+\left (x^4+4 x^5+6 x^6+4 x^7+x^8\right ) \log ^4(x)} \left (8 e^{4 x^2} x+4 x^6+24 x^7+60 x^8+76 x^9+48 x^{10}+12 x^{11}+e^{16} \left (-4 x^2-16 x^3-24 x^4-12 x^5\right )+e^{2 x^2} \left (8 e^{16} x-4 x^2-16 x^3-24 x^4-20 x^5-16 x^6-8 x^7\right )+\left (12 x^5+76 x^6+200 x^7+264 x^8+172 x^9+44 x^{10}+e^{16} \left (-4 x-20 x^2-36 x^3-20 x^4\right )+e^{2 x^2} \left (-4 x-20 x^2-36 x^3-36 x^4-32 x^5-16 x^6\right )\right ) \log (x)+\left (12 x^4+84 x^5+240 x^6+336 x^7+228 x^8+60 x^9+e^{16} \left (-4 x-12 x^2-8 x^3\right )+e^{2 x^2} \left (-4 x-12 x^2-16 x^3-16 x^4-8 x^5\right )\right ) \log ^2(x)+\left (4 x^3+36 x^4+120 x^5+184 x^6+132 x^7+36 x^8\right ) \log ^3(x)+\left (4 x^3+20 x^4+36 x^5+28 x^6+8 x^7\right ) \log ^4(x)\right ) \, dx=e^{x^{12} + 4 x^{11} + 6 x^{10} + 4 x^{9} + x^{8} + \left (- 2 x^{6} - 4 x^{5} - 2 x^{4}\right ) e^{16} + \left (- 2 x^{6} - 4 x^{5} - 2 x^{4} + 2 e^{16}\right ) e^{2 x^{2}} + \left (x^{8} + 4 x^{7} + 6 x^{6} + 4 x^{5} + x^{4}\right ) \log {\left (x \right )}^{4} + \left (4 x^{9} + 16 x^{8} + 24 x^{7} + 16 x^{6} + 4 x^{5}\right ) \log {\left (x \right )}^{3} + \left (6 x^{10} + 24 x^{9} + 36 x^{8} + 24 x^{7} + 6 x^{6} + \left (- 2 x^{4} - 4 x^{3} - 2 x^{2}\right ) e^{2 x^{2}} + \left (- 2 x^{4} - 4 x^{3} - 2 x^{2}\right ) e^{16}\right ) \log {\left (x \right )}^{2} + \left (4 x^{11} + 16 x^{10} + 24 x^{9} + 16 x^{8} + 4 x^{7} + \left (- 4 x^{5} - 8 x^{4} - 4 x^{3}\right ) e^{2 x^{2}} + \left (- 4 x^{5} - 8 x^{4} - 4 x^{3}\right ) e^{16}\right ) \log {\left (x \right )} + e^{4 x^{2}} + e^{32}} \] Input:
integrate(((8*x**7+28*x**6+36*x**5+20*x**4+4*x**3)*ln(x)**4+(36*x**8+132*x **7+184*x**6+120*x**5+36*x**4+4*x**3)*ln(x)**3+((-8*x**5-16*x**4-16*x**3-1 2*x**2-4*x)*exp(x**2)**2+(-8*x**3-12*x**2-4*x)*exp(16)+60*x**9+228*x**8+33 6*x**7+240*x**6+84*x**5+12*x**4)*ln(x)**2+((-16*x**6-32*x**5-36*x**4-36*x* *3-20*x**2-4*x)*exp(x**2)**2+(-20*x**4-36*x**3-20*x**2-4*x)*exp(16)+44*x** 10+172*x**9+264*x**8+200*x**7+76*x**6+12*x**5)*ln(x)+8*x*exp(x**2)**4+(8*x *exp(16)-8*x**7-16*x**6-20*x**5-24*x**4-16*x**3-4*x**2)*exp(x**2)**2+(-12* x**5-24*x**4-16*x**3-4*x**2)*exp(16)+12*x**11+48*x**10+76*x**9+60*x**8+24* x**7+4*x**6)*exp((x**8+4*x**7+6*x**6+4*x**5+x**4)*ln(x)**4+(4*x**9+16*x**8 +24*x**7+16*x**6+4*x**5)*ln(x)**3+((-2*x**4-4*x**3-2*x**2)*exp(x**2)**2+(- 2*x**4-4*x**3-2*x**2)*exp(16)+6*x**10+24*x**9+36*x**8+24*x**7+6*x**6)*ln(x )**2+((-4*x**5-8*x**4-4*x**3)*exp(x**2)**2+(-4*x**5-8*x**4-4*x**3)*exp(16) +4*x**11+16*x**10+24*x**9+16*x**8+4*x**7)*ln(x)+exp(x**2)**4+(2*exp(16)-2* x**6-4*x**5-2*x**4)*exp(x**2)**2+exp(16)**2+(-2*x**6-4*x**5-2*x**4)*exp(16 )+x**12+4*x**11+6*x**10+4*x**9+x**8),x)
Output:
exp(x**12 + 4*x**11 + 6*x**10 + 4*x**9 + x**8 + (-2*x**6 - 4*x**5 - 2*x**4 )*exp(16) + (-2*x**6 - 4*x**5 - 2*x**4 + 2*exp(16))*exp(2*x**2) + (x**8 + 4*x**7 + 6*x**6 + 4*x**5 + x**4)*log(x)**4 + (4*x**9 + 16*x**8 + 24*x**7 + 16*x**6 + 4*x**5)*log(x)**3 + (6*x**10 + 24*x**9 + 36*x**8 + 24*x**7 + 6* x**6 + (-2*x**4 - 4*x**3 - 2*x**2)*exp(2*x**2) + (-2*x**4 - 4*x**3 - 2*x** 2)*exp(16))*log(x)**2 + (4*x**11 + 16*x**10 + 24*x**9 + 16*x**8 + 4*x**7 + (-4*x**5 - 8*x**4 - 4*x**3)*exp(2*x**2) + (-4*x**5 - 8*x**4 - 4*x**3)*exp (16))*log(x) + exp(4*x**2) + exp(32))
Leaf count of result is larger than twice the leaf count of optimal. 407 vs. \(2 (30) = 60\).
Time = 1.72 (sec) , antiderivative size = 407, normalized size of antiderivative = 13.57 \[ \int e^{e^{32}+e^{4 x^2}+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+e^{16} \left (-2 x^4-4 x^5-2 x^6\right )+e^{2 x^2} \left (2 e^{16}-2 x^4-4 x^5-2 x^6\right )+\left (4 x^7+16 x^8+24 x^9+16 x^{10}+4 x^{11}+e^{16} \left (-4 x^3-8 x^4-4 x^5\right )+e^{2 x^2} \left (-4 x^3-8 x^4-4 x^5\right )\right ) \log (x)+\left (6 x^6+24 x^7+36 x^8+24 x^9+6 x^{10}+e^{16} \left (-2 x^2-4 x^3-2 x^4\right )+e^{2 x^2} \left (-2 x^2-4 x^3-2 x^4\right )\right ) \log ^2(x)+\left (4 x^5+16 x^6+24 x^7+16 x^8+4 x^9\right ) \log ^3(x)+\left (x^4+4 x^5+6 x^6+4 x^7+x^8\right ) \log ^4(x)} \left (8 e^{4 x^2} x+4 x^6+24 x^7+60 x^8+76 x^9+48 x^{10}+12 x^{11}+e^{16} \left (-4 x^2-16 x^3-24 x^4-12 x^5\right )+e^{2 x^2} \left (8 e^{16} x-4 x^2-16 x^3-24 x^4-20 x^5-16 x^6-8 x^7\right )+\left (12 x^5+76 x^6+200 x^7+264 x^8+172 x^9+44 x^{10}+e^{16} \left (-4 x-20 x^2-36 x^3-20 x^4\right )+e^{2 x^2} \left (-4 x-20 x^2-36 x^3-36 x^4-32 x^5-16 x^6\right )\right ) \log (x)+\left (12 x^4+84 x^5+240 x^6+336 x^7+228 x^8+60 x^9+e^{16} \left (-4 x-12 x^2-8 x^3\right )+e^{2 x^2} \left (-4 x-12 x^2-16 x^3-16 x^4-8 x^5\right )\right ) \log ^2(x)+\left (4 x^3+36 x^4+120 x^5+184 x^6+132 x^7+36 x^8\right ) \log ^3(x)+\left (4 x^3+20 x^4+36 x^5+28 x^6+8 x^7\right ) \log ^4(x)\right ) \, dx=e^{\left (x^{12} + 4 \, x^{11} \log \left (x\right ) + 6 \, x^{10} \log \left (x\right )^{2} + 4 \, x^{9} \log \left (x\right )^{3} + x^{8} \log \left (x\right )^{4} + 4 \, x^{11} + 16 \, x^{10} \log \left (x\right ) + 24 \, x^{9} \log \left (x\right )^{2} + 16 \, x^{8} \log \left (x\right )^{3} + 4 \, x^{7} \log \left (x\right )^{4} + 6 \, x^{10} + 24 \, x^{9} \log \left (x\right ) + 36 \, x^{8} \log \left (x\right )^{2} + 24 \, x^{7} \log \left (x\right )^{3} + 6 \, x^{6} \log \left (x\right )^{4} + 4 \, x^{9} + 16 \, x^{8} \log \left (x\right ) + 24 \, x^{7} \log \left (x\right )^{2} + 16 \, x^{6} \log \left (x\right )^{3} + 4 \, x^{5} \log \left (x\right )^{4} + x^{8} + 4 \, x^{7} \log \left (x\right ) + 6 \, x^{6} \log \left (x\right )^{2} + 4 \, x^{5} \log \left (x\right )^{3} + x^{4} \log \left (x\right )^{4} - 2 \, x^{6} e^{16} - 2 \, x^{6} e^{\left (2 \, x^{2}\right )} - 4 \, x^{5} e^{16} \log \left (x\right ) - 4 \, x^{5} e^{\left (2 \, x^{2}\right )} \log \left (x\right ) - 2 \, x^{4} e^{16} \log \left (x\right )^{2} - 2 \, x^{4} e^{\left (2 \, x^{2}\right )} \log \left (x\right )^{2} - 4 \, x^{5} e^{16} - 4 \, x^{5} e^{\left (2 \, x^{2}\right )} - 8 \, x^{4} e^{16} \log \left (x\right ) - 8 \, x^{4} e^{\left (2 \, x^{2}\right )} \log \left (x\right ) - 4 \, x^{3} e^{16} \log \left (x\right )^{2} - 4 \, x^{3} e^{\left (2 \, x^{2}\right )} \log \left (x\right )^{2} - 2 \, x^{4} e^{16} - 2 \, x^{4} e^{\left (2 \, x^{2}\right )} - 4 \, x^{3} e^{16} \log \left (x\right ) - 4 \, x^{3} e^{\left (2 \, x^{2}\right )} \log \left (x\right ) - 2 \, x^{2} e^{16} \log \left (x\right )^{2} - 2 \, x^{2} e^{\left (2 \, x^{2}\right )} \log \left (x\right )^{2} + e^{32} + e^{\left (4 \, x^{2}\right )} + 2 \, e^{\left (2 \, x^{2} + 16\right )}\right )} \] Input:
integrate(((8*x^7+28*x^6+36*x^5+20*x^4+4*x^3)*log(x)^4+(36*x^8+132*x^7+184 *x^6+120*x^5+36*x^4+4*x^3)*log(x)^3+((-8*x^5-16*x^4-16*x^3-12*x^2-4*x)*exp (x^2)^2+(-8*x^3-12*x^2-4*x)*exp(16)+60*x^9+228*x^8+336*x^7+240*x^6+84*x^5+ 12*x^4)*log(x)^2+((-16*x^6-32*x^5-36*x^4-36*x^3-20*x^2-4*x)*exp(x^2)^2+(-2 0*x^4-36*x^3-20*x^2-4*x)*exp(16)+44*x^10+172*x^9+264*x^8+200*x^7+76*x^6+12 *x^5)*log(x)+8*x*exp(x^2)^4+(8*x*exp(16)-8*x^7-16*x^6-20*x^5-24*x^4-16*x^3 -4*x^2)*exp(x^2)^2+(-12*x^5-24*x^4-16*x^3-4*x^2)*exp(16)+12*x^11+48*x^10+7 6*x^9+60*x^8+24*x^7+4*x^6)*exp((x^8+4*x^7+6*x^6+4*x^5+x^4)*log(x)^4+(4*x^9 +16*x^8+24*x^7+16*x^6+4*x^5)*log(x)^3+((-2*x^4-4*x^3-2*x^2)*exp(x^2)^2+(-2 *x^4-4*x^3-2*x^2)*exp(16)+6*x^10+24*x^9+36*x^8+24*x^7+6*x^6)*log(x)^2+((-4 *x^5-8*x^4-4*x^3)*exp(x^2)^2+(-4*x^5-8*x^4-4*x^3)*exp(16)+4*x^11+16*x^10+2 4*x^9+16*x^8+4*x^7)*log(x)+exp(x^2)^4+(2*exp(16)-2*x^6-4*x^5-2*x^4)*exp(x^ 2)^2+exp(16)^2+(-2*x^6-4*x^5-2*x^4)*exp(16)+x^12+4*x^11+6*x^10+4*x^9+x^8), x, algorithm="maxima")
Output:
e^(x^12 + 4*x^11*log(x) + 6*x^10*log(x)^2 + 4*x^9*log(x)^3 + x^8*log(x)^4 + 4*x^11 + 16*x^10*log(x) + 24*x^9*log(x)^2 + 16*x^8*log(x)^3 + 4*x^7*log( x)^4 + 6*x^10 + 24*x^9*log(x) + 36*x^8*log(x)^2 + 24*x^7*log(x)^3 + 6*x^6* log(x)^4 + 4*x^9 + 16*x^8*log(x) + 24*x^7*log(x)^2 + 16*x^6*log(x)^3 + 4*x ^5*log(x)^4 + x^8 + 4*x^7*log(x) + 6*x^6*log(x)^2 + 4*x^5*log(x)^3 + x^4*l og(x)^4 - 2*x^6*e^16 - 2*x^6*e^(2*x^2) - 4*x^5*e^16*log(x) - 4*x^5*e^(2*x^ 2)*log(x) - 2*x^4*e^16*log(x)^2 - 2*x^4*e^(2*x^2)*log(x)^2 - 4*x^5*e^16 - 4*x^5*e^(2*x^2) - 8*x^4*e^16*log(x) - 8*x^4*e^(2*x^2)*log(x) - 4*x^3*e^16* log(x)^2 - 4*x^3*e^(2*x^2)*log(x)^2 - 2*x^4*e^16 - 2*x^4*e^(2*x^2) - 4*x^3 *e^16*log(x) - 4*x^3*e^(2*x^2)*log(x) - 2*x^2*e^16*log(x)^2 - 2*x^2*e^(2*x ^2)*log(x)^2 + e^32 + e^(4*x^2) + 2*e^(2*x^2 + 16))
Leaf count of result is larger than twice the leaf count of optimal. 407 vs. \(2 (30) = 60\).
Time = 5.01 (sec) , antiderivative size = 407, normalized size of antiderivative = 13.57 \[ \int e^{e^{32}+e^{4 x^2}+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+e^{16} \left (-2 x^4-4 x^5-2 x^6\right )+e^{2 x^2} \left (2 e^{16}-2 x^4-4 x^5-2 x^6\right )+\left (4 x^7+16 x^8+24 x^9+16 x^{10}+4 x^{11}+e^{16} \left (-4 x^3-8 x^4-4 x^5\right )+e^{2 x^2} \left (-4 x^3-8 x^4-4 x^5\right )\right ) \log (x)+\left (6 x^6+24 x^7+36 x^8+24 x^9+6 x^{10}+e^{16} \left (-2 x^2-4 x^3-2 x^4\right )+e^{2 x^2} \left (-2 x^2-4 x^3-2 x^4\right )\right ) \log ^2(x)+\left (4 x^5+16 x^6+24 x^7+16 x^8+4 x^9\right ) \log ^3(x)+\left (x^4+4 x^5+6 x^6+4 x^7+x^8\right ) \log ^4(x)} \left (8 e^{4 x^2} x+4 x^6+24 x^7+60 x^8+76 x^9+48 x^{10}+12 x^{11}+e^{16} \left (-4 x^2-16 x^3-24 x^4-12 x^5\right )+e^{2 x^2} \left (8 e^{16} x-4 x^2-16 x^3-24 x^4-20 x^5-16 x^6-8 x^7\right )+\left (12 x^5+76 x^6+200 x^7+264 x^8+172 x^9+44 x^{10}+e^{16} \left (-4 x-20 x^2-36 x^3-20 x^4\right )+e^{2 x^2} \left (-4 x-20 x^2-36 x^3-36 x^4-32 x^5-16 x^6\right )\right ) \log (x)+\left (12 x^4+84 x^5+240 x^6+336 x^7+228 x^8+60 x^9+e^{16} \left (-4 x-12 x^2-8 x^3\right )+e^{2 x^2} \left (-4 x-12 x^2-16 x^3-16 x^4-8 x^5\right )\right ) \log ^2(x)+\left (4 x^3+36 x^4+120 x^5+184 x^6+132 x^7+36 x^8\right ) \log ^3(x)+\left (4 x^3+20 x^4+36 x^5+28 x^6+8 x^7\right ) \log ^4(x)\right ) \, dx=e^{\left (x^{12} + 4 \, x^{11} \log \left (x\right ) + 6 \, x^{10} \log \left (x\right )^{2} + 4 \, x^{9} \log \left (x\right )^{3} + x^{8} \log \left (x\right )^{4} + 4 \, x^{11} + 16 \, x^{10} \log \left (x\right ) + 24 \, x^{9} \log \left (x\right )^{2} + 16 \, x^{8} \log \left (x\right )^{3} + 4 \, x^{7} \log \left (x\right )^{4} + 6 \, x^{10} + 24 \, x^{9} \log \left (x\right ) + 36 \, x^{8} \log \left (x\right )^{2} + 24 \, x^{7} \log \left (x\right )^{3} + 6 \, x^{6} \log \left (x\right )^{4} + 4 \, x^{9} + 16 \, x^{8} \log \left (x\right ) + 24 \, x^{7} \log \left (x\right )^{2} + 16 \, x^{6} \log \left (x\right )^{3} + 4 \, x^{5} \log \left (x\right )^{4} + x^{8} + 4 \, x^{7} \log \left (x\right ) + 6 \, x^{6} \log \left (x\right )^{2} + 4 \, x^{5} \log \left (x\right )^{3} + x^{4} \log \left (x\right )^{4} - 2 \, x^{6} e^{16} - 2 \, x^{6} e^{\left (2 \, x^{2}\right )} - 4 \, x^{5} e^{16} \log \left (x\right ) - 4 \, x^{5} e^{\left (2 \, x^{2}\right )} \log \left (x\right ) - 2 \, x^{4} e^{16} \log \left (x\right )^{2} - 2 \, x^{4} e^{\left (2 \, x^{2}\right )} \log \left (x\right )^{2} - 4 \, x^{5} e^{16} - 4 \, x^{5} e^{\left (2 \, x^{2}\right )} - 8 \, x^{4} e^{16} \log \left (x\right ) - 8 \, x^{4} e^{\left (2 \, x^{2}\right )} \log \left (x\right ) - 4 \, x^{3} e^{16} \log \left (x\right )^{2} - 4 \, x^{3} e^{\left (2 \, x^{2}\right )} \log \left (x\right )^{2} - 2 \, x^{4} e^{16} - 2 \, x^{4} e^{\left (2 \, x^{2}\right )} - 4 \, x^{3} e^{16} \log \left (x\right ) - 4 \, x^{3} e^{\left (2 \, x^{2}\right )} \log \left (x\right ) - 2 \, x^{2} e^{16} \log \left (x\right )^{2} - 2 \, x^{2} e^{\left (2 \, x^{2}\right )} \log \left (x\right )^{2} + e^{32} + e^{\left (4 \, x^{2}\right )} + 2 \, e^{\left (2 \, x^{2} + 16\right )}\right )} \] Input:
integrate(((8*x^7+28*x^6+36*x^5+20*x^4+4*x^3)*log(x)^4+(36*x^8+132*x^7+184 *x^6+120*x^5+36*x^4+4*x^3)*log(x)^3+((-8*x^5-16*x^4-16*x^3-12*x^2-4*x)*exp (x^2)^2+(-8*x^3-12*x^2-4*x)*exp(16)+60*x^9+228*x^8+336*x^7+240*x^6+84*x^5+ 12*x^4)*log(x)^2+((-16*x^6-32*x^5-36*x^4-36*x^3-20*x^2-4*x)*exp(x^2)^2+(-2 0*x^4-36*x^3-20*x^2-4*x)*exp(16)+44*x^10+172*x^9+264*x^8+200*x^7+76*x^6+12 *x^5)*log(x)+8*x*exp(x^2)^4+(8*x*exp(16)-8*x^7-16*x^6-20*x^5-24*x^4-16*x^3 -4*x^2)*exp(x^2)^2+(-12*x^5-24*x^4-16*x^3-4*x^2)*exp(16)+12*x^11+48*x^10+7 6*x^9+60*x^8+24*x^7+4*x^6)*exp((x^8+4*x^7+6*x^6+4*x^5+x^4)*log(x)^4+(4*x^9 +16*x^8+24*x^7+16*x^6+4*x^5)*log(x)^3+((-2*x^4-4*x^3-2*x^2)*exp(x^2)^2+(-2 *x^4-4*x^3-2*x^2)*exp(16)+6*x^10+24*x^9+36*x^8+24*x^7+6*x^6)*log(x)^2+((-4 *x^5-8*x^4-4*x^3)*exp(x^2)^2+(-4*x^5-8*x^4-4*x^3)*exp(16)+4*x^11+16*x^10+2 4*x^9+16*x^8+4*x^7)*log(x)+exp(x^2)^4+(2*exp(16)-2*x^6-4*x^5-2*x^4)*exp(x^ 2)^2+exp(16)^2+(-2*x^6-4*x^5-2*x^4)*exp(16)+x^12+4*x^11+6*x^10+4*x^9+x^8), x, algorithm="giac")
Output:
e^(x^12 + 4*x^11*log(x) + 6*x^10*log(x)^2 + 4*x^9*log(x)^3 + x^8*log(x)^4 + 4*x^11 + 16*x^10*log(x) + 24*x^9*log(x)^2 + 16*x^8*log(x)^3 + 4*x^7*log( x)^4 + 6*x^10 + 24*x^9*log(x) + 36*x^8*log(x)^2 + 24*x^7*log(x)^3 + 6*x^6* log(x)^4 + 4*x^9 + 16*x^8*log(x) + 24*x^7*log(x)^2 + 16*x^6*log(x)^3 + 4*x ^5*log(x)^4 + x^8 + 4*x^7*log(x) + 6*x^6*log(x)^2 + 4*x^5*log(x)^3 + x^4*l og(x)^4 - 2*x^6*e^16 - 2*x^6*e^(2*x^2) - 4*x^5*e^16*log(x) - 4*x^5*e^(2*x^ 2)*log(x) - 2*x^4*e^16*log(x)^2 - 2*x^4*e^(2*x^2)*log(x)^2 - 4*x^5*e^16 - 4*x^5*e^(2*x^2) - 8*x^4*e^16*log(x) - 8*x^4*e^(2*x^2)*log(x) - 4*x^3*e^16* log(x)^2 - 4*x^3*e^(2*x^2)*log(x)^2 - 2*x^4*e^16 - 2*x^4*e^(2*x^2) - 4*x^3 *e^16*log(x) - 4*x^3*e^(2*x^2)*log(x) - 2*x^2*e^16*log(x)^2 - 2*x^2*e^(2*x ^2)*log(x)^2 + e^32 + e^(4*x^2) + 2*e^(2*x^2 + 16))
Time = 3.50 (sec) , antiderivative size = 453, normalized size of antiderivative = 15.10 \[ \int e^{e^{32}+e^{4 x^2}+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+e^{16} \left (-2 x^4-4 x^5-2 x^6\right )+e^{2 x^2} \left (2 e^{16}-2 x^4-4 x^5-2 x^6\right )+\left (4 x^7+16 x^8+24 x^9+16 x^{10}+4 x^{11}+e^{16} \left (-4 x^3-8 x^4-4 x^5\right )+e^{2 x^2} \left (-4 x^3-8 x^4-4 x^5\right )\right ) \log (x)+\left (6 x^6+24 x^7+36 x^8+24 x^9+6 x^{10}+e^{16} \left (-2 x^2-4 x^3-2 x^4\right )+e^{2 x^2} \left (-2 x^2-4 x^3-2 x^4\right )\right ) \log ^2(x)+\left (4 x^5+16 x^6+24 x^7+16 x^8+4 x^9\right ) \log ^3(x)+\left (x^4+4 x^5+6 x^6+4 x^7+x^8\right ) \log ^4(x)} \left (8 e^{4 x^2} x+4 x^6+24 x^7+60 x^8+76 x^9+48 x^{10}+12 x^{11}+e^{16} \left (-4 x^2-16 x^3-24 x^4-12 x^5\right )+e^{2 x^2} \left (8 e^{16} x-4 x^2-16 x^3-24 x^4-20 x^5-16 x^6-8 x^7\right )+\left (12 x^5+76 x^6+200 x^7+264 x^8+172 x^9+44 x^{10}+e^{16} \left (-4 x-20 x^2-36 x^3-20 x^4\right )+e^{2 x^2} \left (-4 x-20 x^2-36 x^3-36 x^4-32 x^5-16 x^6\right )\right ) \log (x)+\left (12 x^4+84 x^5+240 x^6+336 x^7+228 x^8+60 x^9+e^{16} \left (-4 x-12 x^2-8 x^3\right )+e^{2 x^2} \left (-4 x-12 x^2-16 x^3-16 x^4-8 x^5\right )\right ) \log ^2(x)+\left (4 x^3+36 x^4+120 x^5+184 x^6+132 x^7+36 x^8\right ) \log ^3(x)+\left (4 x^3+20 x^4+36 x^5+28 x^6+8 x^7\right ) \log ^4(x)\right ) \, dx=\frac {x^{4\,x^7}\,x^{4\,x^{11}}\,x^{16\,x^8}\,x^{16\,x^{10}}\,x^{24\,x^9}\,{\mathrm {e}}^{{\mathrm {e}}^{4\,x^2}}\,{\mathrm {e}}^{-2\,x^4\,{\mathrm {e}}^{16}}\,{\mathrm {e}}^{-2\,x^6\,{\mathrm {e}}^{16}}\,{\mathrm {e}}^{-4\,x^5\,{\mathrm {e}}^{16}}\,{\mathrm {e}}^{-2\,x^4\,{\mathrm {e}}^{2\,x^2}}\,{\mathrm {e}}^{-2\,x^6\,{\mathrm {e}}^{2\,x^2}}\,{\mathrm {e}}^{-4\,x^5\,{\mathrm {e}}^{2\,x^2}}\,{\mathrm {e}}^{x^8}\,{\mathrm {e}}^{x^{12}}\,{\mathrm {e}}^{-2\,x^2\,{\mathrm {e}}^{16}\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{-2\,x^4\,{\mathrm {e}}^{16}\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{-4\,x^3\,{\mathrm {e}}^{16}\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{-2\,x^2\,{\mathrm {e}}^{2\,x^2}\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{-2\,x^4\,{\mathrm {e}}^{2\,x^2}\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{-4\,x^3\,{\mathrm {e}}^{2\,x^2}\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{4\,x^9}\,{\mathrm {e}}^{4\,x^{11}}\,{\mathrm {e}}^{6\,x^{10}}\,{\mathrm {e}}^{2\,{\mathrm {e}}^{16}\,{\mathrm {e}}^{2\,x^2}}\,{\mathrm {e}}^{{\mathrm {e}}^{32}}\,{\mathrm {e}}^{x^4\,{\ln \left (x\right )}^4}\,{\mathrm {e}}^{x^8\,{\ln \left (x\right )}^4}\,{\mathrm {e}}^{4\,x^5\,{\ln \left (x\right )}^3}\,{\mathrm {e}}^{4\,x^5\,{\ln \left (x\right )}^4}\,{\mathrm {e}}^{6\,x^6\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{4\,x^7\,{\ln \left (x\right )}^4}\,{\mathrm {e}}^{6\,x^6\,{\ln \left (x\right )}^4}\,{\mathrm {e}}^{4\,x^9\,{\ln \left (x\right )}^3}\,{\mathrm {e}}^{6\,x^{10}\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{16\,x^6\,{\ln \left (x\right )}^3}\,{\mathrm {e}}^{16\,x^8\,{\ln \left (x\right )}^3}\,{\mathrm {e}}^{24\,x^7\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{24\,x^7\,{\ln \left (x\right )}^3}\,{\mathrm {e}}^{24\,x^9\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{36\,x^8\,{\ln \left (x\right )}^2}}{x^{4\,x^3\,{\mathrm {e}}^{16}}\,x^{4\,x^5\,{\mathrm {e}}^{16}}\,x^{8\,x^4\,{\mathrm {e}}^{16}}\,x^{4\,x^3\,{\mathrm {e}}^{2\,x^2}}\,x^{4\,x^5\,{\mathrm {e}}^{2\,x^2}}\,x^{8\,x^4\,{\mathrm {e}}^{2\,x^2}}} \] Input:
int(exp(exp(32) + exp(4*x^2) + log(x)^3*(4*x^5 + 16*x^6 + 24*x^7 + 16*x^8 + 4*x^9) + log(x)^4*(x^4 + 4*x^5 + 6*x^6 + 4*x^7 + x^8) + log(x)*(4*x^7 - exp(16)*(4*x^3 + 8*x^4 + 4*x^5) + 16*x^8 + 24*x^9 + 16*x^10 + 4*x^11 - exp (2*x^2)*(4*x^3 + 8*x^4 + 4*x^5)) - exp(2*x^2)*(2*x^4 - 2*exp(16) + 4*x^5 + 2*x^6) - exp(16)*(2*x^4 + 4*x^5 + 2*x^6) + x^8 + 4*x^9 + 6*x^10 + 4*x^11 + x^12 + log(x)^2*(6*x^6 - exp(16)*(2*x^2 + 4*x^3 + 2*x^4) + 24*x^7 + 36*x ^8 + 24*x^9 + 6*x^10 - exp(2*x^2)*(2*x^2 + 4*x^3 + 2*x^4)))*(log(x)^4*(4*x ^3 + 20*x^4 + 36*x^5 + 28*x^6 + 8*x^7) + log(x)^3*(4*x^3 + 36*x^4 + 120*x^ 5 + 184*x^6 + 132*x^7 + 36*x^8) + 8*x*exp(4*x^2) + log(x)^2*(12*x^4 - exp( 16)*(4*x + 12*x^2 + 8*x^3) - exp(2*x^2)*(4*x + 12*x^2 + 16*x^3 + 16*x^4 + 8*x^5) + 84*x^5 + 240*x^6 + 336*x^7 + 228*x^8 + 60*x^9) + log(x)*(12*x^5 - exp(16)*(4*x + 20*x^2 + 36*x^3 + 20*x^4) - exp(2*x^2)*(4*x + 20*x^2 + 36* x^3 + 36*x^4 + 32*x^5 + 16*x^6) + 76*x^6 + 200*x^7 + 264*x^8 + 172*x^9 + 4 4*x^10) + 4*x^6 + 24*x^7 + 60*x^8 + 76*x^9 + 48*x^10 + 12*x^11 - exp(2*x^2 )*(4*x^2 - 8*x*exp(16) + 16*x^3 + 24*x^4 + 20*x^5 + 16*x^6 + 8*x^7) - exp( 16)*(4*x^2 + 16*x^3 + 24*x^4 + 12*x^5)),x)
Output:
(x^(4*x^7)*x^(4*x^11)*x^(16*x^8)*x^(16*x^10)*x^(24*x^9)*exp(exp(4*x^2))*ex p(-2*x^4*exp(16))*exp(-2*x^6*exp(16))*exp(-4*x^5*exp(16))*exp(-2*x^4*exp(2 *x^2))*exp(-2*x^6*exp(2*x^2))*exp(-4*x^5*exp(2*x^2))*exp(x^8)*exp(x^12)*ex p(-2*x^2*exp(16)*log(x)^2)*exp(-2*x^4*exp(16)*log(x)^2)*exp(-4*x^3*exp(16) *log(x)^2)*exp(-2*x^2*exp(2*x^2)*log(x)^2)*exp(-2*x^4*exp(2*x^2)*log(x)^2) *exp(-4*x^3*exp(2*x^2)*log(x)^2)*exp(4*x^9)*exp(4*x^11)*exp(6*x^10)*exp(2* exp(16)*exp(2*x^2))*exp(exp(32))*exp(x^4*log(x)^4)*exp(x^8*log(x)^4)*exp(4 *x^5*log(x)^3)*exp(4*x^5*log(x)^4)*exp(6*x^6*log(x)^2)*exp(4*x^7*log(x)^4) *exp(6*x^6*log(x)^4)*exp(4*x^9*log(x)^3)*exp(6*x^10*log(x)^2)*exp(16*x^6*l og(x)^3)*exp(16*x^8*log(x)^3)*exp(24*x^7*log(x)^2)*exp(24*x^7*log(x)^3)*ex p(24*x^9*log(x)^2)*exp(36*x^8*log(x)^2))/(x^(4*x^3*exp(16))*x^(4*x^5*exp(1 6))*x^(8*x^4*exp(16))*x^(4*x^3*exp(2*x^2))*x^(4*x^5*exp(2*x^2))*x^(8*x^4*e xp(2*x^2)))
\[ \int e^{e^{32}+e^{4 x^2}+x^8+4 x^9+6 x^{10}+4 x^{11}+x^{12}+e^{16} \left (-2 x^4-4 x^5-2 x^6\right )+e^{2 x^2} \left (2 e^{16}-2 x^4-4 x^5-2 x^6\right )+\left (4 x^7+16 x^8+24 x^9+16 x^{10}+4 x^{11}+e^{16} \left (-4 x^3-8 x^4-4 x^5\right )+e^{2 x^2} \left (-4 x^3-8 x^4-4 x^5\right )\right ) \log (x)+\left (6 x^6+24 x^7+36 x^8+24 x^9+6 x^{10}+e^{16} \left (-2 x^2-4 x^3-2 x^4\right )+e^{2 x^2} \left (-2 x^2-4 x^3-2 x^4\right )\right ) \log ^2(x)+\left (4 x^5+16 x^6+24 x^7+16 x^8+4 x^9\right ) \log ^3(x)+\left (x^4+4 x^5+6 x^6+4 x^7+x^8\right ) \log ^4(x)} \left (8 e^{4 x^2} x+4 x^6+24 x^7+60 x^8+76 x^9+48 x^{10}+12 x^{11}+e^{16} \left (-4 x^2-16 x^3-24 x^4-12 x^5\right )+e^{2 x^2} \left (8 e^{16} x-4 x^2-16 x^3-24 x^4-20 x^5-16 x^6-8 x^7\right )+\left (12 x^5+76 x^6+200 x^7+264 x^8+172 x^9+44 x^{10}+e^{16} \left (-4 x-20 x^2-36 x^3-20 x^4\right )+e^{2 x^2} \left (-4 x-20 x^2-36 x^3-36 x^4-32 x^5-16 x^6\right )\right ) \log (x)+\left (12 x^4+84 x^5+240 x^6+336 x^7+228 x^8+60 x^9+e^{16} \left (-4 x-12 x^2-8 x^3\right )+e^{2 x^2} \left (-4 x-12 x^2-16 x^3-16 x^4-8 x^5\right )\right ) \log ^2(x)+\left (4 x^3+36 x^4+120 x^5+184 x^6+132 x^7+36 x^8\right ) \log ^3(x)+\left (4 x^3+20 x^4+36 x^5+28 x^6+8 x^7\right ) \log ^4(x)\right ) \, dx=\int \left (\left (8 x^{7}+28 x^{6}+36 x^{5}+20 x^{4}+4 x^{3}\right ) \mathrm {log}\left (x \right )^{4}+\left (36 x^{8}+132 x^{7}+184 x^{6}+120 x^{5}+36 x^{4}+4 x^{3}\right ) \mathrm {log}\left (x \right )^{3}+\left (\left (-8 x^{5}-16 x^{4}-16 x^{3}-12 x^{2}-4 x \right ) \left ({\mathrm e}^{x^{2}}\right )^{2}+\left (-8 x^{3}-12 x^{2}-4 x \right ) {\mathrm e}^{16}+60 x^{9}+228 x^{8}+336 x^{7}+240 x^{6}+84 x^{5}+12 x^{4}\right ) \mathrm {log}\left (x \right )^{2}+\left (\left (-16 x^{6}-32 x^{5}-36 x^{4}-36 x^{3}-20 x^{2}-4 x \right ) \left ({\mathrm e}^{x^{2}}\right )^{2}+\left (-20 x^{4}-36 x^{3}-20 x^{2}-4 x \right ) {\mathrm e}^{16}+44 x^{10}+172 x^{9}+264 x^{8}+200 x^{7}+76 x^{6}+12 x^{5}\right ) \mathrm {log}\left (x \right )+8 x \left ({\mathrm e}^{x^{2}}\right )^{4}+\left (8 x \,{\mathrm e}^{16}-8 x^{7}-16 x^{6}-20 x^{5}-24 x^{4}-16 x^{3}-4 x^{2}\right ) \left ({\mathrm e}^{x^{2}}\right )^{2}+\left (-12 x^{5}-24 x^{4}-16 x^{3}-4 x^{2}\right ) {\mathrm e}^{16}+12 x^{11}+48 x^{10}+76 x^{9}+60 x^{8}+24 x^{7}+4 x^{6}\right ) {\mathrm e}^{\left (x^{8}+4 x^{7}+6 x^{6}+4 x^{5}+x^{4}\right ) \mathrm {log}\left (x \right )^{4}+\left (4 x^{9}+16 x^{8}+24 x^{7}+16 x^{6}+4 x^{5}\right ) \mathrm {log}\left (x \right )^{3}+\left (\left (-2 x^{4}-4 x^{3}-2 x^{2}\right ) \left ({\mathrm e}^{x^{2}}\right )^{2}+\left (-2 x^{4}-4 x^{3}-2 x^{2}\right ) {\mathrm e}^{16}+6 x^{10}+24 x^{9}+36 x^{8}+24 x^{7}+6 x^{6}\right ) \mathrm {log}\left (x \right )^{2}+\left (\left (-4 x^{5}-8 x^{4}-4 x^{3}\right ) \left ({\mathrm e}^{x^{2}}\right )^{2}+\left (-4 x^{5}-8 x^{4}-4 x^{3}\right ) {\mathrm e}^{16}+4 x^{11}+16 x^{10}+24 x^{9}+16 x^{8}+4 x^{7}\right ) \mathrm {log}\left (x \right )+\left ({\mathrm e}^{x^{2}}\right )^{4}+\left (2 \,{\mathrm e}^{16}-2 x^{6}-4 x^{5}-2 x^{4}\right ) \left ({\mathrm e}^{x^{2}}\right )^{2}+\left ({\mathrm e}^{16}\right )^{2}+\left (-2 x^{6}-4 x^{5}-2 x^{4}\right ) {\mathrm e}^{16}+x^{12}+4 x^{11}+6 x^{10}+4 x^{9}+x^{8}}d x \] Input:
int(((8*x^7+28*x^6+36*x^5+20*x^4+4*x^3)*log(x)^4+(36*x^8+132*x^7+184*x^6+1 20*x^5+36*x^4+4*x^3)*log(x)^3+((-8*x^5-16*x^4-16*x^3-12*x^2-4*x)*exp(x^2)^ 2+(-8*x^3-12*x^2-4*x)*exp(16)+60*x^9+228*x^8+336*x^7+240*x^6+84*x^5+12*x^4 )*log(x)^2+((-16*x^6-32*x^5-36*x^4-36*x^3-20*x^2-4*x)*exp(x^2)^2+(-20*x^4- 36*x^3-20*x^2-4*x)*exp(16)+44*x^10+172*x^9+264*x^8+200*x^7+76*x^6+12*x^5)* log(x)+8*x*exp(x^2)^4+(8*x*exp(16)-8*x^7-16*x^6-20*x^5-24*x^4-16*x^3-4*x^2 )*exp(x^2)^2+(-12*x^5-24*x^4-16*x^3-4*x^2)*exp(16)+12*x^11+48*x^10+76*x^9+ 60*x^8+24*x^7+4*x^6)*exp((x^8+4*x^7+6*x^6+4*x^5+x^4)*log(x)^4+(4*x^9+16*x^ 8+24*x^7+16*x^6+4*x^5)*log(x)^3+((-2*x^4-4*x^3-2*x^2)*exp(x^2)^2+(-2*x^4-4 *x^3-2*x^2)*exp(16)+6*x^10+24*x^9+36*x^8+24*x^7+6*x^6)*log(x)^2+((-4*x^5-8 *x^4-4*x^3)*exp(x^2)^2+(-4*x^5-8*x^4-4*x^3)*exp(16)+4*x^11+16*x^10+24*x^9+ 16*x^8+4*x^7)*log(x)+exp(x^2)^4+(2*exp(16)-2*x^6-4*x^5-2*x^4)*exp(x^2)^2+e xp(16)^2+(-2*x^6-4*x^5-2*x^4)*exp(16)+x^12+4*x^11+6*x^10+4*x^9+x^8),x)
Output:
int(((8*x^7+28*x^6+36*x^5+20*x^4+4*x^3)*log(x)^4+(36*x^8+132*x^7+184*x^6+1 20*x^5+36*x^4+4*x^3)*log(x)^3+((-8*x^5-16*x^4-16*x^3-12*x^2-4*x)*exp(x^2)^ 2+(-8*x^3-12*x^2-4*x)*exp(16)+60*x^9+228*x^8+336*x^7+240*x^6+84*x^5+12*x^4 )*log(x)^2+((-16*x^6-32*x^5-36*x^4-36*x^3-20*x^2-4*x)*exp(x^2)^2+(-20*x^4- 36*x^3-20*x^2-4*x)*exp(16)+44*x^10+172*x^9+264*x^8+200*x^7+76*x^6+12*x^5)* log(x)+8*x*exp(x^2)^4+(8*x*exp(16)-8*x^7-16*x^6-20*x^5-24*x^4-16*x^3-4*x^2 )*exp(x^2)^2+(-12*x^5-24*x^4-16*x^3-4*x^2)*exp(16)+12*x^11+48*x^10+76*x^9+ 60*x^8+24*x^7+4*x^6)*exp((x^8+4*x^7+6*x^6+4*x^5+x^4)*log(x)^4+(4*x^9+16*x^ 8+24*x^7+16*x^6+4*x^5)*log(x)^3+((-2*x^4-4*x^3-2*x^2)*exp(x^2)^2+(-2*x^4-4 *x^3-2*x^2)*exp(16)+6*x^10+24*x^9+36*x^8+24*x^7+6*x^6)*log(x)^2+((-4*x^5-8 *x^4-4*x^3)*exp(x^2)^2+(-4*x^5-8*x^4-4*x^3)*exp(16)+4*x^11+16*x^10+24*x^9+ 16*x^8+4*x^7)*log(x)+exp(x^2)^4+(2*exp(16)-2*x^6-4*x^5-2*x^4)*exp(x^2)^2+e xp(16)^2+(-2*x^6-4*x^5-2*x^4)*exp(16)+x^12+4*x^11+6*x^10+4*x^9+x^8),x)