Details

Time bar (total: 22.3min)

sample61.0ms

Algorithm
intervals
Results
28.0ms388×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01821
13821
211121
330221
4118721
done500021

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- t 1.0) a)
0.0b
(* (- (+ y t) 2.0) b)
0.0b
(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
28×associate-*l/
23×flip3-- flip--
18×add-log-exp
16×add-sqr-sqrt
15×*-un-lft-identity
12×frac-add frac-sub
11×associate-*l*
pow1 add-exp-log add-cube-cbrt add-cbrt-cube
diff-log associate-*r*
sub-neg associate-+l+ associate--l+
sum-log distribute-lft-out--
pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
+-commutative associate--l- associate-+l- flip3-+ flip-+ distribute-lft-out
Counts
4 → 95
Calls
4 calls:
12.0ms
(* (- t 1.0) a)
9.0ms
(* (- (+ y t) 2.0) b)
7.0ms
(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
15.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

series99.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(* (- t 1.0) a)
7.0ms
(* (- (+ y t) 2.0) b)
29.0ms
(- (- x (* (- y 1.0) z)) (* (- t 1.0) a))
55.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

simplify2.7min

Counts
107 → 107
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
02225
14624
212923
332922
4159522
done500122
02124
14623
213522
335722
4157022
done500122
02023
14522
213922
340222
4168122
done500022
01922
13922
211222
330322
4118722
done500022
01922
14222
213022
340122
4166022
done500022
02045
14045
211345
330445
4118845
done500145
01922
13922
211222
330322
4118722
done500022
02065
15365
218623
3105623
done500023
01922
13922
211222
330322
4118722
done500022
01922
13922
211222
330322
4118722
done500022
045123
1155105
2597105
33358103
done5000103
02653
18243
232643
3207741
done500041
041113
114197
253697
3313197
done500097
02241
16833
226633
3160233
done500133
041107
113993
252593
3281291
done500091
02245
17237
228937
3154435
done500135
03797
112585
246485
3257685
done500085
01833
15827
222827
3108127
done500027
04195
113489
250289
3258579
done500079
02237
16333
223833
3139231
done500131
03785
112081
244181
3235573
done500073
01825
14923
217823
393623
4479623
done500023
03779
111877
243077
3212567
done500067
01829
15327
220127
398525
done500025
03269
110069
236269
3188661
done500061
01417
13917
214017
355217
4233417
done500017
03589
111081
240881
3204777
done500177
02459
16851
226351
3132647
done500047
03179
19673
234773
3179771
done500171
02047
15441
220241
390639
done500139
03171
19169
233369
3171553
done500053
02031
15129
217129
378727
done500027
02661
17361
226561
3140047
done500041
01619
13719
211019
340819
4172819
done500119
02125
15525
216125
364325
4360225
done500025
02265
15657
220757
3108651
done500051
02043
14943
217743
384043
4468343
done500043
01821
13921
211921
334821
4140221
done500021
01314
12714
25913
312113
424213
543313
678613
7155213
8228913
9238813
10239213
done239213
01720
13720
29320
321919
472619
5283319
done500019
01720
13720
29320
321919
472619
5283319
done500019
01314
12714
25913
312113
424213
543313
678613
7155213
8228913
9238813
10239213
done239213
01213
12313
25613
313413
429713
556313
6104413
7199813
8260413
9264113
10264413
done264413
01516
12815
27014
315414
448514
5180914
done500114
01415
12814
27414
318314
455814
5222814
done500014
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
01314
12714
27714
320114
460114
5230214
done500114
01429
12529
26229
313329
435429
576829
6129729
7199529
8215029
9215229
done215229
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
01441
12641
27715
327515
4152815
done500215
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
02957
19449
231649
3148749
done500149
01835
15127
218027
377127
4338327
done500027
02549
17843
226543
3130543
done500043
01427
14121
214221
348221
4167221
done500121
02545
17343
224243
3108335
done500035
01419
13217
29217
327317
489717
5324917
done500017
02037
15337
218437
383329
4418525
done500025
01011
12211
25411
312311
430911
570711
6138811
7251711
done500011
01517
14017
212817
349717
4215917
done500017
01641
13935
212635
344333
4177033
done500133
066
1136
2256
3496
4585
5645
6695
done695
01427
13327
211027
338427
4150227
done500027
01213
12213
25213
311313
428913
563413
6105413
7163313
8204413
9207813
done207813
01112
12212
25012
310112
420411
534311
652811
774211
879811
980211
done80211
01112
12212
25012
310112
420411
534311
652811
774211
879811
980211
done80211
01011
11611
23011
34811
48011
512711
619111
735611
859811
968911
1070411
1170611
done70611
066
1136
2256
3496
4585
5645
6695
done695
077
1137
2327
3567
4747
5907
61217
71607
82007
92537
102997
113167
123467
133617
done3617
099
1159
2229
3289
4349
5439
6569
7699
8789
9879
101029
111079
121119
131129
done1129
088
1178
2378
3618
4798
5958
61268
71658
82058
92588
103078
113258
123558
133738
done3738
088
1168
2498
3988
41858
53368
68538
728628
done50008
01123
12323
27911
339111
422219
done50009
0917
11517
23417
35817
47617
59217
612317
716217
820217
925517
1030117
1131817
1234817
1336317
done36317
088
1148
2338
3578
4758
5918
61228
71618
82018
92548
103008
113178
123478
133628
done3628
0923
12523
21099
36149
432469
done50009
088
1148
2338
3578
4758
5918
61228
71618
82018
92548
103008
113178
123478
133628
done3628
088
1148
2338
3578
4758
5918
61228
71618
82018
92548
103008
113178
123478
133628
done3628
099
1159
2229
3289
4349
5439
6569
7699
8789
9879
101029
111079
121119
131129
done1129
099
1159
2229
3289
4349
5439
6569
7699
8789
9879
101029
111079
121119
131129
done1129
0911
11711
23811
39211
413111
516311
621411
728911
839111
953611
1070011
1179411
1281011
done81011
088
1148
2338
3578
4758
5918
61228
71618
82018
92548
103228
113518
123618
done3618
077
1155
2375
3735
41065
51235
61535
71925
82385
92955
103565
113935
124015
134155
done4155
088
1148
2218
3278
4338
5428
6558
7688
8778
9868
101018
111068
121108
131118
done1118
088
1148
2218
3278
4338
5428
6558
7688
8778
9868
101018
111068
121108
131118
done1118
077
1137
2327
3567
4747
5907
61217
71607
82007
92537
102997
113167
123467
133617
done3617
099
1139
2209
3259
4299
done299
077
1137
2327
3567
4747
5907
61217
71607
82007
92537
102997
113167
123467
133617
done3617
077
1137
2327
3567
4747
5907
61217
71607
82007
92537
102997
113167
123467
133617
done3617
01011
12711
27111
320211
455011
5187111
done500011
0913
12213
26413
321513
483713
5230213
done500113
055
185
2155
3205
4245
done245
077
1107
2117
done117
066
1126
2206
3256
4296
done296
066
1116
2296
3486
4916
51746
64256
713176
done50006
0917
11817
2569
31809
46197
523747
done50007
0713
11013
21713
32213
42613
done2613
066
196
2166
3216
4256
done256
0717
12017
2747
32857
48647
527397
done50007
066
196
2166
3216
4256
done256
066
196
2166
3216
4256
done256
077
1107
2117
done117
077
1107
2117
done117
079
1129
2219
3389
4509
5589
done589
066
196
2166
3216
4256
done256
055
1103
2203
3313
4403
5443
done443
066
196
2106
done106
066
196
2106
done106
055
185
2155
3205
4245
done245
077
1107
2177
3227
4267
done267
055
185
2155
3205
4245
done245
089
1249
2529
31319
43089
59809
644879
done50009
079
1139
2309
3769
41599
52459
63959
77649
833639
done50009
089
1149
2209
3267
4287
done287
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
0911
1199
2349
3449
4559
5749
61069
71539
81909
92169
102559
112769
done2769
089
1149
2209
3267
4287
done287
01011
11811
22711
3519
4679
5949
61459
71879
82119
92139
done2139
01011
11811
22711
3519
4679
5949
61459
71879
82119
92139
done2139
0911
1199
2387
3587
4747
5977
61377
72127
82797
93067
103577
114317
124427
done4427
0911
1199
2387
3587
4747
5977
61377
72127
82797
93067
103577
114317
124427
done4427
0911
1199
2387
3587
4747
5977
61377
72127
82797
93067
103577
114317
124427
done4427
067
1107
2195
3235
4245
done245
067
1107
2195
3235
4245
done245
067
1107
2195
3235
4245
done245

prune227.0ms

Filtered
81 candidates to 107 candidates (-32.1%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1025107
Fresh000
Picked101
Done000
Total1035108

Merged error: 0.0b

Counts
108 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite14.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:
7.0ms
(* (cbrt b) (cbrt b))
1.0ms
(cbrt b)
1.0ms
(cbrt b)
1.0ms
(cbrt b)

series109.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (cbrt b) (cbrt b))
26.0ms
(cbrt b)
29.0ms
(cbrt b)
25.0ms
(cbrt b)

simplify51.7s

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
455310
5213910
done50009

prune107.0ms

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

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New85085
Fresh044
Picked011
Done000
Total85590

Merged error: 0.0b

Counts
90 → 5

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))
0.5b
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
102×cbrt-div
85×flip3-- flip--
74×associate-*l/
68×frac-sub
36×frac-times
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
pow1/3
add-exp-log associate-*r/ 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 → 139
Calls
4 calls:
19.0ms
(* (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))
7.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
7.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
10.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

series909.0ms

Counts
4 → 12
Calls
4 calls:
293.0ms
(* (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))
206.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
204.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
205.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

simplify11.4min

Counts
151 → 151
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01530
12630
26330
313430
435530
576730
6130030
7199930
8215130
9215330
done215330
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
022
141
done41
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
03058
19550
231750
3149150
done500050
01936
15228
218128
377328
4338528
done500028
02650
17944
226644
3130444
done500144
01528
14222
214322
348522
4165822
done500122
02646
17444
224344
3108636
done500136
01520
13318
29318
327418
489818
5327518
done500018
02138
15438
218538
383430
4420226
done500026
01112
12312
25512
312412
430512
570312
6139512
7252212
done500112
01618
14118
212918
350318
4218618
done500118
01742
14036
212736
344534
4177834
done500034
01528
13428
211128
338528
4150628
done500028
01314
12314
25314
311414
429014
563514
6103414
7161314
8202414
9206114
done206114
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01544
12744
26616
314213
436913
579713
6134413
7211013
8246813
9345013
done500113
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01530
12630
26330
313430
435530
576730
6130030
7199930
8215130
9215330
done215330
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
022
141
done41
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
03058
19550
231750
3149150
done500050
01936
15228
218128
377328
4338528
done500028
02650
17944
226644
3130444
done500144
01528
14222
214322
348522
4165822
done500122
02646
17444
224344
3108636
done500136
01520
13318
29318
327418
489818
5327518
done500018
02138
15438
218538
383430
4420226
done500026
01112
12312
25512
312412
430512
570312
6139512
7252212
done500112
01618
14118
212918
350318
4218618
done500118
01742
14036
212736
344534
4177834
done500034
01528
13428
211128
338528
4150628
done500028
01314
12314
25314
311414
429014
563514
6103414
7161314
8202414
9206114
done206114
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01544
12744
26616
314213
436913
579713
6134413
7211013
8246813
9345013
done500113
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01530
12630
26330
313430
435530
576730
6130030
7199930
8215130
9215330
done215330
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
022
141
done41
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
03058
19550
231750
3149150
done500050
01936
15228
218128
377328
4338528
done500028
02650
17944
226644
3130444
done500144
01528
14222
214322
348522
4165822
done500122
02646
17444
224344
3108636
done500136
01520
13318
29318
327418
489818
5327518
done500018
02138
15438
218538
383430
4420226
done500026
01112
12312
25512
312412
430512
570312
6139512
7252212
done500112
01618
14118
212918
350318
4218618
done500118
01742
14036
212736
344534
4177834
done500034
01528
13428
211128
338528
4150628
done500028
01314
12314
25314
311414
429014
563514
6103414
7161314
8202414
9206114
done206114
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01544
12744
26616
314213
436913
579713
6134413
7211013
8246813
9345013
done500113
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
023
151
done51
023
161
done61
01327
12427
26727
320727
493527
done500027
01429
12529
26229
313329
435429
576829
6129729
7199529
8215029
9215229
done215229
023
161
done61
01531
12817
26617
313717
435817
577117
6130017
7200717
8215717
9215917
done215917
01530
12830
26717
313917
436017
577017
6129817
7199917
8215517
9215717
done215717
01530
12830
26930
314530
438430
583630
6146430
7253530
8436930
done500030
01327
12427
26727
320727
493527
done500027
01661
12761
26461
313561
435661
577861
6129461
7200261
8216061
9216261
done216261
01530
12630
26330
313430
435530
576730
6130030
7199930
8215130
9215330
done215330
01689
13589
27931
316416
450316
5186516
done500016
01530
12715
26415
313515
435615
577415
6129415
7199815
8215315
9215515
done215515
01530
12715
26415
313515
435615
577415
6129415
7199815
8215315
9215515
done215515
031117
196101
2318101
31496101
done5001101
02073
15357
218257
377157
4335957
done500057
038109
112195
241095
3211995
done500195
02365
16451
223151
395651
4416451
done500151
037105
111995
244095
3220587
done500087
02357
16447
223747
396347
4395647
done500147
04097
112789
244489
3212581
done500181
02449
16541
221741
385641
4354341
done500041
03877
112369
242269
3195169
done500169
03079
18465
229365
3118963
done500163
03887
112079
241079
3184179
done500179
02651
16743
221943
386543
4359843
done500143
038109
112195
241095
3211895
done500095
02365
16451
223151
395851
4416451
done500151
027101
18089
226789
3130789
done500189
01657
14345
214445
348645
4167745
done500045
04097
112789
244489
3216981
done500181
02449
16541
221741
371741
4241641
done500041
03389
110383
237183
3183875
done500075
01941
15435
217935
355035
4184435
done500035
03469
110663
237463
3179963
done500063
02671
17459
225559
390357
4334957
done500057
03479
110373
236273
3168973
done500173
02243
15737
218137
358037
4194237
done500037
037105
111995
244095
3220087
done500187
02357
16447
223747
395947
4394547
done500147
04097
112789
244489
3217181
done500081
02449
16541
221741
371341
4247341
done500041
02793
17589
224489
3108973
done500173
01641
13437
29437
327737
490337
5327037
done500037
03485
110083
234183
3157467
done500167
01933
14531
212531
334431
4107831
5380031
done500031
03465
110163
235063
3162255
done500055
02663
16555
220555
369853
4263353
done500053
03475
19873
233873
3150565
done500065
02235
14833
213133
337033
4117233
5392733
done500033
04097
112789
244489
3213381
done500181
02449
16541
221741
385541
4355041
done500141
03389
110383
237183
3184475
done500175
01941
15435
217935
354835
4184035
done500135
03485
110083
234183
3157467
done500067
01933
14531
212531
334431
4109331
5385031
done500031
02277
15577
218677
383461
4418553
done500053
01225
12425
25625
312525
430725
569925
6141225
7252825
done500025
03057
18457
230257
3138149
done500045
02255
15549
216749
354747
4203047
done500147
02967
17767
228367
3125159
done500155
01827
13827
29327
321827
457027
5134727
6264327
7482727
done500027
03877
112369
242269
3196069
done500069
03079
18465
229365
3119063
done500163
03469
110663
237463
3181763
done500063
02671
17459
225559
390657
4338657
done500057
03465
110163
235063
3161755
done500155
02663
16555
220555
369553
4264453
done500153
03057
18457
230257
3138149
done500045
02255
15549
216749
354647
4203347
done500047
01737
14237
213037
350337
4216937
done500137
01885
14173
212873
344569
4177469
done500069
02147
15747
219047
373947
4311347
done500047
02057
14651
213851
349949
4197549
done500149
03887
112079
241079
3184079
done500179
02651
16743
221943
386543
4362243
done500143
03479
110373
236273
3169773
done500173
02243
15737
218137
357637
4195437
done500037
03475
19873
233873
3150265
done500065
02235
14833
213133
337233
4117533
5391233
done500033
02967
17767
228367
3125259
done500155
01827
13827
29327
321827
456227
5134127
6263227
7479927
done500027
02147
15747
219047
374747
4311847
done500047
02057
14651
213851
349749
4197249
done500149
01657
13557
211257
338657
4150857
done500057
01429
12429
25429
311529
429129
563129
6104029
7161829
8203029
9206429
done206429
01661
12761
26461
313561
435661
577861
6129461
7200261
8216061
9216261
done216261
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
035
153
done51
01429
12529
26229
313329
435429
576829
6129729
7199529
8215029
9215229
done215229
01663
13163
27033
315017
438617
583317
6143517
7235617
8340317
done500017
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01531
12614
26414
313514
435614
577414
6130014
7200914
8216314
9216514
done216514
01531
12614
26414
313514
435614
577414
6130014
7200914
8216314
9216514
done216514
023
141
done41
01429
12529
26229
313329
435429
576829
6129729
7199529
8215029
9215229
done215229
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01731
12931
26631
313731
435831
577331
6131131
7201531
8216931
9217131
done217131
01731
12931
26631
313731
435831
577331
6131131
7201531
8216931
9217131
done217131
01731
12931
26631
313731
435831
577331
6131131
7201531
8216931
9217131
done217131
01731
12931
26631
313731
435831
577331
6131131
7201531
8216931
9217131
done217131
01531
12614
26414
313514
435614
577414
6130014
7200914
8216314
9216514
done216514
01531
12614
26414
313514
435614
577414
6130014
7200914
8216314
9216514
done216514
033
151
done51
033
161
done61
01645
12845
26545
313645
435745
577545
6130245
7200545
8215845
9216045
done216045
01630
12830
26530
313630
435730
577530
6130230
7200530
8215830
9216030
done216030
01617
13016
26716
313814
436214
577614
6130714
7200814
8216514
9216714
done216714
01646
13046
26946
314046
436146
578446
6129346
7199446
8215346
9215546
done215546
01530
12730
26430
313530
435630
577830
6129430
7199930
8215430
9215630
done215630
01516
12914
26914
314014
436114
578214
6128914
7198714
8214314
9214514
done214514
01530
12730
26430
313530
435630
577830
6129430
7199930
8215430
9215630
done215630
01630
12830
26530
313630
435730
577530
6130230
7200530
8215830
9216030
done216030
01429
12529
26229
313329
435429
576829
6129729
7199529
8215029
9215229
done215229
01530
12730
26430
313530
435630
577830
6129430
7199930
8215430
9215630
done215630
01530
12730
26430
313530
435630
577830
6129430
7199930
8215430
9215630
done215630
01429
12529
26229
313329
435429
576829
6129729
7199529
8215029
9215229
done215229
03673
111065
236065
3159765
done500165
03265
19359
231259
3145159
done500159
03261
18859
228859
3125651
done500051
02753
16753
223353
3101345
done500141
01933
14933
215233
357033
4246533
done500033
01843
14143
213243
346943
4209943
done500043
03673
111065
236065
3159365
done500165
03265
19359
231259
3145059
done500059
03261
18859
228859
3125851
done500151
02753
16753
223353
3101445
done500041
01933
14933
215233
357333
4246033
done500033
01843
14143
213243
346943
4209643
done500043
02238
14938
29338
318325
441619
5115717
6433017
done500017
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
02238
14938
29338
318325
441619
5115717
6433017
done500017
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
02238
14938
29338
318325
441619
5115717
6433017
done500017
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
02236
14836
29336
317621
439617
5115416
6384215
done500015
01112
12210
2468
31315
42863
56173
619803
done50013
01517
13116
26614
318911
455310
5213910
done50009

prune747.0ms

Filtered
126 candidates to 151 candidates (-19.8%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1501151
Fresh033
Picked101
Done011
Total1515156

Merged error: 0b

Counts
156 → 5

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
0.5b
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-div
20×flip3-- flip--
16×associate-*l/ frac-sub
12×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 → 68
Calls
4 calls:
7.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
7.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
7.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
13.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

series829.0ms

Counts
4 → 12
Calls
4 calls:
208.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
207.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
207.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))
208.0ms
(cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))

simplify7.2min

Counts
80 → 80
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01530
12630
26330
313430
435530
576730
6130030
7199930
8215130
9215330
done215330
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
022
141
done41
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
03058
19550
231750
3149150
done500050
01936
15228
218128
377328
4338528
done500028
02650
17944
226644
3130444
done500144
01528
14222
214322
348522
4165822
done500122
02646
17444
224344
3108636
done500136
01520
13318
29318
327418
489818
5327518
done500018
02138
15438
218538
383430
4420226
done500026
01112
12312
25512
312412
430512
570312
6139512
7252212
done500112
01618
14118
212918
350318
4218618
done500118
01742
14036
212736
344534
4177834
done500034
01528
13428
211128
338528
4150628
done500028
01314
12314
25314
311414
429014
563514
6103414
7161314
8202414
9206114
done206114
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01544
12744
26616
314213
436913
579713
6134413
7211013
8246813
9345013
done500113
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01530
12630
26330
313430
435530
576730
6130030
7199930
8215130
9215330
done215330
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
022
141
done41
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
03058
19550
231750
3149150
done500050
01936
15228
218128
377328
4338528
done500028
02650
17944
226644
3130444
done500144
01528
14222
214322
348522
4165822
done500122
02646
17444
224344
3108636
done500136
01520
13318
29318
327418
489818
5327518
done500018
02138
15438
218538
383430
4420226
done500026
01112
12312
25512
312412
430512
570312
6139512
7252212
done500112
01618
14118
212918
350318
4218618
done500118
01742
14036
212736
344534
4177834
done500034
01528
13428
211128
338528
4150628
done500028
01314
12314
25314
311414
429014
563514
6103414
7161314
8202414
9206114
done206114
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01544
12744
26616
314213
436913
579713
6134413
7211013
8246813
9345013
done500113
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01530
12630
26330
313430
435530
576730
6130030
7199930
8215130
9215330
done215330
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
022
141
done41
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
03058
19550
231750
3149150
done500050
01936
15228
218128
377328
4338528
done500028
02650
17944
226644
3130444
done500144
01528
14222
214322
348522
4165822
done500122
02646
17444
224344
3108636
done500136
01520
13318
29318
327418
489818
5327518
done500018
02138
15438
218538
383430
4420226
done500026
01112
12312
25512
312412
430512
570312
6139512
7252212
done500112
01618
14118
212918
350318
4218618
done500118
01742
14036
212736
344534
4177834
done500034
01528
13428
211128
338528
4150628
done500028
01314
12314
25314
311414
429014
563514
6103414
7161314
8202414
9206114
done206114
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01544
12744
26616
314213
436913
579713
6134413
7211013
8246813
9345013
done500113
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01530
12630
26330
313430
435530
576730
6130030
7199930
8215130
9215330
done215330
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
022
141
done41
01314
12414
26114
313214
435314
576714
6129114
7199614
8214814
9215014
done215014
03058
19550
231750
3149150
done500050
01936
15228
218128
377328
4338528
done500028
02650
17944
226644
3130444
done500144
01528
14222
214322
348522
4165822
done500122
02646
17444
224344
3108636
done500136
01520
13318
29318
327418
489818
5327518
done500018
02138
15438
218538
383430
4420226
done500026
01112
12312
25512
312412
430512
570312
6139512
7252212
done500112
01618
14118
212918
350318
4218618
done500118
01742
14036
212736
344534
4177834
done500034
01528
13428
211128
338528
4150628
done500028
01314
12314
25314
311414
429014
563514
6103414
7161314
8202414
9206114
done206114
01531
12631
26331
313431
435531
576731
6130031
7199931
8215131
9215331
done215331
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01544
12744
26616
314213
436913
579713
6134413
7211013
8246813
9345013
done500113
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
01415
12515
26215
313315
435415
576815
6129715
7199515
8215015
9215215
done215215
02238
14938
29338
318325
441619
5115717
6433017
done500017
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
02238
14938
29338
318325
441619
5115717
6433017
done500017
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
02238
14938
29338
318325
441619
5115717
6433017
done500017
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002
02238
14938
29338
318325
441619
5115717
6433017
done500017
0910
1198
2355
3722
41262
52642
65682
716352
done50002
01213
12312
24011
39510
42279
55467
612046
734602
done50002

prune463.0ms

Filtered
68 candidates to 80 candidates (-17.6%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New80080
Fresh033
Picked011
Done011
Total80585

Merged error: 0b

Counts
85 → 5

regimes506.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02128
12728
done2728

end0.0ms

sample1.7s

Algorithm
intervals
Results
794.0ms12610×body80valid
0.0msbody640valid
0.0msbody160valid
0.0msbody1280valid

Profiling

Loading profile data...