Details

Time bar (total: 5.1min)

sample54.0ms

Algorithm
intervals
Results
13.0ms29×body1280valid
12.0ms180×body80valid
8.0ms28×body640valid
3.0ms14×body320valid
1.0msbody160valid

simplify117.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
089
1149
2279
3339
4399
5489
6619
7749
8879
91019
101229
111369
done1369

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (cos y))
0.0b
(sin y)
0.0b
(- (+ x (cos y)) (* z (sin y)))
0.1b
(* z (sin y))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
11×add-log-exp
add-sqr-sqrt *-un-lft-identity
pow1 add-exp-log add-cube-cbrt add-cbrt-cube
associate-*r* associate-*l*
diff-log sum-log
+-commutative sub-neg flip3-- flip3-+ pow-prod-down prod-exp associate--l+ *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
4 → 51
Calls
4 calls:
4.0ms
(+ x (cos y))
2.0ms
(sin y)
7.0ms
(- (+ x (cos y)) (* z (sin y)))
5.0ms
(* z (sin y))

series37.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(+ x (cos y))
2.0ms
(sin y)
15.0ms
(- (+ x (cos y)) (* z (sin y)))
9.0ms
(* z (sin y))

simplify1.1min

Counts
63 → 63
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
044
154
done54
066
176
done76
055
195
2105
done105
055
185
2145
3225
4455
51015
62405
76945
826975
done50015
0814
11514
2408
3798
41376
52596
66546
724576
done50016
0611
1711
done711
055
165
done65
0614
11714
2466
3896
41056
51516
62836
77356
826976
done50006
055
165
done65
055
165
done65
066
176
done76
066
176
done76
069
199
2119
done119
055
165
done65
033
161
done61
055
165
done65
055
165
done65
044
154
done54
01112
11911
23410
36710
415610
538910
6117810
7483510
done500010
01011
11910
23410
37210
415710
538710
6130610
done500010
0910
11510
22810
33410
44010
54910
66210
77510
88810
910210
1012310
1113710
done13710
0910
11810
24310
37710
414610
538710
6136010
done500010
01021
11621
22921
33521
44121
55021
66321
77621
88921
910321
1012421
1113821
done13821
0910
11510
22810
33410
44010
54910
66210
77510
88810
910210
1012310
1113710
done13710
01029
11729
25611
326311
4150311
done500111
0910
11510
22810
33410
44010
54910
66210
77510
88810
910210
1012310
1113710
done13710
0910
11510
22810
33410
44010
54910
66210
77510
88810
910210
1012310
1113710
done13710
01113
13113
210213
333713
486113
5234713
done500013
01229
13624
210024
325324
470024
5174024
6242524
7248024
done248024
055
1105
2125
done125
01019
13019
28519
321119
454819
5158319
done500019
089
1139
2199
done199
067
197
2167
done167
055
1105
2125
done125
033
done33
033
done33
047
done47
033
done33
048
158
274
3124
4184
5284
6494
71084
83164
912364
done50004
033
done33
033
done33
066
195
2105
done105
055
165
done65
055
195
2105
done105
0611
1711
done711
055
165
done65
0614
12014
2526
31176
42766
58476
619136
727076
832046
942686
done50006
055
165
done65
055
165
done65
078
1218
2308
3478
4888
52108
66148
724508
done50008
0814
11611
23111
34411
46411
58511
610211
712511
816811
923011
1023111
done23111
069
1119
2189
3339
4589
5999
61619
73299
816069
done50009
044
164
274
done74
044
154
done54
033
143
done43
044
154
done54
044
154
done54
099
1219
2489
3979
42079
55389
618799
done50019
089
1149
2279
3339
4399
5489
6619
7799
8959
91039
101269
111389
done1389
089
1149
2279
3339
4399
5489
6619
7799
8959
91039
101269
111389
done1389
01113
13013
27213
315813
434613
588013
6325913
done500013
022
done22
022
done22
099
1219
2489
3979
42079
55389
618799
done50019
044
154
done54
044
154
done54

prune98.0ms

Filtered
46 candidates to 63 candidates (-37.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New57663
Fresh000
Picked011
Done000
Total57764

Merged error: 0.0b

Counts
64 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt z) (cbrt z))
0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
pow1/3
add-exp-log swap-sqr associate-*r* associate-*l*
add-cbrt-cube add-log-exp unswap-sqr
pow-prod-down pow-sqr pow-prod-up
pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
6.0ms
(* (cbrt z) (cbrt z))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series115.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (cbrt z) (cbrt z))
32.0ms
(cbrt z)
29.0ms
(cbrt z)
26.0ms
(cbrt z)

simplify51.2s

Counts
85 → 85
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
023
151
done51
023
161
done61
023
done23
035
done35
023
161
done61
047
165
275
done75
046
166
285
395
done95
046
166
2106
3156
4336
5736
61776
75606
822476
done50006
023
done23
0513
done513
046
done46
0517
11317
2207
3343
4533
5873
61513
73353
88323
932263
done50003
046
153
done53
046
153
done53
0513
done513
047
done47
047
done47
047
done47
035
153
done51
035
done35
0515
1915
2119
3205
4355
5615
61315
73485
812555
done50015
047
done47
047
done42
047
done42
023
141
done41
035
done35
047
done47
047
done47
067
177
done77
067
177
done77
067
177
done77
067
177
done77
047
done42
047
done42
033
151
done51
033
161
done61
059
169
done69
056
166
done66
055
184
done84
0510
1810
21010
done1010
046
156
done56
044
172
2102
done102
046
156
done56
056
166
done66
035
done35
046
156
done56
046
156
done56
035
done35
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
01010
1239
2395
3793
41563
53143
68873
729593
done50003
01112
12210
2468
31315
42863
56173
619803
done50013
01517
13116
26614
318911
454810
5214510
done50019

prune98.0ms

Filtered
52 candidates to 85 candidates (-63.5%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New83285
Fresh055
Picked101
Done011
Total84892

Merged error: 0.0b

Counts
92 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt (* (cbrt z) (cbrt z)))
0.6b
(cbrt (* (cbrt z) (cbrt z)))
0.6b
(cbrt (* (cbrt z) (cbrt z)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
cbrt-prod
add-sqr-sqrt add-cube-cbrt *-un-lft-identity
pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 38
Calls
4 calls:
1.0ms
(cbrt z)
5.0ms
(cbrt (* (cbrt z) (cbrt z)))
5.0ms
(cbrt (* (cbrt z) (cbrt z)))
5.0ms
(cbrt (* (cbrt z) (cbrt z)))

series157.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(cbrt z)
43.0ms
(cbrt (* (cbrt z) (cbrt z)))
46.0ms
(cbrt (* (cbrt z) (cbrt z)))
42.0ms
(cbrt (* (cbrt z) (cbrt z)))

simplify42.8s

Counts
50 → 50
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
057
done57
057
done57
033
done33
033
done33
0615
done615
057
done57
0620
1720
298
3145
4205
5305
6535
71185
83245
912435
done50005
057
done57
057
done57
057
done57
057
done57
033
done33
033
done33
0615
done615
057
done57
0620
1720
298
3145
4205
5305
6535
71185
83245
912435
done50005
057
done57
057
done57
057
done57
057
done57
033
done33
033
done33
0615
done615
057
done57
0620
1720
298
3145
4205
5305
6535
71185
83245
912435
done50005
057
done57
057
done57
033
done33
033
done33
046
done46
033
done33
033
done33
033
done33
022
141
done41
022
done22
047
done47
033
done33
048
158
274
3121
4161
5221
6321
7551
81221
93331
1012721
done50001
033
done33
033
done33
01010
1239
2395
3783
41553
53143
68893
729573
done50003
01112
12210
2468
31305
42853
56163
619793
done50013
01719
13817
27515
319913
456911
5221411
done500011
01010
1239
2395
3783
41553
53143
68893
729573
done50003
01112
12210
2468
31305
42853
56163
619793
done50013
01719
13817
27515
319913
456911
5221411
done500011
01010
1239
2395
3783
41553
53143
68893
729573
done50003
01112
12210
2468
31305
42853
56163
619793
done50013
01719
13817
27515
319913
456911
5221411
done500011
088
1207
2285
3502
4872
51742
63602
79112
830822
done50002
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002

prune82.0ms

Filtered
39 candidates to 50 candidates (-28.2%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New50050
Fresh066
Picked011
Done011
Total50858

Merged error: 0.0b

Counts
58 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
0.5b
(cbrt (- (+ x (cos y)) (* z (sin y))))
0.5b
(cbrt (- (+ x (cos y)) (* z (sin y))))
0.5b
(cbrt (- (+ x (cos y)) (* z (sin y))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt *-un-lft-identity
11×pow1
flip3-- pow1/3 flip--
add-exp-log swap-sqr associate-*r* associate-*l*
frac-times add-cbrt-cube add-log-exp unswap-sqr
associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
17.0ms
(* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
6.0ms
(cbrt (- (+ x (cos y)) (* z (sin y))))
6.0ms
(cbrt (- (+ x (cos y)) (* z (sin y))))
6.0ms
(cbrt (- (+ x (cos y)) (* z (sin y))))

series272.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
65.0ms
(cbrt (- (+ x (cos y)) (* z (sin y))))
63.0ms
(cbrt (- (+ x (cos y)) (* z (sin y))))
66.0ms
(cbrt (- (+ x (cos y)) (* z (sin y))))

simplify2.4min

Counts
99 → 99
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01122
11722
23022
33622
44222
55122
66422
77722
89022
910422
1012522
1113922
done13922
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
022
141
done41
0910
11510
22810
33410
44010
54910
66210
77510
88810
910210
1012310
1113710
done13710
01214
13214
210314
335114
487614
5236214
done500014
01330
13725
210125
325425
471725
5173825
6236825
7241825
done241825
01120
13120
28620
321320
455020
5158520
done500020
0910
11410
22010
32210
done2210
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01132
11832
23312
3449
4569
5759
61099
71829
83979
913299
done50009
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01122
11722
23022
33622
44222
55122
66422
77722
89022
910422
1012522
1113922
done13922
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
022
141
done41
0910
11510
22810
33410
44010
54910
66210
77510
88810
910210
1012310
1113710
done13710
01214
13214
210314
335114
487614
5236214
done500014
01330
13725
210125
325425
471725
5173825
6236825
7241825
done241825
01120
13120
28620
321320
455020
5158520
done500020
0910
11410
22010
32210
done2210
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01132
11832
23312
3449
4569
5759
61099
71829
83979
913299
done50009
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01122
11722
23022
33622
44222
55122
66422
77722
89022
910422
1012522
1113922
done13922
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
022
141
done41
0910
11510
22810
33410
44010
54910
66210
77510
88810
910210
1012310
1113710
done13710
01214
13214
210314
335114
487614
5236214
done500014
01330
13725
210125
325425
471725
5173825
6236825
7241825
done241825
01120
13120
28620
321320
455020
5158520
done500020
0910
11410
22010
32210
done2210
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01132
11832
23312
3449
4569
5759
61099
71829
83979
913299
done50009
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
01011
11611
22911
33511
44111
55011
66311
77611
88911
910311
1012411
1113811
done13811
023
151
done51
023
161
done61
0919
11519
24019
315219
453819
5201119
done500119
01021
11621
22921
33521
44121
55021
66321
77621
88921
910321
1012421
1113821
done13821
023
161
done61
01123
11913
23313
33913
44513
55413
66713
78013
89313
910713
1012813
1114213
done14213
01122
11922
23413
34113
44713
55613
66913
78213
89513
910913
1013013
1114413
done14413
01122
11922
23622
34722
47122
512022
623922
762822
8232222
done500022
0919
11519
24019
315219
453819
5201119
done500119
01245
11845
23145
33745
44345
55245
66545
77845
89145
910545
1012645
1114045
done14045
01122
11722
23022
33622
44222
55122
66422
77722
89022
910422
1012522
1113922
done13922
01265
12665
24723
36712
417912
556812
6197312
done500112
01122
11811
23111
33711
44311
55211
66511
77811
89111
910511
1012611
1114011
done14011
01122
11811
23111
33711
44311
55211
66511
77811
89111
910511
1012611
1114011
done14011
01329
13329
210429
334529
486629
5234429
done500129
01461
13851
210251
325751
471251
5177051
6241251
7245351
done245351
01735
15435
217335
352735
4137035
5414535
done500135
01641
14336
211236
328236
476136
5178236
6233336
7238136
done238136
01735
15435
217335
351835
4136335
5415535
done500035
01641
14336
211236
328136
476636
5177036
6233236
7237136
done237136
01241
13241
28741
321441
454941
5158541
done500041
01021
11521
22121
done2121
01245
11845
23145
33745
44345
55245
66545
77845
89145
910545
1012645
1114045
done14045
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
035
153
done51
01021
11621
22921
33521
44121
55021
66321
77621
88921
910321
1012421
1113821
done13821
01247
12247
23925
35413
47513
511013
619413
741713
8132613
done500013
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
01123
11710
23110
33710
44310
55210
66510
77810
89110
910510
1012610
1114010
done14010
01123
11710
23110
33710
44310
55210
66510
77810
89110
910510
1012610
1114010
done14010
023
141
done41
01021
11621
22921
33521
44121
55021
66321
77621
88921
910321
1012421
1113821
done13821
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
01123
11723
23023
33623
44223
55123
66423
77723
89023
910423
1012523
1113923
done13923
01323
12023
23323
33923
44523
55423
66723
78023
89323
910723
1012823
1114223
done14223
01323
12023
23323
33923
44523
55423
66723
78023
89323
910723
1012823
1114223
done14223
01323
12023
23323
33923
44523
55423
66723
78023
89323
910723
1012823
1114223
done14223
01323
12023
23323
33923
44523
55423
66723
78023
89323
910723
1012823
1114223
done14223
01123
11710
23110
33710
44310
55210
66510
77810
89110
910510
1012610
1114010
done14010
01123
11710
23110
33710
44310
55210
66510
77810
89110
910510
1012610
1114010
done14010
033
151
done51
033
161
done61
01233
11933
23233
33833
44433
55333
66633
77933
89233
910633
1012733
1114133
done14133
01222
11922
23222
33822
44422
55322
66622
77922
89222
910622
1012722
1114122
done14122
01213
12112
23412
34010
44910
55810
67110
78410
89710
911110
1013210
1114610
done14610
01234
12134
23634
34234
44834
55734
67034
78334
89634
911034
1013134
1114534
done14534
01122
11822
23122
33722
44322
55222
66522
77822
89122
910522
1012622
1114022
done14022
01112
12010
23610
34210
44810
55710
67010
78310
89610
911010
1013110
1114510
done14510
01122
11822
23122
33722
44322
55222
66522
77822
89122
910522
1012622
1114022
done14022
01222
11922
23222
33822
44422
55322
66622
77922
89222
910622
1012722
1114122
done14122
01021
11621
22921
33521
44121
55021
66321
77621
88921
910321
1012421
1113821
done13821
01122
11822
23122
33722
44322
55222
66522
77822
89122
910522
1012622
1114022
done14022
01122
11822
23122
33722
44322
55222
66522
77822
89122
910522
1012622
1114022
done14022
01021
11621
22921
33521
44121
55021
66321
77621
88921
910321
1012421
1113821
done13821
01525
14025
212325
336525
493425
5244725
done500125
01431
13831
211031
331731
490031
5316131
done500131
01525
14025
212325
337025
493425
5245025
done500025
01431
13831
211031
331831
489631
5311931
done500031
01113
12911
26111
31189
42399
55879
620129
done50009
02350
15744
215735
364226
4442623
done500123
02553
15950
216050
364838
4447723
done500123
01113
12911
26111
31189
42399
55879
620129
done50009
02350
15744
215735
364226
4442623
done500123
02553
15950
216050
364838
4447723
done500123
01113
12911
26111
31189
42399
55879
620129
done50009
02350
15744
215735
364226
4442623
done500123
02553
15950
216050
364838
4447723
done500123
01213
13011
26211
31179
42469
55899
619519
done50009
02556
16050
216944
369835
4458525
done500025
02656
16153
216747
369438
4463429
done500029

prune113.0ms

Filtered
78 candidates to 99 candidates (-26.9%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New98199
Fresh055
Picked011
Done022
Total989107

Merged error: 0b

Counts
107 → 9

regimes321.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1109
done109

end0.0ms

sample1.6s

Algorithm
intervals
Results
444.0ms943×body1280valid
386.0ms5601×body80valid
245.0ms837×body640valid
84.0ms400×body320valid
32.0ms219×body160valid

Profiling

Loading profile data...