Details

Time bar (total: 1.5min)

sample15.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify1.5min

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
1127
2197
3287
4387
5497
6627
7827
81057
91437
101787
111857
121927
131977
142017
152057
162097
172137
182177
192217
202257
212297
222337
232377
242417
252457
262497
272537
282577
292617
302657
312697
322737
332777
342817
352857
362897
372937
382977
393017
403057
413097
423137
433177
443217
453257
463297
473337
483377
493417
503457
513497
523537
533577
543617
553657
563697
573737
583777
593817
603857
613897
623937
633977
644017
654057
664097
674137
684177
694217
704257
714297
724337
734377
744417
754457
764497
774537
784577
794617
804657
814697
824737
834777
844817
854857
864897
874937
884977
895017
905057
915097
925137
935177
945217
955257
965297
975337
985377
995417
1005457
1015497
1025537
1035577
1045617
1055657
1065697
1075737
1085777
1095817
1105857
1115897
1125937
1135977
1146017
1156057
1166097
1176137
1186177
1196217
1206257
1216297
1226337
1236377
1246417
1256457
1266497
1276537
1286577
1296617
1306657
1316697
1326737
1336777
1346817
1356857
1366897
1376937
1386977
1397017
1407057
1417097
1427137
1437177
1447217
1457257
1467297
1477337
1487377
1497417
1507457
1517497
1527537
1537577
1547617
1557657
1567697
1577737
1587777
1597817
1607857
1617897
1627937
1637977
1648017
1658057
1668097
1678137
1688177
1698217
1708257
1718297
1728337
1738377
1748417
1758457
1768497
1778537
1788577
1798617
1808657
1818697
1828737
1838777
1848817
1858857
1868897
1878937
1888977
1899017
1909057
1919097
1929137
1939177
1949217
1959257
1969297
1979337
1989377
1999417
2009457
2019497
2029537
2039577
2049617
2059657
2069697
2079737
2089777
2099817
2109857
2119897
2129937
2139977
21410017
21510057
21610097
21710137
21810177
21910217
22010257
22110297
22210337
22310377
22410417
22510457
22610497
22710537
22810577
22910617
23010657
23110697
23210737
23310777
23410817
23510857
23610897
23710937
23810977
23911017
24011057
24111097
24211137
24311177
24411217
24511257
24611297
24711337
24811377
24911417
25011457
25111497
25211537
25311577
25411617
25511657
25611697
25711737
25811777
25911817
26011857
26111897
26211937
26311977
26412017
26512057
26612097
26712137
26812177
26912217
27012257
27112297
27212337
27312377
27412417
27512457
27612497
27712537
27812577
27912617
28012657
28112697
28212737
28312777
28412817
28512857
28612897
28712937
28812977
28913017
29013057
29113097
29213137
29313177
29413217
29513257
29613297
29713337
29813377
29913417
30013457
30113497
30213537
30313577
30413617
30513657
30613697
30713737
30813777
30913817
31013857
31113897
31213937
31313977
31414017
31514057
31614097
31714137
31814177
31914217
32014257
32114297
32214337
32314377
32414417
32514457
32614497
32714537
32814577
32914617
33014657
33114697
33214737
33314777
33414817
33514857
33614897
33714937
33814977
33915017
34015057
34115097
34215137
34315177
34415217
34515257
34615297
34715337
34815377
34915417
35015457
35115497
35215537
35315577
35415617
35515657
35615697
35715737
35815777
35915817
36015857
36115897
36215937
36315977
36416017
36516057
36616097
36716137
36816177
36916217
37016257
37116297
37216337
37316377
37416417
37516457
37616497
37716537
37816577
37916617
38016657
38116697
38216737
38316777
38416817
38516857
38616897
38716937
38816977
38917017
39017057
39117097
39217137
39317177
39417217
39517257
39617297
39717337
39817377
39917417
40017457
40117497
40217537
40317577
40417617
40517657
40617697
40717737
40817777
40917817
41017857
41117897
41217937
41317977
41418017
41518057
41618097
41718137
41818177
41918217
42018257
42118297
42218337
42318377
42418417
42518457
42618497
42718537
42818577
42918617
43018657
43118697
43218737
43318777
43418817
43518857
43618897
43718937
43818977
43919017
44019057
44119097
44219137
44319177
44419217
44519257
44619297
44719337
44819377
44919417
45019457
45119497
45219537
45319577
45419617
45519657
45619697
45719737
45819777
45919817
46019857
46119897
46219937
46319977
46420017
46520057
46620097
46720137
46820177
46920217
47020257
47120297
47220337
47320377
47420417
47520457
47620497
47720537
47820577
47920617
48020657
48120697
48220737
48320777
48420817
48520857
48620897
48720937
48820977
48921017
49021057
49121097
49221137
49321177
49421217
49521257
49621297
49721337
49821377
49921417
50021457
50121497
50221537
50321577
50421617
50521657
50621697
50721737
50821777
50921817
51021857
51121897
51221937
51321977
51422017
51522057
51622097
51722137
51822177
51922217
52022257
52122297
52222337
52322377
52422417
52522457
52622497
52722537
52822577
52922617
53022657
53122697
53222737
53322777
53422817
53522857
53622897
53722937
53822977
53923017
54023057
54123097
54223137
54323177
54423217
54523257
54623297
54723337
54823377
54923417
55023457
55123497
55223537
55323577
55423617
55523657
55623697
55723737
55823777
55923817
56023857
56123897
56223937
56323977
56424017
56524057
56624097
56724137
56824177
56924217
57024257
57124297
57224337
57324377
57424417
57524457
57624497
57724537
57824577
57924617
58024657
58124697
58224737
58324777
58424817
58524857
58624897
58724937
58824977
58925017
59025057
59125097
59225137
59325177
59425217
59525257
59625297
59725337
59825377
59925417
60025457
60125497
60225537
60325577
60425617
60525657
60625697
60725737
60825777
60925817
61025857
61125897
61225937
61325977
61426017
61526057
61626097
61726137
61826177
61926217
62026257
62126297
62226337
62326377
62426417
62526457
62626497
62726537
62826577
62926617
63026657
63126697
63226737
63326777
63426817
63526857
63626897
63726937
63826977
63927017
64027057
64127097
64227137
64327177
64427217
64527257
64627297
64727337
64827377
64927417
65027457
65127497
65227537
65327577
65427617
65527657
65627697
65727737
65827777
65927817
66027857
66127897
66227937
66327977
66428017
66528057
66628097
66728137
66828177
66928217
67028257
67128297
67228337
67328377
67428417
67528457
67628497
67728537
67828577
67928617
68028657
68128697
68228737
68328777
68428817
68528857
68628897
68728937
68828977
68929017
69029057
69129097
69229137
69329177
69429217
69529257
69629297
69729337
69829377
69929417
70029457
70129497
70229537
70329577
70429617
70529657
70629697
70729737
70829777
70929817
71029857
71129897
71229937
71329977
71430017
71530057
71630097
71730137
71830177
71930217
72030257
72130297
72230337
72330377
72430417
72530457
72630497
72730537
72830577
72930617
73030657
73130697
73230737
73330777
73430817
73530857
73630897
73730937
73830977
73931017
74031057
74131097
74231137
74331177
74431217
74531257
74631297
74731337
74831377
74931417
75031457
75131497
75231537
75331577
75431617
75531657
75631697
75731737
75831777
75931817
76031857
76131897
76231937
76331977
76432017
76532057
76632097
76732137
76832177
76932217
77032257
77132297
77232337
77332377
77432417
77532457
77632497
77732537
77832577
77932617
78032657
78132697
78232737
78332777
78432817
78532857
78632897
78732937
78832977
78933017
79033057
79133097
79233137
79333177
79433217
79533257
79633297
79733337
79833377
79933417
80033457
80133497
80233537
80333577
80433617
80533657
80633697
80733737
80833777
80933817
81033857
81133897
81233937
81333977
81434017
81534057
81634097
81734137
81834177
81934217
82034257
82134297
82234337
82334377
82434417
82534457
82634497
82734537
82834577
82934617
83034657
83134697
83234737
83334777
83434817
83534857
83634897
83734937
83834977
83935017
84035057
84135097
84235137
84335177
84435217
84535257
84635297
84735337
84835377
84935417
85035457
85135497
85235537
85335577
85435617
85535657
85635697
85735737
85835777
85935817
86035857
86135897
86235937
86335977
86436017
86536057
86636097
86736137
86836177
86936217
87036257
87136297
87236337
87336377
87436417
87536457
87636497
87736537
87836577
87936617
88036657
88136697
88236737
88336777
88436817
88536857
88636897
88736937
88836977
88937017
89037057
89137097
89237137
89337177
89437217
89537257
89637297
89737337
89837377
89937417
90037457
90137497
90237537
90337577
90437617
90537657
90637697
90737737
90837777
90937817
91037857
91137897
91237937
91337977
91438017
91538057
91638097
91738137
91838177
91938217
92038257
92138297
92238337
92338377
92438417
92538457
92638497
92738537
92838577
92938617
93038657
93138697
93238737
93338777
93438817
93538857
93638897
93738937
93838977
93939017
94039057
94139097
94239137
94339177
94439217
94539257
94639297
94739337
94839377
94939417
95039457
95139497
95239537
95339577
95439617
95539657
95639697
95739737
95839777
95939817
96039857
96139897
96239937
96339977
96440017
96540057
96640097
96740137
96840177
96940217
97040257
97140297
97240337
97340377
97440417
97540457
97640497
97740537
97840577
97940617
98040657
98140697
98240737
98340777
98440817
98540857
98640897
98740937
98840977
98941017
99041057
99141097
99241137
99341177
99441217
99541257
99641297
99741337
99841377
99941417
100041457
100141497
100241537
100341577
100441617
100541657
100641697
100741737
100841777
100941817
101041857
101141897
101241937
101341977
101442017
101542057
101642097
101742137
101842177
101942217
102042257
102142297
102242337
102342377
102442417
102542457
102642497
102742537
102842577
102942617
103042657
103142697
103242737
103342777
103442817
103542857
103642897
103742937
103842977
103943017
104043057
104143097
104243137
104343177
104443217
104543257
104643297
104743337
104843377
104943417
105043457
105143497
105243537
105343577
105443617
105543657
105643697
105743737
105843777
105943817
106043857
106143897
106243937
106343977
106444017
106544057
106644097
106744137
106844177
106944217
107044257
107144297
107244337
107344377
107444417
107544457
107644497
107744537
107844577
107944617
108044657
108144697
108244737
108344777
108444817
108544857
108644897
108744937
108844977
108945017
109045057
109145097
109245137
109345177
109445217
109545257
109645297
109745337
109845377
109945417
110045457
110145497
110245537
110345577
110445617
110545657
110645697
110745737
110845777
110945817
111045857
111145897
111245937
111345977
111446017
111546057
111646097
111746137
111846177
111946217
112046257
112146297
112246337
112346377
112446417
112546457
112646497
112746537
112846577
112946617
113046657
113146697
113246737
113346777
113446817
113546857
113646897
113746937
113846977
113947017
114047057
114147097
114247137
114347177
114447217
114547257
114647297
114747337
114847377
114947417
115047457
115147497
115247537
115347577
115447617
115547657
115647697
115747737
115847777
115947817
116047857
116147897
116247937
116347977
116448017
116548057
116648097
116748137
116848177
116948217
117048257
117148297
117248337
117348377
117448417
117548457
117648497
117748537
117848577
117948617
118048657
118148697
118248737
118348777
118448817
118548857
118648897
118748937
118848977
118949017
119049057
119149097
119249137
119349177
119449217
119549257
119649297
119749337
119849377
119949417
120049457
120149497
120249537
120349577
120449617
120549657
120649697
120749737
120849777
120949817
121049857
121149897
121249937
121349977
done50017

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (/ (- y x) 2.0))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity add-log-exp
pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt associate-+r- flip3-+ div-sub sum-log add-cbrt-cube flip-+ distribute-lft-out
Counts
1 → 13
Calls
1 calls:
9.0ms
(+ x (/ (- y x) 2.0))

series6.0ms

Counts
1 → 3
Calls
1 calls:
6.0ms
(+ x (/ (- y x) 2.0))

simplify753.0ms

Counts
16 → 16
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
033178
192165
2217151
3627151
42558151
done5000151

prune22.0ms

Filtered
13 candidates to 16 candidates (-23.1%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New15116
Fresh000
Picked101
Done000
Total16117

Merged error: 0b

Counts
17 → 1

localize13.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000
done00

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011

Merged error: 0b

Counts
1 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
175
done75

end0.0ms

sample419.0ms

Algorithm
intervals
Results
193.0ms8000×body80valid

Profiling

Loading profile data...