Details

Time bar (total: 19.0min)

sample21.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify12.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0911
11511
22211
32511
42611
done2611

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
8.8b
(/ y (+ 1.0 (/ (* x y) 2.0)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
16×add-sqr-sqrt
13×times-frac
11×add-cube-cbrt
add-exp-log associate-/r* add-cbrt-cube distribute-lft-out add-log-exp
associate-/l*
pow1 associate-/r/ difference-of-squares
cbrt-undiv sub-neg flip3-- frac-2neg flip3-+ diff-log div-exp clear-num flip-- flip-+ div-inv distribute-lft-out--
Counts
2 → 48
Calls
2 calls:
12.0ms
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
7.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))

series26.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
18.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))

simplify36.3s

Counts
54 → 54
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
11611
22111
32411
42511
done2511
0910
11610
22210
32610
42710
done2710
0910
11310
21710
32010
42110
done2110
01229
13729
211913
339111
4128911
5421011
done500011
01021
11421
21821
32121
42221
done2221
0910
11310
21710
32010
42110
done2110
01029
12129
24111
38211
416611
536711
6104311
7360911
done500011
0910
11310
21710
32010
42110
done2110
0910
11310
21710
32010
42110
done2110
022
done22
088
1158
2258
3408
4538
5568
done568
01223
12223
23523
34423
44523
done4523
01011
11411
21811
32111
42211
done2211
01114
11714
22314
32714
42814
done2814
01011
11411
21811
32111
42211
done2211
057
195
2155
3205
done205
0910
11310
21710
32010
42110
done2110
057
195
2155
3205
done205
0910
11310
21710
32010
42110
done2110
01120
11720
22120
32420
42520
done2520
01011
11411
21811
32111
42211
done2211
01011
11411
21811
32111
42211
done2211
01011
11411
21811
32111
42211
done2211
044
162
282
done82
0910
11310
21710
32010
42110
done2110
044
162
282
done82
0910
11310
21710
32010
42110
done2110
01119
11919
22319
32619
42719
done2719
0910
11310
21710
32010
42110
done2110
01010
11610
22010
32310
42410
done2410
0910
11310
21710
32010
42110
done2110
023
141
done41
089
1129
2169
3199
4209
done209
023
141
done41
089
1129
2169
3199
4209
done209
099
1159
2199
3229
4239
done239
089
1129
2169
3199
4209
done209
01019
11619
22019
32319
42419
done2419
0910
11310
21710
32010
42110
done2110
033
151
done51
033
151
done51
0910
11310
21710
32010
42110
done2110
0910
11310
21710
32010
42110
done2110
089
1129
2169
3199
4209
done209
01113
13113
27613
326213
4121813
done500013
01017
12217
25717
319417
462717
5145317
6201517
7247417
8426917
done500117
01113
11712
22312
33112
43512
54112
64512
76112
86512
97012
107712
119512
1211612
1313012
1413512
1513712
done13712
01012
11612
22312
32612
42712
done2712
01012
11912
22812
33412
44112
54512
66112
76712
87212
97912
109712
1111812
1213512
1314012
1414212
done14212
01125
11725
22425
32725
42825
done2825
01012
11612
22312
32612
42712
done2712
01135
11835
23913
39313
425813
580013
6265913
done500113
01012
11612
22312
32612
42712
done2712
01012
11612
22312
32612
42712
done2712
01215
13415
28015
320915
466715
5240215
done500015
01335
12925
25225
37025
49925
516525
634425
765025
8107225
9355525
done500125
0910
11510
21910
32210
42310
done2310
01123
12423
24323
38023
415123
528623
655023
7105723
8288621
done500021
0911
11411
21811
32111
42211
done2211
01113
11613
22013
32313
42413
done2413
01113
11713
22213
32513
42613
done2613
01214
11714
22114
32414
42514
done2514
01214
11814
22514
32814
42914
done2914
0911
11511
22211
32511
42611
done2611
0910
11510
21910
32210
42310
done2310
01721
14521
214721
334119
475119
5169915
done500015
02127
15627
217221
358721
4286121
done500021
02127
15627
217221
358721
4286121
done500021
01113
12613
26513
39013
411611
517711
634911
763311
886911
9180311
done500111
067
1137
2255
3345
4475
5675
6735
7775
8795
done795
067
1137
2255
3345
4475
5675
6735
7775
8795
done795

prune89.0ms

Filtered
41 candidates to 54 candidates (-31.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New51354
Fresh000
Picked011
Done000
Total51455

Merged error: 0b

Counts
55 → 4

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y)))
0.1b
(/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y))
8.7b
(/ (+ 1.0 (/ (* x y) 2.0)) y)

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
98×*-un-lft-identity
75×add-sqr-sqrt
61×add-cube-cbrt
19×associate-/r*
16×add-exp-log distribute-lft-out
10×add-cbrt-cube
div-exp
div-inv associate-/l*
add-log-exp difference-of-squares
pow1 cbrt-undiv
rec-exp frac-2neg 1-exp clear-num associate-/l/ distribute-lft-out--
sub-neg flip3-- pow-flip flip3-+ diff-log associate-/r/ flip-- flip-+ inv-pow
Counts
3 → 140
Calls
3 calls:
20.0ms
(- x (/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y)))
11.0ms
(/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y))
12.0ms
(/ (+ 1.0 (/ (* x y) 2.0)) y)

series29.0ms

Counts
3 → 9
Calls
3 calls:
8.0ms
(- x (/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y)))
12.0ms
(/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y))
8.0ms
(/ (+ 1.0 (/ (* x y) 2.0)) y)

simplify1.1min

Counts
149 → 149
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
11611
22111
32411
42511
done2511
0910
11610
22210
32610
42710
done2710
0910
11310
21710
32010
42110
done2110
01229
13729
211913
340711
4145511
done500011
01021
11421
21821
32121
42221
done2221
0910
11310
21710
32010
42110
done2110
01029
12129
25711
316211
450911
5177611
done500011
0910
11310
21710
32010
42110
done2110
0910
11310
21710
32010
42110
done2110
088
1158
2258
3408
4538
5568
done568
022
done22
01223
12223
23523
34423
44523
done4523
01011
11411
21811
32111
42211
done2211
01120
11720
22320
32720
42820
done2820
01011
11411
21811
32111
42211
done2211
01119
11917
22917
33717
43817
done3817
0910
11310
21710
32010
42110
done2110
01114
11714
22114
32414
42514
done2514
01011
11411
21811
32111
42211
done2211
01011
11411
21811
32111
42211
done2211
01011
11411
21811
32111
42211
done2211
01010
1168
2228
3258
4268
done268
0910
11310
21710
32010
42110
done2110
057
197
done97
0910
11310
21710
32010
42110
done2110
044
164
done64
0910
11310
21710
32010
42110
done2110
023
141
done41
089
1129
2169
3199
4209
done209
057
197
done97
0910
11310
21710
32010
42110
done2110
044
164
done64
0910
11310
21710
32010
42110
done2110
023
141
done41
089
1129
2169
3199
4209
done209
033
153
done53
089
1129
2169
3199
4209
done209
01013
11613
22013
32313
42413
done2413
0910
11310
21710
32010
42110
done2110
099
1157
2217
3247
4257
done257
0910
11310
21710
32010
42110
done2110
0910
11310
21710
32010
42110
done2110
089
1129
2169
3199
4209
done209
089
1129
2169
3199
4209
done209
01225
13619
210319
331919
488419
5168019
6201619
7222819
8341519
done500019
089
1149
2299
3549
41079
51589
61719
done1719
022
151
done51
01112
11712
22512
33012
43211
done3211
01011
11711
22311
33011
43311
53411
done3411
01213
12212
23912
36111
49111
511711
612611
714011
done14011
01112
12011
23211
34811
47511
510511
611111
711711
813211
done13211
01314
12513
23712
36511
49511
512111
613011
714511
done14511
01213
12312
23211
35211
47911
510911
611711
712311
814011
done14011
01112
12311
23611
35310
47010
510610
613610
713810
814410
916110
done16110
01112
11912
22812
33810
44710
57210
614310
730410
885110
9288610
done500010
01635
14831
215415
357613
4197213
done500113
01435
13431
29013
328513
483911
5303011
done500011
01225
12025
22725
33121
43221
done3221
01112
11912
22612
33010
43110
done3110
01235
12735
26913
325511
456611
595011
6239511
done500111
01112
11912
22612
33010
43110
done3110
01112
11912
22612
33010
43110
done3110
022
151
done51
0910
11510
22310
33710
45810
59610
615710
72228
87358
947268
done50008
01427
12625
23923
34823
44923
done4923
01213
11812
22212
32512
42612
done2612
01316
12114
22712
33112
43212
done3212
01213
11812
22212
32512
42612
done2612
01629
13227
27225
314723
420623
done20623
01314
12113
22813
33211
44611
55311
done5311
01526
12724
24922
38520
410920
done10920
01314
12113
22813
33211
44611
55311
done5311
01425
12619
24419
35619
45719
done5719
01213
12012
22712
33110
43210
done3210
01520
12718
24616
36914
47414
done7414
01314
12113
22813
33211
44611
55311
done5311
01417
12415
23713
34811
45011
done5011
01314
12113
22813
33211
44611
55311
done5311
01316
12310
23210
33510
43610
done3610
01213
12012
22712
33110
43210
done3210
0813
11611
2317
3475
4555
5565
done565
01213
12012
22712
33110
44510
55010
done5010
0710
1138
2224
3292
done292
01213
12012
22712
33110
44510
55010
done5010
059
1111
done111
01112
11911
22611
3309
4319
done319
0813
11611
2317
3475
4555
5565
done565
01213
12012
22712
33110
44510
55010
done5010
0710
1138
2224
3292
done292
01213
12012
22712
33110
44510
55010
done5010
059
1111
done111
01112
11911
22611
3309
4319
done319
047
183
2121
done121
01112
11911
22611
3309
4319
done319
01113
11911
2259
3299
4309
done309
056
195
2123
3171
4181
done181
01324
12123
22523
32823
42923
done2923
01213
11812
22212
32512
42612
done2612
01213
11812
22212
32512
42612
done2612
01213
11812
22212
32512
42612
done2612
01526
12925
25425
38823
414923
520923
done20923
01314
12113
22813
33211
44611
55311
done5311
01423
12422
23622
35220
48020
511520
done11520
01314
12113
22813
33211
44611
55311
done5311
01322
12319
23819
35019
45119
done5119
01213
12012
22712
33110
43210
done3210
01417
12416
23516
34614
47114
58814
done8814
01314
12113
22813
33211
44611
55311
done5311
01314
12113
22813
33211
44611
55311
done5311
01314
12113
22813
33211
44611
55311
done5311
01213
12010
22910
33210
43310
done3310
01213
12012
22712
33110
43210
done3210
0710
1139
2207
3295
4425
5445
done445
01213
12012
22712
33110
44510
55010
done5010
067
1106
2134
3182
4222
done222
01213
12012
22712
33110
44510
55010
done5010
046
181
done81
01112
11911
22611
3309
4319
done319
0710
1139
2207
3295
4425
5445
done445
01213
12012
22712
33110
44510
55010
done5010
067
1106
2134
3182
4222
done222
01213
12012
22712
33110
44510
55010
done5010
046
181
done81
01112
11911
22611
3309
4319
done319
034
151
done51
01112
11911
22611
3309
4319
done319
01010
1169
2209
3239
4249
done249
056
195
2123
3171
4181
done181
01223
12023
22423
32723
42823
done2823
01112
11712
22112
32412
42512
done2512
01112
11712
22112
32412
42512
done2512
01112
11712
22112
32412
42512
done2512
01425
12825
25325
38523
414623
521223
done21223
01213
12013
22713
33111
44511
55011
done5011
01322
12322
23522
35120
47920
511520
done11520
01213
12013
22713
33111
44511
55011
done5011
01221
12219
23719
34919
45019
done5019
01112
11912
22612
33010
43110
done3110
01316
12316
23416
34514
47014
58514
done8514
01213
12013
22713
33111
44511
55011
done5011
01213
12013
22713
33111
44511
55011
done5011
01213
12013
22713
33111
44511
55011
done5011
01112
11910
22810
33110
43210
done3210
01112
11912
22612
33010
43110
done3110
069
1125
2215
3345
4435
5445
done445
01112
11912
22612
33010
44410
54910
done4910
056
192
2142
3162
4172
done172
01112
11912
22612
33010
44410
54910
done4910
035
161
done61
01011
11811
22511
3299
4309
done309
069
1125
2215
3345
4435
5445
done445
01112
11912
22612
33010
44410
54910
done4910
056
192
2142
3162
4172
done172
01112
11912
22612
33010
44410
54910
done4910
035
161
done61
01011
11811
22511
3299
4309
done309
023
141
done41
01011
11811
22511
3299
4309
done309
099
1159
2199
3229
4239
done239
045
181
done81
01011
11811
22511
3299
4309
done309
01011
1189
2299
3329
4339
done339
01223
12023
22423
32723
42823
done2823
01112
11712
22112
32412
42512
done2512
01425
12825
25325
38523
414623
521223
done21223
01322
12322
23522
35120
47920
511520
done11520
01221
12219
23719
34919
45019
done5019
01316
12316
23416
34514
47014
58514
done8514
01213
12013
22713
33111
44511
55011
done5011
01112
11910
22810
33110
43210
done3210
069
1125
2215
3345
4435
5445
done445
056
192
2142
3162
4172
done172
035
161
done61
069
1125
2215
3345
4435
5445
done445
056
192
2142
3162
4172
done172
035
161
done61
023
141
done41
099
1159
2199
3229
4239
done239
01112
11911
22611
3299
4339
done339
01112
11911
22611
3299
4339
done339
01011
1189
2299
3329
4339
done339
099
1159
2199
3229
4239
done239
01315
12314
23414
35812
48312
514212
633312
792312
8401912
done500012
01214
12214
23714
34912
45712
57212
610712
711212
811312
done11312
01214
12514
24414
36712
410012
519812
652012
7165012
done500112
01329
12329
23829
35025
45825
57325
611025
711525
811625
done11625
01214
12214
23714
34912
45712
57212
610712
711212
811312
done11312
01341
12441
25315
313213
449613
5219113
done500013
01214
12214
23714
34912
45712
57212
610712
711212
811312
done11312
01214
12214
23714
34912
45712
57212
610712
711212
811312
done11312
01417
14017
210117
333415
4105215
5302215
done500115
01541
13629
28129
321825
432125
544325
688825
7266625
done500025
01112
12211
23511
34810
45310
58010
610510
710610
done10610
01327
13027
26525
322123
451323
5111923
6189523
7373823
done500023
01113
12013
22713
33111
43211
done3211
01315
12215
22915
33313
43413
done3413
01315
12315
23115
33513
43613
done3613
01416
12115
22515
32815
42915
done2915
01416
12215
23015
33315
43415
done3415
01517
12416
23116
33514
44914
55614
done5614
01517
12516
24016
35214
47914
511714
612214
712314
done12314
01315
12015
22415
32715
42815
done2815
01315
12115
22915
33215
43315
done3315
01416
12316
23016
33414
44814
55314
done5314
01416
12416
23916
35114
47814
511614
612314
712414
done12414
01113
12113
23613
34811
45611
57111
610611
710911
811011
done11011
01113
12113
23613
34811
45611
57111
610611
710911
811011
done11011
01112
12211
23511
34810
45310
58010
610510
710610
done10610
099
1169
2197
3207
4257
5277
done277
099
1169
2197
3207
4257
5277
done277
099
1169
2197
3207
4257
5277
done277
01721
14521
214721
334119
475119
5169915
done500015
02127
15627
217221
358721
4286121
done500021
02127
15627
217221
358721
4286121
done500021
01113
12613
26513
39013
411611
517711
634911
763311
886911
9180311
done500111
067
1137
2255
3345
4475
5675
6735
7775
8795
done795
067
1137
2255
3345
4475
5675
6735
7775
8795
done795

prune156.0ms

Filtered
87 candidates to 149 candidates (-71.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1490149
Fresh022
Picked011
Done011
Total1494153

Merged error: 0b

Counts
153 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ (* x y) 2.0))
0.2b
(* (/ (* x y) 2.0) (/ (* x y) 2.0))
3.6b
(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
16.2b
(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log add-cbrt-cube
41×add-sqr-sqrt
37×times-frac
34×*-un-lft-identity
30×add-cube-cbrt
25×associate-*l*
17×prod-exp cbrt-unprod
14×cbrt-undiv div-exp
13×pow1
12×associate-*r*
difference-of-squares
swap-sqr
div-inv add-log-exp
flip3-- flip--
associate-/r* associate-/r/
frac-times sub-neg associate-*r/ associate-/l* unswap-sqr
distribute-rgt-in distribute-lft-in pow-prod-down associate-*l/ *-commutative distribute-lft-out--
pow2 frac-2neg pow-plus diff-log clear-num pow-sqr pow-prod-up
Counts
4 → 150
Calls
4 calls:
6.0ms
(- 1.0 (/ (* x y) 2.0))
12.0ms
(* (/ (* x y) 2.0) (/ (* x y) 2.0))
7.0ms
(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
16.0ms
(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

series67.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(- 1.0 (/ (* x y) 2.0))
9.0ms
(* (/ (* x y) 2.0) (/ (* x y) 2.0))
17.0ms
(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
35.0ms
(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

simplify8.7min

Counts
162 → 162
Iterations

Useful iterations: 4 (34.0ms)

IterNodesCost
01225
12825
29125
330811
410739
540369
done50019
01528
13328
28728
326828
484913
5180811
6288011
done500011
01427
13127
28327
326627
485012
5184210
6293010
done500010
01326
13226
210126
333812
4115610
5440110
done500010
01326
13126
210026
334112
4117710
5450310
done500010
01877
14677
220931
3145529
done500029
01677
14277
216429
389029
done500029
01453
13053
29353
331225
4108421
5404221
done500021
01326
12926
29226
330912
4107110
5406210
done500010
01477
14077
217227
397213
done500013
01326
12926
29226
330912
4107110
5406210
done500010
01326
12926
29226
330912
4107110
5406210
done500010
01113
13313
29913
340613
4229513
done500013
01339
14133
214333
365333
4376333
done500033
01017
12317
26617
323017
483417
5249017
6424417
done500117
01123
13023
29923
340423
4184023
done500023
01427
12827
27227
323727
477727
5172327
6239327
7408927
done500027
01427
12827
27227
323727
477727
5172327
6239327
7408927
done500027
01528
13128
27628
324128
478128
5171028
6238028
7406728
done500028
01528
13128
27628
324128
478128
5171028
6238028
7406728
done500028
01119
12619
26819
322619
472519
5202219
6468217
done500017
01224
13124
29424
335224
4145124
done500024
01119
12619
26819
322619
472519
5202219
6468217
done500017
01224
13124
29424
335224
4145124
done500024
01119
12619
26919
323019
472919
5200719
6473317
done500017
01224
13124
29524
335524
4140124
5461124
done500024
01119
12619
26919
323019
472919
5200719
6473317
done500017
01224
13124
29524
335524
4140124
5461124
done500024
01435
13235
28835
330235
4100435
5268635
done500035
01326
12926
28026
326626
487626
5227426
done500026
01219
12917
27817
322917
473017
5199317
6403317
done500117
01427
13627
29127
328327
484627
5233227
done500027
01219
12917
27817
322917
473017
5199317
6403317
done500117
01326
12726
27726
325126
484526
5184626
6256426
7426326
done500026
01326
12726
27726
325126
484526
5184626
6256426
7426326
done500026
01427
13027
28727
328027
495227
5221427
6334127
done500127
01427
13027
28727
328027
495227
5221427
6334127
done500127
01326
12926
29226
331812
4114910
5452810
done500010
01018
11818
24218
3904
42502
510932
done50012
01427
13027
28727
328027
495227
5221427
6334127
done500127
01427
13027
28727
328027
495227
5221427
6334127
done500127
01326
12926
29226
331812
4114910
5452810
done500010
01018
11818
24218
3904
42502
510932
done50012
01326
12926
28626
327026
488026
5198026
6288926
7465426
done500026
01326
12926
28626
327026
488026
5198026
6288926
7465426
done500026
01225
12825
29125
330811
410739
540369
done50019
0917
11717
24117
3873
42271
55421
610411
723061
done50001
01225
12825
29125
330811
410739
540369
done50019
01325
13125
29423
33769
416719
done50009
01555
14643
217137
380135
4438835
done500035
01123
12223
26523
321023
482923
5344823
done500123
01529
14629
214929
364229
4415229
done500029
01133
12633
28633
33503
416181
done50001
089
1149
2299
3549
41079
51589
61719
done1719
01219
12619
26319
320219
464319
5149519
6206319
7254319
8435419
done500019
01118
12618
26618
321218
465418
5148918
6204418
7252318
8434718
done500018
01118
12318
25818
319318
462418
5144918
6201618
7247518
8429918
done500018
01453
13553
212721
365919
4394119
done500119
01237
12437
25937
319637
462737
5146337
6201137
7247137
8425937
done500037
01118
12318
25818
319318
462418
5144918
6201618
7247518
8429918
done500018
01253
13153
29319
338919
4169819
done500119
01118
12318
25818
319318
462418
5144918
6201618
7247518
8429918
done500018
01118
12318
25818
319318
462418
5144918
6201618
7247518
8429918
done500018
022
done22
01016
12216
26216
321716
480715
5260415
6441115
done500015
01439
13239
27439
321739
465039
5147739
6204339
7250339
8432739
done500139
01219
12419
25719
319019
462019
5145619
6203419
7249319
8432419
done500019
01322
12722
26222
319622
462722
5146322
6201122
7247222
8427422
done500022
01219
12419
25719
319019
462019
5145619
6203419
7249319
8432419
done500019
057
195
2155
3205
done205
01118
12318
25818
319318
462918
5146618
6201118
7247018
8427418
done500018
01013
11613
22213
32613
42713
done2713
0910
11410
22310
33710
45010
55310
done5310
01336
12736
26036
319536
463136
5146336
6203336
7249236
8427236
done500036
01219
12419
25719
319019
462019
5145619
6203419
7249319
8432419
done500019
01219
12419
25719
319019
462019
5145619
6203419
7249319
8432419
done500019
01219
12419
25719
319019
462019
5145619
6203419
7249319
8432419
done500019
044
162
282
done82
01118
12318
25818
319318
462918
5146618
6201118
7247018
8427418
done500018
0910
11310
21710
32010
42110
done2110
0910
11410
22310
33710
45010
55310
done5310
01335
12935
26235
319535
462435
5146235
6200635
7246635
8425235
done500035
01118
12318
25618
318918
462118
5146118
6201418
7247618
8430618
done500018
01218
12618
25918
319418
462318
5146318
6203018
7248918
8432018
done500018
01118
12318
25618
318918
462118
5146118
6201418
7247618
8430618
done500018
023
141
done41
01017
12217
25717
319417
462717
5145317
6201517
7247417
8426917
done500117
099
1159
2199
3229
4239
done239
089
1139
2229
3369
4499
5529
done529
01117
12517
26017
319717
462817
5144517
6200817
7246817
8424317
done500117
01017
12517
26817
326617
4113417
5366015
done500115
01235
12635
25935
319235
462635
5144535
6200735
7247035
8425435
done500035
01118
12318
25618
318918
462118
5146118
6201418
7247618
8430618
done500018
033
151
done51
089
1129
2169
3199
4209
done209
01118
12618
26918
326818
4114618
5368718
done500018
01118
12618
26918
326818
4114618
5368718
done500018
01017
12517
26817
326617
4113417
5366015
done500115
01321
13921
214113
361913
4478613
done500013
01233
13233
210521
346113
4274013
done500013
023
161
done61
0611
11311
23711
311211
427711
540311
642611
743011
done43011
023
161
done61
0917
12010
26710
319810
450410
5121510
6164310
7188610
8188810
done188810
01216
12415
25815
31739
44869
511649
615679
718159
818179
done18179
01215
12515
26213
31798
46018
514058
617898
720138
820148
done20148
01216
12415
25815
31739
44879
511719
615759
718239
818259
done18259
0815
1209
2499
31449
43969
59279
615009
718699
819359
done19359
01014
12113
24713
31338
44908
512718
618038
722098
822748
done22748
01215
12515
25813
31718
45408
512168
621388
724288
824358
done24358
01014
12113
24313
31308
44568
511488
620408
724288
824828
done24828
0713
1158
2328
3848
42898
58668
617778
722028
823458
done23458
0712
11612
2508
31638
45318
512768
623608
730448
832998
933128
done33128
0712
11612
24412
313412
436912
573212
6139712
done500012
01235
13135
218423
3180723
done500123
01635
15235
229919
3296313
done500013
01635
14635
223919
3171219
done500115
01635
15235
229919
3296013
done500013
01035
13335
218619
3185713
done500113
01335
14535
222315
319147
done50007
01635
14635
224019
3170819
done500015
01335
14535
222415
318797
done50007
0835
12435
210015
35307
439187
done50017
0825
11525
23925
311825
428325
541725
644125
744325
done44325
0712
11412
23812
311312
427912
541012
643312
743612
done43612
0835
12335
29113
35047
433107
done50007
0712
1156
2396
31166
42826
54206
64436
74466
done4466
0712
1156
2396
31166
42826
54206
64436
74466
done4466
047
1127
2237
done237
023
done23
0827
11527
22115
3338
4708
51268
62128
74258
813828
done50008
0713
11013
21413
31713
41813
done1813
0713
1105
2155
3185
4195
done195
0713
1105
2155
3185
4195
done195
0615
11215
23115
36615
410611
51168
61258
71428
81958
93908
109568
1131688
done50018
059
199
2159
3229
4279
done279
059
199
2159
3229
4275
done275
059
199
2159
3229
4275
done275
047
1103
2143
3163
4193
done193
047
187
2147
3217
4267
done267
023
141
done41
0611
11311
23711
311211
427711
540311
642611
743011
done43011
047
1127
2237
done237
047
1107
2165
3275
done275
0713
1105
2155
3185
4195
done195
0713
1105
2155
3185
4195
done195
033
161
done61
0819
11619
23719
38819
415619
519319
621119
721319
done21319
0712
11312
22712
35312
47612
58512
68712
done8712
0913
11913
25113
315513
440013
566013
671213
done71213
0810
11610
23810
39510
419010
524510
625710
done25710
089
1187
2357
3937
42067
52627
62777
done2777
077
1155
2365
3795
4905
51065
61115
done1115
069
1149
2429
3869
41239
51339
done1339
0712
11312
22712
34812
47712
58812
done8812
0712
11312
22712
34812
47712
58812
done8812
0810
11610
23710
38710
417810
524010
624910
done24910
0810
11610
23710
38710
417810
524010
624910
done24910
079
1159
2359
3749
41329
51499
61529
done1529
0611
11311
23711
311211
427711
540311
642611
743011
done43011
089
1189
2397
31477
43497
53727
done3727
069
1149
2429
3869
41239
51339
done1339
069
1149
2429
3859
41199
51329
done1329
099
1148
2208
3378
4668
51088
62098
75558
819708
done50008
088
1138
2228
3368
4498
5528
done528
088
1168
2278
3468
4768
51168
62478
77168
822798
done50008
0917
11417
22317
33717
45017
55317
done5317
088
1138
2228
3368
4498
5528
done528
0923
11523
2389
31119
44759
524379
done50009
088
1138
2228
3368
4498
5528
done528
088
1138
2228
3368
4498
5528
done528
01011
13111
29111
335511
4193111
done500011
01123
12717
27217
318517
441217
556817
660217
760617
done60617
066
1116
2226
3356
4446
5476
done476
0915
12115
25415
319115
462715
5146615
6201115
7247315
8430415
done500115
077
1117
2157
3187
4197
done197
099
1139
2179
3209
4219
done219
099
1149
2199
3229
4239
done239
077
1127
2217
3357
4487
5517
done517
066
1116
2226
3356
4446
5476
done476
01721
14521
214721
334119
475119
5169915
done500015
02127
15627
217221
358721
4286121
done500021
02127
15627
217221
358721
4286121
done500021
033
143
done43
077
1157
2377
3497
4567
5667
6907
71587
83687
913007
done50007
077
1157
2377
3497
4567
5667
6907
71587
83687
913007
done50007
089
1209
2779
31269
41639
51809
62229
73409
87519
926069
done50019
089
1209
2779
31269
41639
51809
62229
73409
87519
926069
done50019
089
1209
2779
31269
41639
51809
62229
73409
87519
926069
done50019
077
1137
2307
3577
4617
done617
077
1137
2307
3577
4617
done617
077
1137
2307
3577
4617
done617

prune268.0ms

Filtered
119 candidates to 162 candidates (-36.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1620162
Fresh011
Picked011
Done022
Total1624166

Merged error: 0b

Counts
166 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)))
0.1b
(pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)
8.8b
(/ y (+ 1.0 (/ (* x y) 2.0)))
43.7b
(cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
81×*-un-lft-identity
62×add-sqr-sqrt times-frac
48×cbrt-prod
47×add-cube-cbrt
38×unpow-prod-down cube-prod
16×distribute-lft-out
10×associate-/r/
add-exp-log add-cbrt-cube
difference-of-squares
add-log-exp
pow1 flip3-+ flip-+ div-inv
associate-/r*
pow-unpow associate-/l* sqr-pow
cbrt-undiv cube-div cube-mult unpow3 div-exp pow-exp rem-cube-cbrt
pow-to-exp sub-neg cbrt-div flip3-- pow-pow frac-2neg pow1/3 diff-log clear-num flip-- rem-cbrt-cube distribute-lft-out--
Counts
4 → 161
Calls
4 calls:
22.0ms
(- x (cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)))
15.0ms
(pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)
7.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))
10.0ms
(cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3))

series74.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(- x (cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)))
31.0ms
(pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)
14.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))
18.0ms
(cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3))

simplify8.5min

Counts
173 → 173
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01213
12710
25810
313710
438010
5124210
done500110
01213
12710
25510
313210
437410
5123510
done500010
01324
12721
25213
39613
419913
547912
6153412
done500012
01213
12410
23410
34710
46910
512910
633910
7126510
done500010
01213
12410
23410
35210
47810
514010
634910
7127810
done500010
01213
12410
23410
35210
47810
514010
634910
7127810
done500010
01526
13623
210923
339914
4173814
done500114
01314
12811
25610
39510
415810
530510
665510
7218110
done500010
01417
13114
27314
321214
464414
5180014
done500014
01314
12811
25611
39511
416711
533811
673411
7234311
done500111
0810
1225
2605
31604
42804
55504
616004
done50004
01213
12710
25510
311010
424710
574110
6236910
done500010
0810
1225
2605
31604
42804
55504
616004
done50004
01213
12710
25510
311010
424710
574110
6236910
done500010
01423
13120
27120
320016
465016
5233616
done500016
01314
12811
25611
311711
427311
576311
6331611
done500011
01314
12811
25611
311711
428211
579611
6338711
done500011
01314
12811
25611
311711
428211
579611
6338711
done500011
077
1192
2352
3602
41162
52892
610622
done50002
01213
12710
25510
313210
436210
5119110
done500010
077
1192
2352
3602
41162
52892
610622
done50002
01213
12710
25510
313210
436210
5119110
done500010
01422
13319
26819
316313
442713
5100113
6352512
done500012
01213
12710
25510
311610
428110
579310
6344410
done500110
01313
13010
25310
39010
416110
530310
688910
7318210
done500110
01213
12710
25510
311610
429010
582610
6354410
done500010
056
1161
done161
01112
1269
2549
31319
43739
512379
done50009
056
1161
done161
01112
1269
2549
31319
43739
512379
done50009
044
1141
2181
done181
01112
1269
2549
31319
43739
512379
done50009
044
1121
2181
3281
4511
51141
63281
712491
done50001
01212
1299
2529
31059
42419
57089
626129
done50009
01316
14113
210613
337013
4192713
done500013
01426
13917
211517
341417
4227217
done500017
01320
13617
29817
338217
4189617
done500117
01010
1237
2507
31287
45097
525327
done50007
01020
11820
22820
33820
46020
512220
629720
759320
8100318
9339318
done500018
0910
11310
21710
32010
42110
done2110
01326
12720
25520
313220
437420
5122620
done500020
01213
12710
25510
313210
437410
5123510
done500010
01324
12721
25213
39613
419913
547912
6153412
done500012
01213
12410
23410
34710
46910
512910
633910
7126510
done500010
01213
12410
23410
35210
47810
514010
634910
7127810
done500010
01213
12410
23410
35210
47810
514010
634910
7127810
done500010
01526
13623
210923
339914
4173814
done500114
01314
12811
25610
39510
415810
530510
665510
7218110
done500010
01417
13114
27314
321214
464414
5180014
done500014
01314
12811
25611
39511
416711
533811
673411
7234311
done500111
0810
1225
2605
31604
42804
55504
616004
done50004
01213
12710
25510
311010
424710
574110
6236910
done500010
0810
1225
2605
31604
42804
55504
616004
done50004
01213
12710
25510
311010
424710
574110
6236910
done500010
01423
13120
27120
320016
465016
5233616
done500016
01314
12811
25611
311711
427311
576311
6331611
done500011
01314
12811
25611
311711
428211
579611
6338711
done500011
01314
12811
25611
311711
428211
579611
6338711
done500011
077
1192
2352
3602
41162
52892
610622
done50002
01213
12710
25510
313210
436210
5119110
done500010
077
1192
2352
3602
41162
52892
610622
done50002
01213
12710
25510
313210
436210
5119110
done500010
01422
13319
26819
316313
442713
5100113
6352512
done500012
01213
12710
25510
311610
428110
579310
6344410
done500110
01313
13010
25310
39010
416110
530310
688910
7318210
done500110
01213
12710
25510
311610
429010
582610
6354410
done500010
056
1161
done161
01112
1269
2549
31319
43739
512379
done50009
056
1161
done161
01112
1269
2549
31319
43739
512379
done50009
044
1141
2181
done181
01112
1269
2549
31319
43739
512379
done50009
044
1121
2181
3281
4511
51141
63281
712491
done50001
01212
1299
2529
31059
42419
57089
626129
done50009
01316
14113
210613
337013
4192713
done500013
01426
13917
211517
341417
4227217
done500017
01320
13617
29817
338217
4189617
done500117
01010
1237
2507
31287
45097
525327
done50007
0910
11310
21710
32010
42110
done2110
01020
11820
22820
33820
46020
512220
629720
759320
8100318
9339318
done500018
01213
12713
25613
313313
437613
5123513
done500113
01213
12713
25613
313313
437613
5123513
done500113
022
141
done41
01112
1269
2549
31319
43739
512379
done50009
01314
12212
23212
34512
46712
512712
633612
7125112
done500012
01314
12212
23212
34512
46712
512712
633612
7125112
done500012
044
1121
2181
3281
4511
51141
63281
712491
done50001
01010
1227
2487
31237
44267
515167
648567
done50007
01327
12821
25621
313321
437521
5123921
done500021
01213
12710
25510
313210
437410
5123510
done500010
01338
12611
25411
313111
437311
5123311
done500011
01213
12710
25510
313210
437410
5123510
done500010
01213
12710
25510
313210
437410
5123510
done500010
01011
11611
22111
32411
42511
done2511
0910
11610
22210
32610
42710
done2710
0910
11310
21710
32010
42110
done2110
01229
13729
211913
339111
4128911
5421011
done500011
01021
11421
21821
32121
42221
done2221
0910
11310
21710
32010
42110
done2110
01029
12129
24111
38211
416611
536711
6104311
7360911
done500011
0910
11310
21710
32010
42110
done2110
0910
11310
21710
32010
42110
done2110
022
done22
088
1158
2258
3408
4538
5568
done568
01223
12223
23523
34423
44523
done4523
01011
11411
21811
32111
42211
done2211
01114
11714
22314
32714
42814
done2814
01011
11411
21811
32111
42211
done2211
057
195
2155
3205
done205
0910
11310
21710
32010
42110
done2110
057
195
2155
3205
done205
0910
11310
21710
32010
42110
done2110
01120
11720
22120
32420
42520
done2520
01011
11411
21811
32111
42211
done2211
01011
11411
21811
32111
42211
done2211
01011
11411
21811
32111
42211
done2211
044
162
282
done82
0910
11310
21710
32010
42110
done2110
044
162
282
done82
0910
11310
21710
32010
42110
done2110
01119
11919
22319
32619
42719
done2719
0910
11310
21710
32010
42110
done2110
01010
11610
22010
32310
42410
done2410
0910
11310
21710
32010
42110
done2110
023
141
done41
089
1129
2169
3199
4209
done209
023
141
done41
089
1129
2169
3199
4209
done209
099
1159
2199
3229
4239
done239
089
1129
2169
3199
4209
done209
01019
11619
22019
32319
42419
done2419
0910
11310
21710
32010
42110
done2110
033
151
done51
033
151
done51
0910
11310
21710
32010
42110
done2110
0910
11310
21710
32010
42110
done2110
089
1129
2169
3199
4209
done209
01113
13113
27613
326213
4121813
done500013
01017
12217
25717
319417
462717
5145317
6201517
7247417
8426917
done500117
01213
11913
23013
33813
44413
done4413
01112
11912
22512
33512
44112
54612
done4612
01112
11912
22512
33512
44112
54612
done4612
033
161
done61
01215
12015
23115
35815
411515
527015
689615
7335715
done500015
01112
11912
22812
34912
48912
519312
657012
7219412
done500012
01011
1219
2329
3469
4719
51379
63579
712929
done50009
01223
12623
25112
39312
419612
547412
6153412
done500112
01112
1239
2339
3469
4689
51289
63339
712579
done50009
01112
12312
23312
35112
47712
514112
635612
7128212
done500012
01112
12312
23312
35112
47712
514112
635612
7128212
done500012
01425
13525
210825
339813
4172613
done500113
01213
12713
2559
3949
41579
52999
66609
721849
done50019
01316
13016
27216
321114
464514
5178814
done500014
01213
12713
25512
39412
416612
533212
673512
7233612
done500112
079
1217
2597
31613
42693
55373
615993
done50003
01112
12612
25411
310911
424611
573611
6238011
done500011
079
1217
2597
31613
42693
55373
615993
done50003
01112
12612
25411
310911
424611
573611
6238011
done500011
01322
13022
27022
319915
464715
5232015
done500015
01213
12713
25512
311612
427212
576112
6329412
done500012
01213
12713
25513
311613
428113
579413
6336813
done500013
01213
12713
25513
311613
428113
579413
6336813
done500013
066
1184
2344
3594
41154
52884
610674
done50004
01112
12612
25412
313112
436112
5119412
done500012
066
1184
2344
3594
41154
52884
610674
done50004
01112
12612
25412
313112
436112
5119412
done500012
01321
13221
26721
316212
441812
5100512
6352212
done500112
01112
12612
25411
311511
428011
579511
6344211
done500011
01212
12912
25212
38912
416012
530612
688912
7316512
done500012
01112
12612
25412
311512
428912
582812
6353712
done500012
045
1151
2191
3231
done231
01011
12511
25311
313011
437211
5123411
done500011
045
1151
2191
3231
done231
01011
12511
25311
313011
437211
5123411
done500011
033
1131
done131
01011
12511
25311
313011
437211
5123411
done500011
033
1113
2173
3273
4503
51133
63273
712463
done50003
01111
12811
25111
310411
424011
570711
6264711
done500011
01215
14015
210515
336915
4191815
done500015
01325
13819
211419
341519
4227819
done500119
01219
13519
29719
338119
4189619
done500119
099
1229
2499
31279
45069
525279
done50009
0919
11719
22719
33719
45919
512119
629819
758719
8100017
9344317
done500017
01112
12812
26812
317412
454212
5182312
done500012
01112
12612
26012
314912
444112
5148512
done500112
01225
12619
25419
313119
437319
5123519
done500019
01112
1269
2549
31319
43739
512379
done50009
01235
13123
210013
345713
4444313
done500013
01223
12623
25112
39312
419612
547412
6153412
done500112
01112
1239
2339
3469
4689
51289
63339
712579
done50009
01112
12312
23312
35112
47712
514112
635612
7128212
done500012
01112
12312
23312
35112
47712
514112
635612
7128212
done500012
01425
13525
210825
339813
4172613
done500113
01213
12713
2559
3949
41579
52999
66609
721849
done50019
01316
13016
27216
321114
464514
5178814
done500014
01213
12713
25512
39412
416612
533212
673512
7233612
done500112
079
1217
2597
31613
42693
55373
615993
done50003
01112
12612
25411
310911
424611
573611
6238011
done500011
079
1217
2597
31613
42693
55373
615993
done50003
01112
12612
25411
310911
424611
573611
6238011
done500011
01322
13022
27022
319915
464715
5232015
done500015
01213
12713
25512
311612
427212
576112
6329412
done500012
01213
12713
25513
311613
428113
579413
6336813
done500013
01213
12713
25513
311613
428113
579413
6336813
done500013
066
1184
2344
3594
41154
52884
610674
done50004
01112
12612
25412
313112
436112
5119412
done500012
066
1184
2344
3594
41154
52884
610674
done50004
01112
12612
25412
313112
436112
5119412
done500012
01321
13221
26721
316212
441812
5100512
6352212
done500112
01112
12612
25411
311511
428011
579511
6344211
done500011
01212
12912
25212
38912
416012
530612
688912
7316512
done500012
01112
12612
25412
311512
428912
582812
6353712
done500012
045
1151
2191
3231
done231
01011
12511
25311
313011
437211
5123411
done500011
045
1151
2191
3231
done231
01011
12511
25311
313011
437211
5123411
done500011
033
1131
done131
01011
12511
25311
313011
437211
5123411
done500011
033
1113
2173
3273
4503
51133
63273
712463
done50003
01111
12811
25111
310411
424011
570711
6264711
done500011
01215
14015
210515
336915
4191815
done500015
01325
13819
211419
341519
4227819
done500119
01219
13519
29719
338119
4189619
done500119
099
1229
2499
31279
45069
525279
done50009
033
1113
2173
3273
4503
51133
63273
712463
done50003
099
1219
2479
31229
44259
515209
648659
done50009
0919
11719
22719
33719
45919
512119
629819
758719
8100017
9344317
done500017
01112
12612
25512
313212
437512
5123812
done500012
01112
12612
25512
313212
437512
5123812
done500012
01213
12111
23111
34411
46611
512611
632611
7124011
done500011
01213
12111
23111
34411
46611
512611
632611
7124011
done500011
01416
13112
26112
314312
438512
5125112
done500012
01315
13012
26112
313812
437812
5123712
done500012
01315
13312
26612
314612
439412
5125312
done500012
01431
13125
26225
313925
438125
5124625
done500125
01315
13012
26112
313812
437812
5123712
done500012
01444
13235
27613
320113
460213
5205413
done500113
01315
13012
26112
313812
437812
5123712
done500012
01315
13012
26112
313812
437812
5123712
done500012
01418
13815
28415
321315
467215
5240115
done500015
01644
13725
27625
316225
440525
5126725
done500025
01213
12710
25710
313410
437610
5123610
done500010
01429
13323
26823
316823
445423
5139223
done500023
01214
12811
25611
313311
437511
5123311
done500011
01416
12713
23713
35513
48113
514313
635313
7127313
done500113
01416
12813
23913
35713
48313
514713
635613
7127613
done500013
01517
13114
25914
312014
428614
579814
6340514
done500114
01517
13214
26314
312414
429014
579314
6339814
done500014
01416
12713
23713
35513
48113
514313
635313
7127313
done500113
01416
12813
23913
35713
48313
514713
635613
7127613
done500013
01517
13114
25914
312014
428614
579814
6340514
done500114
01517
13214
26314
312414
429014
579314
6339814
done500014
01416
13016
25916
313616
437616
5122916
done500016
01416
13116
26116
313816
437816
5123616
done500116
01517
12415
23415
34815
47615
513715
635115
7127315
done500015
01517
12615
23715
35015
47415
513615
634615
7127715
done500015
01416
13013
25813
313513
437413
5122713
done500013
01416
13113
26013
313713
437613
5122813
done500113
01214
12911
26011
313711
437911
5124211
done500011
01213
12710
25710
313410
437610
5123610
done500010
01721
14521
214721
334119
475119
5169915
done500015
02127
15627
217221
358721
4286121
done500021
02230
15630
217230
348130
4160125
done500025
01721
14521
214721
334119
475119
5169915
done500015
02127
15627
217221
358721
4286121
done500021
02127
15627
217221
358721
4286121
done500021
01923
15223
214823
336121
487119
5249919
done500019
02429
16429
218123
352223
4180423
done500023
02429
16429
218123
352223
4180423
done500023
01113
12613
26513
39013
411611
517711
634911
763311
886911
9180311
done500111
067
1137
2255
3345
4475
5675
6735
7775
8795
done795
078
1118
2148
3188
4198
done198

prune222.0ms

Filtered
105 candidates to 173 candidates (-64.8%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1730173
Fresh000
Picked011
Done033
Total1734177

Merged error: 0b

Counts
177 → 4

regimes124.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11111
done1111

end0.0ms

sample578.0ms

Algorithm
intervals
Results
304.0ms7997×body80valid
0.0msbody2560valid
0.0msbody640valid

Profiling

Loading profile data...