Details

Time bar (total: 1.5min)

sample10.0ms

Algorithm
intervals
Results
4.0ms257×body80valid

simplify1.5min

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
045
1105
2145
3175
4215
5265
6345
7395
8445
9535
10695
11835
12955
131065
141175
151285
161385
171495
181595
191705
201815
211925
222025
232135
242235
252345
262455
272565
282665
292775
302875
312985
323085
333195
343305
353415
363515
373625
383725
393835
403935
414045
424145
434255
444355
454465
464575
474685
484785
494895
504995
515105
525205
535315
545415
555525
565625
575735
585835
595945
606045
616155
626255
636365
646465
656575
666685
676795
686895
697005
707105
717215
727315
737425
747525
757635
767735
777845
787945
798055
808155
818265
828365
838475
848575
858685
868785
878895
888995
899105
909215
919325
929425
939535
949645
959755
969855
979965
9810075
9910185
10010295
10110405
10210515
10310625
10410735
10510845
10610955
10711065
10811165
10911275
11011375
11111485
11211595
11311705
11411815
11511925
11612025
11712135
11812245
11912355
12012465
12112575
12212685
12312795
12412895
12513005
12613115
12713225
12813325
12913435
13013535
13113645
13213745
13313855
13413965
13514075
13614185
13714295
13814395
13914505
14014605
14114715
14214825
14314935
14415045
14515155
14615255
14715365
14815465
14915575
15015685
15115795
15215895
15316005
15416105
15516215
15616325
15716435
15816545
15916655
16016765
16116875
16216985
16317095
16417205
16517315
16617425
16717535
16817635
16917745
17017845
17117955
17218065
17318175
17418275
17518385
17618495
17718605
17818715
17918825
18018935
18119045
18219155
18319265
18419365
18519475
18619575
18719685
18819785
18919895
19020005
19120115
19220215
19320325
19420425
19520535
19620645
19720755
19820855
19920965
20021065
20121175
20221275
20321385
20421485
20521595
20621695
20721805
20821905
20922015
21022125
21122235
21222335
21322445
21422545
21522655
21622755
21722865
21822965
21923075
22023185
22123295
22223395
22323505
22423605
22523715
22623815
22723925
22824035
22924145
23024255
23124365
23224465
23324575
23424675
23524785
23624885
23724995
23825105
23925215
24025315
24125425
24225525
24325635
24425745
24525855
24625955
24726065
24826165
24926275
25026375
25126485
25226585
25326695
25426795
25526905
25627005
25727115
25827215
25927325
26027435
26127545
26227645
26327755
26427855
26527965
26628065
26728175
26828275
26928385
27028485
27128595
27228695
27328805
27428905
27529015
27629115
27729225
27829335
27929445
28029545
28129655
28229755
28329865
28429975
28530085
28630185
28730295
28830395
28930505
29030605
29130715
29230825
29330935
29431035
29531145
29631245
29731355
29831465
29931575
30031675
30131785
30231895
30332005
30432115
30532225
30632325
30732435
30832535
30932645
31032745
31132855
31232965
31333075
31433175
31533285
31633395
31733505
31833605
31933715
32033815
32133925
32234025
32334135
32434245
32534355
32634465
32734575
32834675
32934785
33034885
33134995
33235095
33335205
33435305
33535415
33635515
33735625
33835725
33935835
34035935
34136045
34236145
34336255
34436355
34536465
34636575
34736685
34836785
34936895
35037005
35137115
35237225
35337335
35437445
35537555
35637655
35737765
35837865
35937975
36038085
36138195
36238295
36338405
36438505
36538615
36638715
36738825
36838925
36939035
37039135
37139245
37239345
37339455
37439555
37539665
37639765
37739875
37839975
37940085
38040185
38140295
38240405
38340515
38440615
38540725
38640825
38740935
38841035
38941145
39041245
39141355
39241455
39341565
39441665
39541775
39641875
39741985
39842085
39942195
40042305
40142415
40242515
40342625
40442725
40542835
40642935
40743045
40843155
40943265
41043365
41143475
41243575
41343685
41443785
41543895
41643995
41744105
41844205
41944315
42044415
42144525
42244625
42344735
42444835
42544945
42645045
42745155
42845255
42945365
43045465
43145575
43245675
43345785
43445895
43546005
43646105
43746215
43846315
43946425
44046535
44146645
44246745
44346855
44446955
44547065
44647165
44747275
44847375
44947485
45047585
45147695
45247795
45347905
45448005
45548115
45648215
45748325
45848425
45948535
46048635
46148745
46248845
46348955
46449055
46549165
46649265
46749375
46849485
46949595
47049695
47149805
47249915
done50015

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0b

Counts
2 → 1

localize3.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
045
done45

end0.0ms

sample300.0ms

Algorithm
intervals
Results
142.0ms8007×body80valid

Profiling

Loading profile data...