Details

Time bar (total: 12.3min)

sample66.0ms

Algorithm
intervals
Results
27.0ms254×body80valid
3.0msbody1280valid
2.0msbody640valid
2.0msbody320valid
1.0msbody2560valid
0.0msbody160valid

simplify3.3s

Counts
1 → 1
Iterations

Useful iterations: 4 (70.0ms)

IterNodesCost
02129
15029
29229
319529
442828
5122828
6458128
done500128

prune14.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 16.4b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
0.0b
(* K (+ m n))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)
33.5b
(cos (- (/ (* K (+ m n)) 2.0) M))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
15×add-sqr-sqrt
add-log-exp
add-cube-cbrt
pow1 add-exp-log
unpow-prod-down add-cbrt-cube
associate-*r*
pow-unpow associate-*l* distribute-lft-out
sub-neg cos-sum associate-+r+ flip3-+ associate-*r/ sum-log flip-+ distribute-lft-out-- difference-of-squares
+-commutative distribute-rgt-in cos-diff pow-to-exp associate-+r- pow-pow distribute-lft-in times-frac diff-log pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod unswap-sqr sqr-pow
Counts
4 → 70
Calls
4 calls:
19.0ms
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
7.0ms
(* K (+ m n))
19.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
10.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

series130.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
7.0ms
(* K (+ m n))
51.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)
24.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

simplify5.1min

Counts
82 → 82
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01212
12411
22911
34011
44311
54911
65311
75911
86111
done6111
01212
12512
23412
34812
45112
55712
66112
76712
86912
done6912
01212
12411
22911
34011
44311
54911
65311
75911
86111
done6111
01212
12512
23412
34812
45112
55712
66112
76712
86912
done6912
01111
12211
22711
33811
44111
54711
65111
75711
85911
done5911
01111
12211
22711
33811
44111
54711
65111
75711
85911
done5911
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01223
12423
23023
34123
45623
56623
67423
78823
813023
920723
1036923
1141323
1244923
1348023
1448123
done48123
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01232
12532
23312
34912
47012
59012
611912
719412
843112
9143412
done500012
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
0910
11310
21410
done1410
0910
11310
21410
done1410
033
161
done61
01013
11713
22513
34913
410813
526813
687813
7335313
done500013
0910
11610
22210
34010
48010
518810
657110
7219710
done500010
099
1197
2277
3387
4607
51247
63327
712587
done50007
01019
11719
22319
34119
48119
519219
656819
7197719
done500019
0910
11610
22210
34010
48010
518810
657110
7199010
done500010
0910
11610
22210
34010
48010
518810
657110
7199010
done500010
0910
11610
22210
34010
48010
518810
657110
7199010
done500010
033
191
2121
3181
4251
5351
6481
7641
8831
91051
101301
111581
121891
132231
142601
153001
163431
173891
184381
194901
205451
216031
226641
237281
247951
258651
269381
2710141
2810931
2911751
3012601
3113481
3214391
3315331
3416301
3517301
3618331
3719391
3820481
3921601
4022751
4123931
4225141
4326381
4427651
4528951
4630281
4731641
4833031
4934451
5035901
5137381
5238891
5340431
5442001
5543601
5645231
5746891
5848581
done50001
089
1159
2219
3399
4799
51859
65629
719799
done50009
01011
11611
22111
33911
47911
519011
657111
7198811
done500111
01011
11711
22311
34111
48111
519211
656811
7197711
done500011
01112
11712
22212
34012
48012
518412
655812
7196412
done500012
01112
11812
22412
34212
48212
518612
655612
7196412
done500112
033
191
2121
3181
4251
5351
6481
7641
8831
91051
101301
111581
121891
132231
142601
153001
163431
173891
184381
194901
205451
216031
226641
237281
247951
258651
269381
2710141
2810931
2911751
3012601
3113481
3214391
3315331
3416301
3517301
3618331
3719391
3820481
3921601
4022751
4123931
4225141
4326381
4427651
4528951
4630281
4731641
4833031
4934451
5035901
5137381
5238891
5340431
5442001
5543601
5645231
5746891
5848581
done50001
089
1159
2219
3399
4799
51859
65629
719799
done50009
0910
11810
22710
35010
411610
532110
6111110
done500010
0910
11610
22410
34710
410210
526810
688010
7367710
done500110
01021
11721
22321
34121
48121
518821
655821
7197221
done500021
0910
11610
22210
34010
48010
518410
656210
7196910
done500010
01029
12021
24211
39711
425111
580711
6367411
done500011
0910
11610
22310
34110
48110
518910
656410
7196810
done500110
0910
11610
22310
34110
48110
518910
656410
7196810
done500110
01011
11611
22511
34611
49611
523211
674011
7257211
done500111
01011
11611
22511
34611
49611
523211
674011
7257211
done500111
055
1135
2145
done145
077
197
done97
066
1176
2196
done196
066
1166
2266
3436
4766
51886
65046
716716
done50006
0917
12917
21109
33739
413037
541527
done50017
0713
11513
21613
done1613
066
1146
2156
done156
0717
12517
2977
33527
48207
522257
done50007
066
1146
2156
done156
066
1146
2156
done156
077
197
done97
077
197
done97
033
143
done43
033
143
done43
033
143
done43
033
143
done43
0711
11111
21311
done1311
066
186
done86
033
161
done61
033
161
done61
066
1146
2156
done156
066
1146
2156
done156
055
1135
2145
done145
089
1299
2639
31059
41949
54779
615239
done50009
079
1139
2309
3769
41599
52459
64009
77719
833759
done50009
01619
13018
25017
38917
418317
543617
6152517
done500117
01518
13217
25217
39617
419317
545917
6162617
done500117
01417
12817
24217
36917
412617
530717
6111617
7480417
done500017
01417
13117
25517
310217
420317
552217
6195817
done500117
01535
12935
24335
37035
412735
530835
6110535
7493335
done500035
01417
12817
24217
36917
412617
530717
6111617
7480417
done500017
01550
14250
211018
342918
4233818
done500018
01417
12817
24217
36917
412617
530717
6111617
7480417
done500017
01417
12817
24217
36917
412617
530717
6111617
7480417
done500017
01620
14020
28320
319320
456020
5198420
done500020
01750
13835
28935
325335
487535
5345135
done500035
01533
13325
26825
317725
456925
5208625
done500125
01316
12816
24316
37416
412116
523816
666316
7263516
done500116
01316
12716
24116
36816
412516
531216
6112016
7486116
done500016
01316
12716
24116
36816
412516
531216
6112016
7486116
done500016
01011
11811
22411
34211
48211
519311
658211
7199311
done500011
01011
11811
22411
34211
48211
519311
658211
7199311
done500011
01011
11811
22411
34211
48211
519311
658211
7199311
done500011
011
131
done31
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
02235
15930
210720
326517
491415
5297314
done500114
01010
1219
2378
3758
41485
53115
67015
721965
done50005
01111
11911
23611
37711
41688
53918
68897
725645
done50005
067
197
2135
3155
done155
067
197
2135
3155
done155
067
197
2135
3155
done155
01112
12412
24812
35912
47112
510212
616512
729012
852412
9145712
done500012
01215
13213
26911
314211
42629
53649
65899
78229
810959
920289
done50019
01215
13213
26911
314211
42629
53649
65899
78229
810959
920289
done50019

prune205.0ms

Filtered
63 candidates to 82 candidates (-30.2%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New78482
Fresh000
Picked101
Done000
Total79483

Merged error: 0.8b

Counts
83 → 4

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
0.0b
(pow (- (/ (+ m n) 2.0) M) 2.0)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
add-sqr-sqrt
add-log-exp
unpow-prod-down
add-cube-cbrt
pow1 add-exp-log pow-unpow
associate-+r+ sum-log add-cbrt-cube distribute-lft-out distribute-lft-out-- difference-of-squares
+-commutative pow-to-exp associate-+r- sub-neg pow-pow flip3-+ times-frac diff-log pow-exp flip-+ sqr-pow
Counts
2 → 37
Calls
2 calls:
20.0ms
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
12.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

series97.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
51.0ms
(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify4.7min

Counts
43 → 43
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
0910
11310
21410
done1410
0910
11310
21410
done1410
033
161
done61
01013
11713
22513
34913
410813
526813
687813
7335313
done500013
0910
11610
22210
34010
48010
518810
657110
7219710
done500010
099
1197
2277
3387
4607
51247
63327
712587
done50007
01019
11719
22319
34119
48119
519219
656819
7197719
done500019
0910
11610
22210
34010
48010
518810
657110
7199010
done500010
0910
11610
22210
34010
48010
518810
657110
7199010
done500010
0910
11610
22210
34010
48010
518810
657110
7199010
done500010
033
191
2121
3181
4251
5351
6481
7641
8831
91051
101301
111581
121891
132231
142601
153001
163431
173891
184381
194901
205451
216031
226641
237281
247951
258651
269381
2710141
2810931
2911751
3012601
3113481
3214391
3315331
3416301
3517301
3618331
3719391
3820481
3921601
4022751
4123931
4225141
4326381
4427651
4528951
4630281
4731641
4833031
4934451
5035901
5137381
5238891
5340431
5442001
5543601
5645231
5746891
5848581
done50001
089
1159
2219
3399
4799
51859
65629
719799
done50009
01011
11611
22111
33911
47911
519011
657111
7198811
done500111
01011
11711
22311
34111
48111
519211
656811
7197711
done500011
01112
11712
22212
34012
48012
518412
655812
7196412
done500012
01112
11812
22412
34212
48212
518612
655612
7196412
done500112
033
191
2121
3181
4251
5351
6481
7641
8831
91051
101301
111581
121891
132231
142601
153001
163431
173891
184381
194901
205451
216031
226641
237281
247951
258651
269381
2710141
2810931
2911751
3012601
3113481
3214391
3315331
3416301
3517301
3618331
3719391
3820481
3921601
4022751
4123931
4225141
4326381
4427651
4528951
4630281
4731641
4833031
4934451
5035901
5137381
5238891
5340431
5442001
5543601
5645231
5746891
5848581
done50001
089
1159
2219
3399
4799
51859
65629
719799
done50009
0910
11810
22710
35010
411610
532110
6111110
done500010
0910
11610
22410
34710
410210
526810
688010
7367710
done500110
01021
11721
22321
34121
48121
518821
655821
7197221
done500021
0910
11610
22210
34010
48010
518410
656210
7196910
done500010
01029
12021
24211
39711
425111
580711
6367411
done500011
0910
11610
22310
34110
48110
518910
656410
7196810
done500110
0910
11610
22310
34110
48110
518910
656410
7196810
done500110
01011
11611
22511
34611
49611
523211
674011
7257211
done500111
01011
11611
22511
34611
49611
523211
674011
7257211
done500111
01619
13018
25017
38917
418317
543617
6152517
done500117
01518
13217
25217
39617
419317
545917
6162617
done500117
01417
12817
24217
36917
412617
530717
6111617
7480417
done500017
01417
13117
25517
310217
420317
552217
6195817
done500117
01535
12935
24335
37035
412735
530835
6110535
7493335
done500035
01417
12817
24217
36917
412617
530717
6111617
7480417
done500017
01550
14250
211018
342918
4233818
done500018
01417
12817
24217
36917
412617
530717
6111617
7480417
done500017
01417
12817
24217
36917
412617
530717
6111617
7480417
done500017
01620
14020
28320
319320
456020
5198420
done500020
01750
13835
28935
325335
487535
5345135
done500035
01533
13325
26825
317725
456925
5208625
done500125
01316
12816
24316
37416
412116
523816
666316
7263516
done500116
01316
12716
24116
36816
412516
531216
6112016
7486116
done500016
01316
12716
24116
36816
412516
531216
6112016
7486116
done500016
01011
11811
22411
34211
48211
519311
658211
7199311
done500011
01011
11811
22411
34211
48211
519311
658211
7199311
done500011
01011
11811
22411
34211
48211
519311
658211
7199311
done500011
02235
15930
210720
326517
491415
5297314
done500114
01010
1219
2378
3758
41485
53115
67015
721965
done50005
01111
11911
23611
37711
41688
53918
68897
725645
done50005
01112
12412
24812
35912
47112
510212
616512
729012
852412
9145712
done500012
01215
13213
26911
314211
42629
53649
65899
78229
810959
920289
done50019
01215
13213
26911
314211
42629
53649
65899
78229
810959
920289
done50019

prune104.0ms

Filtered
33 candidates to 43 candidates (-30.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New43043
Fresh033
Picked011
Done000
Total43447

Merged error: 0.8b

Counts
47 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (cos (- (/ (* K (+ m n)) 2.0) M)))
33.5b
(cos (- (/ (* K (+ m n)) 2.0) M))
33.5b
(cos (- (/ (* K (+ m n)) 2.0) M))
33.5b
(cos (- (/ (* K (+ m n)) 2.0) M))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
cos-sum
add-sqr-sqrt add-cube-cbrt *-un-lft-identity
pow1 add-exp-log add-cbrt-cube add-log-exp
cbrt-prod cos-diff sub-neg
pow1/3
Counts
4 → 41
Calls
4 calls:
2.0ms
(cbrt (cos (- (/ (* K (+ m n)) 2.0) M)))
11.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))
15.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))
10.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

series144.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(cbrt (cos (- (/ (* K (+ m n)) 2.0) M)))
25.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))
25.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))
24.0ms
(cos (- (/ (* K (+ m n)) 2.0) M))

simplify38.0s

Counts
53 → 53
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01212
12411
22911
34011
44311
54911
65311
75911
86111
done6111
01212
12512
23412
34812
45112
55712
66112
76712
86912
done6912
01212
12411
22911
34011
44311
54911
65311
75911
86111
done6111
01212
12512
23412
34812
45112
55712
66112
76712
86912
done6912
01111
12211
22711
33811
44111
54711
65111
75711
85911
done5911
01111
12211
22711
33811
44111
54711
65111
75711
85911
done5911
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01223
12423
23023
34123
45623
56623
67423
78823
813023
920723
1036923
1141323
1244923
1348023
1448123
done48123
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01232
12532
23312
34912
47012
59012
611912
719412
843112
9143412
done500012
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01212
12411
22911
34011
44311
54911
65311
75911
86111
done6111
01212
12512
23412
34812
45112
55712
66112
76712
86912
done6912
01212
12411
22911
34011
44311
54911
65311
75911
86111
done6111
01212
12512
23412
34812
45112
55712
66112
76712
86912
done6912
01111
12211
22711
33811
44111
54711
65111
75711
85911
done5911
01111
12211
22711
33811
44111
54711
65111
75711
85911
done5911
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01223
12423
23023
34123
45623
56623
67423
78823
813023
920723
1036923
1141323
1244923
1348023
1448123
done48123
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01232
12532
23312
34912
47012
59012
611912
719412
843112
9143412
done500012
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01212
12411
22911
34011
44311
54911
65311
75911
86111
done6111
01212
12512
23412
34812
45112
55712
66112
76712
86912
done6912
01212
12411
22911
34011
44311
54911
65311
75911
86111
done6111
01212
12512
23412
34812
45112
55712
66112
76712
86912
done6912
01111
12211
22711
33811
44111
54711
65111
75711
85911
done5911
01111
12211
22711
33811
44111
54711
65111
75711
85911
done5911
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01223
12423
23023
34123
45623
56623
67423
78823
813023
920723
1036923
1141323
1244923
1348023
1448123
done48123
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01232
12532
23312
34912
47012
59012
611912
719412
843112
9143412
done500012
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01212
12412
23012
34112
45612
56612
67412
78812
813012
920712
1036912
1141312
1244912
1348012
1448112
done48112
01212
12412
23012
34112
45612
56612
67412
78812
813012
920712
1036912
1141312
1244912
1348012
1448112
done48112
01324
12524
23124
34224
45724
56724
67524
78924
813124
920824
1037024
1141424
1245024
1348124
1448224
done48224
01212
12412
23012
34112
45612
56612
67412
78812
813012
920712
1036912
1141312
1244912
1348012
1448112
done48112
01212
12412
23012
34112
45612
56612
67412
78812
813012
920712
1036912
1141312
1244912
1348012
1448112
done48112
01212
12412
23012
34112
45612
56612
67412
78812
813012
920712
1036912
1141312
1244912
1348012
1448112
done48112
022
141
done41
01111
12311
22911
34011
45511
56311
67111
78511
812711
920411
1036611
1141011
1244611
1348111
1448211
done48211
01325
12525
23125
34225
45725
56725
67525
78925
813125
920825
1037025
1141425
1245025
1348125
1448225
done48225
01212
12412
23012
34112
45612
56612
67412
78812
813012
920712
1036912
1141312
1244912
1348012
1448112
done48112
01335
12635
23413
35010
47110
59110
612010
719410
844610
9143810
done500110
01212
12412
23012
34112
45612
56612
67412
78812
813012
920712
1036912
1141312
1244912
1348012
1448112
done48112
01212
12412
23012
34112
45612
56612
67412
78812
813012
920712
1036912
1141312
1244912
1348012
1448112
done48112
011
131
done31
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
011
131
done31
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
011
131
done31
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
033
1111
done111
01416
13513
26211
38711
412211
521611
650011
7156711
done500011
01416
13513
26211
38711
412211
521611
650011
7156711
done500011

prune205.0ms

Filtered
44 candidates to 53 candidates (-20.5%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New53053
Fresh022
Picked011
Done011
Total53457

Merged error: 0.8b

Counts
57 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ m n))
0.5b
(cbrt (+ m n))
0.5b
(cbrt (+ m n))
33.6b
(cos (- (/ (* (* K (* (cbrt (+ m n)) (cbrt (+ m n)))) (cbrt (+ m n))) 2.0) M))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
12×cbrt-prod
add-sqr-sqrt add-cube-cbrt
cbrt-div
pow1 add-exp-log add-cbrt-cube add-log-exp
flip3-+ pow1/3 flip-+ distribute-lft-out
cos-sum
cos-diff sub-neg
Counts
4 → 52
Calls
4 calls:
4.0ms
(cbrt (+ m n))
4.0ms
(cbrt (+ m n))
4.0ms
(cbrt (+ m n))
24.0ms
(cos (- (/ (* (* K (* (cbrt (+ m n)) (cbrt (+ m n)))) (cbrt (+ m n))) 2.0) M))

series149.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(cbrt (+ m n))
42.0ms
(cbrt (+ m n))
37.0ms
(cbrt (+ m n))
33.0ms
(cos (- (/ (* (* K (* (cbrt (+ m n)) (cbrt (+ m n)))) (cbrt (+ m n))) 2.0) M))

simplify1.8min

Counts
64 → 64
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01523
12622
24422
37314
411111
516711
621311
735711
881411
9255311
done500011
01523
12723
24923
38115
412012
517612
622612
736612
882612
9257312
done500012
01523
12622
24422
37314
411111
516711
621311
735711
881411
9255311
done500011
01523
12723
24923
38115
412012
517612
622612
736612
882612
9257312
done500012
01422
12422
24222
37114
410911
516511
621311
735311
881511
9254911
done500011
01422
12422
24222
37114
410911
516511
621311
735311
881511
9254911
done500011
01422
12522
24422
37314
411111
516711
622511
737111
883111
9258111
done500011
01422
12522
24422
37314
411111
516711
622511
737111
883111
9258111
done500011
01545
12645
24545
37429
411223
516823
623023
737623
884023
9259123
done500023
01422
12522
24422
37314
411111
516711
622511
737111
883111
9258111
done500011
01565
12765
24823
38115
412212
518412
626312
746112
8112112
9376912
done500112
01422
12522
24422
37314
411111
516711
622511
737111
883111
9258111
done500011
01422
12522
24422
37314
411111
516711
622511
737111
883111
9258111
done500011
055
165
done65
055
165
done65
0610
1710
done710
055
165
done65
055
165
done65
055
165
done65
022
141
done41
044
154
done54
022
141
done41
044
154
done54
078
1218
2308
3478
4888
52088
66138
724418
done50008
0812
11610
23110
34410
46410
58510
610210
712510
816810
923010
1023110
done23110
068
1118
2188
3338
4588
5998
61578
73258
815708
done50008
044
164
274
done74
0611
1711
done711
055
165
done65
0614
1814
2106
3153
4213
5313
6543
71103
83193
912593
done50013
055
165
done65
055
165
done65
055
165
done65
055
165
done65
0610
1710
done710
055
165
done65
055
165
done65
055
165
done65
022
141
done41
044
154
done54
022
141
done41
044
154
done54
078
1218
2308
3478
4888
52088
66138
724418
done50008
0812
11610
23110
34410
46410
58510
610210
712510
816810
923010
1023110
done23110
068
1118
2188
3338
4588
5998
61578
73258
815708
done50008
044
164
274
done74
0611
1711
done711
055
165
done65
0614
1814
2106
3153
4213
5313
6543
71103
83193
912593
done50013
055
165
done65
055
165
done65
055
165
done65
055
165
done65
0610
1710
done710
055
165
done65
055
165
done65
055
165
done65
022
141
done41
044
154
done54
022
141
done41
044
154
done54
078
1218
2308
3478
4888
52088
66138
724418
done50008
0812
11610
23110
34410
46410
58510
610210
712510
816810
923010
1023110
done23110
068
1118
2188
3338
4588
5998
61578
73258
815708
done50008
044
164
274
done74
0611
1711
done711
055
165
done65
0614
1814
2106
3153
4213
5313
6543
71103
83193
912593
done50013
055
165
done65
055
165
done65
011
131
done31
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
01214
12712
24810
36510
47610
510310
617910
732810
845310
950410
1053910
1154110
done54110
02740
16637
215431
348922
4154618
done500018
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
02740
16637
215431
348922
4154618
done500018
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
02740
16637
215431
348922
4154618
done500018
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002

prune128.0ms

Filtered
49 candidates to 64 candidates (-30.6%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New63164
Fresh011
Picked101
Done022
Total64468

Merged error: 0.8b

Counts
68 → 4

regimes389.0ms

Accuracy

0% (0.2b remaining)

Error of 1.5b against oracle of 1.3b and baseline of 1.5b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01619
12019
done2019

end0.0ms

sample1.7s

Algorithm
intervals
Results
901.0ms8065×body80valid
90.0ms179×body640valid
76.0ms120×body1280valid
42.0ms112×body320valid
15.0ms65×body160valid
3.0msbody2560valid

Profiling

Loading profile data...