Details

Time bar (total: 27.1s)

sample53.0ms

Algorithm
intervals
Results
37.0ms273×body80valid

simplify32.0ms

Counts
1 → 1
Iterations
IterNodes
done64
564
460
350
238
126
015

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.4b

localize54.0ms

Local error

Found 3 expressions with local error:

2.4b
(fma (/ z t) y x)
2.4b
(fma y (/ b t) (+ a 1.0))
11.4b
(/ (fma (/ z t) y x) (fma y (/ b t) (+ a 1.0)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
5×add-cbrt-cube add-exp-log
3×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u associate-/l* add-log-exp
2×fma-udef
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
3 → 52
Calls
3 calls:
0.0ms
(fma (/ z t) y x)
1.0ms
(fma y (/ b t) (+ a 1.0))
10.0ms
(/ (fma (/ z t) y x) (fma y (/ b t) (+ a 1.0)))

series430.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(fma (/ z t) y x)
50.0ms
(fma y (/ b t) (+ a 1.0))
317.0ms
(/ (fma (/ z t) y x) (fma y (/ b t) (+ a 1.0)))

simplify2.8s

Counts
61 → 61
Iterations
IterNodes
done5000
44357
3996
2291
1128
080

prune478.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 10.8b

localize47.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (fma y (/ b t) (+ a 1.0)))
2.4b
(fma (/ z t) y x)
2.4b
(fma y (/ b t) (+ a 1.0))
11.3b
(* (fma (/ z t) y x) (/ 1 (fma y (/ b t) (+ a 1.0))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×times-frac add-cube-cbrt
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
7×pow1
4×expm1-log1p-u div-exp prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-*l* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod fma-udef div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 95
Calls
4 calls:
8.0ms
(/ 1 (fma y (/ b t) (+ a 1.0)))
0.0ms
(fma (/ z t) y x)
0.0ms
(fma y (/ b t) (+ a 1.0))
18.0ms
(* (fma (/ z t) y x) (/ 1 (fma y (/ b t) (+ a 1.0))))

series572.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(/ 1 (fma y (/ b t) (+ a 1.0)))
59.0ms
(fma (/ z t) y x)
66.0ms
(fma y (/ b t) (+ a 1.0))
353.0ms
(* (fma (/ z t) y x) (/ 1 (fma y (/ b t) (+ a 1.0))))

simplify3.2s

Counts
107 → 107
Iterations
IterNodes
done5010
32329
2639
1230
0118

prune647.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 10.8b

localize61.0ms

Local error

Found 4 expressions with local error:

5.9b
(* (/ 1 (* (cbrt (fma y (/ b t) (+ a 1.0))) (cbrt (fma y (/ b t) (+ a 1.0))))) (/ (fma (/ z t) y x) (cbrt (fma y (/ b t) (+ a 1.0)))))
10.6b
(cbrt (fma y (/ b t) (+ a 1.0)))
10.6b
(cbrt (fma y (/ b t) (+ a 1.0)))
10.6b
(cbrt (fma y (/ b t) (+ a 1.0)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
43×add-sqr-sqrt
33×times-frac
25×*-un-lft-identity
22×associate-*r* add-cube-cbrt
21×cbrt-prod
20×prod-exp
18×add-cbrt-cube
15×div-exp
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv associate-*l*
6×pow1
4×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 115
Calls
4 calls:
36.0ms
(* (/ 1 (* (cbrt (fma y (/ b t) (+ a 1.0))) (cbrt (fma y (/ b t) (+ a 1.0))))) (/ (fma (/ z t) y x) (cbrt (fma y (/ b t) (+ a 1.0)))))
1.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
1.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
1.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))

series961.0ms

Counts
4 → 12
Calls
4 calls:
204.0ms
(* (/ 1 (* (cbrt (fma y (/ b t) (+ a 1.0))) (cbrt (fma y (/ b t) (+ a 1.0))))) (/ (fma (/ z t) y x) (cbrt (fma y (/ b t) (+ a 1.0)))))
248.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
251.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
257.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))

simplify2.5s

Counts
127 → 127
Iterations
IterNodes
done5002
22089
1535
0186

prune1.0s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 10.8b

localize32.0ms

Local error

Found 4 expressions with local error:

10.6b
(cbrt (fma y (/ b t) (+ a 1.0)))
10.6b
(cbrt (fma y (/ b t) (+ a 1.0)))
10.6b
(cbrt (fma y (/ b t) (+ a 1.0)))
11.4b
(/ (fma (/ z t) y x) (* (* (cbrt (fma y (/ b t) (+ a 1.0))) (cbrt (fma y (/ b t) (+ a 1.0)))) (cbrt (fma y (/ b t) (+ a 1.0)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv times-frac pow1/3 div-exp prod-exp cbrt-unprod associate-/l*
1×clear-num associate-/r* frac-2neg div-inv
Counts
4 → 68
Calls
4 calls:
2.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
2.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
2.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
40.0ms
(/ (fma (/ z t) y x) (* (* (cbrt (fma y (/ b t) (+ a 1.0))) (cbrt (fma y (/ b t) (+ a 1.0)))) (cbrt (fma y (/ b t) (+ a 1.0)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
220.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
285.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
256.0ms
(cbrt (fma y (/ b t) (+ a 1.0)))
326.0ms
(/ (fma (/ z t) y x) (* (* (cbrt (fma y (/ b t) (+ a 1.0))) (cbrt (fma y (/ b t) (+ a 1.0)))) (cbrt (fma y (/ b t) (+ a 1.0)))))

simplify2.0s

Counts
80 → 80
Iterations
IterNodes
done5004
32624
2664
1222
0106

prune598.0ms

Pruning

11 alts after pruning (7 fresh and 4 done)

Merged error: 10.8b

regimes1.2s

Accuracy

72.6% (1.3b remaining)

Error of 12.8b against oracle of 11.6b and baseline of 16.2b

bsearch2.0ms

simplify7.2s

Iterations
IterNodes
done5000
24734998
24724996
24714994
24704992
24694990
24684988
24674986
24664984
24654982
24644980
24634978
24624976
24614974
24604972
24594970
24584968
24574966
24564964
24554962
24544960
24534958
24524956
24514954
24504952
24494950
24484948
24474946
24464944
24454942
24444940
24434938
24424936
24414934
24404932
24394930
24384928
24374926
24364924
24354922
24344920
24334918
24324916
24314914
24304912
24294910
24284908
24274906
24264904
24254902
24244900
24234898
24224896
24214894
24204892
24194890
24184888
24174886
24164884
24154882
24144880
24134878
24124876
24114874
24104872
24094870
24084868
24074866
24064864
24054862
24044860
24034858
24024856
24014854
24004852
23994850
23984848
23974846
23964844
23954842
23944840
23934838
23924836
23914834
23904832
23894830
23884828
23874826
23864824
23854822
23844820
23834818
23824816
23814814
23804812
23794810
23784808
23774806
23764804
23754802
23744800
23734798
23724796
23714794
23704792
23694790
23684788
23674786
23664784
23654782
23644780
23634778
23624776
23614774
23604772
23594770
23584768
23574766
23564764
23554762
23544760
23534758
23524756
23514754
23504752
23494750
23484748
23474746
23464744
23454742
23444740
23434738
23424736
23414734
23404732
23394730
23384728
23374726
23364724
23354722
23344720
23334718
23324716
23314714
23304712
23294710
23284708
23274706
23264704
23254702
23244700
23234698
23224696
23214694
23204692
23194690
23184688
23174686
23164684
23154682
23144680
23134678
23124676
23114674
23104672
23094670
23084668
23074666
23064664
23054662
23044660
23034658
23024656
23014654
23004652
22994650
22984648
22974646
22964644
22954642
22944640
22934638
22924636
22914634
22904632
22894630
22884628
22874626
22864624
22854622
22844620
22834618
22824616
22814614
22804612
22794610
22784608
22774606
22764604
22754602
22744600
22734598
22724596
22714594
22704592
22694590
22684588
22674586
22664584
22654582
22644580
22634578
22624576
22614574
22604572
22594570
22584568
22574566
22564564
22554562
22544560
22534558
22524556
22514554
22504552
22494550
22484548
22474546
22464544
22454542
22444540
22434538
22424536
22414534
22404532
22394530
22384528
22374526
22364524
22354522
22344520
22334518
22324516
22314514
22304512
22294510
22284508
22274506
22264504
22254502
22244500
22234498
22224496
22214494
22204492
22194490
22184488
22174486
22164484
22154482
22144480
22134478
22124476
22114474
22104472
22094470
22084468
22074466
22064464
22054462
22044460
22034458
22024456
22014454
22004452
21994450
21984448
21974446
21964444
21954442
21944440
21934438
21924436
21914434
21904432
21894430
21884428
21874426
21864424
21854422
21844420
21834418
21824416
21814414
21804412
21794410
21784408
21774406
21764404
21754402
21744400
21734398
21724396
21714394
21704392
21694390
21684388
21674386
21664384
21654382
21644380
21634378
21624376
21614374
21604372
21594370
21584368
21574366
21564364
21554362
21544360
21534358
21524356
21514354
21504352
21494350
21484348
21474346
21464344
21454342
21444340
21434338
21424336
21414334
21404332
21394330
21384328
21374326
21364324
21354322
21344320
21334318
21324316
21314314
21304312
21294310
21284308
21274306
21264304
21254302
21244300
21234298
21224296
21214294
21204292
21194290
21184288
21174286
21164284
21154282
21144280
21134278
21124276
21114274
21104272
21094270
21084268
21074266
21064264
21054262
21044260
21034258
21024256
21014254
21004252
20994250
20984248
20974246
20964244
20954242
20944240
20934238
20924236
20914234
20904232
20894230
20884228
20874226
20864224
20854222
20844220
20834218
20824216
20814214
20804212
20794210
20784208
20774206
20764204
20754202
20744200
20734198
20724196
20714194
20704192
20694190
20684188
20674186
20664184
20654182
20644180
20634178
20624176
20614174
20604172
20594170
20584168
20574166
20564164
20554162
20544160
20534158
20524156
20514154
20504152
20494150
20484148
20474146
20464144
20454142
20444140
20434138
20424136
20414134
20404132
20394130
20384128
20374126
20364124
20354122
20344120
20334118
20324116
20314114
20304112
20294110
20284108
20274106
20264104
20254102
20244100
20234098
20224096
20214094
20204092
20194090
20184088
20174086
20164084
20154082
20144080
20134078
20124076
20114074
20104072
20094070
20084068
20074066
20064064
20054062
20044060
20034058
20024056
20014054
20004052
19994050
19984048
19974046
19964044
19954042
19944040
19934038
19924036
19914034
19904032
19894030
19884028
19874026
19864024
19854022
19844020
19834018
19824016
19814014
19804012
19794010
19784008
19774006
19764004
19754002
19744000
19733998
19723996
19713994
19703992
19693990
19683988
19673986
19663984
19653982
19643980
19633978
19623976
19613974
19603972
19593970
19583968
19573966
19563964
19553962
19543960
19533958
19523956
19513954
19503952
19493950
19483948
19473946
19463944
19453942
19443940
19433938
19423936
19413934
19403932
19393930
19383928
19373926
19363924
19353922
19343920
19333918
19323916
19313914
19303912
19293910
19283908
19273906
19263904
19253902
19243900
19233898
19223896
19213894
19203892
19193890
19183888
19173886
19163884
19153882
19143880
19133878
19123876
19113874
19103872
19093870
19083868
19073866
19063864
19053862
19043860
19033858
19023856
19013854
19003852
18993850
18983848
18973846
18963844
18953842
18943840
18933838
18923836
18913834
18903832
18893830
18883828
18873826
18863824
18853822
18843820
18833818
18823816
18813814
18803812
18793810
18783808
18773806
18763804
18753802
18743800
18733798
18723796
18713794
18703792
18693790
18683788
18673786
18663784
18653782
18643780
18633778
18623776
18613774
18603772
18593770
18583768
18573766
18563764
18553762
18543760
18533758
18523756
18513754
18503752
18493750
18483748
18473746
18463744
18453742
18443740
18433738
18423736
18413734
18403732
18393730
18383728
18373726
18363724
18353722
18343720
18333718
18323716
18313714
18303712
18293710
18283708
18273706
18263704
18253702
18243700
18233698
18223696
18213694
18203692
18193690
18183688
18173686
18163684
18153682
18143680
18133678
18123676
18113674
18103672
18093670
18083668
18073666
18063664
18053662
18043660
18033658
18023656
18013654
18003652
17993650
17983648
17973646
17963644
17953642
17943640
17933638
17923636
17913634
17903632
17893630
17883628
17873626
17863624
17853622
17843620
17833618
17823616
17813614
17803612
17793610
17783608
17773606
17763604
17753602
17743600
17733598
17723596
17713594
17703592
17693590
17683588
17673586
17663584
17653582
17643580
17633578
17623576
17613574
17603572
17593570
17583568
17573566
17563564
17553562
17543560
17533558
17523556
17513554
17503552
17493550
17483548
17473546
17463544
17453542
17443540
17433538
17423536
17413534
17403532
17393530
17383528
17373526
17363524
17353522
17343520
17333518
17323516
17313514
17303512
17293510
17283508
17273506
17263504
17253502
17243500
17233498
17223496
17213494
17203492
17193490
17183488
17173486
17163484
17153482
17143480
17133478
17123476
17113474
17103472
17093470
17083468
17073466
17063464
17053462
17043460
17033458
17023456
17013454
17003452
16993450
16983448
16973446
16963444
16953442
16943440
16933438
16923436
16913434
16903432
16893430
16883428
16873426
16863424
16853422
16843420
16833418
16823416
16813414
16803412
16793410
16783408
16773406
16763404
16753402
16743400
16733398
16723396
16713394
16703392
16693390
16683388
16673386
16663384
16653382
16643380
16633378
16623376
16613374
16603372
16593370
16583368
16573366
16563364
16553362
16543360
16533358
16523356
16513354
16503352
16493350
16483348
16473346
16463344
16453342
16443340
16433338
16423336
16413334
16403332
16393330
16383328
16373326
16363324
16353322
16343320
16333318
16323316
16313314
16303312
16293310
16283308
16273306
16263304
16253302
16243300
16233298
16223296
16213294
16203292
16193290
16183288
16173286
16163284
16153282
16143280
16133278
16123276
16113274
16103272
16093270
16083268
16073266
16063264
16053262
16043260
16033258
16023256
16013254
16003252
15993250
15983248
15973246
15963244
15953242
15943240
15933238
15923236
15913234
15903232
15893230
15883228
15873226
15863224
15853222
15843220
15833218
15823216
15813214
15803212
15793210
15783208
15773206
15763204
15753202
15743200
15733198
15723196
15713194
15703192
15693190
15683188
15673186
15663184
15653182
15643180
15633178
15623176
15613174
15603172
15593170
15583168
15573166
15563164
15553162
15543160
15533158
15523156
15513154
15503152
15493150
15483148
15473146
15463144
15453142
15443140
15433138
15423136
15413134
15403132
15393130
15383128
15373126
15363124
15353122
15343120
15333118
15323116
15313114
15303112
15293110
15283108
15273106
15263104
15253102
15243100
15233098
15223096
15213094
15203092
15193090
15183088
15173086
15163084
15153082
15143080
15133078
15123076
15113074
15103072
15093070
15083068
15073066
15063064
15053062
15043060
15033058
15023056
15013054
15003052
14993050
14983048
14973046
14963044
14953042
14943040
14933038
14923036
14913034
14903032
14893030
14883028
14873026
14863024
14853022
14843020
14833018
14823016
14813014
14803012
14793010
14783008
14773006
14763004
14753002
14743000
14732998
14722996
14712994
14702992
14692990
14682988
14672986
14662984
14652982
14642980
14632978
14622976
14612974
14602972
14592970
14582968
14572966
14562964
14552962
14542960
14532958
14522956
14512954
14502952
14492950
14482948
14472946
14462944
14452942
14442940
14432938
14422936
14412934
14402932
14392930
14382928
14372926
14362924
14352922
14342920
14332918
14322916
14312914
14302912
14292910
14282908
14272906
14262904
14252902
14242900
14232898
14222896
14212894
14202892
14192890
14182888
14172886
14162884
14152882
14142880
14132878
14122876
14112874
14102872
14092870
14082868
14072866
14062864
14052862
14042860
14032858
14022856
14012854
14002852
13992850
13982848
13972846
13962844
13952842
13942840
13932838
13922836
13912834
13902832
13892830
13882828
13872826
13862824
13852822
13842820
13832818
13822816
13812814
13802812
13792810
13782808
13772806
13762804
13752802
13742800
13732798
13722796
13712794
13702792
13692790
13682788
13672786
13662784
13652782
13642780
13632778
13622776
13612774
13602772
13592770
13582768
13572766
13562764
13552762
13542760
13532758
13522756
13512754
13502752
13492750
13482748
13472746
13462744
13452742
13442740
13432738
13422736
13412734
13402732
13392730
13382728
13372726
13362724
13352722
13342720
13332718
13322716
13312714
13302712
13292710
13282708
13272706
13262704
13252702
13242700
13232698
13222696
13212694
13202692
13192690
13182688
13172686
13162684
13152682
13142680
13132678
13122676
13112674
13102672
13092670
13082668
13072666
13062664
13052662
13042660
13032658
13022656
13012654
13002652
12992650
12982648
12972646
12962644
12952642
12942640
12932638
12922636
12912634
12902632
12892630
12882628
12872626
12862624
12852622
12842620
12832618
12822616
12812614
12802612
12792610
12782608
12772606
12762604
12752602
12742600
12732598
12722596
12712594
12702592
12692590
12682588
12672586
12662584
12652582
12642580
12632578
12622576
12612574
12602572
12592570
12582568
12572566
12562564
12552562
12542560
12532558
12522556
12512554
12502552
12492550
12482548
12472546
12462544
12452542
12442540
12432538
12422536
12412534
12402532
12392530
12382528
12372526
12362524
12352522
12342520
12332518
12322516
12312514
12302512
12292510
12282508
12272506
12262504
12252502
12242500
12232498
12222496
12212494
12202492
12192490
12182488
12172486
12162484
12152482
12142480
12132478
12122476
12112474
12102472
12092470
12082468
12072466
12062464
12052462
12042460
12032458
12022456
12012454
12002452
11992450
11982448
11972446
11962444
11952442
11942440
11932438
11922436
11912434
11902432
11892430
11882428
11872426
11862424
11852422
11842420
11832418
11822416
11812414
11802412
11792410
11782408
11772406
11762404
11752402
11742400
11732398
11722396
11712394
11702392
11692390
11682388
11672386
11662384
11652382
11642380
11632378
11622376
11612374
11602372
11592370
11582368
11572366
11562364
11552362
11542360
11532358
11522356
11512354
11502352
11492350
11482348
11472346
11462344
11452342
11442340
11432338
11422336
11412334
11402332
11392330
11382328
11372326
11362324
11352322
11342320
11332318
11322316
11312314
11302312
11292310
11282308
11272306
11262304
11252302
11242300
11232298
11222296
11212294
11202292
11192290
11182288
11172286
11162284
11152282
11142280
11132278
11122276
11112274
11102272
11092270
11082268
11072266
11062264
11052262
11042260
11032258
11022256
11012254
11002252
10992250
10982248
10972246
10962244
10952242
10942240
10932238
10922236
10912234
10902232
10892230
10882228
10872226
10862224
10852222
10842220
10832218
10822216
10812214
10802212
10792210
10782208
10772206
10762204
10752202
10742200
10732198
10722196
10712194
10702192
10692190
10682188
10672186
10662184
10652182
10642180
10632178
10622176
10612174
10602172
10592170
10582168
10572166
10562164
10552162
10542160
10532158
10522156
10512154
10502152
10492150
10482148
10472146
10462144
10452142
10442140
10432138
10422136
10412134
10402132
10392130
10382128
10372126
10362124
10352122
10342120
10332118
10322116
10312114
10302112
10292110
10282108
10272106
10262104
10252102
10242100
10232098
10222096
10212094
10202092
10192090
10182088
10172086
10162084
10152082
10142080
10132078
10122076
10112074
10102072
10092070
10082068
10072066
10062064
10052062
10042060
10032058
10022056
10012054
10002052
9992050
9982048
9972046
9962044
9952042
9942040
9932038
9922036
9912034
9902032
9892030
9882028
9872026
9862024
9852022
9842020
9832018
9822016
9812014
9802012
9792010
9782008
9772006
9762004
9752002
9742000
9731998
9721996
9711994
9701992
9691990
9681988
9671986
9661984
9651982
9641980
9631978
9621976
9611974
9601972
9591970
9581968
9571966
9561964
9551962
9541960
9531958
9521956
9511954
9501952
9491950
9481948
9471946
9461944
9451942
9441940
9431938
9421936
9411934
9401932
9391930
9381928
9371926
9361924
9351922
9341920
9331918
9321916
9311914
9301912
9291910
9281908
9271906
9261904
9251902
9241900
9231898
9221896
9211894
9201892
9191890
9181888
9171886
9161884
9151882
9141880
9131878
9121876
9111874
9101872
9091870
9081868
9071866
9061864
9051862
9041860
9031858
9021856
9011854
9001852
8991850
8981848
8971846
8961844
8951842
8941840
8931838
8921836
8911834
8901832
8891830
8881828
8871826
8861824
8851822
8841820
8831818
8821816
8811814
8801812
8791810
8781808
8771806
8761804
8751802
8741800
8731798
8721796
8711794
8701792
8691790
8681788
8671786
8661784
8651782
8641780
8631778
8621776
8611774
8601772
8591770
8581768
8571766
8561764
8551762
8541760
8531758
8521756
8511754
8501752
8491750
8481748
8471746
8461744
8451742
8441740
8431738
8421736
8411734
8401732
8391730
8381728
8371726
8361724
8351722
8341720
8331718
8321716
8311714
8301712
8291710
8281708
8271706
8261704
8251702
8241700
8231698
8221696
8211694
8201692
8191690
8181688
8171686
8161684
8151682
8141680
8131678
8121676
8111674
8101672
8091670
8081668
8071666
8061664
8051662
8041660
8031658
8021656
8011654
8001652
7991650
7981648
7971646
7961644
7951642
7941640
7931638
7921636
7911634
7901632
7891630
7881628
7871626
7861624
7851622
7841620
7831618
7821616
7811614
7801612
7791610
7781608
7771606
7761604
7751602
7741600
7731598
7721596
7711594
7701592
7691590
7681588
7671586
7661584
7651582
7641580
7631578
7621576
7611574
7601572
7591570
7581568
7571566
7561564
7551562
7541560
7531558
7521556
7511554
7501552
7491550
7481548
7471546
7461544
7451542
7441540
7431538
7421536
7411534
7401532
7391530
7381528
7371526
7361524
7351522
7341520
7331518
7321516
7311514
7301512
7291510
7281508
7271506
7261504
7251502
7241500
7231498
7221496
7211494
7201492
7191490
7181488
7171486
7161484
7151482
7141480
7131478
7121476
7111474
7101472
7091470
7081468
7071466
7061464
7051462
7041460
7031458
7021456
7011454
7001452
6991450
6981448
6971446
6961444
6951442
6941440
6931438
6921436
6911434
6901432
6891430
6881428
6871426
6861424
6851422
6841420
6831418
6821416
6811414
6801412
6791410
6781408
6771406
6761404
6751402
6741400
6731398
6721396
6711394
6701392
6691390
6681388
6671386
6661384
6651382
6641380
6631378
6621376
6611374
6601372
6591370
6581368
6571366
6561364
6551362
6541360
6531358
6521356
6511354
6501352
6491350
6481348
6471346
6461344
6451342
6441340
6431338
6421336
6411334
6401332
6391330
6381328
6371326
6361324
6351322
6341320
6331318
6321316
6311314
6301312
6291310
6281308
6271306
6261304
6251302
6241300
6231298
6221296
6211294
6201292
6191290
6181288
6171286
6161284
6151282
6141280
6131278
6121276
6111274
6101272
6091270
6081268
6071266
6061264
6051262
6041260
6031258
6021256
6011254
6001252
5991250
5981248
5971246
5961244
5951242
5941240
5931238
5921236
5911234
5901232
5891230
5881228
5871226
5861224
5851222
5841220
5831218
5821216
5811214
5801212
5791210
5781208
5771206
5761204
5751202
5741200
5731198
5721196
5711194
5701192
5691190
5681188
5671186
5661184
5651182
5641180
5631178
5621176
5611174
5601172
5591170
5581168
5571166
5561164
5551162
5541160
5531158
5521156
5511154
5501152
5491150
5481148
5471146
5461144
5451142
5441140
5431138
5421136
5411134
5401132
5391130
5381128
5371126
5361124
5351122
5341120
5331118
5321116
5311114
5301112
5291110
5281108
5271106
5261104
5251102
5241100
5231098
5221096
5211094
5201092
5191090
5181088
5171086
5161084
5151082
5141080
5131078
5121076
5111074
5101072
5091070
5081068
5071066
5061064
5051062
5041060
5031058
5021056
5011054
5001052
4991050
4981048
4971046
4961044
4951042
4941040
4931038
4921036
4911034
4901032
4891030
4881028
4871026
4861024
4851022
4841020
4831018
4821016
4811014
4801012
4791010
4781008
4771006
4761004
4751002
4741000
473998
472996
471994
470992
469990
468988
467986
466984
465982
464980
463978
462976
461974
460972
459970
458968
457966
456964
455962
454960
453958
452956
451954
450952
449950
448948
447946
446944
445942
444940
443938
442936
441934
440932
439930
438928
437926
436924
435922
434920
433918
432916
431914
430912
429910
428908
427906
426904
425902
424900
423898
422896
421894
420892
419890
418888
417886
416884
415882
414880
413878
412876
411874
410872
409870
408868
407866
406864
405862
404860
403858
402856
401854
400852
399850
398848
397846
396844
395842
394840
393838
392836
391834
390832
389830
388828
387826
386824
385822
384820
383818
382816
381814
380812
379810
378808
377806
376804
375802
374800
373798
372796
371794
370792
369790
368788
367786
366784
365782
364780
363778
362776
361774
360772
359770
358768
357766
356764
355762
354760
353758
352756
351754
350752
349750
348748
347746
346744
345742
344740
343738
342736
341734
340732
339730
338728
337726
336724
335722
334720
333718
332716
331714
330712
329710
328708
327706
326704
325702
324700
323698
322696
321694
320692
319690
318688
317686
316684
315682
314680
313678
312676
311674
310672
309670
308668
307666
306664
305662
304660
303658
302656
301654
300652
299650
298648
297646
296644
295642
294640
293638
292636
291634
290632
289630
288628
287626
286624
285622
284620
283618
282616
281614
280612
279610
278608
277606
276604
275602
274600
273598
272596
271594
270592
269590
268588
267586
266584
265582
264580
263578
262576
261574
260572
259570
258568
257566
256564
255562
254560
253558
252556
251554
250552
249550
248548
247546
246544
245542
244540
243538
242536
241534
240532
239530
238528
237526
236524
235522
234520
233518
232516
231514
230512
229510
228508
227506
226504
225502
224500
223498
222496
221494
220492
219490
218488
217486
216484
215482
214480
213478
212476
211474
210472
209470
208468
207466
206464
205462
204460
203458
202456
201454
200452
199450
198448
197446
196444
195442
194440
193438
192436
191434
190432
189430
188428
187426
186424
185422
184420
183418
182416
181414
180412
179410
178408
177406
176404
175402
174400
173398
172396
171394
170392
169390
168388
167386
166384
165382
164380
163378
162376
161374
160372
159370
158368
157366
156364
155362
154360
153358
152356
151354
150352
149350
148348
147346
146344
145342
144340
143338
142336
141334
140332
139330
138328
137326
136324
135322
134320
133318
132316
131314
130312
129310
128308
127306
126304
125302
124300
123298
122296
121294
120292
119290
118288
117286
116284
115282
114280
113278
112276
111274
110272
109270
108268
107266
106264
105262
104260
103258
102256
101254
100252
99250
98248
97246
96244
95242
94240
93238
92236
91234
90232
89230
88228
87226
86224
85222
84220
83218
82216
81214
80212
79210
78208
77206
76204
75202
74200
73198
72196
71194
70192
69190
68188
67186
66184
65182
64180
63178
62176
61174
60172
59170
58168
57166
56164
55162
54160
53158
52156
51154
50152
49150
48148
47146
46144
45142
44140
43138
42136
41134
40132
39130
38128
37126
36124
35122
34120
33118
32116
31114
30112
29110
28108
27106
26104
25102
24100
2398
2296
2194
2092
1990
1888
1786
1684
1582
1480
1378
1276
1174
1072
970
868
766
662
558
452
349
243
140
032

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.4s8295×body80valid