stmx[rn_,s_,i_]:={STMHistoryToOrdinary[SingleTMEvolveList[TMRule[rn,{2,s}],IntegerDigits[i,2,24],1200]],s}
stg={stmx[1239271,3,1023],stmx[1934016,3,615],stmx[329525,3,129],stmx[1529187,3,126],stmx[1888150,3,351],stmx[1953810,3,63],stmx[1677939,3,22],Apply[Sequence,{{Take[#,521],3},{Drop[#,521],3}}&@First[stmx[1140908,3,10]]],stmx[2664612278,4,2261],stmx[3089066688,4,991],stmx[2682406577,4,599],stmx[272613544,4,319]};
grow=FittedTuringGraphics@@@stg;
NewTMNumber[TMRule[2010007,{2,3}],{3,2}]
670559
NewTMNumber[TMRule[1140908,{2,3}],{3,2}]
600720
NewTMNumber[TMRule[1728044,{3,2}],{2,3}]
840971
?TMRule
Global`TMRule
|
??NewTMNumber
Global`NewTMNumber
|
1193064
2247293
N[%210,50]
-0.32847896557919378458217281696489239241111929867963
3/4Zeta[3]-Pi^2/2Log[2]+Pi^2/12+197/144
197
144
2
π
12
1
2
2
π
3Zeta[3]
4
PolyLog[3,-1]
-
3Zeta[3]
4
FindRoot[PolyLog[3,x]==3/4Zeta[3]-Pi^2/2Log[2]+Pi^2/12+197/144,{x,-.5},WorkingPrecision100,AccuracyGoal50]
{x-0.3417842783121052987873642817534368088257897945785150997952550470757080184489126166640429655367702798}
<<NumberTheory`Recognize`
x/.%250
-0.3417842783121052987873642817534368088257897945785150997952550470757080184489126166640429655367702798
Recognize[-%,3,t]
2700108380739474842129325-10731376989857606300365274t+7200817850490248284746251+3169191571036852404926689
2
t
3
t
PolyLog[2,-1]
-
2
π
12
PolyLog[2,1/2]
2
π
12
2
Log[2]
2
PolyLog[3,1/2]
1
24
2
π
3
Log[2]
PolyLog[4,-1]
-
7
4
π
720
PolyLog
PolyLog[1,-1]
-Log[2]
PolyLog[1,-1]
-Log[2]
PolyLog[1,-1/2]
-Log
3
2
PolyLog[0,-1]
-
1
2
PolyLog[1,-1]
-Log[2]
PolyLog[
83/72Pi^2Zeta[3]-215/24Zeta[5]-239/2160Pi^4+139/18Zeta[3]+25/18(24PolyLog[4,1/2]+Log[2]^4-Pi^2Log[2]^2)-298/9Pi^2Log[2]+17101/810Pi^2+28259/5184
28259
5184
17101
2
π
810
239
4
π
2160
298
9
2
π
25
18
2
π
2
Log[2]
4
Log[2]
1
2
139Zeta[3]
18
83
72
2
π
215Zeta[5]
24
PolyLog[5,-1]
-
15Zeta[5]
16
PolyLog[3,-1]
-
3Zeta[3]
4
3260609
1036800
N[%10^3]
1.0368×
9
10
28259
5184
17101
2
π
810
239
4
π
2160
298
9
2
π
25
18
2
π
2
Log[2]
4
Log[2]
1
2
139Zeta[3]
18
83
72
2
π
215Zeta[5]
24
28259
5184
17101
2
π
810
239
4
π
2160
298
9
2
π
25
18
2
π
2
Log[2]
4
Log[2]
1
2
139Zeta[3]
18
83
72
2
π
215Zeta[5]
24
N[%,100]
1.181241456587200006274753982212877853368789390932131668957200115786422744661665278097856235657689110
Recognize[%,4,t]
6533458126741617309+16458676499621487933t+30927879727592200092-39752602552876467421-1853466317194901355
2
t
3
t
4
t
FullSimplify[%254]
1
25920
4
π
2
π
4
Log[2]
1
2