3.87.65 \(\int \frac {-20 x^6+5 x^7+(120 x^6-30 x^7) \log (5)+(-300 x^6+75 x^7) \log ^2(5)+(400 x^6-100 x^7) \log ^3(5)+(-300 x^6+75 x^7) \log ^4(5)+(120 x^6-30 x^7) \log ^5(5)+(-20 x^6+5 x^7) \log ^6(5)+(-25 x^4 \log ^2(5)+100 x^4 \log ^3(5)-150 x^4 \log ^4(5)+100 x^4 \log ^5(5)-25 x^4 \log ^6(5)) \log (\log (3))}{64 x^6+48 x^7+12 x^8+x^9+(-384 x^6-288 x^7-72 x^8-6 x^9) \log (5)+(960 x^6+720 x^7+180 x^8+15 x^9) \log ^2(5)+(-1280 x^6-960 x^7-240 x^8-20 x^9) \log ^3(5)+(960 x^6+720 x^7+180 x^8+15 x^9) \log ^4(5)+(-384 x^6-288 x^7-72 x^8-6 x^9) \log ^5(5)+(64 x^6+48 x^7+12 x^8+x^9) \log ^6(5)+((48 x^4+24 x^5+3 x^6) \log ^2(5)+(-192 x^4-96 x^5-12 x^6) \log ^3(5)+(288 x^4+144 x^5+18 x^6) \log ^4(5)+(-192 x^4-96 x^5-12 x^6) \log ^5(5)+(48 x^4+24 x^5+3 x^6) \log ^6(5)) \log (\log (3))+((12 x^2+3 x^3) \log ^4(5)+(-24 x^2-6 x^3) \log ^5(5)+(12 x^2+3 x^3) \log ^6(5)) \log ^2(\log (3))+\log ^6(5) \log ^3(\log (3))} \, dx\)
Optimal. Leaf size=26 \[ 2-\frac {5 x}{\left (4+x+\frac {\log (\log (3))}{\left (-x+\frac {x}{\log (5)}\right )^2}\right )^2} \]
________________________________________________________________________________________
Rubi [F] time = 180.00, antiderivative size = 0, normalized size of antiderivative = 0.00,
number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used =
{} \begin {gather*} \text {\$Aborted} \end {gather*}
Verification is not applicable to the result.
[In]
Int[(-20*x^6 + 5*x^7 + (120*x^6 - 30*x^7)*Log[5] + (-300*x^6 + 75*x^7)*Log[5]^2 + (400*x^6 - 100*x^7)*Log[5]^3
+ (-300*x^6 + 75*x^7)*Log[5]^4 + (120*x^6 - 30*x^7)*Log[5]^5 + (-20*x^6 + 5*x^7)*Log[5]^6 + (-25*x^4*Log[5]^2
+ 100*x^4*Log[5]^3 - 150*x^4*Log[5]^4 + 100*x^4*Log[5]^5 - 25*x^4*Log[5]^6)*Log[Log[3]])/(64*x^6 + 48*x^7 + 1
2*x^8 + x^9 + (-384*x^6 - 288*x^7 - 72*x^8 - 6*x^9)*Log[5] + (960*x^6 + 720*x^7 + 180*x^8 + 15*x^9)*Log[5]^2 +
(-1280*x^6 - 960*x^7 - 240*x^8 - 20*x^9)*Log[5]^3 + (960*x^6 + 720*x^7 + 180*x^8 + 15*x^9)*Log[5]^4 + (-384*x
^6 - 288*x^7 - 72*x^8 - 6*x^9)*Log[5]^5 + (64*x^6 + 48*x^7 + 12*x^8 + x^9)*Log[5]^6 + ((48*x^4 + 24*x^5 + 3*x^
6)*Log[5]^2 + (-192*x^4 - 96*x^5 - 12*x^6)*Log[5]^3 + (288*x^4 + 144*x^5 + 18*x^6)*Log[5]^4 + (-192*x^4 - 96*x
^5 - 12*x^6)*Log[5]^5 + (48*x^4 + 24*x^5 + 3*x^6)*Log[5]^6)*Log[Log[3]] + ((12*x^2 + 3*x^3)*Log[5]^4 + (-24*x^
2 - 6*x^3)*Log[5]^5 + (12*x^2 + 3*x^3)*Log[5]^6)*Log[Log[3]]^2 + Log[5]^6*Log[Log[3]]^3),x]
[Out]
$Aborted
Rubi steps
Aborted
________________________________________________________________________________________
Mathematica [A] time = 0.10, size = 43, normalized size = 1.65 \begin {gather*} -\frac {5 x^5 (-1+\log (5))^4}{\left (4 x^2 (-1+\log (5))^2+x^3 (-1+\log (5))^2+\log ^2(5) \log (\log (3))\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[(-20*x^6 + 5*x^7 + (120*x^6 - 30*x^7)*Log[5] + (-300*x^6 + 75*x^7)*Log[5]^2 + (400*x^6 - 100*x^7)*Lo
g[5]^3 + (-300*x^6 + 75*x^7)*Log[5]^4 + (120*x^6 - 30*x^7)*Log[5]^5 + (-20*x^6 + 5*x^7)*Log[5]^6 + (-25*x^4*Lo
g[5]^2 + 100*x^4*Log[5]^3 - 150*x^4*Log[5]^4 + 100*x^4*Log[5]^5 - 25*x^4*Log[5]^6)*Log[Log[3]])/(64*x^6 + 48*x
^7 + 12*x^8 + x^9 + (-384*x^6 - 288*x^7 - 72*x^8 - 6*x^9)*Log[5] + (960*x^6 + 720*x^7 + 180*x^8 + 15*x^9)*Log[
5]^2 + (-1280*x^6 - 960*x^7 - 240*x^8 - 20*x^9)*Log[5]^3 + (960*x^6 + 720*x^7 + 180*x^8 + 15*x^9)*Log[5]^4 + (
-384*x^6 - 288*x^7 - 72*x^8 - 6*x^9)*Log[5]^5 + (64*x^6 + 48*x^7 + 12*x^8 + x^9)*Log[5]^6 + ((48*x^4 + 24*x^5
+ 3*x^6)*Log[5]^2 + (-192*x^4 - 96*x^5 - 12*x^6)*Log[5]^3 + (288*x^4 + 144*x^5 + 18*x^6)*Log[5]^4 + (-192*x^4
- 96*x^5 - 12*x^6)*Log[5]^5 + (48*x^4 + 24*x^5 + 3*x^6)*Log[5]^6)*Log[Log[3]] + ((12*x^2 + 3*x^3)*Log[5]^4 + (
-24*x^2 - 6*x^3)*Log[5]^5 + (12*x^2 + 3*x^3)*Log[5]^6)*Log[Log[3]]^2 + Log[5]^6*Log[Log[3]]^3),x]
[Out]
(-5*x^5*(-1 + Log[5])^4)/(4*x^2*(-1 + Log[5])^2 + x^3*(-1 + Log[5])^2 + Log[5]^2*Log[Log[3]])^2
________________________________________________________________________________________
fricas [B] time = 0.57, size = 191, normalized size = 7.35 \begin {gather*} -\frac {5 \, {\left (x^{5} \log \relax (5)^{4} - 4 \, x^{5} \log \relax (5)^{3} + 6 \, x^{5} \log \relax (5)^{2} - 4 \, x^{5} \log \relax (5) + x^{5}\right )}}{x^{6} + \log \relax (5)^{4} \log \left (\log \relax (3)\right )^{2} + 8 \, x^{5} + {\left (x^{6} + 8 \, x^{5} + 16 \, x^{4}\right )} \log \relax (5)^{4} + 16 \, x^{4} - 4 \, {\left (x^{6} + 8 \, x^{5} + 16 \, x^{4}\right )} \log \relax (5)^{3} + 6 \, {\left (x^{6} + 8 \, x^{5} + 16 \, x^{4}\right )} \log \relax (5)^{2} - 4 \, {\left (x^{6} + 8 \, x^{5} + 16 \, x^{4}\right )} \log \relax (5) + 2 \, {\left ({\left (x^{3} + 4 \, x^{2}\right )} \log \relax (5)^{4} - 2 \, {\left (x^{3} + 4 \, x^{2}\right )} \log \relax (5)^{3} + {\left (x^{3} + 4 \, x^{2}\right )} \log \relax (5)^{2}\right )} \log \left (\log \relax (3)\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-25*x^4*log(5)^6+100*x^4*log(5)^5-150*x^4*log(5)^4+100*x^4*log(5)^3-25*x^4*log(5)^2)*log(log(3))+(
5*x^7-20*x^6)*log(5)^6+(-30*x^7+120*x^6)*log(5)^5+(75*x^7-300*x^6)*log(5)^4+(-100*x^7+400*x^6)*log(5)^3+(75*x^
7-300*x^6)*log(5)^2+(-30*x^7+120*x^6)*log(5)+5*x^7-20*x^6)/(log(5)^6*log(log(3))^3+((3*x^3+12*x^2)*log(5)^6+(-
6*x^3-24*x^2)*log(5)^5+(3*x^3+12*x^2)*log(5)^4)*log(log(3))^2+((3*x^6+24*x^5+48*x^4)*log(5)^6+(-12*x^6-96*x^5-
192*x^4)*log(5)^5+(18*x^6+144*x^5+288*x^4)*log(5)^4+(-12*x^6-96*x^5-192*x^4)*log(5)^3+(3*x^6+24*x^5+48*x^4)*lo
g(5)^2)*log(log(3))+(x^9+12*x^8+48*x^7+64*x^6)*log(5)^6+(-6*x^9-72*x^8-288*x^7-384*x^6)*log(5)^5+(15*x^9+180*x
^8+720*x^7+960*x^6)*log(5)^4+(-20*x^9-240*x^8-960*x^7-1280*x^6)*log(5)^3+(15*x^9+180*x^8+720*x^7+960*x^6)*log(
5)^2+(-6*x^9-72*x^8-288*x^7-384*x^6)*log(5)+x^9+12*x^8+48*x^7+64*x^6),x, algorithm="fricas")
[Out]
-5*(x^5*log(5)^4 - 4*x^5*log(5)^3 + 6*x^5*log(5)^2 - 4*x^5*log(5) + x^5)/(x^6 + log(5)^4*log(log(3))^2 + 8*x^5
+ (x^6 + 8*x^5 + 16*x^4)*log(5)^4 + 16*x^4 - 4*(x^6 + 8*x^5 + 16*x^4)*log(5)^3 + 6*(x^6 + 8*x^5 + 16*x^4)*log
(5)^2 - 4*(x^6 + 8*x^5 + 16*x^4)*log(5) + 2*((x^3 + 4*x^2)*log(5)^4 - 2*(x^3 + 4*x^2)*log(5)^3 + (x^3 + 4*x^2)
*log(5)^2)*log(log(3)))
________________________________________________________________________________________
giac [B] time = 0.30, size = 89, normalized size = 3.42 \begin {gather*} -\frac {5 \, {\left (x^{5} \log \relax (5)^{4} - 4 \, x^{5} \log \relax (5)^{3} + 6 \, x^{5} \log \relax (5)^{2} - 4 \, x^{5} \log \relax (5) + x^{5}\right )}}{{\left (x^{3} \log \relax (5)^{2} - 2 \, x^{3} \log \relax (5) + 4 \, x^{2} \log \relax (5)^{2} + x^{3} - 8 \, x^{2} \log \relax (5) + \log \relax (5)^{2} \log \left (\log \relax (3)\right ) + 4 \, x^{2}\right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-25*x^4*log(5)^6+100*x^4*log(5)^5-150*x^4*log(5)^4+100*x^4*log(5)^3-25*x^4*log(5)^2)*log(log(3))+(
5*x^7-20*x^6)*log(5)^6+(-30*x^7+120*x^6)*log(5)^5+(75*x^7-300*x^6)*log(5)^4+(-100*x^7+400*x^6)*log(5)^3+(75*x^
7-300*x^6)*log(5)^2+(-30*x^7+120*x^6)*log(5)+5*x^7-20*x^6)/(log(5)^6*log(log(3))^3+((3*x^3+12*x^2)*log(5)^6+(-
6*x^3-24*x^2)*log(5)^5+(3*x^3+12*x^2)*log(5)^4)*log(log(3))^2+((3*x^6+24*x^5+48*x^4)*log(5)^6+(-12*x^6-96*x^5-
192*x^4)*log(5)^5+(18*x^6+144*x^5+288*x^4)*log(5)^4+(-12*x^6-96*x^5-192*x^4)*log(5)^3+(3*x^6+24*x^5+48*x^4)*lo
g(5)^2)*log(log(3))+(x^9+12*x^8+48*x^7+64*x^6)*log(5)^6+(-6*x^9-72*x^8-288*x^7-384*x^6)*log(5)^5+(15*x^9+180*x
^8+720*x^7+960*x^6)*log(5)^4+(-20*x^9-240*x^8-960*x^7-1280*x^6)*log(5)^3+(15*x^9+180*x^8+720*x^7+960*x^6)*log(
5)^2+(-6*x^9-72*x^8-288*x^7-384*x^6)*log(5)+x^9+12*x^8+48*x^7+64*x^6),x, algorithm="giac")
[Out]
-5*(x^5*log(5)^4 - 4*x^5*log(5)^3 + 6*x^5*log(5)^2 - 4*x^5*log(5) + x^5)/(x^3*log(5)^2 - 2*x^3*log(5) + 4*x^2*
log(5)^2 + x^3 - 8*x^2*log(5) + log(5)^2*log(log(3)) + 4*x^2)^2
________________________________________________________________________________________
maple [B] time = 0.72, size = 79, normalized size = 3.04
|
|
|
method |
result |
size |
|
|
|
norman |
\(\frac {\left (-5 \ln \relax (5)^{4}+20 \ln \relax (5)^{3}-30 \ln \relax (5)^{2}+20 \ln \relax (5)-5\right ) x^{5}}{\left (x^{3} \ln \relax (5)^{2}+4 x^{2} \ln \relax (5)^{2}-2 x^{3} \ln \relax (5)+\ln \relax (5)^{2} \ln \left (\ln \relax (3)\right )-8 x^{2} \ln \relax (5)+x^{3}+4 x^{2}\right )^{2}}\) |
\(79\) |
default |
\(-\frac {\left (5 \ln \relax (5)^{4}-20 \ln \relax (5)^{3}+30 \ln \relax (5)^{2}-20 \ln \relax (5)+5\right ) x^{5}}{\left (x^{3} \ln \relax (5)^{2}+4 x^{2} \ln \relax (5)^{2}-2 x^{3} \ln \relax (5)+\ln \relax (5)^{2} \ln \left (\ln \relax (3)\right )-8 x^{2} \ln \relax (5)+x^{3}+4 x^{2}\right )^{2}}\) |
\(80\) |
gosper |
\(-\frac {5 x^{5} \left (\ln \relax (5)^{4}-4 \ln \relax (5)^{3}+6 \ln \relax (5)^{2}-4 \ln \relax (5)+1\right )}{\ln \relax (5)^{4} x^{6}+8 \ln \relax (5)^{4} x^{5}-4 \ln \relax (5)^{3} x^{6}+2 x^{3} \ln \relax (5)^{4} \ln \left (\ln \relax (3)\right )+16 x^{4} \ln \relax (5)^{4}-32 x^{5} \ln \relax (5)^{3}+6 x^{6} \ln \relax (5)^{2}+8 x^{2} \ln \relax (5)^{4} \ln \left (\ln \relax (3)\right )-4 x^{3} \ln \relax (5)^{3} \ln \left (\ln \relax (3)\right )-64 x^{4} \ln \relax (5)^{3}+48 x^{5} \ln \relax (5)^{2}-4 x^{6} \ln \relax (5)+\ln \relax (5)^{4} \ln \left (\ln \relax (3)\right )^{2}-16 \ln \relax (5)^{3} x^{2} \ln \left (\ln \relax (3)\right )+2 x^{3} \ln \relax (5)^{2} \ln \left (\ln \relax (3)\right )+96 x^{4} \ln \relax (5)^{2}-32 x^{5} \ln \relax (5)+x^{6}+8 \ln \relax (5)^{2} x^{2} \ln \left (\ln \relax (3)\right )-64 x^{4} \ln \relax (5)+8 x^{5}+16 x^{4}}\) |
\(227\) |
risch |
\(\frac {\left (-5 \ln \relax (5)^{4}+20 \ln \relax (5)^{3}-30 \ln \relax (5)^{2}+20 \ln \relax (5)-5\right ) x^{5}}{\ln \relax (5)^{4} x^{6}+8 \ln \relax (5)^{4} x^{5}-4 \ln \relax (5)^{3} x^{6}+2 x^{3} \ln \relax (5)^{4} \ln \left (\ln \relax (3)\right )+16 x^{4} \ln \relax (5)^{4}-32 x^{5} \ln \relax (5)^{3}+6 x^{6} \ln \relax (5)^{2}+8 x^{2} \ln \relax (5)^{4} \ln \left (\ln \relax (3)\right )-4 x^{3} \ln \relax (5)^{3} \ln \left (\ln \relax (3)\right )-64 x^{4} \ln \relax (5)^{3}+48 x^{5} \ln \relax (5)^{2}-4 x^{6} \ln \relax (5)+\ln \relax (5)^{4} \ln \left (\ln \relax (3)\right )^{2}-16 \ln \relax (5)^{3} x^{2} \ln \left (\ln \relax (3)\right )+2 x^{3} \ln \relax (5)^{2} \ln \left (\ln \relax (3)\right )+96 x^{4} \ln \relax (5)^{2}-32 x^{5} \ln \relax (5)+x^{6}+8 \ln \relax (5)^{2} x^{2} \ln \left (\ln \relax (3)\right )-64 x^{4} \ln \relax (5)+8 x^{5}+16 x^{4}}\) |
\(228\) |
|
|
|
|
|
|
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(((-25*x^4*ln(5)^6+100*x^4*ln(5)^5-150*x^4*ln(5)^4+100*x^4*ln(5)^3-25*x^4*ln(5)^2)*ln(ln(3))+(5*x^7-20*x^6)
*ln(5)^6+(-30*x^7+120*x^6)*ln(5)^5+(75*x^7-300*x^6)*ln(5)^4+(-100*x^7+400*x^6)*ln(5)^3+(75*x^7-300*x^6)*ln(5)^
2+(-30*x^7+120*x^6)*ln(5)+5*x^7-20*x^6)/(ln(5)^6*ln(ln(3))^3+((3*x^3+12*x^2)*ln(5)^6+(-6*x^3-24*x^2)*ln(5)^5+(
3*x^3+12*x^2)*ln(5)^4)*ln(ln(3))^2+((3*x^6+24*x^5+48*x^4)*ln(5)^6+(-12*x^6-96*x^5-192*x^4)*ln(5)^5+(18*x^6+144
*x^5+288*x^4)*ln(5)^4+(-12*x^6-96*x^5-192*x^4)*ln(5)^3+(3*x^6+24*x^5+48*x^4)*ln(5)^2)*ln(ln(3))+(x^9+12*x^8+48
*x^7+64*x^6)*ln(5)^6+(-6*x^9-72*x^8-288*x^7-384*x^6)*ln(5)^5+(15*x^9+180*x^8+720*x^7+960*x^6)*ln(5)^4+(-20*x^9
-240*x^8-960*x^7-1280*x^6)*ln(5)^3+(15*x^9+180*x^8+720*x^7+960*x^6)*ln(5)^2+(-6*x^9-72*x^8-288*x^7-384*x^6)*ln
(5)+x^9+12*x^8+48*x^7+64*x^6),x,method=_RETURNVERBOSE)
[Out]
(-5*ln(5)^4+20*ln(5)^3-30*ln(5)^2+20*ln(5)-5)*x^5/(x^3*ln(5)^2+4*x^2*ln(5)^2-2*x^3*ln(5)+ln(5)^2*ln(ln(3))-8*x
^2*ln(5)+x^3+4*x^2)^2
________________________________________________________________________________________
maxima [B] time = 0.38, size = 166, normalized size = 6.38 \begin {gather*} -\frac {5 \, {\left (\log \relax (5)^{4} - 4 \, \log \relax (5)^{3} + 6 \, \log \relax (5)^{2} - 4 \, \log \relax (5) + 1\right )} x^{5}}{{\left (\log \relax (5)^{4} - 4 \, \log \relax (5)^{3} + 6 \, \log \relax (5)^{2} - 4 \, \log \relax (5) + 1\right )} x^{6} + 8 \, {\left (\log \relax (5)^{4} - 4 \, \log \relax (5)^{3} + 6 \, \log \relax (5)^{2} - 4 \, \log \relax (5) + 1\right )} x^{5} + \log \relax (5)^{4} \log \left (\log \relax (3)\right )^{2} + 16 \, {\left (\log \relax (5)^{4} - 4 \, \log \relax (5)^{3} + 6 \, \log \relax (5)^{2} - 4 \, \log \relax (5) + 1\right )} x^{4} + 2 \, {\left (\log \relax (5)^{4} - 2 \, \log \relax (5)^{3} + \log \relax (5)^{2}\right )} x^{3} \log \left (\log \relax (3)\right ) + 8 \, {\left (\log \relax (5)^{4} - 2 \, \log \relax (5)^{3} + \log \relax (5)^{2}\right )} x^{2} \log \left (\log \relax (3)\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-25*x^4*log(5)^6+100*x^4*log(5)^5-150*x^4*log(5)^4+100*x^4*log(5)^3-25*x^4*log(5)^2)*log(log(3))+(
5*x^7-20*x^6)*log(5)^6+(-30*x^7+120*x^6)*log(5)^5+(75*x^7-300*x^6)*log(5)^4+(-100*x^7+400*x^6)*log(5)^3+(75*x^
7-300*x^6)*log(5)^2+(-30*x^7+120*x^6)*log(5)+5*x^7-20*x^6)/(log(5)^6*log(log(3))^3+((3*x^3+12*x^2)*log(5)^6+(-
6*x^3-24*x^2)*log(5)^5+(3*x^3+12*x^2)*log(5)^4)*log(log(3))^2+((3*x^6+24*x^5+48*x^4)*log(5)^6+(-12*x^6-96*x^5-
192*x^4)*log(5)^5+(18*x^6+144*x^5+288*x^4)*log(5)^4+(-12*x^6-96*x^5-192*x^4)*log(5)^3+(3*x^6+24*x^5+48*x^4)*lo
g(5)^2)*log(log(3))+(x^9+12*x^8+48*x^7+64*x^6)*log(5)^6+(-6*x^9-72*x^8-288*x^7-384*x^6)*log(5)^5+(15*x^9+180*x
^8+720*x^7+960*x^6)*log(5)^4+(-20*x^9-240*x^8-960*x^7-1280*x^6)*log(5)^3+(15*x^9+180*x^8+720*x^7+960*x^6)*log(
5)^2+(-6*x^9-72*x^8-288*x^7-384*x^6)*log(5)+x^9+12*x^8+48*x^7+64*x^6),x, algorithm="maxima")
[Out]
-5*(log(5)^4 - 4*log(5)^3 + 6*log(5)^2 - 4*log(5) + 1)*x^5/((log(5)^4 - 4*log(5)^3 + 6*log(5)^2 - 4*log(5) + 1
)*x^6 + 8*(log(5)^4 - 4*log(5)^3 + 6*log(5)^2 - 4*log(5) + 1)*x^5 + log(5)^4*log(log(3))^2 + 16*(log(5)^4 - 4*
log(5)^3 + 6*log(5)^2 - 4*log(5) + 1)*x^4 + 2*(log(5)^4 - 2*log(5)^3 + log(5)^2)*x^3*log(log(3)) + 8*(log(5)^4
- 2*log(5)^3 + log(5)^2)*x^2*log(log(3)))
________________________________________________________________________________________
mupad [B] time = 15.28, size = 33761, normalized size = 1298.50 result too large to
display
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(-(log(log(3))*(25*x^4*log(5)^2 - 100*x^4*log(5)^3 + 150*x^4*log(5)^4 - 100*x^4*log(5)^5 + 25*x^4*log(5)^6)
- log(5)*(120*x^6 - 30*x^7) + 20*x^6 - 5*x^7 + log(5)^6*(20*x^6 - 5*x^7) - log(5)^5*(120*x^6 - 30*x^7) + log(
5)^2*(300*x^6 - 75*x^7) + log(5)^4*(300*x^6 - 75*x^7) - log(5)^3*(400*x^6 - 100*x^7))/(log(5)^6*(64*x^6 + 48*x
^7 + 12*x^8 + x^9) - log(5)*(384*x^6 + 288*x^7 + 72*x^8 + 6*x^9) + log(5)^6*log(log(3))^3 - log(5)^5*(384*x^6
+ 288*x^7 + 72*x^8 + 6*x^9) + log(5)^2*(960*x^6 + 720*x^7 + 180*x^8 + 15*x^9) + log(5)^4*(960*x^6 + 720*x^7 +
180*x^8 + 15*x^9) - log(5)^3*(1280*x^6 + 960*x^7 + 240*x^8 + 20*x^9) + log(log(3))*(log(5)^2*(48*x^4 + 24*x^5
+ 3*x^6) + log(5)^6*(48*x^4 + 24*x^5 + 3*x^6) - log(5)^3*(192*x^4 + 96*x^5 + 12*x^6) - log(5)^5*(192*x^4 + 96*
x^5 + 12*x^6) + log(5)^4*(288*x^4 + 144*x^5 + 18*x^6)) + 64*x^6 + 48*x^7 + 12*x^8 + x^9 + log(log(3))^2*(log(5
)^4*(12*x^2 + 3*x^3) + log(5)^6*(12*x^2 + 3*x^3) - log(5)^5*(24*x^2 + 6*x^3))),x)
[Out]
((32400*(2*log(5)^7*log(log(3))^3 - 4*log(5)^8*log(log(3))^3 + 2*log(5)^9*log(log(3))^3 - log(5)^6*log(25)*log
(log(3))^3 + 2*log(5)^7*log(25)*log(log(3))^3 - log(5)^8*log(25)*log(log(3))^3))/(13824*log(5)^2*log(log(3)) -
262144*log(5) - 27648*log(5)^3*log(log(3)) + 13824*log(5)^4*log(log(3)) + 729*log(5)^4*log(log(3))^2 + 393216
*log(5)^2 - 262144*log(5)^3 + 65536*log(5)^4 + 65536) + (300*x^4*(2560*log(5)^3*log(log(3)) - 15360*log(5)^4*l
og(log(3)) + 38400*log(5)^5*log(log(3)) - 51200*log(5)^6*log(log(3)) + 38400*log(5)^7*log(log(3)) - 15360*log(
5)^8*log(log(3)) + 2560*log(5)^9*log(log(3)) - 54*log(5)^5*log(log(3))^2 + 216*log(5)^6*log(log(3))^2 - 324*lo
g(5)^7*log(log(3))^2 + 216*log(5)^8*log(log(3))^2 - 54*log(5)^9*log(log(3))^2 - 1280*log(5)^2*log(25)*log(log(
3)) + 7680*log(5)^3*log(25)*log(log(3)) - 19200*log(5)^4*log(25)*log(log(3)) + 25600*log(5)^5*log(25)*log(log(
3)) - 19200*log(5)^6*log(25)*log(log(3)) + 7680*log(5)^7*log(25)*log(log(3)) - 1280*log(5)^8*log(25)*log(log(3
)) + 27*log(5)^4*log(25)*log(log(3))^2 - 108*log(5)^5*log(25)*log(log(3))^2 + 162*log(5)^6*log(25)*log(log(3))
^2 - 108*log(5)^7*log(25)*log(log(3))^2 + 27*log(5)^8*log(25)*log(log(3))^2))/(13824*log(5)^2*log(log(3)) - 26
2144*log(5) - 27648*log(5)^3*log(log(3)) + 13824*log(5)^4*log(log(3)) + 729*log(5)^4*log(log(3))^2 + 393216*lo
g(5)^2 - 262144*log(5)^3 + 65536*log(5)^4 + 65536) + (300*x*(256*log(5)^5*log(log(3))^2 - 1024*log(5)^6*log(lo
g(3))^2 + 1536*log(5)^7*log(log(3))^2 - 54*log(5)^7*log(log(3))^3 - 1024*log(5)^8*log(log(3))^2 + 108*log(5)^8
*log(log(3))^3 + 256*log(5)^9*log(log(3))^2 - 54*log(5)^9*log(log(3))^3 - 128*log(5)^4*log(25)*log(log(3))^2 +
512*log(5)^5*log(25)*log(log(3))^2 - 768*log(5)^6*log(25)*log(log(3))^2 + 27*log(5)^6*log(25)*log(log(3))^3 +
512*log(5)^7*log(25)*log(log(3))^2 - 54*log(5)^7*log(25)*log(log(3))^3 - 128*log(5)^8*log(25)*log(log(3))^2 +
27*log(5)^8*log(25)*log(log(3))^3))/(13824*log(5)^2*log(log(3)) - 262144*log(5) - 27648*log(5)^3*log(log(3))
+ 13824*log(5)^4*log(log(3)) + 729*log(5)^4*log(log(3))^2 + 393216*log(5)^2 - 262144*log(5)^3 + 65536*log(5)^4
+ 65536) + (5*x^5*(13824*log(5)^2*log(log(3)) - 65536*log(25) - 524288*log(5) - 56064*log(5)^3*log(log(3)) +
59904*log(5)^4*log(log(3)) + 43776*log(5)^5*log(log(3)) - 122880*log(5)^6*log(log(3)) + 43776*log(5)^7*log(log
(3)) + 59904*log(5)^8*log(log(3)) - 56064*log(5)^9*log(log(3)) + 13824*log(5)^10*log(log(3)) + 524288*log(5)*l
og(25) + 729*log(5)^4*log(log(3))^2 - 3726*log(5)^5*log(log(3))^2 + 8343*log(5)^6*log(log(3))^2 - 10692*log(5)
^7*log(log(3))^2 + 8343*log(5)^8*log(log(3))^2 - 3726*log(5)^9*log(log(3))^2 + 729*log(5)^10*log(log(3))^2 - 1
835008*log(5)^2*log(25) + 3670016*log(5)^3*log(25) - 4587520*log(5)^4*log(25) + 3670016*log(5)^5*log(25) - 183
5008*log(5)^6*log(25) + 524288*log(5)^7*log(25) - 65536*log(5)^8*log(25) + 1900544*log(5)^2 - 4194304*log(5)^3
+ 6422528*log(5)^4 - 7340032*log(5)^5 + 6422528*log(5)^6 - 4194304*log(5)^7 + 1900544*log(5)^8 - 524288*log(5
)^9 + 65536*log(5)^10 - 27264*log(5)^2*log(25)*log(log(3)) + 163584*log(5)^3*log(25)*log(log(3)) - 408960*log(
5)^4*log(25)*log(log(3)) + 545280*log(5)^5*log(25)*log(log(3)) - 408960*log(5)^6*log(25)*log(log(3)) + 163584*
log(5)^7*log(25)*log(log(3)) - 27264*log(5)^8*log(25)*log(log(3)) - 324*log(5)^4*log(25)*log(log(3))^2 + 1296*
log(5)^5*log(25)*log(log(3))^2 - 1944*log(5)^6*log(25)*log(log(3))^2 + 1296*log(5)^7*log(25)*log(log(3))^2 - 3
24*log(5)^8*log(25)*log(log(3))^2 + 65536))/(13824*log(5)^2*log(log(3)) - 262144*log(5) - 27648*log(5)^3*log(l
og(3)) + 13824*log(5)^4*log(log(3)) + 729*log(5)^4*log(log(3))^2 + 393216*log(5)^2 - 262144*log(5)^3 + 65536*l
og(5)^4 + 65536) + (75*x^2*(log(5)^2 - 2*log(5) + 1)*(12032*log(5)^5*log(log(3))^2 - 24064*log(5)^6*log(log(3)
)^2 + 12032*log(5)^7*log(log(3))^2 + 54*log(5)^7*log(log(3))^3 - 6016*log(5)^4*log(25)*log(log(3))^2 + 12032*l
og(5)^5*log(25)*log(log(3))^2 - 6016*log(5)^6*log(25)*log(log(3))^2 - 27*log(5)^6*log(25)*log(log(3))^3))/(2*(
13824*log(5)^2*log(log(3)) - 262144*log(5) - 27648*log(5)^3*log(log(3)) + 13824*log(5)^4*log(log(3)) + 729*log
(5)^4*log(log(3))^2 + 393216*log(5)^2 - 262144*log(5)^3 + 65536*log(5)^4 + 65536)) + (400*x^3*log(5)^2*log(log
(3))*(1280*log(5) - 640*log(25) + 54*log(5)^3*log(log(3)) - 216*log(5)^4*log(log(3)) + 324*log(5)^5*log(log(3)
) - 216*log(5)^6*log(log(3)) + 54*log(5)^7*log(log(3)) + 3840*log(5)*log(25) - 9600*log(5)^2*log(25) + 12800*l
og(5)^3*log(25) - 9600*log(5)^4*log(25) + 3840*log(5)^5*log(25) - 640*log(5)^6*log(25) - 7680*log(5)^2 + 19200
*log(5)^3 - 25600*log(5)^4 + 19200*log(5)^5 - 7680*log(5)^6 + 1280*log(5)^7 - 27*log(5)^2*log(25)*log(log(3))
+ 108*log(5)^3*log(25)*log(log(3)) - 162*log(5)^4*log(25)*log(log(3)) + 108*log(5)^5*log(25)*log(log(3)) - 27*
log(5)^6*log(25)*log(log(3))))/(13824*log(5)^2*log(log(3)) - 262144*log(5) - 27648*log(5)^3*log(log(3)) + 1382
4*log(5)^4*log(log(3)) + 729*log(5)^4*log(log(3))^2 + 393216*log(5)^2 - 262144*log(5)^3 + 65536*log(5)^4 + 655
36))/(x^5*(32*log(5) + 8*log(25) - 32*log(5)*log(25) + 48*log(5)^2*log(25) - 32*log(5)^3*log(25) + 8*log(5)^4*
log(25) - 56*log(5)^2 + 64*log(5)^3 - 56*log(5)^4 + 32*log(5)^5 - 8*log(5)^6 - 8) + x^4*(64*log(5) + 16*log(25
) - 64*log(5)*log(25) + 96*log(5)^2*log(25) - 64*log(5)^3*log(25) + 16*log(5)^4*log(25) - 112*log(5)^2 + 128*l
og(5)^3 - 112*log(5)^4 + 64*log(5)^5 - 16*log(5)^6 - 16) - log(5)^4*log(log(3))^2 - log(5)^6*log(log(3))^2 + x
^6*(4*log(5) + log(25) - 4*log(5)*log(25) + 6*log(5)^2*log(25) - 4*log(5)^3*log(25) + log(5)^4*log(25) - 7*log
(5)^2 + 8*log(5)^3 - 7*log(5)^4 + 4*log(5)^5 - log(5)^6 - 1) - x^3*(2*log(5)^2*log(log(3)) - 4*log(5)^3*log(lo
g(3)) + 4*log(5)^4*log(log(3)) - 4*log(5)^5*log(log(3)) + 2*log(5)^6*log(log(3)) - 2*log(5)^2*log(25)*log(log(
3)) + 4*log(5)^3*log(25)*log(log(3)) - 2*log(5)^4*log(25)*log(log(3))) - x^2*(8*log(5)^2*log(log(3)) - 16*log(
5)^3*log(log(3)) + 16*log(5)^4*log(log(3)) - 16*log(5)^5*log(log(3)) + 8*log(5)^6*log(log(3)) - 8*log(5)^2*log
(25)*log(log(3)) + 16*log(5)^3*log(25)*log(log(3)) - 8*log(5)^4*log(25)*log(log(3))) + log(5)^4*log(25)*log(lo
g(3))^2) + symsum(log(root(4081466880*z^3*log(5)^11*log(25)^2*log(log(3))^4 - 4081466880*z^3*log(5)^10*log(25)
^2*log(log(3))^4 + 4081466880*z^3*log(5)^9*log(25)^2*log(log(3))^4 + 6237601136640*z^3*log(5)^12*log(25)*log(l
og(3))^2 + 6237601136640*z^3*log(5)^6*log(25)*log(log(3))^2 - 11007531417600*z^3*log(5)^8*log(25)^2*log(log(3)
)^2 - 5870683422720*z^3*log(5)^10*log(25)^2*log(log(3))^2 - 5870683422720*z^3*log(5)^6*log(25)^2*log(log(3))^2
- 733835427840*z^3*log(5)^9*log(25)^3*log(log(3))^2 - 733835427840*z^3*log(5)^5*log(25)^3*log(log(3))^2 + 541
776936960*z^3*log(5)^10*log(25)*log(log(3))^3 - 464380231680*z^3*log(5)^11*log(25)*log(log(3))^3 - 46438023168
0*z^3*log(5)^9*log(25)*log(log(3))^3 + 309586821120*z^3*log(5)^12*log(25)*log(log(3))^3 + 309586821120*z^3*log
(5)^8*log(25)*log(log(3))^3 - 154793410560*z^3*log(5)^13*log(25)*log(log(3))^3 - 154793410560*z^3*log(5)^7*log
(25)*log(log(3))^3 + 86093442*z^3*log(5)^12*log(25)*log(log(3))^5 + 38698352640*z^3*log(5)^14*log(25)*log(log(
3))^3 + 38698352640*z^3*log(5)^6*log(25)*log(log(3))^3 + 43046721*z^3*log(5)^14*log(25)*log(log(3))^5 + 430467
21*z^3*log(5)^10*log(25)*log(log(3))^5 - 1739461754880*z^3*log(5)^12*log(25)^2*log(log(3)) + 13915694039040*z^
3*log(5)^11*log(25)^2*log(log(3)) + 579820584960*z^3*log(5)^10*log(25)^3*log(log(3)) - 50444390891520*z^3*log(
5)^10*log(25)^2*log(log(3)) - 4638564679680*z^3*log(5)^9*log(25)^3*log(log(3)) + 111325552312320*z^3*log(5)^9*
log(25)^2*log(log(3)) + 16234976378880*z^3*log(5)^8*log(25)^3*log(log(3)) - 170467251978240*z^3*log(5)^8*log(2
5)^2*log(log(3)) - 32469952757760*z^3*log(5)^7*log(25)^3*log(log(3)) + 194819716546560*z^3*log(5)^7*log(25)^2*
log(log(3)) + 40587440947200*z^3*log(5)^6*log(25)^3*log(log(3)) - 170467251978240*z^3*log(5)^6*log(25)^2*log(l
og(3)) - 32469952757760*z^3*log(5)^5*log(25)^3*log(log(3)) + 111325552312320*z^3*log(5)^5*log(25)^2*log(log(3)
) + 16234976378880*z^3*log(5)^4*log(25)^3*log(log(3)) - 50444390891520*z^3*log(5)^4*log(25)^2*log(log(3)) - 46
38564679680*z^3*log(5)^3*log(25)^3*log(log(3)) + 13915694039040*z^3*log(5)^3*log(25)^2*log(log(3)) + 579820584
960*z^3*log(5)^2*log(25)^3*log(log(3)) - 1739461754880*z^3*log(5)^2*log(25)^2*log(log(3)) + 2201506283520*z^3*
log(5)^11*log(25)^2*log(log(3))^2 + 2201506283520*z^3*log(5)^5*log(25)^2*log(log(3))^2 - 4081466880*z^3*log(5)
^13*log(25)*log(log(3))^4 - 4081466880*z^3*log(5)^9*log(25)*log(log(3))^4 - 2446118092800*z^3*log(5)^7*log(25)
^3*log(log(3))^2 - 8162933760*z^3*log(5)^11*log(25)*log(log(3))^4 + 122305904640*z^3*log(5)^10*log(25)^3*log(l
og(3))^2 + 122305904640*z^3*log(5)^4*log(25)^3*log(log(3))^2 - 2040733440*z^3*log(5)^12*log(25)^2*log(log(3))^
4 - 2040733440*z^3*log(5)^8*log(25)^2*log(log(3))^4 - 366917713920*z^3*log(5)^12*log(25)^2*log(log(3))^2 - 366
917713920*z^3*log(5)^4*log(25)^2*log(log(3))^2 + 16878214840320*z^3*log(5)^10*log(25)*log(log(3))^2 + 16878214
840320*z^3*log(5)^8*log(25)*log(log(3))^2 - 11741366845440*z^3*log(5)^11*log(25)*log(log(3))^2 - 1174136684544
0*z^3*log(5)^7*log(25)*log(log(3))^2 - 1360488960*z^3*log(5)^9*log(25)^3*log(log(3))^4 + 1739461754880*z^3*log
(5)^14*log(25)*log(log(3)) - 13915694039040*z^3*log(5)^13*log(25)*log(log(3)) + 52183852646400*z^3*log(5)^12*l
og(25)*log(log(3)) - 125241246351360*z^3*log(5)^11*log(25)*log(log(3)) + 220911642869760*z^3*log(5)^10*log(25)
*log(log(3)) - 306145268858880*z^3*log(5)^9*log(25)*log(log(3)) + 340934503956480*z^3*log(5)^8*log(25)*log(log
(3)) - 306145268858880*z^3*log(5)^7*log(25)*log(log(3)) + 220911642869760*z^3*log(5)^6*log(25)*log(log(3)) - 1
25241246351360*z^3*log(5)^5*log(25)*log(log(3)) + 52183852646400*z^3*log(5)^4*log(25)*log(log(3)) - 1391569403
9040*z^3*log(5)^3*log(25)*log(log(3)) + 1739461754880*z^3*log(5)^2*log(25)*log(log(3)) - 2201506283520*z^3*log
(5)^13*log(25)*log(log(3))^2 - 2201506283520*z^3*log(5)^5*log(25)*log(log(3))^2 + 9539860561920*z^3*log(5)^9*l
og(25)^2*log(log(3))^2 + 9539860561920*z^3*log(5)^7*log(25)^2*log(log(3))^2 + 680244480*z^3*log(5)^10*log(25)^
3*log(log(3))^4 + 680244480*z^3*log(5)^8*log(25)^3*log(log(3))^4 + 1834588569600*z^3*log(5)^8*log(25)^3*log(lo
g(3))^2 + 1834588569600*z^3*log(5)^6*log(25)^3*log(log(3))^2 + 2040733440*z^3*log(5)^14*log(25)*log(log(3))^4
+ 2040733440*z^3*log(5)^8*log(25)*log(log(3))^4 + 309586821120*z^3*log(5)^9*log(25)^2*log(log(3))^3 - 27088846
8480*z^3*log(5)^10*log(25)^2*log(log(3))^3 - 270888468480*z^3*log(5)^8*log(25)^2*log(log(3))^3 + 366917713920*
z^3*log(5)^14*log(25)*log(log(3))^2 + 366917713920*z^3*log(5)^4*log(25)*log(log(3))^2 + 6122200320*z^3*log(5)^
12*log(25)*log(log(3))^4 + 6122200320*z^3*log(5)^10*log(25)*log(log(3))^4 + 154793410560*z^3*log(5)^11*log(25)
^2*log(log(3))^3 + 154793410560*z^3*log(5)^7*log(25)^2*log(log(3))^3 + 77396705280*z^3*log(5)^8*log(25)^3*log(
log(3))^3 - 51597803520*z^3*log(5)^9*log(25)^3*log(log(3))^3 - 51597803520*z^3*log(5)^7*log(25)^3*log(log(3))^
3 - 38698352640*z^3*log(5)^12*log(25)^2*log(log(3))^3 - 38698352640*z^3*log(5)^6*log(25)^2*log(log(3))^3 - 430
46721*z^3*log(5)^12*log(25)^2*log(log(3))^5 - 43046721*z^3*log(5)^10*log(25)^2*log(log(3))^5 + 12899450880*z^3
*log(5)^10*log(25)^3*log(log(3))^3 + 12899450880*z^3*log(5)^6*log(25)^3*log(log(3))^3 + 14348907*z^3*log(5)^10
*log(25)^3*log(log(3))^5 - 19079721123840*z^3*log(5)^9*log(25)*log(log(3))^2 - 2720977920*z^3*log(5)^14*log(lo
g(3))^4 - 2720977920*z^3*log(5)^10*log(log(3))^4 - 579820584960*z^3*log(5)^16*log(log(3)) + 4638564679680*z^3*
log(5)^15*log(log(3)) - 17974438133760*z^3*log(5)^14*log(log(3)) + 46385646796800*z^3*log(5)^13*log(log(3)) -
91031831838720*z^3*log(5)^12*log(log(3)) + 143795505070080*z^3*log(5)^11*log(log(3)) - 187282048942080*z^3*log
(5)^10*log(log(3)) + 204096845905920*z^3*log(5)^9*log(log(3)) - 187282048942080*z^3*log(5)^8*log(log(3)) + 143
795505070080*z^3*log(5)^7*log(log(3)) - 91031831838720*z^3*log(5)^6*log(log(3)) + 46385646796800*z^3*log(5)^5*
log(log(3)) - 17974438133760*z^3*log(5)^4*log(log(3)) + 4638564679680*z^3*log(5)^3*log(log(3)) - 579820584960*
z^3*log(5)^2*log(log(3)) - 2201506283520*z^3*log(5)^14*log(log(3))^2 - 2201506283520*z^3*log(5)^6*log(log(3))^
2 - 3298534883328*z^3*log(5)^12*log(25)^2 + 32985348833280*z^3*log(5)^11*log(25)^2 + 1099511627776*z^3*log(5)^
10*log(25)^3 - 151732604633088*z^3*log(5)^10*log(25)^2 - 10995116277760*z^3*log(5)^9*log(25)^3 + 4288095348326
40*z^3*log(5)^9*log(25)^2 + 49478023249920*z^3*log(5)^8*log(25)^3 - 841126395248640*z^3*log(5)^8*log(25)^2 - 1
31941395333120*z^3*log(5)^7*log(25)^3 + 1227054976598016*z^3*log(5)^7*log(25)^2 + 230897441832960*z^3*log(5)^6
*log(25)^3 - 1385384650997760*z^3*log(5)^6*log(25)^2 - 277076930199552*z^3*log(5)^5*log(25)^3 + 12270549765980
16*z^3*log(5)^5*log(25)^2 + 230897441832960*z^3*log(5)^4*log(25)^3 - 841126395248640*z^3*log(5)^4*log(25)^2 -
131941395333120*z^3*log(5)^3*log(25)^3 + 428809534832640*z^3*log(5)^3*log(25)^2 + 49478023249920*z^3*log(5)^2*
log(25)^3 - 151732604633088*z^3*log(5)^2*log(25)^2 - 122305904640*z^3*log(5)^16*log(log(3))^2 - 122305904640*z
^3*log(5)^4*log(log(3))^2 + 1360488960*z^3*log(5)^15*log(log(3))^4 + 1360488960*z^3*log(5)^9*log(log(3))^4 + 3
298534883328*z^3*log(5)^14*log(25) - 32985348833280*z^3*log(5)^13*log(25) + 155031139516416*z^3*log(5)^12*log(
25) - 461794883665920*z^3*log(5)^11*log(25) + 992858999881728*z^3*log(5)^10*log(25) - 1655864511430656*z^3*log
(5)^9*log(25) + 2226511046246400*z^3*log(5)^8*log(25) - 2454109953196032*z^3*log(5)^7*log(25) + 22265110462464
00*z^3*log(5)^6*log(25) - 1655864511430656*z^3*log(5)^5*log(25) + 992858999881728*z^3*log(5)^4*log(25) - 46179
4883665920*z^3*log(5)^3*log(25) - 10995116277760*z^3*log(5)*log(25)^3 + 155031139516416*z^3*log(5)^2*log(25) +
32985348833280*z^3*log(5)*log(25)^2 - 680244480*z^3*log(5)^16*log(log(3))^4 - 680244480*z^3*log(5)^8*log(log(
3))^4 + 4647624376320*z^3*log(5)^13*log(log(3))^2 + 4647624376320*z^3*log(5)^7*log(log(3))^2 + 309586821120*z^
3*log(5)^11*log(log(3))^3 - 283787919360*z^3*log(5)^12*log(log(3))^3 - 283787919360*z^3*log(5)^10*log(log(3))^
3 + 206391214080*z^3*log(5)^13*log(log(3))^3 + 206391214080*z^3*log(5)^9*log(log(3))^3 + 10273695989760*z^3*lo
g(5)^11*log(log(3))^2 + 10273695989760*z^3*log(5)^9*log(log(3))^2 - 116095057920*z^3*log(5)^14*log(log(3))^3 -
116095057920*z^3*log(5)^8*log(log(3))^3 - 7705271992320*z^3*log(5)^12*log(log(3))^2 - 7705271992320*z^3*log(5
)^8*log(log(3))^2 + 51597803520*z^3*log(5)^15*log(log(3))^3 + 51597803520*z^3*log(5)^7*log(log(3))^3 - 4304672
1*z^3*log(5)^14*log(log(3))^5 - 43046721*z^3*log(5)^12*log(log(3))^5 - 12899450880*z^3*log(5)^16*log(log(3))^3
- 12899450880*z^3*log(5)^6*log(log(3))^3 - 14348907*z^3*log(5)^16*log(log(3))^5 - 14348907*z^3*log(5)^10*log(
log(3))^5 + 4081466880*z^3*log(5)^13*log(log(3))^4 - 4081466880*z^3*log(5)^12*log(log(3))^4 + 4081466880*z^3*l
og(5)^11*log(log(3))^4 + 733835427840*z^3*log(5)^15*log(log(3))^2 + 733835427840*z^3*log(5)^5*log(log(3))^2 -
11252143226880*z^3*log(5)^10*log(log(3))^2 - 32985348833280*z^3*log(5)*log(25) + 3298534883328*z^3*log(25) + 1
0995116277760*z^3*log(5) + 1099511627776*z^3*log(25)^3 - 3298534883328*z^3*log(25)^2 - 1099511627776*z^3*log(5
)^16 + 10995116277760*z^3*log(5)^15 - 52776558133248*z^3*log(5)^14 + 164926744166400*z^3*log(5)^13 - 382630046
466048*z^3*log(5)^12 + 705886465032192*z^3*log(5)^11 - 1073123348709376*z^3*log(5)^10 + 1369991488208896*z^3*l
og(5)^9 - 1484340697497600*z^3*log(5)^8 + 1369991488208896*z^3*log(5)^7 - 1073123348709376*z^3*log(5)^6 + 7058
86465032192*z^3*log(5)^5 - 382630046466048*z^3*log(5)^4 + 164926744166400*z^3*log(5)^3 - 52776558133248*z^3*lo
g(5)^2 - 1099511627776*z^3 - 118972800000*z*log(5)^12*log(25)*log(log(3))^3 + 118972800000*z*log(5)^11*log(25)
*log(log(3))^3 + 118972800000*z*log(5)^9*log(25)*log(log(3))^3 - 118972800000*z*log(5)^8*log(25)*log(log(3))^3
- 9914400000*z*log(5)^12*log(25)^2*log(log(3))^3 + 9914400000*z*log(5)^10*log(25)^3*log(log(3))^3 + 991440000
0*z*log(5)^6*log(25)^3*log(log(3))^3 - 9914400000*z*log(5)^6*log(25)^2*log(log(3))^3 - 3494707200000*z*log(5)^
11*log(25)*log(log(3))^2 - 3494707200000*z*log(5)^9*log(25)*log(log(3))^2 - 3494707200000*z*log(5)^7*log(25)*l
og(log(3))^2 - 1132462080000*z*log(5)^9*log(25)^2*log(log(3)) - 1132462080000*z*log(5)^5*log(25)^2*log(log(3))
- 1180980000*z*log(5)^10*log(25)^2*log(log(3))^4 - 3397386240000*z*log(5)^10*log(25)*log(log(3)) - 3397386240
000*z*log(5)^6*log(25)*log(log(3)) - 1321205760000*z*log(5)^7*log(25)^3*log(log(3)) - 1321205760000*z*log(5)^5
*log(25)^3*log(log(3)) - 39657600000*z*log(5)^9*log(25)^3*log(log(3))^3 - 39657600000*z*log(5)^7*log(25)^3*log
(log(3))^3 + 94371840000*z*log(5)^13*log(25)*log(log(3)) + 94371840000*z*log(5)^3*log(25)*log(log(3)) + 165150
7200000*z*log(5)^6*log(25)^3*log(log(3)) - 1310515200000*z*log(5)^8*log(25)^3*log(log(3))^2 - 1310515200000*z*
log(5)^6*log(25)^3*log(log(3))^2 - 23592960000*z*log(5)^12*log(25)^2*log(log(3)) + 23592960000*z*log(5)^10*log
(25)^3*log(log(3)) + 23592960000*z*log(5)^2*log(25)^3*log(log(3)) - 23592960000*z*log(5)^2*log(25)^2*log(log(3
)) + 70778880000*z*log(5)^10*log(25)^2*log(log(3)) + 70778880000*z*log(5)^4*log(25)^2*log(log(3)) + 3963617280
000*z*log(5)^9*log(25)*log(log(3)) - 3963617280000*z*log(5)^8*log(25)*log(log(3)) + 3963617280000*z*log(5)^7*l
og(25)*log(log(3)) - 79315200000*z*log(5)^10*log(25)*log(log(3))^3 - 4368384000000*z*log(5)^8*log(25)^2*log(lo
g(3))^2 + 393660000*z*log(5)^11*log(25)^2*log(log(3))^4 + 393660000*z*log(5)^9*log(25)^3*log(log(3))^4 + 39366
0000*z*log(5)^9*log(25)^2*log(log(3))^4 - 660602880000*z*log(5)^12*log(25)*log(log(3)) - 660602880000*z*log(5)
^4*log(25)*log(log(3)) + 524206080000*z*log(5)^9*log(25)^3*log(log(3))^2 + 524206080000*z*log(5)^5*log(25)^3*l
og(log(3))^2 + 196830000*z*log(5)^12*log(25)^2*log(log(3))^4 - 196830000*z*log(5)^10*log(25)^3*log(log(3))^4 -
196830000*z*log(5)^8*log(25)^3*log(log(3))^4 + 196830000*z*log(5)^8*log(25)^2*log(log(3))^4 - 349470720000*z*
log(5)^13*log(25)*log(log(3))^2 - 349470720000*z*log(5)^5*log(25)*log(log(3))^2 - 158630400000*z*log(5)^9*log(
25)^2*log(log(3))^3 + 39657600000*z*log(5)^13*log(25)*log(log(3))^3 + 39657600000*z*log(5)^7*log(25)*log(log(3
))^3 + 59486400000*z*log(5)^8*log(25)^3*log(log(3))^3 + 1747353600000*z*log(5)^7*log(25)^3*log(log(3))^2 - 787
320000*z*log(5)^13*log(25)*log(log(3))^4 + 787320000*z*log(5)^12*log(25)*log(log(3))^4 + 787320000*z*log(5)^10
*log(25)*log(log(3))^4 - 787320000*z*log(5)^9*log(25)*log(log(3))^4 + 89229600000*z*log(5)^10*log(25)^2*log(lo
g(3))^3 + 89229600000*z*log(5)^8*log(25)^2*log(log(3))^3 + 2972712960000*z*log(5)^8*log(25)^2*log(log(3)) + 29
72712960000*z*log(5)^6*log(25)^2*log(log(3)) - 698941440000*z*log(5)^10*log(25)^2*log(log(3))^2 - 698941440000
*z*log(5)^6*log(25)^2*log(log(3))^2 - 174735360000*z*log(5)^11*log(25)^2*log(log(3))^2 - 174735360000*z*log(5)
^5*log(25)^2*log(log(3))^2 + 1981808640000*z*log(5)^11*log(25)*log(log(3)) + 1981808640000*z*log(5)^5*log(25)*
log(log(3)) + 3844177920000*z*log(5)^10*log(25)*log(log(3))^2 + 3844177920000*z*log(5)^8*log(25)*log(log(3))^2
+ 2970501120000*z*log(5)^9*log(25)^2*log(log(3))^2 + 2970501120000*z*log(5)^7*log(25)^2*log(log(3))^2 + 94371
840000*z*log(5)^11*log(25)^2*log(log(3)) + 94371840000*z*log(5)^3*log(25)^2*log(log(3)) - 188743680000*z*log(5
)^9*log(25)^3*log(log(3)) - 188743680000*z*log(5)^3*log(25)^3*log(log(3)) - 3963617280000*z*log(5)^7*log(25)^2
*log(log(3)) + 1747353600000*z*log(5)^12*log(25)*log(log(3))^2 + 1747353600000*z*log(5)^6*log(25)*log(log(3))^
2 + 660602880000*z*log(5)^8*log(25)^3*log(log(3)) + 660602880000*z*log(5)^4*log(25)^3*log(log(3)) + 8736768000
0*z*log(5)^12*log(25)^2*log(log(3))^2 - 87367680000*z*log(5)^10*log(25)^3*log(log(3))^2 - 87367680000*z*log(5)
^4*log(25)^3*log(log(3))^2 + 87367680000*z*log(5)^4*log(25)^2*log(log(3))^2 + 10484121600000*z*log(5)^10*log(l
og(3))^2 - 9248440320000*z*log(5)^10*log(log(3)) - 9248440320000*z*log(5)^8*log(log(3)) + 158630400000*z*log(5
)^13*log(log(3))^3 + 158630400000*z*log(5)^9*log(log(3))^3 + 5591531520000*z*log(5)^12*log(log(3))^2 + 5591531
520000*z*log(5)^8*log(log(3))^2 + 6039797760000*z*log(5)^11*log(log(3)) + 6039797760000*z*log(5)^7*log(log(3))
+ 317260800000*z*log(5)^11*log(log(3))^3 - 2736783360000*z*log(5)^12*log(log(3)) - 2736783360000*z*log(5)^6*l
og(log(3)) - 277603200000*z*log(5)^12*log(log(3))^3 - 277603200000*z*log(5)^10*log(log(3))^3 - 94371840000*z*l
og(5)^14*log(log(3)) - 94371840000*z*log(5)^4*log(log(3)) + 10569646080000*z*log(5)^9*log(log(3)) - 9086238720
000*z*log(5)^11*log(log(3))^2 - 9086238720000*z*log(5)^9*log(log(3))^2 + 754974720000*z*log(5)^13*log(log(3))
+ 754974720000*z*log(5)^5*log(log(3)) + 349470720000*z*log(5)^14*log(log(3))^2 + 349470720000*z*log(5)^6*log(l
og(3))^2 - 1574640000*z*log(5)^13*log(log(3))^4 + 1574640000*z*log(5)^12*log(log(3))^4 - 1574640000*z*log(5)^1
1*log(log(3))^4 - 39657600000*z*log(5)^14*log(log(3))^3 - 39657600000*z*log(5)^8*log(log(3))^3 - 2096824320000
*z*log(5)^13*log(log(3))^2 - 2096824320000*z*log(5)^7*log(log(3))^2 + 787320000*z*log(5)^14*log(log(3))^4 + 78
7320000*z*log(5)^10*log(log(3))^4 - 273375000*log(5)^11*log(25)*log(log(3))^4 + 136687500*log(5)^12*log(25)*lo
g(log(3))^4 + 136687500*log(5)^10*log(25)*log(log(3))^4 + 41472000000*log(5)^11*log(25)^2*log(log(3))^2 + 4147
2000000*log(5)^9*log(25)^3*log(log(3))^2 + 41472000000*log(5)^5*log(25)^3*log(log(3))^2 + 41472000000*log(5)^5
*log(25)^2*log(log(3))^2 - 6912000000*log(5)^10*log(25)^3*log(log(3))^2 - 6912000000*log(5)^4*log(25)^3*log(lo
g(3))^2 + 2592000000*log(5)^10*log(25)^2*log(log(3))^3 + 2592000000*log(5)^8*log(25)^2*log(log(3))^3 + 4976640
00000*log(5)^11*log(25)*log(log(3))^2 + 497664000000*log(5)^7*log(25)*log(log(3))^2 + 7776000000*log(5)^10*log
(25)*log(log(3))^3 - 1244160000000*log(5)^10*log(25)*log(log(3))^2 - 1244160000000*log(5)^8*log(25)*log(log(3)
)^2 + 138240000000*log(5)^7*log(25)^3*log(log(3))^2 - 648000000*log(5)^11*log(25)^2*log(log(3))^3 + 648000000*
log(5)^8*log(25)^3*log(log(3))^3 - 648000000*log(5)^7*log(25)^2*log(log(3))^3 - 103680000000*log(5)^8*log(25)^
3*log(log(3))^2 - 103680000000*log(5)^6*log(25)^3*log(log(3))^2 - 829440000000*log(5)^8*log(25)^2*log(log(3))^
2 - 432000000*log(5)^9*log(25)^3*log(log(3))^3 - 432000000*log(5)^7*log(25)^3*log(log(3))^3 + 136687500*log(5)
^10*log(25)^2*log(log(3))^4 + 108000000*log(5)^10*log(25)^3*log(log(3))^3 + 108000000*log(5)^6*log(25)^3*log(l
og(3))^3 - 68343750*log(5)^11*log(25)^2*log(log(3))^4 - 68343750*log(5)^9*log(25)^2*log(log(3))^4 - 22781250*l
og(5)^9*log(25)^3*log(log(3))^4 + 11390625*log(5)^10*log(25)^3*log(log(3))^4 + 11390625*log(5)^8*log(25)^3*log
(log(3))^4 - 82944000000*log(5)^12*log(25)*log(log(3))^2 - 82944000000*log(5)^6*log(25)*log(log(3))^2 - 248832
000000*log(5)^10*log(25)^2*log(log(3))^2 - 248832000000*log(5)^6*log(25)^2*log(log(3))^2 + 1296000000*log(5)^1
2*log(25)*log(log(3))^3 + 1296000000*log(5)^8*log(25)*log(log(3))^3 - 3888000000*log(5)^9*log(25)^2*log(log(3)
)^3 + 1658880000000*log(5)^9*log(25)*log(log(3))^2 + 622080000000*log(5)^9*log(25)^2*log(log(3))^2 + 622080000
000*log(5)^7*log(25)^2*log(log(3))^2 - 5184000000*log(5)^11*log(25)*log(log(3))^3 - 5184000000*log(5)^9*log(25
)*log(log(3))^3 - 1105920000000*log(5)^10*log(log(3))^2 - 331776000000*log(5)^12*log(log(3))^2 - 331776000000*
log(5)^8*log(log(3))^2 - 5184000000*log(5)^11*log(log(3))^3 - 864000000*log(5)^13*log(log(3))^3 - 864000000*lo
g(5)^9*log(log(3))^3 + 829440000000*log(5)^11*log(log(3))^2 + 829440000000*log(5)^9*log(log(3))^2 + 182250000*
log(5)^12*log(log(3))^4 - 91125000*log(5)^13*log(log(3))^4 - 91125000*log(5)^11*log(log(3))^4 + 55296000000*lo
g(5)^13*log(log(3))^2 + 55296000000*log(5)^7*log(log(3))^2 + 3456000000*log(5)^12*log(log(3))^3 + 3456000000*l
og(5)^10*log(log(3))^3, z, k)*(root(4081466880*z^3*log(5)^11*log(25)^2*log(log(3))^4 - 4081466880*z^3*log(5)^1
0*log(25)^2*log(log(3))^4 + 4081466880*z^3*log(5)^9*log(25)^2*log(log(3))^4 + 6237601136640*z^3*log(5)^12*log(
25)*log(log(3))^2 + 6237601136640*z^3*log(5)^6*log(25)*log(log(3))^2 - 11007531417600*z^3*log(5)^8*log(25)^2*l
og(log(3))^2 - 5870683422720*z^3*log(5)^10*log(25)^2*log(log(3))^2 - 5870683422720*z^3*log(5)^6*log(25)^2*log(
log(3))^2 - 733835427840*z^3*log(5)^9*log(25)^3*log(log(3))^2 - 733835427840*z^3*log(5)^5*log(25)^3*log(log(3)
)^2 + 541776936960*z^3*log(5)^10*log(25)*log(log(3))^3 - 464380231680*z^3*log(5)^11*log(25)*log(log(3))^3 - 46
4380231680*z^3*log(5)^9*log(25)*log(log(3))^3 + 309586821120*z^3*log(5)^12*log(25)*log(log(3))^3 + 30958682112
0*z^3*log(5)^8*log(25)*log(log(3))^3 - 154793410560*z^3*log(5)^13*log(25)*log(log(3))^3 - 154793410560*z^3*log
(5)^7*log(25)*log(log(3))^3 + 86093442*z^3*log(5)^12*log(25)*log(log(3))^5 + 38698352640*z^3*log(5)^14*log(25)
*log(log(3))^3 + 38698352640*z^3*log(5)^6*log(25)*log(log(3))^3 + 43046721*z^3*log(5)^14*log(25)*log(log(3))^5
+ 43046721*z^3*log(5)^10*log(25)*log(log(3))^5 - 1739461754880*z^3*log(5)^12*log(25)^2*log(log(3)) + 13915694
039040*z^3*log(5)^11*log(25)^2*log(log(3)) + 579820584960*z^3*log(5)^10*log(25)^3*log(log(3)) - 50444390891520
*z^3*log(5)^10*log(25)^2*log(log(3)) - 4638564679680*z^3*log(5)^9*log(25)^3*log(log(3)) + 111325552312320*z^3*
log(5)^9*log(25)^2*log(log(3)) + 16234976378880*z^3*log(5)^8*log(25)^3*log(log(3)) - 170467251978240*z^3*log(5
)^8*log(25)^2*log(log(3)) - 32469952757760*z^3*log(5)^7*log(25)^3*log(log(3)) + 194819716546560*z^3*log(5)^7*l
og(25)^2*log(log(3)) + 40587440947200*z^3*log(5)^6*log(25)^3*log(log(3)) - 170467251978240*z^3*log(5)^6*log(25
)^2*log(log(3)) - 32469952757760*z^3*log(5)^5*log(25)^3*log(log(3)) + 111325552312320*z^3*log(5)^5*log(25)^2*l
og(log(3)) + 16234976378880*z^3*log(5)^4*log(25)^3*log(log(3)) - 50444390891520*z^3*log(5)^4*log(25)^2*log(log
(3)) - 4638564679680*z^3*log(5)^3*log(25)^3*log(log(3)) + 13915694039040*z^3*log(5)^3*log(25)^2*log(log(3)) +
579820584960*z^3*log(5)^2*log(25)^3*log(log(3)) - 1739461754880*z^3*log(5)^2*log(25)^2*log(log(3)) + 220150628
3520*z^3*log(5)^11*log(25)^2*log(log(3))^2 + 2201506283520*z^3*log(5)^5*log(25)^2*log(log(3))^2 - 4081466880*z
^3*log(5)^13*log(25)*log(log(3))^4 - 4081466880*z^3*log(5)^9*log(25)*log(log(3))^4 - 2446118092800*z^3*log(5)^
7*log(25)^3*log(log(3))^2 - 8162933760*z^3*log(5)^11*log(25)*log(log(3))^4 + 122305904640*z^3*log(5)^10*log(25
)^3*log(log(3))^2 + 122305904640*z^3*log(5)^4*log(25)^3*log(log(3))^2 - 2040733440*z^3*log(5)^12*log(25)^2*log
(log(3))^4 - 2040733440*z^3*log(5)^8*log(25)^2*log(log(3))^4 - 366917713920*z^3*log(5)^12*log(25)^2*log(log(3)
)^2 - 366917713920*z^3*log(5)^4*log(25)^2*log(log(3))^2 + 16878214840320*z^3*log(5)^10*log(25)*log(log(3))^2 +
16878214840320*z^3*log(5)^8*log(25)*log(log(3))^2 - 11741366845440*z^3*log(5)^11*log(25)*log(log(3))^2 - 1174
1366845440*z^3*log(5)^7*log(25)*log(log(3))^2 - 1360488960*z^3*log(5)^9*log(25)^3*log(log(3))^4 + 173946175488
0*z^3*log(5)^14*log(25)*log(log(3)) - 13915694039040*z^3*log(5)^13*log(25)*log(log(3)) + 52183852646400*z^3*lo
g(5)^12*log(25)*log(log(3)) - 125241246351360*z^3*log(5)^11*log(25)*log(log(3)) + 220911642869760*z^3*log(5)^1
0*log(25)*log(log(3)) - 306145268858880*z^3*log(5)^9*log(25)*log(log(3)) + 340934503956480*z^3*log(5)^8*log(25
)*log(log(3)) - 306145268858880*z^3*log(5)^7*log(25)*log(log(3)) + 220911642869760*z^3*log(5)^6*log(25)*log(lo
g(3)) - 125241246351360*z^3*log(5)^5*log(25)*log(log(3)) + 52183852646400*z^3*log(5)^4*log(25)*log(log(3)) - 1
3915694039040*z^3*log(5)^3*log(25)*log(log(3)) + 1739461754880*z^3*log(5)^2*log(25)*log(log(3)) - 220150628352
0*z^3*log(5)^13*log(25)*log(log(3))^2 - 2201506283520*z^3*log(5)^5*log(25)*log(log(3))^2 + 9539860561920*z^3*l
og(5)^9*log(25)^2*log(log(3))^2 + 9539860561920*z^3*log(5)^7*log(25)^2*log(log(3))^2 + 680244480*z^3*log(5)^10
*log(25)^3*log(log(3))^4 + 680244480*z^3*log(5)^8*log(25)^3*log(log(3))^4 + 1834588569600*z^3*log(5)^8*log(25)
^3*log(log(3))^2 + 1834588569600*z^3*log(5)^6*log(25)^3*log(log(3))^2 + 2040733440*z^3*log(5)^14*log(25)*log(l
og(3))^4 + 2040733440*z^3*log(5)^8*log(25)*log(log(3))^4 + 309586821120*z^3*log(5)^9*log(25)^2*log(log(3))^3 -
270888468480*z^3*log(5)^10*log(25)^2*log(log(3))^3 - 270888468480*z^3*log(5)^8*log(25)^2*log(log(3))^3 + 3669
17713920*z^3*log(5)^14*log(25)*log(log(3))^2 + 366917713920*z^3*log(5)^4*log(25)*log(log(3))^2 + 6122200320*z^
3*log(5)^12*log(25)*log(log(3))^4 + 6122200320*z^3*log(5)^10*log(25)*log(log(3))^4 + 154793410560*z^3*log(5)^1
1*log(25)^2*log(log(3))^3 + 154793410560*z^3*log(5)^7*log(25)^2*log(log(3))^3 + 77396705280*z^3*log(5)^8*log(2
5)^3*log(log(3))^3 - 51597803520*z^3*log(5)^9*log(25)^3*log(log(3))^3 - 51597803520*z^3*log(5)^7*log(25)^3*log
(log(3))^3 - 38698352640*z^3*log(5)^12*log(25)^2*log(log(3))^3 - 38698352640*z^3*log(5)^6*log(25)^2*log(log(3)
)^3 - 43046721*z^3*log(5)^12*log(25)^2*log(log(3))^5 - 43046721*z^3*log(5)^10*log(25)^2*log(log(3))^5 + 128994
50880*z^3*log(5)^10*log(25)^3*log(log(3))^3 + 12899450880*z^3*log(5)^6*log(25)^3*log(log(3))^3 + 14348907*z^3*
log(5)^10*log(25)^3*log(log(3))^5 - 19079721123840*z^3*log(5)^9*log(25)*log(log(3))^2 - 2720977920*z^3*log(5)^
14*log(log(3))^4 - 2720977920*z^3*log(5)^10*log(log(3))^4 - 579820584960*z^3*log(5)^16*log(log(3)) + 463856467
9680*z^3*log(5)^15*log(log(3)) - 17974438133760*z^3*log(5)^14*log(log(3)) + 46385646796800*z^3*log(5)^13*log(l
og(3)) - 91031831838720*z^3*log(5)^12*log(log(3)) + 143795505070080*z^3*log(5)^11*log(log(3)) - 18728204894208
0*z^3*log(5)^10*log(log(3)) + 204096845905920*z^3*log(5)^9*log(log(3)) - 187282048942080*z^3*log(5)^8*log(log(
3)) + 143795505070080*z^3*log(5)^7*log(log(3)) - 91031831838720*z^3*log(5)^6*log(log(3)) + 46385646796800*z^3*
log(5)^5*log(log(3)) - 17974438133760*z^3*log(5)^4*log(log(3)) + 4638564679680*z^3*log(5)^3*log(log(3)) - 5798
20584960*z^3*log(5)^2*log(log(3)) - 2201506283520*z^3*log(5)^14*log(log(3))^2 - 2201506283520*z^3*log(5)^6*log
(log(3))^2 - 3298534883328*z^3*log(5)^12*log(25)^2 + 32985348833280*z^3*log(5)^11*log(25)^2 + 1099511627776*z^
3*log(5)^10*log(25)^3 - 151732604633088*z^3*log(5)^10*log(25)^2 - 10995116277760*z^3*log(5)^9*log(25)^3 + 4288
09534832640*z^3*log(5)^9*log(25)^2 + 49478023249920*z^3*log(5)^8*log(25)^3 - 841126395248640*z^3*log(5)^8*log(
25)^2 - 131941395333120*z^3*log(5)^7*log(25)^3 + 1227054976598016*z^3*log(5)^7*log(25)^2 + 230897441832960*z^3
*log(5)^6*log(25)^3 - 1385384650997760*z^3*log(5)^6*log(25)^2 - 277076930199552*z^3*log(5)^5*log(25)^3 + 12270
54976598016*z^3*log(5)^5*log(25)^2 + 230897441832960*z^3*log(5)^4*log(25)^3 - 841126395248640*z^3*log(5)^4*log
(25)^2 - 131941395333120*z^3*log(5)^3*log(25)^3 + 428809534832640*z^3*log(5)^3*log(25)^2 + 49478023249920*z^3*
log(5)^2*log(25)^3 - 151732604633088*z^3*log(5)^2*log(25)^2 - 122305904640*z^3*log(5)^16*log(log(3))^2 - 12230
5904640*z^3*log(5)^4*log(log(3))^2 + 1360488960*z^3*log(5)^15*log(log(3))^4 + 1360488960*z^3*log(5)^9*log(log(
3))^4 + 3298534883328*z^3*log(5)^14*log(25) - 32985348833280*z^3*log(5)^13*log(25) + 155031139516416*z^3*log(5
)^12*log(25) - 461794883665920*z^3*log(5)^11*log(25) + 992858999881728*z^3*log(5)^10*log(25) - 165586451143065
6*z^3*log(5)^9*log(25) + 2226511046246400*z^3*log(5)^8*log(25) - 2454109953196032*z^3*log(5)^7*log(25) + 22265
11046246400*z^3*log(5)^6*log(25) - 1655864511430656*z^3*log(5)^5*log(25) + 992858999881728*z^3*log(5)^4*log(25
) - 461794883665920*z^3*log(5)^3*log(25) - 10995116277760*z^3*log(5)*log(25)^3 + 155031139516416*z^3*log(5)^2*
log(25) + 32985348833280*z^3*log(5)*log(25)^2 - 680244480*z^3*log(5)^16*log(log(3))^4 - 680244480*z^3*log(5)^8
*log(log(3))^4 + 4647624376320*z^3*log(5)^13*log(log(3))^2 + 4647624376320*z^3*log(5)^7*log(log(3))^2 + 309586
821120*z^3*log(5)^11*log(log(3))^3 - 283787919360*z^3*log(5)^12*log(log(3))^3 - 283787919360*z^3*log(5)^10*log
(log(3))^3 + 206391214080*z^3*log(5)^13*log(log(3))^3 + 206391214080*z^3*log(5)^9*log(log(3))^3 + 102736959897
60*z^3*log(5)^11*log(log(3))^2 + 10273695989760*z^3*log(5)^9*log(log(3))^2 - 116095057920*z^3*log(5)^14*log(lo
g(3))^3 - 116095057920*z^3*log(5)^8*log(log(3))^3 - 7705271992320*z^3*log(5)^12*log(log(3))^2 - 7705271992320*
z^3*log(5)^8*log(log(3))^2 + 51597803520*z^3*log(5)^15*log(log(3))^3 + 51597803520*z^3*log(5)^7*log(log(3))^3
- 43046721*z^3*log(5)^14*log(log(3))^5 - 43046721*z^3*log(5)^12*log(log(3))^5 - 12899450880*z^3*log(5)^16*log(
log(3))^3 - 12899450880*z^3*log(5)^6*log(log(3))^3 - 14348907*z^3*log(5)^16*log(log(3))^5 - 14348907*z^3*log(5
)^10*log(log(3))^5 + 4081466880*z^3*log(5)^13*log(log(3))^4 - 4081466880*z^3*log(5)^12*log(log(3))^4 + 4081466
880*z^3*log(5)^11*log(log(3))^4 + 733835427840*z^3*log(5)^15*log(log(3))^2 + 733835427840*z^3*log(5)^5*log(log
(3))^2 - 11252143226880*z^3*log(5)^10*log(log(3))^2 - 32985348833280*z^3*log(5)*log(25) + 3298534883328*z^3*lo
g(25) + 10995116277760*z^3*log(5) + 1099511627776*z^3*log(25)^3 - 3298534883328*z^3*log(25)^2 - 1099511627776*
z^3*log(5)^16 + 10995116277760*z^3*log(5)^15 - 52776558133248*z^3*log(5)^14 + 164926744166400*z^3*log(5)^13 -
382630046466048*z^3*log(5)^12 + 705886465032192*z^3*log(5)^11 - 1073123348709376*z^3*log(5)^10 + 1369991488208
896*z^3*log(5)^9 - 1484340697497600*z^3*log(5)^8 + 1369991488208896*z^3*log(5)^7 - 1073123348709376*z^3*log(5)
^6 + 705886465032192*z^3*log(5)^5 - 382630046466048*z^3*log(5)^4 + 164926744166400*z^3*log(5)^3 - 527765581332
48*z^3*log(5)^2 - 1099511627776*z^3 - 118972800000*z*log(5)^12*log(25)*log(log(3))^3 + 118972800000*z*log(5)^1
1*log(25)*log(log(3))^3 + 118972800000*z*log(5)^9*log(25)*log(log(3))^3 - 118972800000*z*log(5)^8*log(25)*log(
log(3))^3 - 9914400000*z*log(5)^12*log(25)^2*log(log(3))^3 + 9914400000*z*log(5)^10*log(25)^3*log(log(3))^3 +
9914400000*z*log(5)^6*log(25)^3*log(log(3))^3 - 9914400000*z*log(5)^6*log(25)^2*log(log(3))^3 - 3494707200000*
z*log(5)^11*log(25)*log(log(3))^2 - 3494707200000*z*log(5)^9*log(25)*log(log(3))^2 - 3494707200000*z*log(5)^7*
log(25)*log(log(3))^2 - 1132462080000*z*log(5)^9*log(25)^2*log(log(3)) - 1132462080000*z*log(5)^5*log(25)^2*lo
g(log(3)) - 1180980000*z*log(5)^10*log(25)^2*log(log(3))^4 - 3397386240000*z*log(5)^10*log(25)*log(log(3)) - 3
397386240000*z*log(5)^6*log(25)*log(log(3)) - 1321205760000*z*log(5)^7*log(25)^3*log(log(3)) - 1321205760000*z
*log(5)^5*log(25)^3*log(log(3)) - 39657600000*z*log(5)^9*log(25)^3*log(log(3))^3 - 39657600000*z*log(5)^7*log(
25)^3*log(log(3))^3 + 94371840000*z*log(5)^13*log(25)*log(log(3)) + 94371840000*z*log(5)^3*log(25)*log(log(3))
+ 1651507200000*z*log(5)^6*log(25)^3*log(log(3)) - 1310515200000*z*log(5)^8*log(25)^3*log(log(3))^2 - 1310515
200000*z*log(5)^6*log(25)^3*log(log(3))^2 - 23592960000*z*log(5)^12*log(25)^2*log(log(3)) + 23592960000*z*log(
5)^10*log(25)^3*log(log(3)) + 23592960000*z*log(5)^2*log(25)^3*log(log(3)) - 23592960000*z*log(5)^2*log(25)^2*
log(log(3)) + 70778880000*z*log(5)^10*log(25)^2*log(log(3)) + 70778880000*z*log(5)^4*log(25)^2*log(log(3)) + 3
963617280000*z*log(5)^9*log(25)*log(log(3)) - 3963617280000*z*log(5)^8*log(25)*log(log(3)) + 3963617280000*z*l
og(5)^7*log(25)*log(log(3)) - 79315200000*z*log(5)^10*log(25)*log(log(3))^3 - 4368384000000*z*log(5)^8*log(25)
^2*log(log(3))^2 + 393660000*z*log(5)^11*log(25)^2*log(log(3))^4 + 393660000*z*log(5)^9*log(25)^3*log(log(3))^
4 + 393660000*z*log(5)^9*log(25)^2*log(log(3))^4 - 660602880000*z*log(5)^12*log(25)*log(log(3)) - 660602880000
*z*log(5)^4*log(25)*log(log(3)) + 524206080000*z*log(5)^9*log(25)^3*log(log(3))^2 + 524206080000*z*log(5)^5*lo
g(25)^3*log(log(3))^2 + 196830000*z*log(5)^12*log(25)^2*log(log(3))^4 - 196830000*z*log(5)^10*log(25)^3*log(lo
g(3))^4 - 196830000*z*log(5)^8*log(25)^3*log(log(3))^4 + 196830000*z*log(5)^8*log(25)^2*log(log(3))^4 - 349470
720000*z*log(5)^13*log(25)*log(log(3))^2 - 349470720000*z*log(5)^5*log(25)*log(log(3))^2 - 158630400000*z*log(
5)^9*log(25)^2*log(log(3))^3 + 39657600000*z*log(5)^13*log(25)*log(log(3))^3 + 39657600000*z*log(5)^7*log(25)*
log(log(3))^3 + 59486400000*z*log(5)^8*log(25)^3*log(log(3))^3 + 1747353600000*z*log(5)^7*log(25)^3*log(log(3)
)^2 - 787320000*z*log(5)^13*log(25)*log(log(3))^4 + 787320000*z*log(5)^12*log(25)*log(log(3))^4 + 787320000*z*
log(5)^10*log(25)*log(log(3))^4 - 787320000*z*log(5)^9*log(25)*log(log(3))^4 + 89229600000*z*log(5)^10*log(25)
^2*log(log(3))^3 + 89229600000*z*log(5)^8*log(25)^2*log(log(3))^3 + 2972712960000*z*log(5)^8*log(25)^2*log(log
(3)) + 2972712960000*z*log(5)^6*log(25)^2*log(log(3)) - 698941440000*z*log(5)^10*log(25)^2*log(log(3))^2 - 698
941440000*z*log(5)^6*log(25)^2*log(log(3))^2 - 174735360000*z*log(5)^11*log(25)^2*log(log(3))^2 - 174735360000
*z*log(5)^5*log(25)^2*log(log(3))^2 + 1981808640000*z*log(5)^11*log(25)*log(log(3)) + 1981808640000*z*log(5)^5
*log(25)*log(log(3)) + 3844177920000*z*log(5)^10*log(25)*log(log(3))^2 + 3844177920000*z*log(5)^8*log(25)*log(
log(3))^2 + 2970501120000*z*log(5)^9*log(25)^2*log(log(3))^2 + 2970501120000*z*log(5)^7*log(25)^2*log(log(3))^
2 + 94371840000*z*log(5)^11*log(25)^2*log(log(3)) + 94371840000*z*log(5)^3*log(25)^2*log(log(3)) - 18874368000
0*z*log(5)^9*log(25)^3*log(log(3)) - 188743680000*z*log(5)^3*log(25)^3*log(log(3)) - 3963617280000*z*log(5)^7*
log(25)^2*log(log(3)) + 1747353600000*z*log(5)^12*log(25)*log(log(3))^2 + 1747353600000*z*log(5)^6*log(25)*log
(log(3))^2 + 660602880000*z*log(5)^8*log(25)^3*log(log(3)) + 660602880000*z*log(5)^4*log(25)^3*log(log(3)) + 8
7367680000*z*log(5)^12*log(25)^2*log(log(3))^2 - 87367680000*z*log(5)^10*log(25)^3*log(log(3))^2 - 87367680000
*z*log(5)^4*log(25)^3*log(log(3))^2 + 87367680000*z*log(5)^4*log(25)^2*log(log(3))^2 + 10484121600000*z*log(5)
^10*log(log(3))^2 - 9248440320000*z*log(5)^10*log(log(3)) - 9248440320000*z*log(5)^8*log(log(3)) + 15863040000
0*z*log(5)^13*log(log(3))^3 + 158630400000*z*log(5)^9*log(log(3))^3 + 5591531520000*z*log(5)^12*log(log(3))^2
+ 5591531520000*z*log(5)^8*log(log(3))^2 + 6039797760000*z*log(5)^11*log(log(3)) + 6039797760000*z*log(5)^7*lo
g(log(3)) + 317260800000*z*log(5)^11*log(log(3))^3 - 2736783360000*z*log(5)^12*log(log(3)) - 2736783360000*z*l
og(5)^6*log(log(3)) - 277603200000*z*log(5)^12*log(log(3))^3 - 277603200000*z*log(5)^10*log(log(3))^3 - 943718
40000*z*log(5)^14*log(log(3)) - 94371840000*z*log(5)^4*log(log(3)) + 10569646080000*z*log(5)^9*log(log(3)) - 9
086238720000*z*log(5)^11*log(log(3))^2 - 9086238720000*z*log(5)^9*log(log(3))^2 + 754974720000*z*log(5)^13*log
(log(3)) + 754974720000*z*log(5)^5*log(log(3)) + 349470720000*z*log(5)^14*log(log(3))^2 + 349470720000*z*log(5
)^6*log(log(3))^2 - 1574640000*z*log(5)^13*log(log(3))^4 + 1574640000*z*log(5)^12*log(log(3))^4 - 1574640000*z
*log(5)^11*log(log(3))^4 - 39657600000*z*log(5)^14*log(log(3))^3 - 39657600000*z*log(5)^8*log(log(3))^3 - 2096
824320000*z*log(5)^13*log(log(3))^2 - 2096824320000*z*log(5)^7*log(log(3))^2 + 787320000*z*log(5)^14*log(log(3
))^4 + 787320000*z*log(5)^10*log(log(3))^4 - 273375000*log(5)^11*log(25)*log(log(3))^4 + 136687500*log(5)^12*l
og(25)*log(log(3))^4 + 136687500*log(5)^10*log(25)*log(log(3))^4 + 41472000000*log(5)^11*log(25)^2*log(log(3))
^2 + 41472000000*log(5)^9*log(25)^3*log(log(3))^2 + 41472000000*log(5)^5*log(25)^3*log(log(3))^2 + 41472000000
*log(5)^5*log(25)^2*log(log(3))^2 - 6912000000*log(5)^10*log(25)^3*log(log(3))^2 - 6912000000*log(5)^4*log(25)
^3*log(log(3))^2 + 2592000000*log(5)^10*log(25)^2*log(log(3))^3 + 2592000000*log(5)^8*log(25)^2*log(log(3))^3
+ 497664000000*log(5)^11*log(25)*log(log(3))^2 + 497664000000*log(5)^7*log(25)*log(log(3))^2 + 7776000000*log(
5)^10*log(25)*log(log(3))^3 - 1244160000000*log(5)^10*log(25)*log(log(3))^2 - 1244160000000*log(5)^8*log(25)*l
og(log(3))^2 + 138240000000*log(5)^7*log(25)^3*log(log(3))^2 - 648000000*log(5)^11*log(25)^2*log(log(3))^3 + 6
48000000*log(5)^8*log(25)^3*log(log(3))^3 - 648000000*log(5)^7*log(25)^2*log(log(3))^3 - 103680000000*log(5)^8
*log(25)^3*log(log(3))^2 - 103680000000*log(5)^6*log(25)^3*log(log(3))^2 - 829440000000*log(5)^8*log(25)^2*log
(log(3))^2 - 432000000*log(5)^9*log(25)^3*log(log(3))^3 - 432000000*log(5)^7*log(25)^3*log(log(3))^3 + 1366875
00*log(5)^10*log(25)^2*log(log(3))^4 + 108000000*log(5)^10*log(25)^3*log(log(3))^3 + 108000000*log(5)^6*log(25
)^3*log(log(3))^3 - 68343750*log(5)^11*log(25)^2*log(log(3))^4 - 68343750*log(5)^9*log(25)^2*log(log(3))^4 - 2
2781250*log(5)^9*log(25)^3*log(log(3))^4 + 11390625*log(5)^10*log(25)^3*log(log(3))^4 + 11390625*log(5)^8*log(
25)^3*log(log(3))^4 - 82944000000*log(5)^12*log(25)*log(log(3))^2 - 82944000000*log(5)^6*log(25)*log(log(3))^2
- 248832000000*log(5)^10*log(25)^2*log(log(3))^2 - 248832000000*log(5)^6*log(25)^2*log(log(3))^2 + 1296000000
*log(5)^12*log(25)*log(log(3))^3 + 1296000000*log(5)^8*log(25)*log(log(3))^3 - 3888000000*log(5)^9*log(25)^2*l
og(log(3))^3 + 1658880000000*log(5)^9*log(25)*log(log(3))^2 + 622080000000*log(5)^9*log(25)^2*log(log(3))^2 +
622080000000*log(5)^7*log(25)^2*log(log(3))^2 - 5184000000*log(5)^11*log(25)*log(log(3))^3 - 5184000000*log(5)
^9*log(25)*log(log(3))^3 - 1105920000000*log(5)^10*log(log(3))^2 - 331776000000*log(5)^12*log(log(3))^2 - 3317
76000000*log(5)^8*log(log(3))^2 - 5184000000*log(5)^11*log(log(3))^3 - 864000000*log(5)^13*log(log(3))^3 - 864
000000*log(5)^9*log(log(3))^3 + 829440000000*log(5)^11*log(log(3))^2 + 829440000000*log(5)^9*log(log(3))^2 + 1
82250000*log(5)^12*log(log(3))^4 - 91125000*log(5)^13*log(log(3))^4 - 91125000*log(5)^11*log(log(3))^4 + 55296
000000*log(5)^13*log(log(3))^2 + 55296000000*log(5)^7*log(log(3))^2 + 3456000000*log(5)^12*log(log(3))^3 + 345
6000000*log(5)^10*log(log(3))^3, z, k)*((3*(12884901888*log(5)^2*log(log(3)) - 154618822656*log(5)^3*log(log(3
)) + 876173328384*log(5)^4*log(log(3)) - 3143916060672*log(5)^5*log(log(3)) + 8091718385664*log(5)^6*log(log(3
)) - 16028817948672*log(5)^7*log(log(3)) + 25512105738240*log(5)^8*log(log(3)) - 33449205301248*log(5)^9*log(l
og(3)) + 36567351558144*log(5)^10*log(log(3)) - 33449205301248*log(5)^11*log(log(3)) + 25512105738240*log(5)^1
2*log(log(3)) - 16028817948672*log(5)^13*log(log(3)) + 8091718385664*log(5)^14*log(log(3)) - 3143916060672*log
(5)^15*log(log(3)) + 876173328384*log(5)^16*log(log(3)) - 154618822656*log(5)^17*log(log(3)) + 12884901888*log
(5)^18*log(log(3)) + 5435817984*log(5)^4*log(log(3))^2 - 54358179840*log(5)^5*log(log(3))^2 + 255483445248*log
(5)^6*log(log(3))^2 + 859963392*log(5)^6*log(log(3))^3 - 761014517760*log(5)^7*log(log(3))^2 - 6879707136*log(
5)^7*log(log(3))^3 + 1636181213184*log(5)^8*log(log(3))^2 + 25798901760*log(5)^8*log(log(3))^3 - 2728780627968
*log(5)^9*log(log(3))^2 + 60466176*log(5)^8*log(log(3))^4 - 61917364224*log(5)^9*log(log(3))^3 + 3669177139200
*log(5)^10*log(log(3))^2 - 362797056*log(5)^9*log(log(3))^4 + 109215350784*log(5)^10*log(log(3))^3 - 404424858
0096*log(5)^11*log(log(3))^2 + 1027924992*log(5)^10*log(log(3))^4 - 151353556992*log(5)^11*log(log(3))^3 + 366
9177139200*log(5)^12*log(log(3))^2 + 1594323*log(5)^10*log(log(3))^5 - 1934917632*log(5)^11*log(log(3))^4 + 16
8552824832*log(5)^12*log(log(3))^3 - 2728780627968*log(5)^13*log(log(3))^2 - 6377292*log(5)^11*log(log(3))^5 +
2781444096*log(5)^12*log(log(3))^4 - 151353556992*log(5)^13*log(log(3))^3 + 1636181213184*log(5)^14*log(log(3
))^2 + 12754584*log(5)^12*log(log(3))^5 - 3144241152*log(5)^13*log(log(3))^4 + 109215350784*log(5)^14*log(log(
3))^3 - 761014517760*log(5)^15*log(log(3))^2 - 19131876*log(5)^13*log(log(3))^5 + 2781444096*log(5)^14*log(log
(3))^4 - 61917364224*log(5)^15*log(log(3))^3 + 255483445248*log(5)^16*log(log(3))^2 + 22320522*log(5)^14*log(l
og(3))^5 - 1934917632*log(5)^15*log(log(3))^4 + 25798901760*log(5)^16*log(log(3))^3 - 54358179840*log(5)^17*lo
g(log(3))^2 - 19131876*log(5)^15*log(log(3))^5 + 1027924992*log(5)^16*log(log(3))^4 - 6879707136*log(5)^17*log
(log(3))^3 + 5435817984*log(5)^18*log(log(3))^2 + 12754584*log(5)^16*log(log(3))^5 - 362797056*log(5)^17*log(l
og(3))^4 + 859963392*log(5)^18*log(log(3))^3 - 6377292*log(5)^17*log(log(3))^5 + 60466176*log(5)^18*log(log(3)
)^4 + 1594323*log(5)^18*log(log(3))^5 + 5435817984*log(5)^4*log(25)^2*log(log(3))^2 - 54358179840*log(5)^5*log
(25)^2*log(log(3))^2 + 244611809280*log(5)^6*log(25)^2*log(log(3))^2 + 859963392*log(5)^6*log(25)^2*log(log(3)
)^3 - 652298158080*log(5)^7*log(25)^2*log(log(3))^2 - 6879707136*log(5)^7*log(25)^2*log(log(3))^3 + 1141521776
640*log(5)^8*log(25)^2*log(log(3))^2 + 24078974976*log(5)^8*log(25)^2*log(log(3))^3 - 1369826131968*log(5)^9*l
og(25)^2*log(log(3))^2 + 60466176*log(5)^8*log(25)^2*log(log(3))^4 - 48157949952*log(5)^9*log(25)^2*log(log(3)
)^3 + 1141521776640*log(5)^10*log(25)^2*log(log(3))^2 - 362797056*log(5)^9*log(25)^2*log(log(3))^4 + 601974374
40*log(5)^10*log(25)^2*log(log(3))^3 - 652298158080*log(5)^11*log(25)^2*log(log(3))^2 + 906992640*log(5)^10*lo
g(25)^2*log(log(3))^4 - 48157949952*log(5)^11*log(25)^2*log(log(3))^3 + 244611809280*log(5)^12*log(25)^2*log(l
og(3))^2 + 1594323*log(5)^10*log(25)^2*log(log(3))^5 - 1209323520*log(5)^11*log(25)^2*log(log(3))^4 + 24078974
976*log(5)^12*log(25)^2*log(log(3))^3 - 54358179840*log(5)^13*log(25)^2*log(log(3))^2 - 6377292*log(5)^11*log(
25)^2*log(log(3))^5 + 906992640*log(5)^12*log(25)^2*log(log(3))^4 - 6879707136*log(5)^13*log(25)^2*log(log(3))
^3 + 5435817984*log(5)^14*log(25)^2*log(log(3))^2 + 9565938*log(5)^12*log(25)^2*log(log(3))^5 - 362797056*log(
5)^13*log(25)^2*log(log(3))^4 + 859963392*log(5)^14*log(25)^2*log(log(3))^3 - 6377292*log(5)^13*log(25)^2*log(
log(3))^5 + 60466176*log(5)^14*log(25)^2*log(log(3))^4 + 1594323*log(5)^14*log(25)^2*log(log(3))^5 - 257698037
76*log(5)^2*log(25)*log(log(3)) + 309237645312*log(5)^3*log(25)*log(log(3)) - 1726576852992*log(5)^4*log(25)*l
og(log(3)) + 5978594476032*log(5)^5*log(25)*log(log(3)) - 14456859918336*log(5)^6*log(25)*log(log(3)) + 260790
41421312*log(5)^7*log(25)*log(log(3)) - 36567351558144*log(5)^8*log(25)*log(log(3)) + 40819369181184*log(5)^9*
log(25)*log(log(3)) - 36567351558144*log(5)^10*log(25)*log(log(3)) + 26079041421312*log(5)^11*log(25)*log(log(
3)) - 14456859918336*log(5)^12*log(25)*log(log(3)) + 5978594476032*log(5)^13*log(25)*log(log(3)) - 17265768529
92*log(5)^14*log(25)*log(log(3)) + 309237645312*log(5)^15*log(25)*log(log(3)) - 25769803776*log(5)^16*log(25)*
log(log(3)) + 12884901888*log(5)^2*log(25)^2*log(log(3)) - 154618822656*log(5)^3*log(25)^2*log(log(3)) - 10871
635968*log(5)^4*log(25)*log(log(3))^2 + 850403524608*log(5)^4*log(25)^2*log(log(3)) + 108716359680*log(5)^5*lo
g(25)*log(log(3))^2 - 2834678415360*log(5)^5*log(25)^2*log(log(3)) - 500095254528*log(5)^6*log(25)*log(log(3))
^2 + 6378026434560*log(5)^6*log(25)^2*log(log(3)) - 1719926784*log(5)^6*log(25)*log(log(3))^3 + 1413312675840*
log(5)^7*log(25)*log(log(3))^2 - 10204842295296*log(5)^7*log(25)^2*log(log(3)) + 13759414272*log(5)^7*log(25)*
log(log(3))^3 - 2772267171840*log(5)^8*log(25)*log(log(3))^2 + 11905649344512*log(5)^8*log(25)^2*log(log(3)) -
49877876736*log(5)^8*log(25)*log(log(3))^3 + 4044248580096*log(5)^9*log(25)*log(log(3))^2 - 10204842295296*lo
g(5)^9*log(25)^2*log(log(3)) - 120932352*log(5)^8*log(25)*log(log(3))^4 + 110075314176*log(5)^9*log(25)*log(lo
g(3))^3 - 4566087106560*log(5)^10*log(25)*log(log(3))^2 + 6378026434560*log(5)^10*log(25)^2*log(log(3)) + 7255
94112*log(5)^9*log(25)*log(log(3))^4 - 168552824832*log(5)^10*log(25)*log(log(3))^3 + 4044248580096*log(5)^11*
log(25)*log(log(3))^2 - 2834678415360*log(5)^11*log(25)^2*log(log(3)) - 1934917632*log(5)^10*log(25)*log(log(3
))^4 + 192631799808*log(5)^11*log(25)*log(log(3))^3 - 2772267171840*log(5)^12*log(25)*log(log(3))^2 + 85040352
4608*log(5)^12*log(25)^2*log(log(3)) - 3188646*log(5)^10*log(25)*log(log(3))^5 + 3144241152*log(5)^11*log(25)*
log(log(3))^4 - 168552824832*log(5)^12*log(25)*log(log(3))^3 + 1413312675840*log(5)^13*log(25)*log(log(3))^2 -
154618822656*log(5)^13*log(25)^2*log(log(3)) + 12754584*log(5)^11*log(25)*log(log(3))^5 - 3627970560*log(5)^1
2*log(25)*log(log(3))^4 + 110075314176*log(5)^13*log(25)*log(log(3))^3 - 500095254528*log(5)^14*log(25)*log(lo
g(3))^2 + 12884901888*log(5)^14*log(25)^2*log(log(3)) - 22320522*log(5)^12*log(25)*log(log(3))^5 + 3144241152*
log(5)^13*log(25)*log(log(3))^4 - 49877876736*log(5)^14*log(25)*log(log(3))^3 + 108716359680*log(5)^15*log(25)
*log(log(3))^2 + 25509168*log(5)^13*log(25)*log(log(3))^5 - 1934917632*log(5)^14*log(25)*log(log(3))^4 + 13759
414272*log(5)^15*log(25)*log(log(3))^3 - 10871635968*log(5)^16*log(25)*log(log(3))^2 - 22320522*log(5)^14*log(
25)*log(log(3))^5 + 725594112*log(5)^15*log(25)*log(log(3))^4 - 1719926784*log(5)^16*log(25)*log(log(3))^3 + 1
2754584*log(5)^15*log(25)*log(log(3))^5 - 120932352*log(5)^16*log(25)*log(log(3))^4 - 3188646*log(5)^16*log(25
)*log(log(3))^5))/(1811939328*log(5)^2*log(log(3)) - 8589934592*log(25) - 34359738368*log(5) - 10871635968*log
(5)^3*log(log(3)) + 30802968576*log(5)^4*log(log(3)) - 57982058496*log(5)^5*log(log(3)) + 83349209088*log(5)^6
*log(log(3)) - 94220845056*log(5)^7*log(log(3)) + 83349209088*log(5)^8*log(log(3)) - 57982058496*log(5)^9*log(
log(3)) + 30802968576*log(5)^10*log(log(3)) - 10871635968*log(5)^11*log(log(3)) + 1811939328*log(5)^12*log(log
(3)) + 68719476736*log(5)*log(25) + 286654464*log(5)^4*log(log(3))^2 - 1146617856*log(5)^5*log(log(3))^2 + 229
3235712*log(5)^6*log(log(3))^2 + 20155392*log(5)^6*log(log(3))^3 - 3439853568*log(5)^7*log(log(3))^2 - 4031078
4*log(5)^7*log(log(3))^3 + 4013162496*log(5)^8*log(log(3))^2 + 60466176*log(5)^8*log(log(3))^3 - 3439853568*lo
g(5)^9*log(log(3))^2 + 531441*log(5)^8*log(log(3))^4 - 80621568*log(5)^9*log(log(3))^3 + 2293235712*log(5)^10*
log(log(3))^2 + 60466176*log(5)^10*log(log(3))^3 - 1146617856*log(5)^11*log(log(3))^2 + 1062882*log(5)^10*log(
log(3))^4 - 40310784*log(5)^11*log(log(3))^3 + 286654464*log(5)^12*log(log(3))^2 + 20155392*log(5)^12*log(log(
3))^3 + 531441*log(5)^12*log(log(3))^4 - 34359738368*log(5)*log(25)^2 - 249108103168*log(5)^2*log(25) + 549755
813888*log(5)^3*log(25) - 841813590016*log(5)^4*log(25) + 962072674304*log(5)^5*log(25) - 841813590016*log(5)^
6*log(25) + 549755813888*log(5)^7*log(25) - 249108103168*log(5)^8*log(25) + 68719476736*log(5)^9*log(25) - 858
9934592*log(5)^10*log(25) + 128849018880*log(5)^2 - 309237645312*log(5)^3 + 545460846592*log(5)^4 - 7559142440
96*log(5)^5 + 841813590016*log(5)^6 - 755914244096*log(5)^7 + 545460846592*log(5)^8 - 309237645312*log(5)^9 +
128849018880*log(5)^10 - 34359738368*log(5)^11 + 4294967296*log(5)^12 + 4294967296*log(25)^2 + 120259084288*lo
g(5)^2*log(25)^2 - 240518168576*log(5)^3*log(25)^2 + 300647710720*log(5)^4*log(25)^2 - 240518168576*log(5)^5*l
og(25)^2 + 120259084288*log(5)^6*log(25)^2 - 34359738368*log(5)^7*log(25)^2 + 4294967296*log(5)^8*log(25)^2 +
286654464*log(5)^4*log(25)^2*log(log(3))^2 - 1146617856*log(5)^5*log(25)^2*log(log(3))^2 + 1719926784*log(5)^6
*log(25)^2*log(log(3))^2 + 20155392*log(5)^6*log(25)^2*log(log(3))^3 - 1146617856*log(5)^7*log(25)^2*log(log(3
))^2 - 40310784*log(5)^7*log(25)^2*log(log(3))^3 + 286654464*log(5)^8*log(25)^2*log(log(3))^2 + 20155392*log(5
)^8*log(25)^2*log(log(3))^3 + 531441*log(5)^8*log(25)^2*log(log(3))^4 - 3623878656*log(5)^2*log(25)*log(log(3)
) + 21743271936*log(5)^3*log(25)*log(log(3)) - 57982058496*log(5)^4*log(25)*log(log(3)) + 94220845056*log(5)^5
*log(25)*log(log(3)) - 108716359680*log(5)^6*log(25)*log(log(3)) + 94220845056*log(5)^7*log(25)*log(log(3)) -
57982058496*log(5)^8*log(25)*log(log(3)) + 21743271936*log(5)^9*log(25)*log(log(3)) - 3623878656*log(5)^10*log
(25)*log(log(3)) + 1811939328*log(5)^2*log(25)^2*log(log(3)) - 10871635968*log(5)^3*log(25)^2*log(log(3)) - 57
3308928*log(5)^4*log(25)*log(log(3))^2 + 27179089920*log(5)^4*log(25)^2*log(log(3)) + 2293235712*log(5)^5*log(
25)*log(log(3))^2 - 36238786560*log(5)^5*log(25)^2*log(log(3)) - 4013162496*log(5)^6*log(25)*log(log(3))^2 + 2
7179089920*log(5)^6*log(25)^2*log(log(3)) - 40310784*log(5)^6*log(25)*log(log(3))^3 + 4586471424*log(5)^7*log(
25)*log(log(3))^2 - 10871635968*log(5)^7*log(25)^2*log(log(3)) + 80621568*log(5)^7*log(25)*log(log(3))^3 - 401
3162496*log(5)^8*log(25)*log(log(3))^2 + 1811939328*log(5)^8*log(25)^2*log(log(3)) - 80621568*log(5)^8*log(25)
*log(log(3))^3 + 2293235712*log(5)^9*log(25)*log(log(3))^2 - 1062882*log(5)^8*log(25)*log(log(3))^4 + 80621568
*log(5)^9*log(25)*log(log(3))^3 - 573308928*log(5)^10*log(25)*log(log(3))^2 - 40310784*log(5)^10*log(25)*log(l
og(3))^3 - 1062882*log(5)^10*log(25)*log(log(3))^4 + 4294967296) - (x*(57982058496*log(5)^2*log(log(3)) - 2748
77906944*log(25) - 1924145348608*log(5) - 695784701952*log(5)^3*log(log(3)) + 3942779977728*log(5)^4*log(log(3
)) - 14147622273024*log(5)^5*log(log(3)) + 36412732735488*log(5)^6*log(log(3)) - 72129680769024*log(5)^7*log(l
og(3)) + 114804475822080*log(5)^8*log(log(3)) - 150521423855616*log(5)^9*log(log(3)) + 164553082011648*log(5)^
10*log(log(3)) - 150521423855616*log(5)^11*log(log(3)) + 114804475822080*log(5)^12*log(log(3)) - 7212968076902
4*log(5)^13*log(log(3)) + 36412732735488*log(5)^14*log(log(3)) - 14147622273024*log(5)^15*log(log(3)) + 394277
9977728*log(5)^16*log(log(3)) - 695784701952*log(5)^17*log(log(3)) + 57982058496*log(5)^18*log(log(3)) + 38482
90697216*log(5)*log(25) + 9172942848*log(5)^4*log(log(3))^2 - 91729428480*log(5)^5*log(log(3))^2 + 43112831385
6*log(5)^6*log(log(3))^2 + 644972544*log(5)^6*log(log(3))^3 - 1284211998720*log(5)^7*log(log(3))^2 - 515978035
2*log(5)^7*log(log(3))^3 + 2761055797248*log(5)^8*log(log(3))^2 + 19349176320*log(5)^8*log(log(3))^3 - 4604817
309696*log(5)^9*log(log(3))^2 + 17006112*log(5)^8*log(log(3))^4 - 46438023168*log(5)^9*log(log(3))^3 + 6191736
422400*log(5)^10*log(log(3))^2 - 102036672*log(5)^9*log(log(3))^4 + 81911513088*log(5)^10*log(log(3))^3 - 6824
669478912*log(5)^11*log(log(3))^2 + 289103904*log(5)^10*log(log(3))^4 - 113515167744*log(5)^11*log(log(3))^3 +
6191736422400*log(5)^12*log(log(3))^2 - 544195584*log(5)^11*log(log(3))^4 + 126414618624*log(5)^12*log(log(3)
)^3 - 4604817309696*log(5)^13*log(log(3))^2 + 782281152*log(5)^12*log(log(3))^4 - 113515167744*log(5)^13*log(l
og(3))^3 + 2761055797248*log(5)^14*log(log(3))^2 - 884317824*log(5)^13*log(log(3))^4 + 81911513088*log(5)^14*l
og(log(3))^3 - 1284211998720*log(5)^15*log(log(3))^2 + 782281152*log(5)^14*log(log(3))^4 - 46438023168*log(5)^
15*log(log(3))^3 + 431128313856*log(5)^16*log(log(3))^2 - 544195584*log(5)^15*log(log(3))^4 + 19349176320*log(
5)^16*log(log(3))^3 - 91729428480*log(5)^17*log(log(3))^2 + 289103904*log(5)^16*log(log(3))^4 - 5159780352*log
(5)^17*log(log(3))^3 + 9172942848*log(5)^18*log(log(3))^2 - 102036672*log(5)^17*log(log(3))^4 + 644972544*log(
5)^18*log(log(3))^3 + 17006112*log(5)^18*log(log(3))^4 - 1924145348608*log(5)*log(25)^2 - 25288767438848*log(5
)^2*log(25) + 103903848824832*log(5)^3*log(25) - 300166674382848*log(5)^4*log(25) + 650361127829504*log(5)^5*l
og(25) - 1100611139403776*log(5)^6*log(25) + 1493686546333696*log(5)^7*log(25) - 1650916709105664*log(5)^8*log
(25) + 1493686546333696*log(5)^9*log(25) - 1100611139403776*log(5)^10*log(25) + 650361127829504*log(5)^11*log(
25) - 300166674382848*log(5)^12*log(25) + 103903848824832*log(5)^13*log(25) - 25288767438848*log(5)^14*log(25)
+ 3848290697216*log(5)^15*log(25) - 274877906944*log(5)^16*log(25) + 12781822672896*log(5)^2 - 53876069761024
*log(5)^3 + 162727720910848*log(5)^4 - 377132488327168*log(5)^5 + 700388906893312*log(5)^6 - 1072023837081600*
log(5)^7 + 1375763924254720*log(5)^8 - 1493686546333696*log(5)^9 + 1375763924254720*log(5)^10 - 10720238370816
00*log(5)^11 + 700388906893312*log(5)^12 - 377132488327168*log(5)^13 + 162727720910848*log(5)^14 - 53876069761
024*log(5)^15 + 12781822672896*log(5)^16 - 1924145348608*log(5)^17 + 137438953472*log(5)^18 + 137438953472*log
(25)^2 + 12506944765952*log(5)^2*log(25)^2 - 50027779063808*log(5)^3*log(25)^2 + 137576392425472*log(5)^4*log(
25)^2 - 275152784850944*log(5)^5*log(25)^2 + 412729177276416*log(5)^6*log(25)^2 - 471690488315904*log(5)^7*log
(25)^2 + 412729177276416*log(5)^8*log(25)^2 - 275152784850944*log(5)^9*log(25)^2 + 137576392425472*log(5)^10*l
og(25)^2 - 50027779063808*log(5)^11*log(25)^2 + 12506944765952*log(5)^12*log(25)^2 - 1924145348608*log(5)^13*l
og(25)^2 + 137438953472*log(5)^14*log(25)^2 + 9172942848*log(5)^4*log(25)^2*log(log(3))^2 - 91729428480*log(5)
^5*log(25)^2*log(log(3))^2 + 412782428160*log(5)^6*log(25)^2*log(log(3))^2 + 644972544*log(5)^6*log(25)^2*log(
log(3))^3 - 1100753141760*log(5)^7*log(25)^2*log(log(3))^2 - 5159780352*log(5)^7*log(25)^2*log(log(3))^3 + 192
6317998080*log(5)^8*log(25)^2*log(log(3))^2 + 18059231232*log(5)^8*log(25)^2*log(log(3))^3 - 2311581597696*log
(5)^9*log(25)^2*log(log(3))^2 + 17006112*log(5)^8*log(25)^2*log(log(3))^4 - 36118462464*log(5)^9*log(25)^2*log
(log(3))^3 + 1926317998080*log(5)^10*log(25)^2*log(log(3))^2 - 102036672*log(5)^9*log(25)^2*log(log(3))^4 + 45
148078080*log(5)^10*log(25)^2*log(log(3))^3 - 1100753141760*log(5)^11*log(25)^2*log(log(3))^2 + 255091680*log(
5)^10*log(25)^2*log(log(3))^4 - 36118462464*log(5)^11*log(25)^2*log(log(3))^3 + 412782428160*log(5)^12*log(25)
^2*log(log(3))^2 - 340122240*log(5)^11*log(25)^2*log(log(3))^4 + 18059231232*log(5)^12*log(25)^2*log(log(3))^3
- 91729428480*log(5)^13*log(25)^2*log(log(3))^2 + 255091680*log(5)^12*log(25)^2*log(log(3))^4 - 5159780352*lo
g(5)^13*log(25)^2*log(log(3))^3 + 9172942848*log(5)^14*log(25)^2*log(log(3))^2 - 102036672*log(5)^13*log(25)^2
*log(log(3))^4 + 644972544*log(5)^14*log(25)^2*log(log(3))^3 + 17006112*log(5)^14*log(25)^2*log(log(3))^4 - 11
5964116992*log(5)^2*log(25)*log(log(3)) + 1391569403904*log(5)^3*log(25)*log(log(3)) - 7769595838464*log(5)^4*
log(25)*log(log(3)) + 26903675142144*log(5)^5*log(25)*log(log(3)) - 65055869632512*log(5)^6*log(25)*log(log(3)
) + 117355686395904*log(5)^7*log(25)*log(log(3)) - 164553082011648*log(5)^8*log(25)*log(log(3)) + 183687161315
328*log(5)^9*log(25)*log(log(3)) - 164553082011648*log(5)^10*log(25)*log(log(3)) + 117355686395904*log(5)^11*l
og(25)*log(log(3)) - 65055869632512*log(5)^12*log(25)*log(log(3)) + 26903675142144*log(5)^13*log(25)*log(log(3
)) - 7769595838464*log(5)^14*log(25)*log(log(3)) + 1391569403904*log(5)^15*log(25)*log(log(3)) - 115964116992*
log(5)^16*log(25)*log(log(3)) + 57982058496*log(5)^2*log(25)^2*log(log(3)) - 695784701952*log(5)^3*log(25)^2*l
og(log(3)) - 18345885696*log(5)^4*log(25)*log(log(3))^2 + 3826815860736*log(5)^4*log(25)^2*log(log(3)) + 18345
8856960*log(5)^5*log(25)*log(log(3))^2 - 12756052869120*log(5)^5*log(25)^2*log(log(3)) - 843910742016*log(5)^6
*log(25)*log(log(3))^2 + 28701118955520*log(5)^6*log(25)^2*log(log(3)) - 1289945088*log(5)^6*log(25)*log(log(3
))^3 + 2384965140480*log(5)^7*log(25)*log(log(3))^2 - 45921790328832*log(5)^7*log(25)^2*log(log(3)) + 10319560
704*log(5)^7*log(25)*log(log(3))^3 - 4678200852480*log(5)^8*log(25)*log(log(3))^2 + 53575422050304*log(5)^8*lo
g(25)^2*log(log(3)) - 37408407552*log(5)^8*log(25)*log(log(3))^3 + 6824669478912*log(5)^9*log(25)*log(log(3))^
2 - 45921790328832*log(5)^9*log(25)^2*log(log(3)) - 34012224*log(5)^8*log(25)*log(log(3))^4 + 82556485632*log(
5)^9*log(25)*log(log(3))^3 - 7705271992320*log(5)^10*log(25)*log(log(3))^2 + 28701118955520*log(5)^10*log(25)^
2*log(log(3)) + 204073344*log(5)^9*log(25)*log(log(3))^4 - 126414618624*log(5)^10*log(25)*log(log(3))^3 + 6824
669478912*log(5)^11*log(25)*log(log(3))^2 - 12756052869120*log(5)^11*log(25)^2*log(log(3)) - 544195584*log(5)^
10*log(25)*log(log(3))^4 + 144473849856*log(5)^11*log(25)*log(log(3))^3 - 4678200852480*log(5)^12*log(25)*log(
log(3))^2 + 3826815860736*log(5)^12*log(25)^2*log(log(3)) + 884317824*log(5)^11*log(25)*log(log(3))^4 - 126414
618624*log(5)^12*log(25)*log(log(3))^3 + 2384965140480*log(5)^13*log(25)*log(log(3))^2 - 695784701952*log(5)^1
3*log(25)^2*log(log(3)) - 1020366720*log(5)^12*log(25)*log(log(3))^4 + 82556485632*log(5)^13*log(25)*log(log(3
))^3 - 843910742016*log(5)^14*log(25)*log(log(3))^2 + 57982058496*log(5)^14*log(25)^2*log(log(3)) + 884317824*
log(5)^13*log(25)*log(log(3))^4 - 37408407552*log(5)^14*log(25)*log(log(3))^3 + 183458856960*log(5)^15*log(25)
*log(log(3))^2 - 544195584*log(5)^14*log(25)*log(log(3))^4 + 10319560704*log(5)^15*log(25)*log(log(3))^3 - 183
45885696*log(5)^16*log(25)*log(log(3))^2 + 204073344*log(5)^15*log(25)*log(log(3))^4 - 1289945088*log(5)^16*lo
g(25)*log(log(3))^3 - 34012224*log(5)^16*log(25)*log(log(3))^4 + 137438953472))/(1811939328*log(5)^2*log(log(3
)) - 8589934592*log(25) - 34359738368*log(5) - 10871635968*log(5)^3*log(log(3)) + 30802968576*log(5)^4*log(log
(3)) - 57982058496*log(5)^5*log(log(3)) + 83349209088*log(5)^6*log(log(3)) - 94220845056*log(5)^7*log(log(3))
+ 83349209088*log(5)^8*log(log(3)) - 57982058496*log(5)^9*log(log(3)) + 30802968576*log(5)^10*log(log(3)) - 10
871635968*log(5)^11*log(log(3)) + 1811939328*log(5)^12*log(log(3)) + 68719476736*log(5)*log(25) + 286654464*lo
g(5)^4*log(log(3))^2 - 1146617856*log(5)^5*log(log(3))^2 + 2293235712*log(5)^6*log(log(3))^2 + 20155392*log(5)
^6*log(log(3))^3 - 3439853568*log(5)^7*log(log(3))^2 - 40310784*log(5)^7*log(log(3))^3 + 4013162496*log(5)^8*l
og(log(3))^2 + 60466176*log(5)^8*log(log(3))^3 - 3439853568*log(5)^9*log(log(3))^2 + 531441*log(5)^8*log(log(3
))^4 - 80621568*log(5)^9*log(log(3))^3 + 2293235712*log(5)^10*log(log(3))^2 + 60466176*log(5)^10*log(log(3))^3
- 1146617856*log(5)^11*log(log(3))^2 + 1062882*log(5)^10*log(log(3))^4 - 40310784*log(5)^11*log(log(3))^3 + 2
86654464*log(5)^12*log(log(3))^2 + 20155392*log(5)^12*log(log(3))^3 + 531441*log(5)^12*log(log(3))^4 - 3435973
8368*log(5)*log(25)^2 - 249108103168*log(5)^2*log(25) + 549755813888*log(5)^3*log(25) - 841813590016*log(5)^4*
log(25) + 962072674304*log(5)^5*log(25) - 841813590016*log(5)^6*log(25) + 549755813888*log(5)^7*log(25) - 2491
08103168*log(5)^8*log(25) + 68719476736*log(5)^9*log(25) - 8589934592*log(5)^10*log(25) + 128849018880*log(5)^
2 - 309237645312*log(5)^3 + 545460846592*log(5)^4 - 755914244096*log(5)^5 + 841813590016*log(5)^6 - 7559142440
96*log(5)^7 + 545460846592*log(5)^8 - 309237645312*log(5)^9 + 128849018880*log(5)^10 - 34359738368*log(5)^11 +
4294967296*log(5)^12 + 4294967296*log(25)^2 + 120259084288*log(5)^2*log(25)^2 - 240518168576*log(5)^3*log(25)
^2 + 300647710720*log(5)^4*log(25)^2 - 240518168576*log(5)^5*log(25)^2 + 120259084288*log(5)^6*log(25)^2 - 343
59738368*log(5)^7*log(25)^2 + 4294967296*log(5)^8*log(25)^2 + 286654464*log(5)^4*log(25)^2*log(log(3))^2 - 114
6617856*log(5)^5*log(25)^2*log(log(3))^2 + 1719926784*log(5)^6*log(25)^2*log(log(3))^2 + 20155392*log(5)^6*log
(25)^2*log(log(3))^3 - 1146617856*log(5)^7*log(25)^2*log(log(3))^2 - 40310784*log(5)^7*log(25)^2*log(log(3))^3
+ 286654464*log(5)^8*log(25)^2*log(log(3))^2 + 20155392*log(5)^8*log(25)^2*log(log(3))^3 + 531441*log(5)^8*lo
g(25)^2*log(log(3))^4 - 3623878656*log(5)^2*log(25)*log(log(3)) + 21743271936*log(5)^3*log(25)*log(log(3)) - 5
7982058496*log(5)^4*log(25)*log(log(3)) + 94220845056*log(5)^5*log(25)*log(log(3)) - 108716359680*log(5)^6*log
(25)*log(log(3)) + 94220845056*log(5)^7*log(25)*log(log(3)) - 57982058496*log(5)^8*log(25)*log(log(3)) + 21743
271936*log(5)^9*log(25)*log(log(3)) - 3623878656*log(5)^10*log(25)*log(log(3)) + 1811939328*log(5)^2*log(25)^2
*log(log(3)) - 10871635968*log(5)^3*log(25)^2*log(log(3)) - 573308928*log(5)^4*log(25)*log(log(3))^2 + 2717908
9920*log(5)^4*log(25)^2*log(log(3)) + 2293235712*log(5)^5*log(25)*log(log(3))^2 - 36238786560*log(5)^5*log(25)
^2*log(log(3)) - 4013162496*log(5)^6*log(25)*log(log(3))^2 + 27179089920*log(5)^6*log(25)^2*log(log(3)) - 4031
0784*log(5)^6*log(25)*log(log(3))^3 + 4586471424*log(5)^7*log(25)*log(log(3))^2 - 10871635968*log(5)^7*log(25)
^2*log(log(3)) + 80621568*log(5)^7*log(25)*log(log(3))^3 - 4013162496*log(5)^8*log(25)*log(log(3))^2 + 1811939
328*log(5)^8*log(25)^2*log(log(3)) - 80621568*log(5)^8*log(25)*log(log(3))^3 + 2293235712*log(5)^9*log(25)*log
(log(3))^2 - 1062882*log(5)^8*log(25)*log(log(3))^4 + 80621568*log(5)^9*log(25)*log(log(3))^3 - 573308928*log(
5)^10*log(25)*log(log(3))^2 - 40310784*log(5)^10*log(25)*log(log(3))^3 - 1062882*log(5)^10*log(25)*log(log(3))
^4 + 4294967296)) + (3*(6710886400*log(5)^3*log(log(3)) - 80530636800*log(5)^4*log(log(3)) + 449629388800*log(
5)^5*log(log(3)) - 1556925644800*log(5)^6*log(log(3)) + 3764807270400*log(5)^7*log(log(3)) - 6791417036800*log
(5)^8*log(log(3)) + 9522747801600*log(5)^9*log(log(3)) - 10630044057600*log(5)^10*log(log(3)) + 9522747801600*
log(5)^11*log(log(3)) - 6791417036800*log(5)^12*log(log(3)) + 3764807270400*log(5)^13*log(log(3)) - 1556925644
800*log(5)^14*log(log(3)) + 449629388800*log(5)^15*log(log(3)) - 80530636800*log(5)^16*log(log(3)) + 671088640
0*log(5)^17*log(log(3)) - 223948800*log(5)^7*log(log(3))^3 + 1791590400*log(5)^8*log(log(3))^3 - 6494515200*lo
g(5)^9*log(log(3))^3 - 15746400*log(5)^9*log(log(3))^4 + 14332723200*log(5)^10*log(log(3))^3 + 94478400*log(5)
^10*log(log(3))^4 - 21946982400*log(5)^11*log(log(3))^3 - 251942400*log(5)^11*log(log(3))^4 + 25082265600*log(
5)^12*log(log(3))^3 + 409406400*log(5)^12*log(log(3))^4 - 21946982400*log(5)^13*log(log(3))^3 - 472392000*log(
5)^13*log(log(3))^4 + 14332723200*log(5)^14*log(log(3))^3 + 409406400*log(5)^14*log(log(3))^4 - 6494515200*log
(5)^15*log(log(3))^3 - 251942400*log(5)^15*log(log(3))^4 + 1791590400*log(5)^16*log(log(3))^3 + 94478400*log(5
)^16*log(log(3))^4 - 223948800*log(5)^17*log(log(3))^3 - 15746400*log(5)^17*log(log(3))^4 - 111974400*log(5)^6
*log(25)^2*log(log(3))^3 + 895795200*log(5)^7*log(25)^2*log(log(3))^3 - 3135283200*log(5)^8*log(25)^2*log(log(
3))^3 - 7873200*log(5)^8*log(25)^2*log(log(3))^4 + 6270566400*log(5)^9*log(25)^2*log(log(3))^3 + 47239200*log(
5)^9*log(25)^2*log(log(3))^4 - 7838208000*log(5)^10*log(25)^2*log(log(3))^3 - 118098000*log(5)^10*log(25)^2*lo
g(log(3))^4 + 6270566400*log(5)^11*log(25)^2*log(log(3))^3 + 157464000*log(5)^11*log(25)^2*log(log(3))^4 - 313
5283200*log(5)^12*log(25)^2*log(log(3))^3 - 118098000*log(5)^12*log(25)^2*log(log(3))^4 + 895795200*log(5)^13*
log(25)^2*log(log(3))^3 + 47239200*log(5)^13*log(25)^2*log(log(3))^4 - 111974400*log(5)^14*log(25)^2*log(log(3
))^3 - 7873200*log(5)^14*log(25)^2*log(log(3))^4 - 3355443200*log(5)^2*log(25)*log(log(3)) + 33554432000*log(5
)^3*log(25)*log(log(3)) - 144284057600*log(5)^4*log(25)*log(log(3)) + 335544320000*log(5)^5*log(25)*log(log(3)
) - 406008627200*log(5)^6*log(25)*log(log(3)) + 73819750400*log(5)^7*log(25)*log(log(3)) + 553648128000*log(5)
^8*log(25)*log(log(3)) - 885837004800*log(5)^9*log(25)*log(log(3)) + 553648128000*log(5)^10*log(25)*log(log(3)
) + 73819750400*log(5)^11*log(25)*log(log(3)) - 406008627200*log(5)^12*log(25)*log(log(3)) + 335544320000*log(
5)^13*log(25)*log(log(3)) - 144284057600*log(5)^14*log(25)*log(log(3)) + 33554432000*log(5)^15*log(25)*log(log
(3)) - 3355443200*log(5)^16*log(25)*log(log(3)) + 3355443200*log(5)^2*log(25)^2*log(log(3)) - 40265318400*log(
5)^3*log(25)^2*log(log(3)) + 221459251200*log(5)^4*log(25)^2*log(log(3)) - 738197504000*log(5)^5*log(25)^2*log
(log(3)) + 1660944384000*log(5)^6*log(25)^2*log(log(3)) + 111974400*log(5)^6*log(25)*log(log(3))^3 - 265751101
4400*log(5)^7*log(25)^2*log(log(3)) - 671846400*log(5)^7*log(25)*log(log(3))^3 + 3100429516800*log(5)^8*log(25
)^2*log(log(3)) + 1455667200*log(5)^8*log(25)*log(log(3))^3 - 2657511014400*log(5)^9*log(25)^2*log(log(3)) + 7
873200*log(5)^8*log(25)*log(log(3))^4 - 895795200*log(5)^9*log(25)*log(log(3))^3 + 1660944384000*log(5)^10*log
(25)^2*log(log(3)) - 31492800*log(5)^9*log(25)*log(log(3))^4 - 1567641600*log(5)^10*log(25)*log(log(3))^3 - 73
8197504000*log(5)^11*log(25)^2*log(log(3)) + 31492800*log(5)^10*log(25)*log(log(3))^4 + 3135283200*log(5)^11*l
og(25)*log(log(3))^3 + 221459251200*log(5)^12*log(25)^2*log(log(3)) + 31492800*log(5)^11*log(25)*log(log(3))^4
- 1567641600*log(5)^12*log(25)*log(log(3))^3 - 40265318400*log(5)^13*log(25)^2*log(log(3)) - 78732000*log(5)^
12*log(25)*log(log(3))^4 - 895795200*log(5)^13*log(25)*log(log(3))^3 + 3355443200*log(5)^14*log(25)^2*log(log(
3)) + 31492800*log(5)^13*log(25)*log(log(3))^4 + 1455667200*log(5)^14*log(25)*log(log(3))^3 + 31492800*log(5)^
14*log(25)*log(log(3))^4 - 671846400*log(5)^15*log(25)*log(log(3))^3 - 31492800*log(5)^15*log(25)*log(log(3))^
4 + 111974400*log(5)^16*log(25)*log(log(3))^3 + 7873200*log(5)^16*log(25)*log(log(3))^4))/(1811939328*log(5)^2
*log(log(3)) - 8589934592*log(25) - 34359738368*log(5) - 10871635968*log(5)^3*log(log(3)) + 30802968576*log(5)
^4*log(log(3)) - 57982058496*log(5)^5*log(log(3)) + 83349209088*log(5)^6*log(log(3)) - 94220845056*log(5)^7*lo
g(log(3)) + 83349209088*log(5)^8*log(log(3)) - 57982058496*log(5)^9*log(log(3)) + 30802968576*log(5)^10*log(lo
g(3)) - 10871635968*log(5)^11*log(log(3)) + 1811939328*log(5)^12*log(log(3)) + 68719476736*log(5)*log(25) + 28
6654464*log(5)^4*log(log(3))^2 - 1146617856*log(5)^5*log(log(3))^2 + 2293235712*log(5)^6*log(log(3))^2 + 20155
392*log(5)^6*log(log(3))^3 - 3439853568*log(5)^7*log(log(3))^2 - 40310784*log(5)^7*log(log(3))^3 + 4013162496*
log(5)^8*log(log(3))^2 + 60466176*log(5)^8*log(log(3))^3 - 3439853568*log(5)^9*log(log(3))^2 + 531441*log(5)^8
*log(log(3))^4 - 80621568*log(5)^9*log(log(3))^3 + 2293235712*log(5)^10*log(log(3))^2 + 60466176*log(5)^10*log
(log(3))^3 - 1146617856*log(5)^11*log(log(3))^2 + 1062882*log(5)^10*log(log(3))^4 - 40310784*log(5)^11*log(log
(3))^3 + 286654464*log(5)^12*log(log(3))^2 + 20155392*log(5)^12*log(log(3))^3 + 531441*log(5)^12*log(log(3))^4
- 34359738368*log(5)*log(25)^2 - 249108103168*log(5)^2*log(25) + 549755813888*log(5)^3*log(25) - 841813590016
*log(5)^4*log(25) + 962072674304*log(5)^5*log(25) - 841813590016*log(5)^6*log(25) + 549755813888*log(5)^7*log(
25) - 249108103168*log(5)^8*log(25) + 68719476736*log(5)^9*log(25) - 8589934592*log(5)^10*log(25) + 1288490188
80*log(5)^2 - 309237645312*log(5)^3 + 545460846592*log(5)^4 - 755914244096*log(5)^5 + 841813590016*log(5)^6 -
755914244096*log(5)^7 + 545460846592*log(5)^8 - 309237645312*log(5)^9 + 128849018880*log(5)^10 - 34359738368*l
og(5)^11 + 4294967296*log(5)^12 + 4294967296*log(25)^2 + 120259084288*log(5)^2*log(25)^2 - 240518168576*log(5)
^3*log(25)^2 + 300647710720*log(5)^4*log(25)^2 - 240518168576*log(5)^5*log(25)^2 + 120259084288*log(5)^6*log(2
5)^2 - 34359738368*log(5)^7*log(25)^2 + 4294967296*log(5)^8*log(25)^2 + 286654464*log(5)^4*log(25)^2*log(log(3
))^2 - 1146617856*log(5)^5*log(25)^2*log(log(3))^2 + 1719926784*log(5)^6*log(25)^2*log(log(3))^2 + 20155392*lo
g(5)^6*log(25)^2*log(log(3))^3 - 1146617856*log(5)^7*log(25)^2*log(log(3))^2 - 40310784*log(5)^7*log(25)^2*log
(log(3))^3 + 286654464*log(5)^8*log(25)^2*log(log(3))^2 + 20155392*log(5)^8*log(25)^2*log(log(3))^3 + 531441*l
og(5)^8*log(25)^2*log(log(3))^4 - 3623878656*log(5)^2*log(25)*log(log(3)) + 21743271936*log(5)^3*log(25)*log(l
og(3)) - 57982058496*log(5)^4*log(25)*log(log(3)) + 94220845056*log(5)^5*log(25)*log(log(3)) - 108716359680*lo
g(5)^6*log(25)*log(log(3)) + 94220845056*log(5)^7*log(25)*log(log(3)) - 57982058496*log(5)^8*log(25)*log(log(3
)) + 21743271936*log(5)^9*log(25)*log(log(3)) - 3623878656*log(5)^10*log(25)*log(log(3)) + 1811939328*log(5)^2
*log(25)^2*log(log(3)) - 10871635968*log(5)^3*log(25)^2*log(log(3)) - 573308928*log(5)^4*log(25)*log(log(3))^2
+ 27179089920*log(5)^4*log(25)^2*log(log(3)) + 2293235712*log(5)^5*log(25)*log(log(3))^2 - 36238786560*log(5)
^5*log(25)^2*log(log(3)) - 4013162496*log(5)^6*log(25)*log(log(3))^2 + 27179089920*log(5)^6*log(25)^2*log(log(
3)) - 40310784*log(5)^6*log(25)*log(log(3))^3 + 4586471424*log(5)^7*log(25)*log(log(3))^2 - 10871635968*log(5)
^7*log(25)^2*log(log(3)) + 80621568*log(5)^7*log(25)*log(log(3))^3 - 4013162496*log(5)^8*log(25)*log(log(3))^2
+ 1811939328*log(5)^8*log(25)^2*log(log(3)) - 80621568*log(5)^8*log(25)*log(log(3))^3 + 2293235712*log(5)^9*l
og(25)*log(log(3))^2 - 1062882*log(5)^8*log(25)*log(log(3))^4 + 80621568*log(5)^9*log(25)*log(log(3))^3 - 5733
08928*log(5)^10*log(25)*log(log(3))^2 - 40310784*log(5)^10*log(25)*log(log(3))^3 - 1062882*log(5)^10*log(25)*l
og(log(3))^4 + 4294967296) + (x*(50331648000*log(5)^3*log(log(3)) - 603979776000*log(5)^4*log(log(3)) + 337222
0416000*log(5)^5*log(log(3)) - 11676942336000*log(5)^6*log(log(3)) + 28236054528000*log(5)^7*log(log(3)) - 509
35627776000*log(5)^8*log(log(3)) + 71420608512000*log(5)^9*log(log(3)) - 79725330432000*log(5)^10*log(log(3))
+ 71420608512000*log(5)^11*log(log(3)) - 50935627776000*log(5)^12*log(log(3)) + 28236054528000*log(5)^13*log(l
og(3)) - 11676942336000*log(5)^14*log(log(3)) + 3372220416000*log(5)^15*log(log(3)) - 603979776000*log(5)^16*l
og(log(3)) + 50331648000*log(5)^17*log(log(3)) + 6370099200*log(5)^5*log(log(3))^2 - 63700992000*log(5)^6*log(
log(3))^2 + 293024563200*log(5)^7*log(log(3))^2 - 335923200*log(5)^7*log(log(3))^3 - 828112896000*log(5)^8*log
(log(3))^2 + 2687385600*log(5)^8*log(log(3))^3 + 1624375296000*log(5)^9*log(log(3))^2 - 9741772800*log(5)^9*lo
g(log(3))^3 - 2369676902400*log(5)^10*log(log(3))^2 - 47239200*log(5)^9*log(log(3))^4 + 21499084800*log(5)^10*
log(log(3))^3 + 2675441664000*log(5)^11*log(log(3))^2 + 283435200*log(5)^10*log(log(3))^4 - 32920473600*log(5)
^11*log(log(3))^3 - 2369676902400*log(5)^12*log(log(3))^2 - 755827200*log(5)^11*log(log(3))^4 + 37623398400*lo
g(5)^12*log(log(3))^3 + 1624375296000*log(5)^13*log(log(3))^2 + 1228219200*log(5)^12*log(log(3))^4 - 329204736
00*log(5)^13*log(log(3))^3 - 828112896000*log(5)^14*log(log(3))^2 - 1417176000*log(5)^13*log(log(3))^4 + 21499
084800*log(5)^14*log(log(3))^3 + 293024563200*log(5)^15*log(log(3))^2 + 1228219200*log(5)^14*log(log(3))^4 - 9
741772800*log(5)^15*log(log(3))^3 - 63700992000*log(5)^16*log(log(3))^2 - 755827200*log(5)^15*log(log(3))^4 +
2687385600*log(5)^16*log(log(3))^3 + 6370099200*log(5)^17*log(log(3))^2 + 283435200*log(5)^16*log(log(3))^4 -
335923200*log(5)^17*log(log(3))^3 - 47239200*log(5)^17*log(log(3))^4 + 3185049600*log(5)^4*log(25)^2*log(log(3
))^2 - 31850496000*log(5)^5*log(25)^2*log(log(3))^2 + 143327232000*log(5)^6*log(25)^2*log(log(3))^2 - 16796160
0*log(5)^6*log(25)^2*log(log(3))^3 - 382205952000*log(5)^7*log(25)^2*log(log(3))^2 + 1343692800*log(5)^7*log(2
5)^2*log(log(3))^3 + 668860416000*log(5)^8*log(25)^2*log(log(3))^2 - 4702924800*log(5)^8*log(25)^2*log(log(3))
^3 - 802632499200*log(5)^9*log(25)^2*log(log(3))^2 - 23619600*log(5)^8*log(25)^2*log(log(3))^4 + 9405849600*lo
g(5)^9*log(25)^2*log(log(3))^3 + 668860416000*log(5)^10*log(25)^2*log(log(3))^2 + 141717600*log(5)^9*log(25)^2
*log(log(3))^4 - 11757312000*log(5)^10*log(25)^2*log(log(3))^3 - 382205952000*log(5)^11*log(25)^2*log(log(3))^
2 - 354294000*log(5)^10*log(25)^2*log(log(3))^4 + 9405849600*log(5)^11*log(25)^2*log(log(3))^3 + 143327232000*
log(5)^12*log(25)^2*log(log(3))^2 + 472392000*log(5)^11*log(25)^2*log(log(3))^4 - 4702924800*log(5)^12*log(25)
^2*log(log(3))^3 - 31850496000*log(5)^13*log(25)^2*log(log(3))^2 - 354294000*log(5)^12*log(25)^2*log(log(3))^4
+ 1343692800*log(5)^13*log(25)^2*log(log(3))^3 + 3185049600*log(5)^14*log(25)^2*log(log(3))^2 + 141717600*log
(5)^13*log(25)^2*log(log(3))^4 - 167961600*log(5)^14*log(25)^2*log(log(3))^3 - 23619600*log(5)^14*log(25)^2*lo
g(log(3))^4 - 25165824000*log(5)^2*log(25)*log(log(3)) + 251658240000*log(5)^3*log(25)*log(log(3)) - 108213043
2000*log(5)^4*log(25)*log(log(3)) + 2516582400000*log(5)^5*log(25)*log(log(3)) - 3045064704000*log(5)^6*log(25
)*log(log(3)) + 553648128000*log(5)^7*log(25)*log(log(3)) + 4152360960000*log(5)^8*log(25)*log(log(3)) - 66437
77536000*log(5)^9*log(25)*log(log(3)) + 4152360960000*log(5)^10*log(25)*log(log(3)) + 553648128000*log(5)^11*l
og(25)*log(log(3)) - 3045064704000*log(5)^12*log(25)*log(log(3)) + 2516582400000*log(5)^13*log(25)*log(log(3))
- 1082130432000*log(5)^14*log(25)*log(log(3)) + 251658240000*log(5)^15*log(25)*log(log(3)) - 25165824000*log(
5)^16*log(25)*log(log(3)) + 25165824000*log(5)^2*log(25)^2*log(log(3)) - 301989888000*log(5)^3*log(25)^2*log(l
og(3)) - 3185049600*log(5)^4*log(25)*log(log(3))^2 + 1660944384000*log(5)^4*log(25)^2*log(log(3)) + 2548039680
0*log(5)^5*log(25)*log(log(3))^2 - 5536481280000*log(5)^5*log(25)^2*log(log(3)) - 82811289600*log(5)^6*log(25)
*log(log(3))^2 + 12457082880000*log(5)^6*log(25)^2*log(log(3)) + 167961600*log(5)^6*log(25)*log(log(3))^3 + 12
7401984000*log(5)^7*log(25)*log(log(3))^2 - 19931332608000*log(5)^7*log(25)^2*log(log(3)) - 1007769600*log(5)^
7*log(25)*log(log(3))^3 - 47775744000*log(5)^8*log(25)*log(log(3))^2 + 23253221376000*log(5)^8*log(25)^2*log(l
og(3)) + 2183500800*log(5)^8*log(25)*log(log(3))^3 - 152882380800*log(5)^9*log(25)*log(log(3))^2 - 19931332608
000*log(5)^9*log(25)^2*log(log(3)) + 23619600*log(5)^8*log(25)*log(log(3))^4 - 1343692800*log(5)^9*log(25)*log
(log(3))^3 + 267544166400*log(5)^10*log(25)*log(log(3))^2 + 12457082880000*log(5)^10*log(25)^2*log(log(3)) - 9
4478400*log(5)^9*log(25)*log(log(3))^4 - 2351462400*log(5)^10*log(25)*log(log(3))^3 - 152882380800*log(5)^11*l
og(25)*log(log(3))^2 - 5536481280000*log(5)^11*log(25)^2*log(log(3)) + 94478400*log(5)^10*log(25)*log(log(3))^
4 + 4702924800*log(5)^11*log(25)*log(log(3))^3 - 47775744000*log(5)^12*log(25)*log(log(3))^2 + 1660944384000*l
og(5)^12*log(25)^2*log(log(3)) + 94478400*log(5)^11*log(25)*log(log(3))^4 - 2351462400*log(5)^12*log(25)*log(l
og(3))^3 + 127401984000*log(5)^13*log(25)*log(log(3))^2 - 301989888000*log(5)^13*log(25)^2*log(log(3)) - 23619
6000*log(5)^12*log(25)*log(log(3))^4 - 1343692800*log(5)^13*log(25)*log(log(3))^3 - 82811289600*log(5)^14*log(
25)*log(log(3))^2 + 25165824000*log(5)^14*log(25)^2*log(log(3)) + 94478400*log(5)^13*log(25)*log(log(3))^4 + 2
183500800*log(5)^14*log(25)*log(log(3))^3 + 25480396800*log(5)^15*log(25)*log(log(3))^2 + 94478400*log(5)^14*l
og(25)*log(log(3))^4 - 1007769600*log(5)^15*log(25)*log(log(3))^3 - 3185049600*log(5)^16*log(25)*log(log(3))^2
- 94478400*log(5)^15*log(25)*log(log(3))^4 + 167961600*log(5)^16*log(25)*log(log(3))^3 + 23619600*log(5)^16*l
og(25)*log(log(3))^4))/(1811939328*log(5)^2*log(log(3)) - 8589934592*log(25) - 34359738368*log(5) - 1087163596
8*log(5)^3*log(log(3)) + 30802968576*log(5)^4*log(log(3)) - 57982058496*log(5)^5*log(log(3)) + 83349209088*log
(5)^6*log(log(3)) - 94220845056*log(5)^7*log(log(3)) + 83349209088*log(5)^8*log(log(3)) - 57982058496*log(5)^9
*log(log(3)) + 30802968576*log(5)^10*log(log(3)) - 10871635968*log(5)^11*log(log(3)) + 1811939328*log(5)^12*lo
g(log(3)) + 68719476736*log(5)*log(25) + 286654464*log(5)^4*log(log(3))^2 - 1146617856*log(5)^5*log(log(3))^2
+ 2293235712*log(5)^6*log(log(3))^2 + 20155392*log(5)^6*log(log(3))^3 - 3439853568*log(5)^7*log(log(3))^2 - 40
310784*log(5)^7*log(log(3))^3 + 4013162496*log(5)^8*log(log(3))^2 + 60466176*log(5)^8*log(log(3))^3 - 34398535
68*log(5)^9*log(log(3))^2 + 531441*log(5)^8*log(log(3))^4 - 80621568*log(5)^9*log(log(3))^3 + 2293235712*log(5
)^10*log(log(3))^2 + 60466176*log(5)^10*log(log(3))^3 - 1146617856*log(5)^11*log(log(3))^2 + 1062882*log(5)^10
*log(log(3))^4 - 40310784*log(5)^11*log(log(3))^3 + 286654464*log(5)^12*log(log(3))^2 + 20155392*log(5)^12*log
(log(3))^3 + 531441*log(5)^12*log(log(3))^4 - 34359738368*log(5)*log(25)^2 - 249108103168*log(5)^2*log(25) + 5
49755813888*log(5)^3*log(25) - 841813590016*log(5)^4*log(25) + 962072674304*log(5)^5*log(25) - 841813590016*lo
g(5)^6*log(25) + 549755813888*log(5)^7*log(25) - 249108103168*log(5)^8*log(25) + 68719476736*log(5)^9*log(25)
- 8589934592*log(5)^10*log(25) + 128849018880*log(5)^2 - 309237645312*log(5)^3 + 545460846592*log(5)^4 - 75591
4244096*log(5)^5 + 841813590016*log(5)^6 - 755914244096*log(5)^7 + 545460846592*log(5)^8 - 309237645312*log(5)
^9 + 128849018880*log(5)^10 - 34359738368*log(5)^11 + 4294967296*log(5)^12 + 4294967296*log(25)^2 + 1202590842
88*log(5)^2*log(25)^2 - 240518168576*log(5)^3*log(25)^2 + 300647710720*log(5)^4*log(25)^2 - 240518168576*log(5
)^5*log(25)^2 + 120259084288*log(5)^6*log(25)^2 - 34359738368*log(5)^7*log(25)^2 + 4294967296*log(5)^8*log(25)
^2 + 286654464*log(5)^4*log(25)^2*log(log(3))^2 - 1146617856*log(5)^5*log(25)^2*log(log(3))^2 + 1719926784*log
(5)^6*log(25)^2*log(log(3))^2 + 20155392*log(5)^6*log(25)^2*log(log(3))^3 - 1146617856*log(5)^7*log(25)^2*log(
log(3))^2 - 40310784*log(5)^7*log(25)^2*log(log(3))^3 + 286654464*log(5)^8*log(25)^2*log(log(3))^2 + 20155392*
log(5)^8*log(25)^2*log(log(3))^3 + 531441*log(5)^8*log(25)^2*log(log(3))^4 - 3623878656*log(5)^2*log(25)*log(l
og(3)) + 21743271936*log(5)^3*log(25)*log(log(3)) - 57982058496*log(5)^4*log(25)*log(log(3)) + 94220845056*log
(5)^5*log(25)*log(log(3)) - 108716359680*log(5)^6*log(25)*log(log(3)) + 94220845056*log(5)^7*log(25)*log(log(3
)) - 57982058496*log(5)^8*log(25)*log(log(3)) + 21743271936*log(5)^9*log(25)*log(log(3)) - 3623878656*log(5)^1
0*log(25)*log(log(3)) + 1811939328*log(5)^2*log(25)^2*log(log(3)) - 10871635968*log(5)^3*log(25)^2*log(log(3))
- 573308928*log(5)^4*log(25)*log(log(3))^2 + 27179089920*log(5)^4*log(25)^2*log(log(3)) + 2293235712*log(5)^5
*log(25)*log(log(3))^2 - 36238786560*log(5)^5*log(25)^2*log(log(3)) - 4013162496*log(5)^6*log(25)*log(log(3))^
2 + 27179089920*log(5)^6*log(25)^2*log(log(3)) - 40310784*log(5)^6*log(25)*log(log(3))^3 + 4586471424*log(5)^7
*log(25)*log(log(3))^2 - 10871635968*log(5)^7*log(25)^2*log(log(3)) + 80621568*log(5)^7*log(25)*log(log(3))^3
- 4013162496*log(5)^8*log(25)*log(log(3))^2 + 1811939328*log(5)^8*log(25)^2*log(log(3)) - 80621568*log(5)^8*lo
g(25)*log(log(3))^3 + 2293235712*log(5)^9*log(25)*log(log(3))^2 - 1062882*log(5)^8*log(25)*log(log(3))^4 + 806
21568*log(5)^9*log(25)*log(log(3))^3 - 573308928*log(5)^10*log(25)*log(log(3))^2 - 40310784*log(5)^10*log(25)*
log(log(3))^3 - 1062882*log(5)^10*log(25)*log(log(3))^4 + 4294967296)) - (3*(3440640000*log(5)^6*log(log(3))^2
- 34406400000*log(5)^7*log(log(3))^2 + 154828800000*log(5)^8*log(log(3))^2 - 829440000*log(5)^8*log(log(3))^3
- 412876800000*log(5)^9*log(log(3))^2 + 6635520000*log(5)^9*log(log(3))^3 + 722534400000*log(5)^10*log(log(3)
)^2 - 23224320000*log(5)^10*log(log(3))^3 - 867041280000*log(5)^11*log(log(3))^2 + 21870000*log(5)^10*log(log(
3))^4 + 46448640000*log(5)^11*log(log(3))^3 + 722534400000*log(5)^12*log(log(3))^2 - 131220000*log(5)^11*log(l
og(3))^4 - 58060800000*log(5)^12*log(log(3))^3 - 412876800000*log(5)^13*log(log(3))^2 + 328050000*log(5)^12*lo
g(log(3))^4 + 46448640000*log(5)^13*log(log(3))^3 + 154828800000*log(5)^14*log(log(3))^2 - 437400000*log(5)^13
*log(log(3))^4 - 23224320000*log(5)^14*log(log(3))^3 - 34406400000*log(5)^15*log(log(3))^2 + 328050000*log(5)^
14*log(log(3))^4 + 6635520000*log(5)^15*log(log(3))^3 + 3440640000*log(5)^16*log(log(3))^2 - 131220000*log(5)^
15*log(log(3))^4 - 829440000*log(5)^16*log(log(3))^3 + 21870000*log(5)^16*log(log(3))^4 + 860160000*log(5)^4*l
og(25)^2*log(log(3))^2 - 8601600000*log(5)^5*log(25)^2*log(log(3))^2 + 38707200000*log(5)^6*log(25)^2*log(log(
3))^2 - 207360000*log(5)^6*log(25)^2*log(log(3))^3 - 103219200000*log(5)^7*log(25)^2*log(log(3))^2 + 165888000
0*log(5)^7*log(25)^2*log(log(3))^3 + 180633600000*log(5)^8*log(25)^2*log(log(3))^2 - 5806080000*log(5)^8*log(2
5)^2*log(log(3))^3 - 216760320000*log(5)^9*log(25)^2*log(log(3))^2 + 5467500*log(5)^8*log(25)^2*log(log(3))^4
+ 11612160000*log(5)^9*log(25)^2*log(log(3))^3 + 180633600000*log(5)^10*log(25)^2*log(log(3))^2 - 32805000*log
(5)^9*log(25)^2*log(log(3))^4 - 14515200000*log(5)^10*log(25)^2*log(log(3))^3 - 103219200000*log(5)^11*log(25)
^2*log(log(3))^2 + 82012500*log(5)^10*log(25)^2*log(log(3))^4 + 11612160000*log(5)^11*log(25)^2*log(log(3))^3
+ 38707200000*log(5)^12*log(25)^2*log(log(3))^2 - 109350000*log(5)^11*log(25)^2*log(log(3))^4 - 5806080000*log
(5)^12*log(25)^2*log(log(3))^3 - 8601600000*log(5)^13*log(25)^2*log(log(3))^2 + 82012500*log(5)^12*log(25)^2*l
og(log(3))^4 + 1658880000*log(5)^13*log(25)^2*log(log(3))^3 + 860160000*log(5)^14*log(25)^2*log(log(3))^2 - 32
805000*log(5)^13*log(25)^2*log(log(3))^4 - 207360000*log(5)^14*log(25)^2*log(log(3))^3 + 5467500*log(5)^14*log
(25)^2*log(log(3))^4 - 3440640000*log(5)^5*log(25)*log(log(3))^2 + 34406400000*log(5)^6*log(25)*log(log(3))^2
- 154828800000*log(5)^7*log(25)*log(log(3))^2 + 829440000*log(5)^7*log(25)*log(log(3))^3 + 412876800000*log(5)
^8*log(25)*log(log(3))^2 - 6635520000*log(5)^8*log(25)*log(log(3))^3 - 722534400000*log(5)^9*log(25)*log(log(3
))^2 + 23224320000*log(5)^9*log(25)*log(log(3))^3 + 867041280000*log(5)^10*log(25)*log(log(3))^2 - 21870000*lo
g(5)^9*log(25)*log(log(3))^4 - 46448640000*log(5)^10*log(25)*log(log(3))^3 - 722534400000*log(5)^11*log(25)*lo
g(log(3))^2 + 131220000*log(5)^10*log(25)*log(log(3))^4 + 58060800000*log(5)^11*log(25)*log(log(3))^3 + 412876
800000*log(5)^12*log(25)*log(log(3))^2 - 328050000*log(5)^11*log(25)*log(log(3))^4 - 46448640000*log(5)^12*log
(25)*log(log(3))^3 - 154828800000*log(5)^13*log(25)*log(log(3))^2 + 437400000*log(5)^12*log(25)*log(log(3))^4
+ 23224320000*log(5)^13*log(25)*log(log(3))^3 + 34406400000*log(5)^14*log(25)*log(log(3))^2 - 328050000*log(5)
^13*log(25)*log(log(3))^4 - 6635520000*log(5)^14*log(25)*log(log(3))^3 - 3440640000*log(5)^15*log(25)*log(log(
3))^2 + 131220000*log(5)^14*log(25)*log(log(3))^4 + 829440000*log(5)^15*log(25)*log(log(3))^3 - 21870000*log(5
)^15*log(25)*log(log(3))^4))/(1811939328*log(5)^2*log(log(3)) - 8589934592*log(25) - 34359738368*log(5) - 1087
1635968*log(5)^3*log(log(3)) + 30802968576*log(5)^4*log(log(3)) - 57982058496*log(5)^5*log(log(3)) + 833492090
88*log(5)^6*log(log(3)) - 94220845056*log(5)^7*log(log(3)) + 83349209088*log(5)^8*log(log(3)) - 57982058496*lo
g(5)^9*log(log(3)) + 30802968576*log(5)^10*log(log(3)) - 10871635968*log(5)^11*log(log(3)) + 1811939328*log(5)
^12*log(log(3)) + 68719476736*log(5)*log(25) + 286654464*log(5)^4*log(log(3))^2 - 1146617856*log(5)^5*log(log(
3))^2 + 2293235712*log(5)^6*log(log(3))^2 + 20155392*log(5)^6*log(log(3))^3 - 3439853568*log(5)^7*log(log(3))^
2 - 40310784*log(5)^7*log(log(3))^3 + 4013162496*log(5)^8*log(log(3))^2 + 60466176*log(5)^8*log(log(3))^3 - 34
39853568*log(5)^9*log(log(3))^2 + 531441*log(5)^8*log(log(3))^4 - 80621568*log(5)^9*log(log(3))^3 + 2293235712
*log(5)^10*log(log(3))^2 + 60466176*log(5)^10*log(log(3))^3 - 1146617856*log(5)^11*log(log(3))^2 + 1062882*log
(5)^10*log(log(3))^4 - 40310784*log(5)^11*log(log(3))^3 + 286654464*log(5)^12*log(log(3))^2 + 20155392*log(5)^
12*log(log(3))^3 + 531441*log(5)^12*log(log(3))^4 - 34359738368*log(5)*log(25)^2 - 249108103168*log(5)^2*log(2
5) + 549755813888*log(5)^3*log(25) - 841813590016*log(5)^4*log(25) + 962072674304*log(5)^5*log(25) - 841813590
016*log(5)^6*log(25) + 549755813888*log(5)^7*log(25) - 249108103168*log(5)^8*log(25) + 68719476736*log(5)^9*lo
g(25) - 8589934592*log(5)^10*log(25) + 128849018880*log(5)^2 - 309237645312*log(5)^3 + 545460846592*log(5)^4 -
755914244096*log(5)^5 + 841813590016*log(5)^6 - 755914244096*log(5)^7 + 545460846592*log(5)^8 - 309237645312*
log(5)^9 + 128849018880*log(5)^10 - 34359738368*log(5)^11 + 4294967296*log(5)^12 + 4294967296*log(25)^2 + 1202
59084288*log(5)^2*log(25)^2 - 240518168576*log(5)^3*log(25)^2 + 300647710720*log(5)^4*log(25)^2 - 240518168576
*log(5)^5*log(25)^2 + 120259084288*log(5)^6*log(25)^2 - 34359738368*log(5)^7*log(25)^2 + 4294967296*log(5)^8*l
og(25)^2 + 286654464*log(5)^4*log(25)^2*log(log(3))^2 - 1146617856*log(5)^5*log(25)^2*log(log(3))^2 + 17199267
84*log(5)^6*log(25)^2*log(log(3))^2 + 20155392*log(5)^6*log(25)^2*log(log(3))^3 - 1146617856*log(5)^7*log(25)^
2*log(log(3))^2 - 40310784*log(5)^7*log(25)^2*log(log(3))^3 + 286654464*log(5)^8*log(25)^2*log(log(3))^2 + 201
55392*log(5)^8*log(25)^2*log(log(3))^3 + 531441*log(5)^8*log(25)^2*log(log(3))^4 - 3623878656*log(5)^2*log(25)
*log(log(3)) + 21743271936*log(5)^3*log(25)*log(log(3)) - 57982058496*log(5)^4*log(25)*log(log(3)) + 942208450
56*log(5)^5*log(25)*log(log(3)) - 108716359680*log(5)^6*log(25)*log(log(3)) + 94220845056*log(5)^7*log(25)*log
(log(3)) - 57982058496*log(5)^8*log(25)*log(log(3)) + 21743271936*log(5)^9*log(25)*log(log(3)) - 3623878656*lo
g(5)^10*log(25)*log(log(3)) + 1811939328*log(5)^2*log(25)^2*log(log(3)) - 10871635968*log(5)^3*log(25)^2*log(l
og(3)) - 573308928*log(5)^4*log(25)*log(log(3))^2 + 27179089920*log(5)^4*log(25)^2*log(log(3)) + 2293235712*lo
g(5)^5*log(25)*log(log(3))^2 - 36238786560*log(5)^5*log(25)^2*log(log(3)) - 4013162496*log(5)^6*log(25)*log(lo
g(3))^2 + 27179089920*log(5)^6*log(25)^2*log(log(3)) - 40310784*log(5)^6*log(25)*log(log(3))^3 + 4586471424*lo
g(5)^7*log(25)*log(log(3))^2 - 10871635968*log(5)^7*log(25)^2*log(log(3)) + 80621568*log(5)^7*log(25)*log(log(
3))^3 - 4013162496*log(5)^8*log(25)*log(log(3))^2 + 1811939328*log(5)^8*log(25)^2*log(log(3)) - 80621568*log(5
)^8*log(25)*log(log(3))^3 + 2293235712*log(5)^9*log(25)*log(log(3))^2 - 1062882*log(5)^8*log(25)*log(log(3))^4
+ 80621568*log(5)^9*log(25)*log(log(3))^3 - 573308928*log(5)^10*log(25)*log(log(3))^2 - 40310784*log(5)^10*lo
g(25)*log(log(3))^3 - 1062882*log(5)^10*log(25)*log(log(3))^4 + 4294967296) + (x*(18063360000*log(5)^6*log(log
(3))^2 - 180633600000*log(5)^7*log(log(3))^2 + 812851200000*log(5)^8*log(log(3))^2 - 1088640000*log(5)^8*log(l
og(3))^3 - 2167603200000*log(5)^9*log(log(3))^2 + 8709120000*log(5)^9*log(log(3))^3 + 3793305600000*log(5)^10*
log(log(3))^2 - 30481920000*log(5)^10*log(log(3))^3 - 4551966720000*log(5)^11*log(log(3))^2 + 16402500*log(5)^
10*log(log(3))^4 + 60963840000*log(5)^11*log(log(3))^3 + 3793305600000*log(5)^12*log(log(3))^2 - 98415000*log(
5)^11*log(log(3))^4 - 76204800000*log(5)^12*log(log(3))^3 - 2167603200000*log(5)^13*log(log(3))^2 + 246037500*
log(5)^12*log(log(3))^4 + 60963840000*log(5)^13*log(log(3))^3 + 812851200000*log(5)^14*log(log(3))^2 - 3280500
00*log(5)^13*log(log(3))^4 - 30481920000*log(5)^14*log(log(3))^3 - 180633600000*log(5)^15*log(log(3))^2 + 2460
37500*log(5)^14*log(log(3))^4 + 8709120000*log(5)^15*log(log(3))^3 + 18063360000*log(5)^16*log(log(3))^2 - 984
15000*log(5)^15*log(log(3))^4 - 1088640000*log(5)^16*log(log(3))^3 + 16402500*log(5)^16*log(log(3))^4 + 451584
0000*log(5)^4*log(25)^2*log(log(3))^2 - 45158400000*log(5)^5*log(25)^2*log(log(3))^2 + 203212800000*log(5)^6*l
og(25)^2*log(log(3))^2 - 272160000*log(5)^6*log(25)^2*log(log(3))^3 - 541900800000*log(5)^7*log(25)^2*log(log(
3))^2 + 2177280000*log(5)^7*log(25)^2*log(log(3))^3 + 948326400000*log(5)^8*log(25)^2*log(log(3))^2 - 76204800
00*log(5)^8*log(25)^2*log(log(3))^3 - 1137991680000*log(5)^9*log(25)^2*log(log(3))^2 + 4100625*log(5)^8*log(25
)^2*log(log(3))^4 + 15240960000*log(5)^9*log(25)^2*log(log(3))^3 + 948326400000*log(5)^10*log(25)^2*log(log(3)
)^2 - 24603750*log(5)^9*log(25)^2*log(log(3))^4 - 19051200000*log(5)^10*log(25)^2*log(log(3))^3 - 541900800000
*log(5)^11*log(25)^2*log(log(3))^2 + 61509375*log(5)^10*log(25)^2*log(log(3))^4 + 15240960000*log(5)^11*log(25
)^2*log(log(3))^3 + 203212800000*log(5)^12*log(25)^2*log(log(3))^2 - 82012500*log(5)^11*log(25)^2*log(log(3))^
4 - 7620480000*log(5)^12*log(25)^2*log(log(3))^3 - 45158400000*log(5)^13*log(25)^2*log(log(3))^2 + 61509375*lo
g(5)^12*log(25)^2*log(log(3))^4 + 2177280000*log(5)^13*log(25)^2*log(log(3))^3 + 4515840000*log(5)^14*log(25)^
2*log(log(3))^2 - 24603750*log(5)^13*log(25)^2*log(log(3))^4 - 272160000*log(5)^14*log(25)^2*log(log(3))^3 + 4
100625*log(5)^14*log(25)^2*log(log(3))^4 - 18063360000*log(5)^5*log(25)*log(log(3))^2 + 180633600000*log(5)^6*
log(25)*log(log(3))^2 - 812851200000*log(5)^7*log(25)*log(log(3))^2 + 1088640000*log(5)^7*log(25)*log(log(3))^
3 + 2167603200000*log(5)^8*log(25)*log(log(3))^2 - 8709120000*log(5)^8*log(25)*log(log(3))^3 - 3793305600000*l
og(5)^9*log(25)*log(log(3))^2 + 30481920000*log(5)^9*log(25)*log(log(3))^3 + 4551966720000*log(5)^10*log(25)*l
og(log(3))^2 - 16402500*log(5)^9*log(25)*log(log(3))^4 - 60963840000*log(5)^10*log(25)*log(log(3))^3 - 3793305
600000*log(5)^11*log(25)*log(log(3))^2 + 98415000*log(5)^10*log(25)*log(log(3))^4 + 76204800000*log(5)^11*log(
25)*log(log(3))^3 + 2167603200000*log(5)^12*log(25)*log(log(3))^2 - 246037500*log(5)^11*log(25)*log(log(3))^4
- 60963840000*log(5)^12*log(25)*log(log(3))^3 - 812851200000*log(5)^13*log(25)*log(log(3))^2 + 328050000*log(5
)^12*log(25)*log(log(3))^4 + 30481920000*log(5)^13*log(25)*log(log(3))^3 + 180633600000*log(5)^14*log(25)*log(
log(3))^2 - 246037500*log(5)^13*log(25)*log(log(3))^4 - 8709120000*log(5)^14*log(25)*log(log(3))^3 - 180633600
00*log(5)^15*log(25)*log(log(3))^2 + 98415000*log(5)^14*log(25)*log(log(3))^4 + 1088640000*log(5)^15*log(25)*l
og(log(3))^3 - 16402500*log(5)^15*log(25)*log(log(3))^4))/(1811939328*log(5)^2*log(log(3)) - 8589934592*log(25
) - 34359738368*log(5) - 10871635968*log(5)^3*log(log(3)) + 30802968576*log(5)^4*log(log(3)) - 57982058496*log
(5)^5*log(log(3)) + 83349209088*log(5)^6*log(log(3)) - 94220845056*log(5)^7*log(log(3)) + 83349209088*log(5)^8
*log(log(3)) - 57982058496*log(5)^9*log(log(3)) + 30802968576*log(5)^10*log(log(3)) - 10871635968*log(5)^11*lo
g(log(3)) + 1811939328*log(5)^12*log(log(3)) + 68719476736*log(5)*log(25) + 286654464*log(5)^4*log(log(3))^2 -
1146617856*log(5)^5*log(log(3))^2 + 2293235712*log(5)^6*log(log(3))^2 + 20155392*log(5)^6*log(log(3))^3 - 343
9853568*log(5)^7*log(log(3))^2 - 40310784*log(5)^7*log(log(3))^3 + 4013162496*log(5)^8*log(log(3))^2 + 6046617
6*log(5)^8*log(log(3))^3 - 3439853568*log(5)^9*log(log(3))^2 + 531441*log(5)^8*log(log(3))^4 - 80621568*log(5)
^9*log(log(3))^3 + 2293235712*log(5)^10*log(log(3))^2 + 60466176*log(5)^10*log(log(3))^3 - 1146617856*log(5)^1
1*log(log(3))^2 + 1062882*log(5)^10*log(log(3))^4 - 40310784*log(5)^11*log(log(3))^3 + 286654464*log(5)^12*log
(log(3))^2 + 20155392*log(5)^12*log(log(3))^3 + 531441*log(5)^12*log(log(3))^4 - 34359738368*log(5)*log(25)^2
- 249108103168*log(5)^2*log(25) + 549755813888*log(5)^3*log(25) - 841813590016*log(5)^4*log(25) + 962072674304
*log(5)^5*log(25) - 841813590016*log(5)^6*log(25) + 549755813888*log(5)^7*log(25) - 249108103168*log(5)^8*log(
25) + 68719476736*log(5)^9*log(25) - 8589934592*log(5)^10*log(25) + 128849018880*log(5)^2 - 309237645312*log(5
)^3 + 545460846592*log(5)^4 - 755914244096*log(5)^5 + 841813590016*log(5)^6 - 755914244096*log(5)^7 + 54546084
6592*log(5)^8 - 309237645312*log(5)^9 + 128849018880*log(5)^10 - 34359738368*log(5)^11 + 4294967296*log(5)^12
+ 4294967296*log(25)^2 + 120259084288*log(5)^2*log(25)^2 - 240518168576*log(5)^3*log(25)^2 + 300647710720*log(
5)^4*log(25)^2 - 240518168576*log(5)^5*log(25)^2 + 120259084288*log(5)^6*log(25)^2 - 34359738368*log(5)^7*log(
25)^2 + 4294967296*log(5)^8*log(25)^2 + 286654464*log(5)^4*log(25)^2*log(log(3))^2 - 1146617856*log(5)^5*log(2
5)^2*log(log(3))^2 + 1719926784*log(5)^6*log(25)^2*log(log(3))^2 + 20155392*log(5)^6*log(25)^2*log(log(3))^3 -
1146617856*log(5)^7*log(25)^2*log(log(3))^2 - 40310784*log(5)^7*log(25)^2*log(log(3))^3 + 286654464*log(5)^8*
log(25)^2*log(log(3))^2 + 20155392*log(5)^8*log(25)^2*log(log(3))^3 + 531441*log(5)^8*log(25)^2*log(log(3))^4
- 3623878656*log(5)^2*log(25)*log(log(3)) + 21743271936*log(5)^3*log(25)*log(log(3)) - 57982058496*log(5)^4*lo
g(25)*log(log(3)) + 94220845056*log(5)^5*log(25)*log(log(3)) - 108716359680*log(5)^6*log(25)*log(log(3)) + 942
20845056*log(5)^7*log(25)*log(log(3)) - 57982058496*log(5)^8*log(25)*log(log(3)) + 21743271936*log(5)^9*log(25
)*log(log(3)) - 3623878656*log(5)^10*log(25)*log(log(3)) + 1811939328*log(5)^2*log(25)^2*log(log(3)) - 1087163
5968*log(5)^3*log(25)^2*log(log(3)) - 573308928*log(5)^4*log(25)*log(log(3))^2 + 27179089920*log(5)^4*log(25)^
2*log(log(3)) + 2293235712*log(5)^5*log(25)*log(log(3))^2 - 36238786560*log(5)^5*log(25)^2*log(log(3)) - 40131
62496*log(5)^6*log(25)*log(log(3))^2 + 27179089920*log(5)^6*log(25)^2*log(log(3)) - 40310784*log(5)^6*log(25)*
log(log(3))^3 + 4586471424*log(5)^7*log(25)*log(log(3))^2 - 10871635968*log(5)^7*log(25)^2*log(log(3)) + 80621
568*log(5)^7*log(25)*log(log(3))^3 - 4013162496*log(5)^8*log(25)*log(log(3))^2 + 1811939328*log(5)^8*log(25)^2
*log(log(3)) - 80621568*log(5)^8*log(25)*log(log(3))^3 + 2293235712*log(5)^9*log(25)*log(log(3))^2 - 1062882*l
og(5)^8*log(25)*log(log(3))^4 + 80621568*log(5)^9*log(25)*log(log(3))^3 - 573308928*log(5)^10*log(25)*log(log(
3))^2 - 40310784*log(5)^10*log(25)*log(log(3))^3 - 1062882*log(5)^10*log(25)*log(log(3))^4 + 4294967296))*root
(4081466880*z^3*log(5)^11*log(25)^2*log(log(3))^4 - 4081466880*z^3*log(5)^10*log(25)^2*log(log(3))^4 + 4081466
880*z^3*log(5)^9*log(25)^2*log(log(3))^4 + 6237601136640*z^3*log(5)^12*log(25)*log(log(3))^2 + 6237601136640*z
^3*log(5)^6*log(25)*log(log(3))^2 - 11007531417600*z^3*log(5)^8*log(25)^2*log(log(3))^2 - 5870683422720*z^3*lo
g(5)^10*log(25)^2*log(log(3))^2 - 5870683422720*z^3*log(5)^6*log(25)^2*log(log(3))^2 - 733835427840*z^3*log(5)
^9*log(25)^3*log(log(3))^2 - 733835427840*z^3*log(5)^5*log(25)^3*log(log(3))^2 + 541776936960*z^3*log(5)^10*lo
g(25)*log(log(3))^3 - 464380231680*z^3*log(5)^11*log(25)*log(log(3))^3 - 464380231680*z^3*log(5)^9*log(25)*log
(log(3))^3 + 309586821120*z^3*log(5)^12*log(25)*log(log(3))^3 + 309586821120*z^3*log(5)^8*log(25)*log(log(3))^
3 - 154793410560*z^3*log(5)^13*log(25)*log(log(3))^3 - 154793410560*z^3*log(5)^7*log(25)*log(log(3))^3 + 86093
442*z^3*log(5)^12*log(25)*log(log(3))^5 + 38698352640*z^3*log(5)^14*log(25)*log(log(3))^3 + 38698352640*z^3*lo
g(5)^6*log(25)*log(log(3))^3 + 43046721*z^3*log(5)^14*log(25)*log(log(3))^5 + 43046721*z^3*log(5)^10*log(25)*l
og(log(3))^5 - 1739461754880*z^3*log(5)^12*log(25)^2*log(log(3)) + 13915694039040*z^3*log(5)^11*log(25)^2*log(
log(3)) + 579820584960*z^3*log(5)^10*log(25)^3*log(log(3)) - 50444390891520*z^3*log(5)^10*log(25)^2*log(log(3)
) - 4638564679680*z^3*log(5)^9*log(25)^3*log(log(3)) + 111325552312320*z^3*log(5)^9*log(25)^2*log(log(3)) + 16
234976378880*z^3*log(5)^8*log(25)^3*log(log(3)) - 170467251978240*z^3*log(5)^8*log(25)^2*log(log(3)) - 3246995
2757760*z^3*log(5)^7*log(25)^3*log(log(3)) + 194819716546560*z^3*log(5)^7*log(25)^2*log(log(3)) + 405874409472
00*z^3*log(5)^6*log(25)^3*log(log(3)) - 170467251978240*z^3*log(5)^6*log(25)^2*log(log(3)) - 32469952757760*z^
3*log(5)^5*log(25)^3*log(log(3)) + 111325552312320*z^3*log(5)^5*log(25)^2*log(log(3)) + 16234976378880*z^3*log
(5)^4*log(25)^3*log(log(3)) - 50444390891520*z^3*log(5)^4*log(25)^2*log(log(3)) - 4638564679680*z^3*log(5)^3*l
og(25)^3*log(log(3)) + 13915694039040*z^3*log(5)^3*log(25)^2*log(log(3)) + 579820584960*z^3*log(5)^2*log(25)^3
*log(log(3)) - 1739461754880*z^3*log(5)^2*log(25)^2*log(log(3)) + 2201506283520*z^3*log(5)^11*log(25)^2*log(lo
g(3))^2 + 2201506283520*z^3*log(5)^5*log(25)^2*log(log(3))^2 - 4081466880*z^3*log(5)^13*log(25)*log(log(3))^4
- 4081466880*z^3*log(5)^9*log(25)*log(log(3))^4 - 2446118092800*z^3*log(5)^7*log(25)^3*log(log(3))^2 - 8162933
760*z^3*log(5)^11*log(25)*log(log(3))^4 + 122305904640*z^3*log(5)^10*log(25)^3*log(log(3))^2 + 122305904640*z^
3*log(5)^4*log(25)^3*log(log(3))^2 - 2040733440*z^3*log(5)^12*log(25)^2*log(log(3))^4 - 2040733440*z^3*log(5)^
8*log(25)^2*log(log(3))^4 - 366917713920*z^3*log(5)^12*log(25)^2*log(log(3))^2 - 366917713920*z^3*log(5)^4*log
(25)^2*log(log(3))^2 + 16878214840320*z^3*log(5)^10*log(25)*log(log(3))^2 + 16878214840320*z^3*log(5)^8*log(25
)*log(log(3))^2 - 11741366845440*z^3*log(5)^11*log(25)*log(log(3))^2 - 11741366845440*z^3*log(5)^7*log(25)*log
(log(3))^2 - 1360488960*z^3*log(5)^9*log(25)^3*log(log(3))^4 + 1739461754880*z^3*log(5)^14*log(25)*log(log(3))
- 13915694039040*z^3*log(5)^13*log(25)*log(log(3)) + 52183852646400*z^3*log(5)^12*log(25)*log(log(3)) - 12524
1246351360*z^3*log(5)^11*log(25)*log(log(3)) + 220911642869760*z^3*log(5)^10*log(25)*log(log(3)) - 30614526885
8880*z^3*log(5)^9*log(25)*log(log(3)) + 340934503956480*z^3*log(5)^8*log(25)*log(log(3)) - 306145268858880*z^3
*log(5)^7*log(25)*log(log(3)) + 220911642869760*z^3*log(5)^6*log(25)*log(log(3)) - 125241246351360*z^3*log(5)^
5*log(25)*log(log(3)) + 52183852646400*z^3*log(5)^4*log(25)*log(log(3)) - 13915694039040*z^3*log(5)^3*log(25)*
log(log(3)) + 1739461754880*z^3*log(5)^2*log(25)*log(log(3)) - 2201506283520*z^3*log(5)^13*log(25)*log(log(3))
^2 - 2201506283520*z^3*log(5)^5*log(25)*log(log(3))^2 + 9539860561920*z^3*log(5)^9*log(25)^2*log(log(3))^2 + 9
539860561920*z^3*log(5)^7*log(25)^2*log(log(3))^2 + 680244480*z^3*log(5)^10*log(25)^3*log(log(3))^4 + 68024448
0*z^3*log(5)^8*log(25)^3*log(log(3))^4 + 1834588569600*z^3*log(5)^8*log(25)^3*log(log(3))^2 + 1834588569600*z^
3*log(5)^6*log(25)^3*log(log(3))^2 + 2040733440*z^3*log(5)^14*log(25)*log(log(3))^4 + 2040733440*z^3*log(5)^8*
log(25)*log(log(3))^4 + 309586821120*z^3*log(5)^9*log(25)^2*log(log(3))^3 - 270888468480*z^3*log(5)^10*log(25)
^2*log(log(3))^3 - 270888468480*z^3*log(5)^8*log(25)^2*log(log(3))^3 + 366917713920*z^3*log(5)^14*log(25)*log(
log(3))^2 + 366917713920*z^3*log(5)^4*log(25)*log(log(3))^2 + 6122200320*z^3*log(5)^12*log(25)*log(log(3))^4 +
6122200320*z^3*log(5)^10*log(25)*log(log(3))^4 + 154793410560*z^3*log(5)^11*log(25)^2*log(log(3))^3 + 1547934
10560*z^3*log(5)^7*log(25)^2*log(log(3))^3 + 77396705280*z^3*log(5)^8*log(25)^3*log(log(3))^3 - 51597803520*z^
3*log(5)^9*log(25)^3*log(log(3))^3 - 51597803520*z^3*log(5)^7*log(25)^3*log(log(3))^3 - 38698352640*z^3*log(5)
^12*log(25)^2*log(log(3))^3 - 38698352640*z^3*log(5)^6*log(25)^2*log(log(3))^3 - 43046721*z^3*log(5)^12*log(25
)^2*log(log(3))^5 - 43046721*z^3*log(5)^10*log(25)^2*log(log(3))^5 + 12899450880*z^3*log(5)^10*log(25)^3*log(l
og(3))^3 + 12899450880*z^3*log(5)^6*log(25)^3*log(log(3))^3 + 14348907*z^3*log(5)^10*log(25)^3*log(log(3))^5 -
19079721123840*z^3*log(5)^9*log(25)*log(log(3))^2 - 2720977920*z^3*log(5)^14*log(log(3))^4 - 2720977920*z^3*l
og(5)^10*log(log(3))^4 - 579820584960*z^3*log(5)^16*log(log(3)) + 4638564679680*z^3*log(5)^15*log(log(3)) - 17
974438133760*z^3*log(5)^14*log(log(3)) + 46385646796800*z^3*log(5)^13*log(log(3)) - 91031831838720*z^3*log(5)^
12*log(log(3)) + 143795505070080*z^3*log(5)^11*log(log(3)) - 187282048942080*z^3*log(5)^10*log(log(3)) + 20409
6845905920*z^3*log(5)^9*log(log(3)) - 187282048942080*z^3*log(5)^8*log(log(3)) + 143795505070080*z^3*log(5)^7*
log(log(3)) - 91031831838720*z^3*log(5)^6*log(log(3)) + 46385646796800*z^3*log(5)^5*log(log(3)) - 179744381337
60*z^3*log(5)^4*log(log(3)) + 4638564679680*z^3*log(5)^3*log(log(3)) - 579820584960*z^3*log(5)^2*log(log(3)) -
2201506283520*z^3*log(5)^14*log(log(3))^2 - 2201506283520*z^3*log(5)^6*log(log(3))^2 - 3298534883328*z^3*log(
5)^12*log(25)^2 + 32985348833280*z^3*log(5)^11*log(25)^2 + 1099511627776*z^3*log(5)^10*log(25)^3 - 15173260463
3088*z^3*log(5)^10*log(25)^2 - 10995116277760*z^3*log(5)^9*log(25)^3 + 428809534832640*z^3*log(5)^9*log(25)^2
+ 49478023249920*z^3*log(5)^8*log(25)^3 - 841126395248640*z^3*log(5)^8*log(25)^2 - 131941395333120*z^3*log(5)^
7*log(25)^3 + 1227054976598016*z^3*log(5)^7*log(25)^2 + 230897441832960*z^3*log(5)^6*log(25)^3 - 1385384650997
760*z^3*log(5)^6*log(25)^2 - 277076930199552*z^3*log(5)^5*log(25)^3 + 1227054976598016*z^3*log(5)^5*log(25)^2
+ 230897441832960*z^3*log(5)^4*log(25)^3 - 841126395248640*z^3*log(5)^4*log(25)^2 - 131941395333120*z^3*log(5)
^3*log(25)^3 + 428809534832640*z^3*log(5)^3*log(25)^2 + 49478023249920*z^3*log(5)^2*log(25)^3 - 15173260463308
8*z^3*log(5)^2*log(25)^2 - 122305904640*z^3*log(5)^16*log(log(3))^2 - 122305904640*z^3*log(5)^4*log(log(3))^2
+ 1360488960*z^3*log(5)^15*log(log(3))^4 + 1360488960*z^3*log(5)^9*log(log(3))^4 + 3298534883328*z^3*log(5)^14
*log(25) - 32985348833280*z^3*log(5)^13*log(25) + 155031139516416*z^3*log(5)^12*log(25) - 461794883665920*z^3*
log(5)^11*log(25) + 992858999881728*z^3*log(5)^10*log(25) - 1655864511430656*z^3*log(5)^9*log(25) + 2226511046
246400*z^3*log(5)^8*log(25) - 2454109953196032*z^3*log(5)^7*log(25) + 2226511046246400*z^3*log(5)^6*log(25) -
1655864511430656*z^3*log(5)^5*log(25) + 992858999881728*z^3*log(5)^4*log(25) - 461794883665920*z^3*log(5)^3*lo
g(25) - 10995116277760*z^3*log(5)*log(25)^3 + 155031139516416*z^3*log(5)^2*log(25) + 32985348833280*z^3*log(5)
*log(25)^2 - 680244480*z^3*log(5)^16*log(log(3))^4 - 680244480*z^3*log(5)^8*log(log(3))^4 + 4647624376320*z^3*
log(5)^13*log(log(3))^2 + 4647624376320*z^3*log(5)^7*log(log(3))^2 + 309586821120*z^3*log(5)^11*log(log(3))^3
- 283787919360*z^3*log(5)^12*log(log(3))^3 - 283787919360*z^3*log(5)^10*log(log(3))^3 + 206391214080*z^3*log(5
)^13*log(log(3))^3 + 206391214080*z^3*log(5)^9*log(log(3))^3 + 10273695989760*z^3*log(5)^11*log(log(3))^2 + 10
273695989760*z^3*log(5)^9*log(log(3))^2 - 116095057920*z^3*log(5)^14*log(log(3))^3 - 116095057920*z^3*log(5)^8
*log(log(3))^3 - 7705271992320*z^3*log(5)^12*log(log(3))^2 - 7705271992320*z^3*log(5)^8*log(log(3))^2 + 515978
03520*z^3*log(5)^15*log(log(3))^3 + 51597803520*z^3*log(5)^7*log(log(3))^3 - 43046721*z^3*log(5)^14*log(log(3)
)^5 - 43046721*z^3*log(5)^12*log(log(3))^5 - 12899450880*z^3*log(5)^16*log(log(3))^3 - 12899450880*z^3*log(5)^
6*log(log(3))^3 - 14348907*z^3*log(5)^16*log(log(3))^5 - 14348907*z^3*log(5)^10*log(log(3))^5 + 4081466880*z^3
*log(5)^13*log(log(3))^4 - 4081466880*z^3*log(5)^12*log(log(3))^4 + 4081466880*z^3*log(5)^11*log(log(3))^4 + 7
33835427840*z^3*log(5)^15*log(log(3))^2 + 733835427840*z^3*log(5)^5*log(log(3))^2 - 11252143226880*z^3*log(5)^
10*log(log(3))^2 - 32985348833280*z^3*log(5)*log(25) + 3298534883328*z^3*log(25) + 10995116277760*z^3*log(5) +
1099511627776*z^3*log(25)^3 - 3298534883328*z^3*log(25)^2 - 1099511627776*z^3*log(5)^16 + 10995116277760*z^3*
log(5)^15 - 52776558133248*z^3*log(5)^14 + 164926744166400*z^3*log(5)^13 - 382630046466048*z^3*log(5)^12 + 705
886465032192*z^3*log(5)^11 - 1073123348709376*z^3*log(5)^10 + 1369991488208896*z^3*log(5)^9 - 1484340697497600
*z^3*log(5)^8 + 1369991488208896*z^3*log(5)^7 - 1073123348709376*z^3*log(5)^6 + 705886465032192*z^3*log(5)^5 -
382630046466048*z^3*log(5)^4 + 164926744166400*z^3*log(5)^3 - 52776558133248*z^3*log(5)^2 - 1099511627776*z^3
- 118972800000*z*log(5)^12*log(25)*log(log(3))^3 + 118972800000*z*log(5)^11*log(25)*log(log(3))^3 + 118972800
000*z*log(5)^9*log(25)*log(log(3))^3 - 118972800000*z*log(5)^8*log(25)*log(log(3))^3 - 9914400000*z*log(5)^12*
log(25)^2*log(log(3))^3 + 9914400000*z*log(5)^10*log(25)^3*log(log(3))^3 + 9914400000*z*log(5)^6*log(25)^3*log
(log(3))^3 - 9914400000*z*log(5)^6*log(25)^2*log(log(3))^3 - 3494707200000*z*log(5)^11*log(25)*log(log(3))^2 -
3494707200000*z*log(5)^9*log(25)*log(log(3))^2 - 3494707200000*z*log(5)^7*log(25)*log(log(3))^2 - 11324620800
00*z*log(5)^9*log(25)^2*log(log(3)) - 1132462080000*z*log(5)^5*log(25)^2*log(log(3)) - 1180980000*z*log(5)^10*
log(25)^2*log(log(3))^4 - 3397386240000*z*log(5)^10*log(25)*log(log(3)) - 3397386240000*z*log(5)^6*log(25)*log
(log(3)) - 1321205760000*z*log(5)^7*log(25)^3*log(log(3)) - 1321205760000*z*log(5)^5*log(25)^3*log(log(3)) - 3
9657600000*z*log(5)^9*log(25)^3*log(log(3))^3 - 39657600000*z*log(5)^7*log(25)^3*log(log(3))^3 + 94371840000*z
*log(5)^13*log(25)*log(log(3)) + 94371840000*z*log(5)^3*log(25)*log(log(3)) + 1651507200000*z*log(5)^6*log(25)
^3*log(log(3)) - 1310515200000*z*log(5)^8*log(25)^3*log(log(3))^2 - 1310515200000*z*log(5)^6*log(25)^3*log(log
(3))^2 - 23592960000*z*log(5)^12*log(25)^2*log(log(3)) + 23592960000*z*log(5)^10*log(25)^3*log(log(3)) + 23592
960000*z*log(5)^2*log(25)^3*log(log(3)) - 23592960000*z*log(5)^2*log(25)^2*log(log(3)) + 70778880000*z*log(5)^
10*log(25)^2*log(log(3)) + 70778880000*z*log(5)^4*log(25)^2*log(log(3)) + 3963617280000*z*log(5)^9*log(25)*log
(log(3)) - 3963617280000*z*log(5)^8*log(25)*log(log(3)) + 3963617280000*z*log(5)^7*log(25)*log(log(3)) - 79315
200000*z*log(5)^10*log(25)*log(log(3))^3 - 4368384000000*z*log(5)^8*log(25)^2*log(log(3))^2 + 393660000*z*log(
5)^11*log(25)^2*log(log(3))^4 + 393660000*z*log(5)^9*log(25)^3*log(log(3))^4 + 393660000*z*log(5)^9*log(25)^2*
log(log(3))^4 - 660602880000*z*log(5)^12*log(25)*log(log(3)) - 660602880000*z*log(5)^4*log(25)*log(log(3)) + 5
24206080000*z*log(5)^9*log(25)^3*log(log(3))^2 + 524206080000*z*log(5)^5*log(25)^3*log(log(3))^2 + 196830000*z
*log(5)^12*log(25)^2*log(log(3))^4 - 196830000*z*log(5)^10*log(25)^3*log(log(3))^4 - 196830000*z*log(5)^8*log(
25)^3*log(log(3))^4 + 196830000*z*log(5)^8*log(25)^2*log(log(3))^4 - 349470720000*z*log(5)^13*log(25)*log(log(
3))^2 - 349470720000*z*log(5)^5*log(25)*log(log(3))^2 - 158630400000*z*log(5)^9*log(25)^2*log(log(3))^3 + 3965
7600000*z*log(5)^13*log(25)*log(log(3))^3 + 39657600000*z*log(5)^7*log(25)*log(log(3))^3 + 59486400000*z*log(5
)^8*log(25)^3*log(log(3))^3 + 1747353600000*z*log(5)^7*log(25)^3*log(log(3))^2 - 787320000*z*log(5)^13*log(25)
*log(log(3))^4 + 787320000*z*log(5)^12*log(25)*log(log(3))^4 + 787320000*z*log(5)^10*log(25)*log(log(3))^4 - 7
87320000*z*log(5)^9*log(25)*log(log(3))^4 + 89229600000*z*log(5)^10*log(25)^2*log(log(3))^3 + 89229600000*z*lo
g(5)^8*log(25)^2*log(log(3))^3 + 2972712960000*z*log(5)^8*log(25)^2*log(log(3)) + 2972712960000*z*log(5)^6*log
(25)^2*log(log(3)) - 698941440000*z*log(5)^10*log(25)^2*log(log(3))^2 - 698941440000*z*log(5)^6*log(25)^2*log(
log(3))^2 - 174735360000*z*log(5)^11*log(25)^2*log(log(3))^2 - 174735360000*z*log(5)^5*log(25)^2*log(log(3))^2
+ 1981808640000*z*log(5)^11*log(25)*log(log(3)) + 1981808640000*z*log(5)^5*log(25)*log(log(3)) + 384417792000
0*z*log(5)^10*log(25)*log(log(3))^2 + 3844177920000*z*log(5)^8*log(25)*log(log(3))^2 + 2970501120000*z*log(5)^
9*log(25)^2*log(log(3))^2 + 2970501120000*z*log(5)^7*log(25)^2*log(log(3))^2 + 94371840000*z*log(5)^11*log(25)
^2*log(log(3)) + 94371840000*z*log(5)^3*log(25)^2*log(log(3)) - 188743680000*z*log(5)^9*log(25)^3*log(log(3))
- 188743680000*z*log(5)^3*log(25)^3*log(log(3)) - 3963617280000*z*log(5)^7*log(25)^2*log(log(3)) + 17473536000
00*z*log(5)^12*log(25)*log(log(3))^2 + 1747353600000*z*log(5)^6*log(25)*log(log(3))^2 + 660602880000*z*log(5)^
8*log(25)^3*log(log(3)) + 660602880000*z*log(5)^4*log(25)^3*log(log(3)) + 87367680000*z*log(5)^12*log(25)^2*lo
g(log(3))^2 - 87367680000*z*log(5)^10*log(25)^3*log(log(3))^2 - 87367680000*z*log(5)^4*log(25)^3*log(log(3))^2
+ 87367680000*z*log(5)^4*log(25)^2*log(log(3))^2 + 10484121600000*z*log(5)^10*log(log(3))^2 - 9248440320000*z
*log(5)^10*log(log(3)) - 9248440320000*z*log(5)^8*log(log(3)) + 158630400000*z*log(5)^13*log(log(3))^3 + 15863
0400000*z*log(5)^9*log(log(3))^3 + 5591531520000*z*log(5)^12*log(log(3))^2 + 5591531520000*z*log(5)^8*log(log(
3))^2 + 6039797760000*z*log(5)^11*log(log(3)) + 6039797760000*z*log(5)^7*log(log(3)) + 317260800000*z*log(5)^1
1*log(log(3))^3 - 2736783360000*z*log(5)^12*log(log(3)) - 2736783360000*z*log(5)^6*log(log(3)) - 277603200000*
z*log(5)^12*log(log(3))^3 - 277603200000*z*log(5)^10*log(log(3))^3 - 94371840000*z*log(5)^14*log(log(3)) - 943
71840000*z*log(5)^4*log(log(3)) + 10569646080000*z*log(5)^9*log(log(3)) - 9086238720000*z*log(5)^11*log(log(3)
)^2 - 9086238720000*z*log(5)^9*log(log(3))^2 + 754974720000*z*log(5)^13*log(log(3)) + 754974720000*z*log(5)^5*
log(log(3)) + 349470720000*z*log(5)^14*log(log(3))^2 + 349470720000*z*log(5)^6*log(log(3))^2 - 1574640000*z*lo
g(5)^13*log(log(3))^4 + 1574640000*z*log(5)^12*log(log(3))^4 - 1574640000*z*log(5)^11*log(log(3))^4 - 39657600
000*z*log(5)^14*log(log(3))^3 - 39657600000*z*log(5)^8*log(log(3))^3 - 2096824320000*z*log(5)^13*log(log(3))^2
- 2096824320000*z*log(5)^7*log(log(3))^2 + 787320000*z*log(5)^14*log(log(3))^4 + 787320000*z*log(5)^10*log(lo
g(3))^4 - 273375000*log(5)^11*log(25)*log(log(3))^4 + 136687500*log(5)^12*log(25)*log(log(3))^4 + 136687500*lo
g(5)^10*log(25)*log(log(3))^4 + 41472000000*log(5)^11*log(25)^2*log(log(3))^2 + 41472000000*log(5)^9*log(25)^3
*log(log(3))^2 + 41472000000*log(5)^5*log(25)^3*log(log(3))^2 + 41472000000*log(5)^5*log(25)^2*log(log(3))^2 -
6912000000*log(5)^10*log(25)^3*log(log(3))^2 - 6912000000*log(5)^4*log(25)^3*log(log(3))^2 + 2592000000*log(5
)^10*log(25)^2*log(log(3))^3 + 2592000000*log(5)^8*log(25)^2*log(log(3))^3 + 497664000000*log(5)^11*log(25)*lo
g(log(3))^2 + 497664000000*log(5)^7*log(25)*log(log(3))^2 + 7776000000*log(5)^10*log(25)*log(log(3))^3 - 12441
60000000*log(5)^10*log(25)*log(log(3))^2 - 1244160000000*log(5)^8*log(25)*log(log(3))^2 + 138240000000*log(5)^
7*log(25)^3*log(log(3))^2 - 648000000*log(5)^11*log(25)^2*log(log(3))^3 + 648000000*log(5)^8*log(25)^3*log(log
(3))^3 - 648000000*log(5)^7*log(25)^2*log(log(3))^3 - 103680000000*log(5)^8*log(25)^3*log(log(3))^2 - 10368000
0000*log(5)^6*log(25)^3*log(log(3))^2 - 829440000000*log(5)^8*log(25)^2*log(log(3))^2 - 432000000*log(5)^9*log
(25)^3*log(log(3))^3 - 432000000*log(5)^7*log(25)^3*log(log(3))^3 + 136687500*log(5)^10*log(25)^2*log(log(3))^
4 + 108000000*log(5)^10*log(25)^3*log(log(3))^3 + 108000000*log(5)^6*log(25)^3*log(log(3))^3 - 68343750*log(5)
^11*log(25)^2*log(log(3))^4 - 68343750*log(5)^9*log(25)^2*log(log(3))^4 - 22781250*log(5)^9*log(25)^3*log(log(
3))^4 + 11390625*log(5)^10*log(25)^3*log(log(3))^4 + 11390625*log(5)^8*log(25)^3*log(log(3))^4 - 82944000000*l
og(5)^12*log(25)*log(log(3))^2 - 82944000000*log(5)^6*log(25)*log(log(3))^2 - 248832000000*log(5)^10*log(25)^2
*log(log(3))^2 - 248832000000*log(5)^6*log(25)^2*log(log(3))^2 + 1296000000*log(5)^12*log(25)*log(log(3))^3 +
1296000000*log(5)^8*log(25)*log(log(3))^3 - 3888000000*log(5)^9*log(25)^2*log(log(3))^3 + 1658880000000*log(5)
^9*log(25)*log(log(3))^2 + 622080000000*log(5)^9*log(25)^2*log(log(3))^2 + 622080000000*log(5)^7*log(25)^2*log
(log(3))^2 - 5184000000*log(5)^11*log(25)*log(log(3))^3 - 5184000000*log(5)^9*log(25)*log(log(3))^3 - 11059200
00000*log(5)^10*log(log(3))^2 - 331776000000*log(5)^12*log(log(3))^2 - 331776000000*log(5)^8*log(log(3))^2 - 5
184000000*log(5)^11*log(log(3))^3 - 864000000*log(5)^13*log(log(3))^3 - 864000000*log(5)^9*log(log(3))^3 + 829
440000000*log(5)^11*log(log(3))^2 + 829440000000*log(5)^9*log(log(3))^2 + 182250000*log(5)^12*log(log(3))^4 -
91125000*log(5)^13*log(log(3))^4 - 91125000*log(5)^11*log(log(3))^4 + 55296000000*log(5)^13*log(log(3))^2 + 55
296000000*log(5)^7*log(log(3))^2 + 3456000000*log(5)^12*log(log(3))^3 + 3456000000*log(5)^10*log(log(3))^3, z,
k), k, 1, 3)
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(((-25*x**4*ln(5)**6+100*x**4*ln(5)**5-150*x**4*ln(5)**4+100*x**4*ln(5)**3-25*x**4*ln(5)**2)*ln(ln(3)
)+(5*x**7-20*x**6)*ln(5)**6+(-30*x**7+120*x**6)*ln(5)**5+(75*x**7-300*x**6)*ln(5)**4+(-100*x**7+400*x**6)*ln(5
)**3+(75*x**7-300*x**6)*ln(5)**2+(-30*x**7+120*x**6)*ln(5)+5*x**7-20*x**6)/(ln(5)**6*ln(ln(3))**3+((3*x**3+12*
x**2)*ln(5)**6+(-6*x**3-24*x**2)*ln(5)**5+(3*x**3+12*x**2)*ln(5)**4)*ln(ln(3))**2+((3*x**6+24*x**5+48*x**4)*ln
(5)**6+(-12*x**6-96*x**5-192*x**4)*ln(5)**5+(18*x**6+144*x**5+288*x**4)*ln(5)**4+(-12*x**6-96*x**5-192*x**4)*l
n(5)**3+(3*x**6+24*x**5+48*x**4)*ln(5)**2)*ln(ln(3))+(x**9+12*x**8+48*x**7+64*x**6)*ln(5)**6+(-6*x**9-72*x**8-
288*x**7-384*x**6)*ln(5)**5+(15*x**9+180*x**8+720*x**7+960*x**6)*ln(5)**4+(-20*x**9-240*x**8-960*x**7-1280*x**
6)*ln(5)**3+(15*x**9+180*x**8+720*x**7+960*x**6)*ln(5)**2+(-6*x**9-72*x**8-288*x**7-384*x**6)*ln(5)+x**9+12*x*
*8+48*x**7+64*x**6),x)
[Out]
Timed out
________________________________________________________________________________________