\(\int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} (-128 x^4+128 x^2 \log (4))}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx\) [7843]

Optimal result

Integrand size = 166, antiderivative size = 28 \[ \int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx=1-e^{\frac {1}{\left (2-e^{2-16 \left (x^2-\log (4)\right )^2}\right )^2}} \]

[Out]

1-exp(1/(2-exp(2-4*(x^2-2*ln(2))*(4*x^2-8*ln(2))))^2)

Rubi [F]

\[ \int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx=\int \frac {\exp \left (2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)\right ) \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx \]

[In]

Int[(E^(2 + (4 + E^(4 - 32*x^4 + 64*x^2*Log[4] - 32*Log[4]^2) - 4*E^(2 - 16*x^4 + 32*x^2*Log[4] - 16*Log[4]^2)
)^(-1) - 16*x^4 + 32*x^2*Log[4] - 16*Log[4]^2)*(-128*x^4 + 128*x^2*Log[4]))/(-8*x + E^(6 - 48*x^4 + 96*x^2*Log
[4] - 48*Log[4]^2)*x - 6*E^(4 - 32*x^4 + 64*x^2*Log[4] - 32*Log[4]^2)*x + 12*E^(2 - 16*x^4 + 32*x^2*Log[4] - 1
6*Log[4]^2)*x),x]

[Out]

-1/2*(Log[4]*Defer[Subst][Defer[Int][(2^(7 + 64*x)*E^(E^(32*(x^2 + Log[4]^2))/(2^(64*x)*E^2 - 2*E^(16*(x^2 + L
og[4]^2)))^2 + 32*x^2 + 2*(1 + 16*Log[4]^2)))/(-(2^(64*x)*E^2) + 2*E^(16*x^2 + 16*Log[4]^2))^3, x], x, x^2]) +
Defer[Subst][Defer[Int][(2^(7 + 64*x)*E^(E^(32*(x^2 + Log[4]^2))/(2^(64*x)*E^2 - 2*E^(16*(x^2 + Log[4]^2)))^2
+ 32*x^2 + 2*(1 + 16*Log[4]^2))*x)/(-(2^(64*x)*E^2) + 2*E^(16*x^2 + 16*Log[4]^2))^3, x], x, x^2]/2

Rubi steps \begin{align*} \text {integral}& = \int \frac {\exp \left (2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)\right ) x^2 \left (-128 x^2+128 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx \\ & = \int \frac {2^{7+64 x^2} \exp \left (\frac {e^{32 \left (x^4+\log ^2(4)\right )}}{\left (2^{64 x^2} e^2-2 e^{16 \left (x^4+\log ^2(4)\right )}\right )^2}+32 x^4+2 \left (1+16 \log ^2(4)\right )\right ) x \left (-x^2+\log (4)\right )}{\left (2^{64 x^2} e^2-2 e^{16 \left (x^4+\log ^2(4)\right )}\right )^3} \, dx \\ & = \frac {1}{2} \text {Subst}\left (\int \frac {2^{7+64 x} \exp \left (\frac {e^{32 \left (x^2+\log ^2(4)\right )}}{\left (2^{64 x} e^2-2 e^{16 \left (x^2+\log ^2(4)\right )}\right )^2}+32 x^2+2 \left (1+16 \log ^2(4)\right )\right ) (-x+\log (4))}{\left (2^{64 x} e^2-2 e^{16 \left (x^2+\log ^2(4)\right )}\right )^3} \, dx,x,x^2\right ) \\ & = \frac {1}{2} \text {Subst}\left (\int \left (\frac {2^{7+64 x} \exp \left (\frac {e^{32 \left (x^2+\log ^2(4)\right )}}{\left (2^{64 x} e^2-2 e^{16 \left (x^2+\log ^2(4)\right )}\right )^2}+32 x^2+2 \left (1+16 \log ^2(4)\right )\right ) x}{\left (-2^{64 x} e^2+2 e^{16 x^2+16 \log ^2(4)}\right )^3}-\frac {2^{7+64 x} \exp \left (\frac {e^{32 \left (x^2+\log ^2(4)\right )}}{\left (2^{64 x} e^2-2 e^{16 \left (x^2+\log ^2(4)\right )}\right )^2}+32 x^2+2 \left (1+16 \log ^2(4)\right )\right ) \log (4)}{\left (-2^{64 x} e^2+2 e^{16 x^2+16 \log ^2(4)}\right )^3}\right ) \, dx,x,x^2\right ) \\ & = \frac {1}{2} \text {Subst}\left (\int \frac {2^{7+64 x} \exp \left (\frac {e^{32 \left (x^2+\log ^2(4)\right )}}{\left (2^{64 x} e^2-2 e^{16 \left (x^2+\log ^2(4)\right )}\right )^2}+32 x^2+2 \left (1+16 \log ^2(4)\right )\right ) x}{\left (-2^{64 x} e^2+2 e^{16 x^2+16 \log ^2(4)}\right )^3} \, dx,x,x^2\right )-\frac {1}{2} \log (4) \text {Subst}\left (\int \frac {2^{7+64 x} \exp \left (\frac {e^{32 \left (x^2+\log ^2(4)\right )}}{\left (2^{64 x} e^2-2 e^{16 \left (x^2+\log ^2(4)\right )}\right )^2}+32 x^2+2 \left (1+16 \log ^2(4)\right )\right )}{\left (-2^{64 x} e^2+2 e^{16 x^2+16 \log ^2(4)}\right )^3} \, dx,x,x^2\right ) \\ \end{align*}

Mathematica [F]

\[ \int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx=\int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx \]

[In]

Integrate[(E^(2 + (4 + E^(4 - 32*x^4 + 64*x^2*Log[4] - 32*Log[4]^2) - 4*E^(2 - 16*x^4 + 32*x^2*Log[4] - 16*Log
[4]^2))^(-1) - 16*x^4 + 32*x^2*Log[4] - 16*Log[4]^2)*(-128*x^4 + 128*x^2*Log[4]))/(-8*x + E^(6 - 48*x^4 + 96*x
^2*Log[4] - 48*Log[4]^2)*x - 6*E^(4 - 32*x^4 + 64*x^2*Log[4] - 32*Log[4]^2)*x + 12*E^(2 - 16*x^4 + 32*x^2*Log[
4] - 16*Log[4]^2)*x),x]

[Out]

Integrate[(E^(2 + (4 + E^(4 - 32*x^4 + 64*x^2*Log[4] - 32*Log[4]^2) - 4*E^(2 - 16*x^4 + 32*x^2*Log[4] - 16*Log
[4]^2))^(-1) - 16*x^4 + 32*x^2*Log[4] - 16*Log[4]^2)*(-128*x^4 + 128*x^2*Log[4]))/(-8*x + E^(6 - 48*x^4 + 96*x
^2*Log[4] - 48*Log[4]^2)*x - 6*E^(4 - 32*x^4 + 64*x^2*Log[4] - 32*Log[4]^2)*x + 12*E^(2 - 16*x^4 + 32*x^2*Log[
4] - 16*Log[4]^2)*x), x]

Maple [A] (verified)

Time = 1.75 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.93

method	result	size
parallelrisch	\(-{\mathrm e}^{\frac {1}{{\mathrm e}^{-32 x^{4}+128 x^{2} \ln \left (2\right )-128 \ln \left (2\right )^{2}+4}-4 \,{\mathrm e}^{-16 x^{4}+64 x^{2} \ln \left (2\right )-64 \ln \left (2\right )^{2}+2}+4}}\)	\(54\)
risch	\(-{\mathrm e}^{-\frac {1}{-{\mathrm e}^{-32 x^{4}+128 x^{2} \ln \left (2\right )-128 \ln \left (2\right )^{2}+4}+4 \,{\mathrm e}^{-16 x^{4}+64 x^{2} \ln \left (2\right )-64 \ln \left (2\right )^{2}+2}-4}}\)	\(56\)

[In]

int((-128*x^4+256*x^2*ln(2))*exp(-16*x^4+64*x^2*ln(2)-64*ln(2)^2+2)*exp(1/(exp(-16*x^4+64*x^2*ln(2)-64*ln(2)^2
+2)^2-4*exp(-16*x^4+64*x^2*ln(2)-64*ln(2)^2+2)+4))/(x*exp(-16*x^4+64*x^2*ln(2)-64*ln(2)^2+2)^3-6*x*exp(-16*x^4
+64*x^2*ln(2)-64*ln(2)^2+2)^2+12*x*exp(-16*x^4+64*x^2*ln(2)-64*ln(2)^2+2)-8*x),x,method=_RETURNVERBOSE)

[Out]

-exp(1/(exp(-16*x^4+64*x^2*ln(2)-64*ln(2)^2+2)^2-4*exp(-16*x^4+64*x^2*ln(2)-64*ln(2)^2+2)+4))

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 180 vs. \(2 (24) = 48\).

Time = 0.26 (sec) , antiderivative size = 180, normalized size of antiderivative = 6.43 \[ \int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx=-e^{\left (16 \, x^{4} - 64 \, x^{2} \log \left (2\right ) + 64 \, \log \left (2\right )^{2} + \frac {64 \, x^{4} - 256 \, x^{2} \log \left (2\right ) - 8 \, {\left (8 \, x^{4} - 32 \, x^{2} \log \left (2\right ) + 32 \, \log \left (2\right )^{2} - 1\right )} e^{\left (-16 \, x^{4} + 64 \, x^{2} \log \left (2\right ) - 64 \, \log \left (2\right )^{2} + 2\right )} + 2 \, {\left (8 \, x^{4} - 32 \, x^{2} \log \left (2\right ) + 32 \, \log \left (2\right )^{2} - 1\right )} e^{\left (-32 \, x^{4} + 128 \, x^{2} \log \left (2\right ) - 128 \, \log \left (2\right )^{2} + 4\right )} + 256 \, \log \left (2\right )^{2} - 9}{4 \, e^{\left (-16 \, x^{4} + 64 \, x^{2} \log \left (2\right ) - 64 \, \log \left (2\right )^{2} + 2\right )} - e^{\left (-32 \, x^{4} + 128 \, x^{2} \log \left (2\right ) - 128 \, \log \left (2\right )^{2} + 4\right )} - 4} - 2\right )} \]

[In]

integrate((-128*x^4+256*x^2*log(2))*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)*exp(1/(exp(-16*x^4+64*x^2*log(2)-
64*log(2)^2+2)^2-4*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)+4))/(x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)^3-
6*x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)^2+12*x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)-8*x),x, algorithm
="fricas")

[Out]

-e^(16*x^4 - 64*x^2*log(2) + 64*log(2)^2 + (64*x^4 - 256*x^2*log(2) - 8*(8*x^4 - 32*x^2*log(2) + 32*log(2)^2 -
1)*e^(-16*x^4 + 64*x^2*log(2) - 64*log(2)^2 + 2) + 2*(8*x^4 - 32*x^2*log(2) + 32*log(2)^2 - 1)*e^(-32*x^4 + 1
28*x^2*log(2) - 128*log(2)^2 + 4) + 256*log(2)^2 - 9)/(4*e^(-16*x^4 + 64*x^2*log(2) - 64*log(2)^2 + 2) - e^(-3
2*x^4 + 128*x^2*log(2) - 128*log(2)^2 + 4) - 4) - 2)

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 54 vs. \(2 (22) = 44\).

Time = 0.20 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.93 \[ \int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx=- e^{\frac {1}{e^{- 32 x^{4} + 128 x^{2} \log {\left (2 \right )} - 128 \log {\left (2 \right )}^{2} + 4} - 4 e^{- 16 x^{4} + 64 x^{2} \log {\left (2 \right )} - 64 \log {\left (2 \right )}^{2} + 2} + 4}} \]

[In]

integrate((-128*x**4+256*x**2*ln(2))*exp(-16*x**4+64*x**2*ln(2)-64*ln(2)**2+2)*exp(1/(exp(-16*x**4+64*x**2*ln(
2)-64*ln(2)**2+2)**2-4*exp(-16*x**4+64*x**2*ln(2)-64*ln(2)**2+2)+4))/(x*exp(-16*x**4+64*x**2*ln(2)-64*ln(2)**2
+2)**3-6*x*exp(-16*x**4+64*x**2*ln(2)-64*ln(2)**2+2)**2+12*x*exp(-16*x**4+64*x**2*ln(2)-64*ln(2)**2+2)-8*x),x)

[Out]

-exp(1/(exp(-32*x**4 + 128*x**2*log(2) - 128*log(2)**2 + 4) - 4*exp(-16*x**4 + 64*x**2*log(2) - 64*log(2)**2 +
2) + 4))

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 68 vs. \(2 (24) = 48\).

Time = 1.26 (sec) , antiderivative size = 68, normalized size of antiderivative = 2.43 \[ \int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx=-e^{\left (\frac {e^{\left (32 \, x^{4} + 128 \, \log \left (2\right )^{2}\right )}}{4 \, e^{\left (32 \, x^{4} + 128 \, \log \left (2\right )^{2}\right )} - 4 \, e^{\left (16 \, x^{4} + 64 \, x^{2} \log \left (2\right ) + 64 \, \log \left (2\right )^{2} + 2\right )} + e^{\left (128 \, x^{2} \log \left (2\right ) + 4\right )}}\right )} \]

[In]

integrate((-128*x^4+256*x^2*log(2))*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)*exp(1/(exp(-16*x^4+64*x^2*log(2)-
64*log(2)^2+2)^2-4*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)+4))/(x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)^3-
6*x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)^2+12*x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)-8*x),x, algorithm
="maxima")

[Out]

-e^(e^(32*x^4 + 128*log(2)^2)/(4*e^(32*x^4 + 128*log(2)^2) - 4*e^(16*x^4 + 64*x^2*log(2) + 64*log(2)^2 + 2) +
e^(128*x^2*log(2) + 4)))

Giac [F]

\[ \int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx=\int { -\frac {128 \, {\left (x^{4} - 2 \, x^{2} \log \left (2\right )\right )} e^{\left (-16 \, x^{4} + 64 \, x^{2} \log \left (2\right ) - 64 \, \log \left (2\right )^{2} - \frac {1}{4 \, e^{\left (-16 \, x^{4} + 64 \, x^{2} \log \left (2\right ) - 64 \, \log \left (2\right )^{2} + 2\right )} - e^{\left (-32 \, x^{4} + 128 \, x^{2} \log \left (2\right ) - 128 \, \log \left (2\right )^{2} + 4\right )} - 4} + 2\right )}}{12 \, x e^{\left (-16 \, x^{4} + 64 \, x^{2} \log \left (2\right ) - 64 \, \log \left (2\right )^{2} + 2\right )} - 6 \, x e^{\left (-32 \, x^{4} + 128 \, x^{2} \log \left (2\right ) - 128 \, \log \left (2\right )^{2} + 4\right )} + x e^{\left (-48 \, x^{4} + 192 \, x^{2} \log \left (2\right ) - 192 \, \log \left (2\right )^{2} + 6\right )} - 8 \, x} \,d x } \]

[In]

integrate((-128*x^4+256*x^2*log(2))*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)*exp(1/(exp(-16*x^4+64*x^2*log(2)-
64*log(2)^2+2)^2-4*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)+4))/(x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)^3-
6*x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)^2+12*x*exp(-16*x^4+64*x^2*log(2)-64*log(2)^2+2)-8*x),x, algorithm
="giac")

[Out]

undef

Mupad [B] (verification not implemented)

Time = 15.45 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.93 \[ \int \frac {e^{2+\frac {1}{4+e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)}-4 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)}}-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} \left (-128 x^4+128 x^2 \log (4)\right )}{-8 x+e^{6-48 x^4+96 x^2 \log (4)-48 \log ^2(4)} x-6 e^{4-32 x^4+64 x^2 \log (4)-32 \log ^2(4)} x+12 e^{2-16 x^4+32 x^2 \log (4)-16 \log ^2(4)} x} \, dx=-{\mathrm {e}}^{\frac {1}{2^{128\,x^2}\,{\mathrm {e}}^4\,{\mathrm {e}}^{-128\,{\ln \left (2\right )}^2}\,{\mathrm {e}}^{-32\,x^4}-4\,2^{64\,x^2}\,{\mathrm {e}}^2\,{\mathrm {e}}^{-64\,{\ln \left (2\right )}^2}\,{\mathrm {e}}^{-16\,x^4}+4}} \]

[In]

int(-(exp(1/(exp(128*x^2*log(2) - 128*log(2)^2 - 32*x^4 + 4) - 4*exp(64*x^2*log(2) - 64*log(2)^2 - 16*x^4 + 2)
+ 4))*exp(64*x^2*log(2) - 64*log(2)^2 - 16*x^4 + 2)*(256*x^2*log(2) - 128*x^4))/(8*x - 12*x*exp(64*x^2*log(2)
- 64*log(2)^2 - 16*x^4 + 2) + 6*x*exp(128*x^2*log(2) - 128*log(2)^2 - 32*x^4 + 4) - x*exp(192*x^2*log(2) - 19
2*log(2)^2 - 48*x^4 + 6)),x)

[Out]

-exp(1/(2^(128*x^2)*exp(4)*exp(-128*log(2)^2)*exp(-32*x^4) - 4*2^(64*x^2)*exp(2)*exp(-64*log(2)^2)*exp(-16*x^4
) + 4))