Details

Time bar (total: 19.8min)

sample19.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01417
12217
23317
34817
45617
56217
68417
711217
814017
916317
1020517
1125117
1226117
1327817
1431417
1540417
1663417
1784417
1898517
19109017
20116017
21123517
22125117
23125617
done125617

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

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.0b
(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
0.0b
(* (+ 0.99229 (* x 0.04481)) x)
15.1b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
10×times-frac
add-exp-log add-cbrt-cube add-log-exp
pow1
flip3-+ flip-+
associate-*r* associate-*l* associate-/r* associate-/l*
associate-*l/ associate-/r/ associate-/l/ difference-of-squares
cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- unswap-sqr
Counts
4 → 77
Calls
4 calls:
10.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
3.0ms
(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
6.0ms
(* (+ 0.99229 (* x 0.04481)) x)
8.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series24.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
4.0ms
(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
7.0ms
(* (+ 0.99229 (* x 0.04481)) x)
5.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify4.8min

Counts
89 → 89
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01517
12317
23217
34317
done4317
01416
12316
23316
34516
done4516
01416
12016
22816
33916
44116
done4116
01747
15647
218819
365417
4253517
done500117
01533
12133
22933
34033
done4033
01416
12016
22816
33916
44116
done4116
01547
12847
26817
316717
446017
5144817
done500217
01416
12016
22816
33916
44116
done4116
01416
12016
22816
33916
44116
done4116
066
1116
2196
3206
done206
0910
11610
23210
36410
412410
514210
616510
723010
831310
932210
1032810
done32810
01735
12935
24635
36335
done6335
01517
12117
22917
34017
44217
done4217
01624
12424
23424
34624
45024
done5024
01517
12117
22917
34017
44217
done4217
0915
11513
22113
32613
done2613
01416
12016
22816
33916
44116
done4116
01628
12428
23228
34328
done4328
01517
12117
22917
34017
44217
done4217
01517
12117
22917
34017
44217
done4217
01517
12117
22917
34017
44217
done4217
088
1126
2146
done146
01416
12016
22816
33916
44116
done4116
01223
12023
22823
33923
44123
done4123
01416
12016
22816
33916
44116
done4116
01112
11712
22512
33612
done3612
01416
12016
22816
33916
44116
done4116
023
141
done41
01315
11915
22715
33815
done3815
01011
11611
22411
33511
43711
done3711
01315
11915
22715
33815
done3815
01527
12327
23127
34227
done4227
01416
12016
22816
33916
44116
done4116
077
1115
2135
done135
01416
12016
22816
33916
44116
done4116
01416
12016
22816
33916
44116
done4116
01315
11915
22715
33815
done3815
01619
13819
28419
324319
474219
5210719
done500019
01525
13225
28825
327825
480825
5213025
done500125
01727
14623
213523
344223
4183123
done500123
01315
12115
25015
312215
442415
5106315
6214715
7376615
done500115
067
197
2177
3207
done207
089
1119
done119
078
1138
2228
3258
done258
078
1128
2308
3488
4838
51738
64568
713278
848158
done50008
01023
13123
210711
337011
413949
done50029
0817
11117
21917
32217
done2217
078
1108
2188
3218
done218
0823
12123
2829
33119
48729
523339
done50019
078
1108
2188
3218
done218
078
1108
2188
3218
done218
089
1119
done119
089
1119
done119
0811
11311
22311
34311
46111
56311
done6311
078
1108
2188
3268
4308
done308
077
1125
2235
3395
4535
done535
078
1108
done108
078
1108
done108
067
197
2177
3207
done207
0911
12811
27411
318611
442511
5122211
done500011
0813
12213
26213
316113
431813
551013
675613
7129213
8444713
done500013
01011
11810
23710
36710
413210
526210
669310
7221810
done500010
0910
11310
22110
33210
done3210
0910
11610
22910
35510
49710
517210
645610
7147710
done500010
01021
11421
22221
33321
done3321
0910
11310
22110
33210
done3210
01029
12729
28311
332811
4155211
done500011
0910
11310
22110
33210
done3210
0910
11310
22110
33210
done3210
01113
13113
27713
324813
478013
5216113
done500013
01229
13221
210621
332621
485521
5200521
done500021
01019
12519
27919
326819
479319
5212519
done500019
089
1139
2289
3519
4959
51059
61249
71799
82719
92839
102849
done2849
01619
12418
23418
35018
46118
57518
68518
712918
818818
928318
1041218
1177318
12248418
done500018
01518
12318
23418
34918
45718
56318
68518
711318
814118
916418
1020618
1125218
1226218
1327918
1431518
1540518
1664118
1784818
1898718
19109418
20117018
21125318
22128618
23131618
24140418
25176718
26289018
done500018
01518
12618
23918
35718
47118
58118
612518
718418
828118
941018
1077018
11247118
done500118
01637
12437
23537
35037
45837
56437
68637
711437
814237
916537
1020737
1125337
1226337
1328037
1431637
1540637
1664037
1785437
1899737
19110537
20117537
21125237
22126837
23127337
done127337
01518
12318
23418
34918
45718
56318
68518
711318
814118
916418
1020618
1125218
1226218
1327918
1431518
1540518
1664118
1784818
1898718
19109218
20116218
21123718
22125318
23125818
done125818
01653
12553
25019
311519
430319
5103619
6395619
done500019
01518
12318
23418
34918
45718
56318
68518
711318
814118
916418
1020618
1125218
1226218
1327918
1431518
1540518
1664118
1784818
1898718
19109218
20116218
21123718
22125318
23125818
done125818
01518
12318
23418
34918
45718
56318
68518
711318
814118
916418
1020618
1125218
1226218
1327918
1431518
1540518
1664118
1784818
1898718
19109218
20116218
21123718
22125318
23125818
done125818
01721
14121
29121
325921
492121
5377521
done500021
01853
13737
27937
312637
425937
562837
6167037
7488137
done500037
01416
12216
23416
35316
45916
57316
68716
79516
done9516
01635
13135
26235
313035
430235
576135
6212935
done500035
01417
12117
22917
34017
done4017
01619
12319
23119
34219
44619
done4619
01619
12419
23319
34419
44819
done4819
01720
12420
23220
34320
44720
done4720
01720
12520
23620
34720
45120
done5120
01417
12217
23317
34817
45617
56217
68417
711217
814017
916317
1020517
1125117
1226117
1327817
1431417
1540417
1663417
1784417
1898517
19109017
20116017
21123517
22125117
23125617
done125617
01416
12216
23416
35316
45916
57316
68716
79516
done9516
01011
12211
25111
36211
4829
51209
61899
73139
85499
914949
done50009
01721
14321
210715
326915
486515
5282513
done500113
01721
14321
210715
326915
486515
5282513
done500113
089
1169
2329
3379
4477
5597
6817
71427
83537
912817
done50007
089
1169
2329
3379
4477
5597
6817
71427
83537
912817
done50007
089
1169
2329
3379
4477
5597
6817
71427
83537
912817
done50007
01011
12111
24311
35011
4609
5729
6949
71519
83629
912969
done50009
01011
12111
24311
35011
4609
5729
6949
71519
83629
912969
done50009
01011
12111
24311
35011
4609
5729
6949
71519
83629
912969
done50009
01011
12211
24711
37411
41109
51419
62069
73469
85959
915309
done50009
01215
12915
26511
312011
425311
57159
636379
done50009
01215
12915
26511
312011
425311
57159
636379
done50009

prune158.0ms

Filtered
70 candidates to 89 candidates (-27.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New87289
Fresh000
Picked011
Done000
Total87390

Merged error: 0.0b

Counts
90 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

7.5b
(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
15.4b
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.4b
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.4b
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-div
16×add-exp-log
15×flip3-+ flip-+
cbrt-prod
frac-times associate-/r/ add-cbrt-cube associate-/l/
add-sqr-sqrt add-cube-cbrt *-un-lft-identity
pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ prod-exp cbrt-unprod add-log-exp
pow1/3
frac-2neg times-frac clear-num associate-/r* div-inv associate-/l*
Counts
4 → 76
Calls
4 calls:
18.0ms
(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
3.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series44.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
10.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
10.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
10.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify1.8min

Counts
88 → 88
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01122
11522
22322
33422
done3422
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
022
141
done41
0910
11310
22110
33210
done3210
01214
13214
27814
325014
477414
5220514
done500014
01330
13322
210722
332722
485522
5200422
done500022
01120
12620
28020
326920
479520
5211020
done500020
0910
11410
22910
35210
49610
510410
612310
717810
827010
928210
1028310
done28310
01123
11523
22323
33423
done3423
01011
11411
22211
33311
done3311
01132
11632
22612
3429
4489
5589
6799
71399
83519
912799
done50009
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01122
11522
22322
33422
done3422
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
022
141
done41
0910
11310
22110
33210
done3210
01214
13214
27814
325014
477414
5220514
done500014
01330
13322
210722
332722
485522
5200422
done500022
01120
12620
28020
326920
479520
5211020
done500020
0910
11410
22910
35210
49610
510410
612310
717810
827010
928210
1028310
done28310
01123
11523
22323
33423
done3423
01011
11411
22211
33311
done3311
01132
11632
22612
3429
4489
5589
6799
71399
83519
912799
done50009
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01122
11522
22322
33422
done3422
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
022
141
done41
0910
11310
22110
33210
done3210
01214
13214
27814
325014
477414
5220514
done500014
01330
13322
210722
332722
485522
5200422
done500022
01120
12620
28020
326920
479520
5211020
done500020
0910
11410
22910
35210
49610
510410
612310
717810
827010
928210
1028310
done28310
01123
11523
22323
33423
done3423
01011
11411
22211
33311
done3311
01132
11632
22612
3429
4489
5589
6799
71399
83519
912799
done50009
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01939
13423
25921
38821
411121
514421
620221
724521
825321
done25321
01938
13332
25223
38221
410521
513621
620321
724321
826421
926521
done26521
01938
13328
25823
38921
410721
513821
618221
725121
826721
done26721
01937
13137
25123
38221
410021
512521
617021
723221
826021
926221
done26221
01836
13336
26236
310220
414120
517620
623020
727220
830920
931220
done31220
01836
13036
24936
37236
48436
511636
619636
741436
8172836
done500036
01531
13931
29831
326531
471331
5229431
done500031
01877
14577
211935
330624
467424
5198824
done500124
01861
14561
212135
335828
4103028
5333628
done500028
021107
150107
219239
399621
4351821
done500021
01973
13173
24873
36573
46773
done6773
01836
13036
24736
36436
done6436
019107
138107
212437
351037
4189619
5443419
done500019
01836
13036
24818
36518
46718
done6718
01836
13036
24818
36518
46718
done6718
0814
11314
done1314
01122
11822
22622
33722
43922
done3922
01517
12117
22917
34017
44217
done4217
01517
12117
22917
34017
44217
done4217
01223
12023
22823
33923
44123
done4123
01735
12935
24635
36335
46535
done6535
01624
12424
23424
34624
45024
done5024
01628
12428
23428
34628
done4628
02043
14843
210343
327643
478143
5217143
done500043
02449
16449
216649
351749
4148949
5467249
done500049
02449
16449
216649
351149
4149049
5466149
done500049
01955
14255
210555
329855
482855
5215555
done500055
02239
15339
211239
330039
480639
5224339
done500039
02145
14645
211245
331345
484045
5216945
done500145
02239
15339
211239
330039
481039
5217739
done500139
02145
14645
211245
331145
484045
5217345
done500045
02159
15051
211151
317451
420851
522951
625051
730351
845051
971351
1077351
1178551
1281151
1384651
1486851
1590051
1693151
1794551
1894851
done94851
02347
15343
212143
319343
422243
524243
626343
731643
846343
972643
1078543
1179743
1282343
1386143
1488343
1591543
1694643
1796043
1896343
done96343
02347
15343
212143
319043
422043
524043
626143
731443
846143
972443
1078443
1179643
1282243
1386043
1488243
1591443
1694543
1795943
1896043
done96043
01735
13135
25735
37035
47235
done7235
02040
14536
29736
316036
419436
521536
623636
728936
843636
969936
1075836
1177236
1279836
1383536
1485736
1588936
1692036
1793436
1893736
done93736
01628
12628
24328
35428
45628
done5628
02040
14536
29736
316036
419436
521536
623636
728936
843636
969936
1075836
1177236
1279836
1383536
1485736
1588936
1692036
1793436
1893736
done93736
01628
12628
24328
35428
45628
done5628
02335
16131
219028
363426
4252225
done500125
02771
16667
220067
378645
done500135
02771
16471
219771
353051
4198735
done500135
02335
16131
219028
363426
4252225
done500125
02771
16667
220067
378645
done500135
02771
16471
219771
353051
4198735
done500135
02335
16131
219028
363426
4252225
done500125
02771
16667
220067
378645
done500135
02771
16471
219771
353051
4198735
done500135
02335
16131
218030
355927
4222826
done500026
02771
17167
219867
386245
done500035
02771
16971
219571
355945
4243237
done500037

prune458.0ms

Filtered
79 candidates to 88 candidates (-11.4%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New87188
Fresh011
Picked011
Done011
Total87491

Merged error: 0b

Counts
91 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

1.1b
(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6)
15.4b
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.4b
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.7b
(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
124×cbrt-prod
84×unpow-prod-down
72×times-frac
58×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
cbrt-div
add-exp-log
pow1
flip3-+ associate-/r/ add-cbrt-cube flip-+ add-log-exp
pow-unpow pow1/3
pow-exp div-inv sqr-pow
pow-to-exp pow-pow div-exp
Counts
4 → 137
Calls
4 calls:
12.0ms
(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6)
3.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.0ms
(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6))

series57.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6)
10.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
10.0ms
(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.0ms
(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6))

simplify7.3min

Counts
149 → 149
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01921
13021
25021
310421
431121
5213121
done500121
01921
13021
25021
310421
431121
5213121
done500121
02040
13140
25040
310340
427821
5106820
done500020
01921
13021
24721
38321
415721
534321
696520
7364820
done500020
01921
13021
24721
37921
414220
534317
6114416
7490316
done500016
01921
13021
24721
37921
414220
534317
6114416
7490316
done500016
02240
13340
25340
310740
433040
5295940
done500040
02022
13122
25122
310522
429222
5192522
done500022
02129
13229
25229
310629
431229
5235729
done500029
02022
13122
25122
310522
429222
5192522
done500022
01420
12319
23519
37319
422919
583416
625469
done50009
01921
13021
25021
310421
430321
5193221
done500121
02241
13541
25841
313541
458341
done500041
02022
13122
25122
310522
429222
5192522
done500022
02129
13229
25229
310629
431229
5235829
done500129
02022
13122
25122
310522
429222
5192622
done500122
01319
12217
23517
37417
421316
58929
634799
done50009
01921
13021
25021
310421
430321
5193221
done500121
02133
13233
25233
310633
430733
5235233
done500033
02022
13122
25122
310522
429222
5192522
done500022
02022
13122
25122
310522
429222
5192522
done500022
02022
13122
25122
310522
429222
5192522
done500022
01313
12212
23412
37212
421812
57206
620016
done50006
01921
13021
25021
310421
430321
5193221
done500121
02134
13434
25734
313434
455434
done500034
02022
13122
25122
310522
429222
5192522
done500022
02022
13122
25122
310522
429222
5192622
done500122
02022
13122
25122
310522
429222
5192622
done500122
01212
12110
23410
3636
41556
55766
623766
done50006
01921
13021
25021
310421
430321
5193221
done500121
01728
12827
24827
39727
424127
586727
6376526
done500026
01921
13021
25021
310421
431121
5212621
done500121
01617
12716
24716
39616
423616
576816
6305212
done500112
01921
13021
25021
310421
431121
5212621
done500121
068
1131
done131
01820
12920
24920
310320
430620
5211420
done500020
01729
13028
25328
312528
444927
5311915
done500015
01921
13021
25021
310421
431121
5212621
done500121
01617
12716
24716
39616
423616
576912
6305312
done500012
01921
13021
25021
310421
431121
5212721
done500021
067
1134
2211
3251
done251
01820
12920
24920
310320
430620
5211420
done500020
02241
13541
26041
314841
474641
done500141
02022
13122
25122
310522
429222
5192522
done500022
02130
13430
25930
314730
471930
done500030
02022
13122
25122
310522
429222
5192522
done500022
01421
12520
24220
310718
438916
523199
done50009
01921
13021
25021
310421
430321
5193221
done500121
02242
13942
27642
321742
4146022
done500122
02022
13122
25122
310522
429222
5192522
done500022
02130
13430
25930
314730
471930
done500028
02022
13122
25122
310522
429222
5192622
done500122
01320
12418
24518
312518
447310
531159
done50019
01921
13021
25021
310421
430321
5193221
done500121
02133
13233
25233
310633
430733
5235333
done500133
02022
13122
25122
310522
429222
5192622
done500122
02022
13122
25122
310522
429222
5192622
done500122
02022
13122
25122
310522
429222
5192622
done500122
01313
12212
23412
37212
421811
57256
634576
done50006
01921
13021
25021
310421
430321
5193321
done500021
02134
13434
25734
313434
455434
done500032
02022
13122
25122
310522
429222
5192622
done500122
02022
13122
25122
310522
429222
5192717
done500017
02022
13122
25122
310522
429222
5192717
done500017
01212
12110
23410
36310
41559
55766
623756
done50016
01921
13021
25021
310421
430321
5193321
done500021
01627
12727
24727
39627
424027
586127
6365126
done500126
01921
13021
25021
310421
431121
5212621
done500121
01516
12616
24616
39516
422716
576116
6302612
done500112
01921
13021
25021
310421
431121
5212621
done500121
067
1136
2246
3551
done551
01820
12920
24920
310320
430620
5211420
done500020
01628
12928
25228
312428
445027
5314015
done500115
01921
13021
25021
310421
431121
5212621
done500121
01516
12616
24616
39516
422716
576212
6302712
done500012
01921
13021
25021
310421
431121
5212721
done500021
056
1121
done121
01820
12920
24920
310320
430620
5211420
done500020
044
1111
done111
01820
12920
24920
310320
430620
5211420
done500020
099
1169
2259
3549
41549
54269
611928
744158
done50008
01415
12515
24515
39415
422415
575515
6312414
done500114
02124
14624
210224
330624
4100824
5424124
done500024
01633
14125
212425
338525
4136125
done500225
02030
14230
210830
333930
4109630
done500030
01213
12213
24613
39813
426813
5102313
6437812
done500012
02042
13142
25142
310542
431042
5212020
done500020
01921
13021
25021
310421
431121
5213121
done500121
01921
13021
25121
310517
431017
5211617
done500117
01921
13021
25121
310517
431017
5211617
done500117
022
141
done41
01820
12920
24920
310320
430620
5211420
done500020
02022
13020
25017
39016
415916
536216
6102816
7441316
done500016
02022
13020
25017
39016
415916
536216
6102816
7441316
done500016
02043
13143
25143
310543
431043
5212043
done500043
01921
13021
25021
310421
431121
5213121
done500121
02062
13262
25322
310919
430619
5214819
done500019
01921
13021
25021
310421
431121
5213121
done500121
01921
13021
25021
310421
431121
5213121
done500121
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01122
11522
22322
33422
done3422
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
022
141
done41
0910
11310
22110
33210
done3210
01214
13214
27814
325014
477414
5220514
done500014
01330
13322
210722
332722
485522
5200422
done500022
01120
12620
28020
326920
479520
5211020
done500020
0910
11410
22910
35210
49610
510410
612310
717810
827010
928210
1028310
done28310
01123
11523
22323
33423
done3423
01011
11411
22211
33311
done3311
01132
11632
22612
3429
4489
5589
6799
71399
83519
912799
done50009
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01122
11522
22322
33422
done3422
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
022
141
done41
0910
11310
22110
33210
done3210
01214
13214
27814
325014
477414
5220514
done500014
01330
13322
210722
332722
485522
5200422
done500022
01120
12620
28020
326920
479520
5211020
done500020
0910
11410
22910
35210
49610
510410
612310
717810
827010
928210
1028310
done28310
01123
11523
22323
33423
done3423
01011
11411
22211
33311
done3311
01132
11632
22612
3429
4489
5589
6799
71399
83519
912799
done50009
01011
11411
22211
33311
done3311
01011
11411
22211
33311
done3311
01921
12821
24321
35921
46421
done6421
01820
12820
23820
35620
46120
56620
done6620
01820
12820
23820
35620
46120
56620
done6620
033
161
done61
01923
12923
24423
37923
413623
528923
689423
7332123
done500023
01820
12820
24120
37020
411220
521920
659720
7219120
done500120
01719
13017
24517
36717
48917
515517
636717
7129117
done500017
01939
13039
24939
310239
427820
5106619
done500119
01820
12920
24620
38220
415420
533820
695620
7371020
done500020
01820
12920
24620
37820
414719
535519
6111815
7481015
done500015
01820
12920
24620
37820
414719
535519
6111815
7481015
done500015
02139
13239
25239
310639
432639
5291339
done500039
01921
13021
25021
310421
429421
5192621
done500121
02028
13128
25128
310528
430928
5234828
done500128
01921
13021
25021
310421
429421
5192621
done500121
01319
12218
23418
37218
422918
583315
625548
done50008
01820
12920
24920
310320
429820
5190920
done500120
02140
13440
25740
313440
458340
done500140
01921
13021
25021
310421
429421
5192621
done500121
02028
13128
25128
310528
430928
5234928
done500028
01921
13021
25021
310421
429421
5192721
done500021
01218
12116
23416
37316
421415
58988
634368
done50008
01820
12920
24920
310320
429820
5190920
done500120
02032
13132
25132
310532
430632
5232332
done500032
01921
13021
25021
310421
429421
5192621
done500121
01921
13021
25021
310421
429421
5192621
done500121
01921
13021
25021
310421
429421
5192621
done500121
01212
12111
23311
37111
421711
57085
620055
done50005
01820
12920
24920
310320
429820
5190920
done500120
02033
13333
25633
313333
455033
done500133
01921
13021
25021
310421
429421
5192621
done500121
01921
13021
25021
310421
429421
5192721
done500021
01921
13021
25021
310421
429421
5192721
done500021
01111
1209
2339
3625
41545
55745
623835
done50015
01820
12920
24920
310320
429820
5190920
done500120
01627
12726
24726
39626
424226
586926
6364725
done500025
01820
12920
24920
310320
430420
5211520
done500020
01516
12615
24615
39515
422915
575915
6299511
done500011
01820
12920
24920
310320
430420
5211520
done500020
057
1121
done121
01719
12819
24819
310219
430319
5212119
done500019
01628
12927
25227
312427
444926
5313717
done500017
01820
12920
24920
310320
430420
5211520
done500020
01516
12615
24615
39515
422915
576014
6299611
done500011
01820
12920
24920
310320
430420
5211620
done500120
056
1123
2201
done201
01719
12819
24819
310219
430319
5212119
done500019
02140
13440
25940
314740
474340
done500040
01921
13021
25021
310421
429421
5192621
done500121
02029
13329
25829
314629
471229
done500129
01921
13021
25021
310421
429421
5192621
done500121
01320
12419
24119
310617
437915
522918
done50018
01820
12920
24920
310320
429820
5190920
done500120
02141
13841
27541
321641
4145921
done500121
01921
13021
25021
310421
429421
5192621
done500121
02029
13329
25829
314629
471229
done500027
01921
13021
25021
310421
429421
5192721
done500021
01219
12317
24417
312417
44679
530658
done50008
01820
12920
24920
310320
429820
5190920
done500120
02032
13132
25132
310532
430632
5232432
done500132
01921
13021
25021
310421
429421
5192721
done500021
01921
13021
25021
310421
429421
5192721
done500021
01921
13021
25021
310421
429421
5192721
done500021
01212
12111
23311
37111
421710
57138
635165
done50005
01820
12920
24920
310320
429820
5191020
done500020
02033
13333
25633
313333
455033
done500131
01921
13021
25021
310421
429421
5192721
done500021
01921
13021
25021
310421
429421
5192819
done500019
01921
13021
25021
310421
429421
5192819
done500019
01111
1209
2339
3629
41548
55745
623825
done50005
01820
12920
24920
310320
429820
5191020
done500020
01526
12626
24626
39526
423526
586426
6362325
done500025
01820
12920
24920
310320
430420
5211520
done500020
01415
12515
24515
39415
422615
575115
6301111
done500011
01820
12920
24920
310320
430420
5211520
done500020
056
1125
2235
3541
4681
5721
done721
01719
12819
24819
310219
430319
5212119
done500019
01527
12827
25127
312327
444926
5314617
done500017
01820
12920
24920
310320
430420
5211520
done500020
01415
12515
24515
39415
422615
575214
6301211
done500011
01820
12920
24920
310320
430420
5211620
done500120
045
1111
done111
01719
12819
24819
310219
430319
5212119
done500019
033
1101
done101
01719
12819
24819
310219
430319
5212119
done500019
088
1158
2248
3538
41518
54178
611798
742948
done50018
01314
12414
24414
39314
422314
574114
6312014
done500114
02023
14523
210123
330723
4101923
5422623
done500023
01532
14024
212324
338424
4135924
done500024
01929
14129
210729
333829
4109229
done500029
01112
12112
24512
39712
426712
5102112
6438012
done500012
01820
13120
25720
312318
440618
5273418
done500018
01820
12920
25120
311420
435720
5244120
done500020
01941
13041
25041
310441
431141
5213119
done500119
01820
12920
24920
310320
430620
5211420
done500020
01959
13439
26821
319821
4115917
done500117
01820
12920
25020
310416
431116
5212916
done500116
01820
12920
25020
310416
431116
5212916
done500116
01921
13019
25019
38915
415815
536115
6102915
7441715
done500015
01921
13019
25019
38915
415815
536115
6102915
7441715
done500015
02335
16131
218030
355927
4222826
done500026
02771
17167
219867
386245
done500035
02771
16971
219571
355945
4243237
done500037
02335
16131
219028
363426
4252225
done500125
02771
16667
220067
378645
done500135
02771
16471
219771
353051
4198735
done500135
02335
16131
219028
363426
4252225
done500125
02771
16667
220067
378645
done500135
02771
16471
219771
353051
4198735
done500135
01621
13721
210921
321221
441417
575417
6127315
7200515
8251315
9436215
done500015
02871
17467
222363
3112745
done500145
02871
17271
221971
376451
done500039

prune687.0ms

Filtered
113 candidates to 149 candidates (-31.9%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1490149
Fresh011
Picked011
Done022
Total1494153

Merged error: 0b

Counts
153 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ 0.99229 (* x 0.04481)) x)
0.2b
(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
1.5b
(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
19.7b
(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
47×pow1
31×add-sqr-sqrt
25×add-exp-log times-frac add-cbrt-cube
24×add-cube-cbrt *-un-lft-identity
22×associate-*l*
19×pow-prod-down
17×associate-*l/
11×prod-exp cbrt-unprod
flip3-+ flip-+
associate-*r* difference-of-squares
frac-times
flip3-- associate-*r/ associate-/r* associate-/r/ pow-sqr pow-prod-up flip-- add-log-exp
*-commutative associate-/l* unswap-sqr
cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in pow-plus div-exp div-inv associate-/l/
pow2 frac-2neg swap-sqr clear-num
Counts
4 → 142
Calls
4 calls:
6.0ms
(* (+ 0.99229 (* x 0.04481)) x)
12.0ms
(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
14.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series30.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(* (+ 0.99229 (* x 0.04481)) x)
4.0ms
(* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))
8.0ms
(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))
11.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify5.8min

Counts
154 → 154
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01735
13835
212235
344617
4169115
done500015
02038
14338
211838
335938
4114519
5309417
done500017
01937
14137
211437
335737
4114318
5308616
done500016
01836
14236
213236
347718
4175716
done500016
01836
14136
213136
347718
4181916
done500016
023107
168107
229841
3185539
done500139
021107
152107
221139
3111439
done500139
01973
14073
212473
344837
4168933
done500133
01836
13936
212336
344818
4168716
done500016
019107
150107
220337
3116019
done500119
01836
13936
212336
344818
4168716
done500016
01836
13936
212336
344818
4168716
done500016
01619
14019
211719
349419
4269619
done500119
01449
14541
217741
385541
done500041
01525
13325
210525
340025
4169625
done500025
01229
13429
212429
355129
4260929
done500029
01937
13837
210337
332437
4106137
5295237
done500037
01937
13837
210337
332437
4106137
5295237
done500037
02038
14138
210738
333038
4106838
5293938
done500038
02038
14138
210738
333038
4106838
5293938
done500038
01627
13627
29927
331927
490827
5244527
done500027
01734
14334
213034
354434
4215734
done500034
01627
13627
29927
331927
490827
5244527
done500027
01734
14334
213034
354434
4215734
done500034
01627
13627
210827
333327
492927
5247127
done500127
01734
14334
213934
355734
4208634
done500034
01627
13627
210827
333327
492927
5247127
done500127
01734
14334
213934
355734
4208634
done500034
01947
14247
211947
339847
4129847
5370947
done500047
01836
13936
211136
336536
4116236
5327936
done500036
01727
13925
210925
333425
496625
5262025
done500025
01836
13736
210836
335136
4115836
5313836
done500136
01836
13736
210836
335136
4115836
5313836
done500136
01937
14037
211837
338337
4128837
5348437
done500037
01937
14037
211837
338337
4128837
5348437
done500037
01836
13936
212336
342418
4153016
done500116
01526
12526
25526
31288
43596
514036
done50006
01937
14037
211837
338337
4128837
5348437
done500037
01937
14037
211837
338337
4128837
5348437
done500037
01836
13936
212336
342418
4153016
done500116
01526
12526
25526
31288
43596
514036
done50006
01836
13936
211736
340636
4144936
5409536
done500036
01836
13936
211736
340636
4144936
5409536
done500036
01735
13835
212235
344617
4169115
done500015
01425
12425
25425
31517
45185
520115
done50015
01735
13835
212235
344617
4169115
done500015
01431
13531
211929
347511
4214111
done500111
01669
15053
221845
3104143
4467043
done500043
01229
12629
28229
327429
490629
5341129
done500129
02039
15639
218139
379639
4456339
done500039
01645
13645
211745
35047
425265
done50005
01315
12115
25015
312615
438815
596915
6225715
7423315
done500015
01727
13627
29427
328727
482527
5216627
done500127
01626
13626
29726
329526
483226
5217726
done500126
01626
13326
28926
327926
481026
5213026
done500026
01977
15777
221629
3100427
done500027
01753
13453
29053
327953
480753
5214353
done500053
01626
13326
28926
327926
481026
5213026
done500026
01777
14177
214027
356927
4238727
done500027
01626
13326
28926
327926
481026
5213026
done500026
01626
13326
28926
327926
481026
5213026
done500026
066
1116
2196
3206
done206
01120
12620
28720
331120
4109819
5389519
done500019
01955
14255
210555
329855
482855
5215555
done500055
01727
13427
28827
327627
480427
5213127
done500127
01834
13734
29334
328234
481234
5214034
done500134
01727
13427
28827
327627
480427
5213127
done500127
0915
11513
22113
32613
done2613
01626
13326
28926
327926
480526
5212926
done500126
01523
12323
23323
34523
44923
done4923
01416
12116
23616
35916
410316
511516
613416
718916
828116
929316
1029416
done29416
01848
13748
29148
327848
480848
5213248
done500048
01727
13427
28827
327627
480427
5213127
done500127
01727
13427
28827
327627
480427
5213127
done500127
01727
13427
28827
327627
480427
5213127
done500127
088
1126
2146
done146
01626
13326
28926
327926
480526
5212926
done500126
01416
12016
22816
33916
44116
done4116
01416
12116
23616
35916
410316
511516
613416
718916
828116
929316
1029416
done29416
01443
13343
28743
327543
480243
5211743
done500043
01626
13326
28726
327626
480626
5212426
done500026
01322
13022
28422
327322
480122
5212822
done500022
01626
13326
28726
327626
480626
5212426
done500026
023
141
done41
01525
13225
28825
327825
480825
5213025
done500125
01011
11611
22411
33511
43711
done3711
01315
12015
23515
35815
410215
511215
613115
718615
827815
929015
1029115
done29115
01221
12921
28521
327721
480621
5213421
done500021
01525
13525
210325
333225
4101025
5287725
done500025
01747
13647
29047
327747
480547
5211947
done500047
01626
13326
28726
327626
480626
5212426
done500026
077
1115
2135
done135
01315
11915
22715
33815
done3815
01626
13626
210426
333326
4101226
5288526
done500026
01626
13626
210426
333326
4101226
5288526
done500026
01525
13525
210325
333225
4101025
5287725
done500025
01829
14929
218819
394519
done500019
01745
14245
214029
365719
4318319
done500019
01937
15833
219933
386933
done500033
01525
13425
211025
341825
4183625
done500025
023
161
done61
023
161
done61
023
161
done61
023
161
done61
0715
11715
25215
314715
429915
548015
666515
791015
8122515
9197815
10465515
done500015
0715
11715
25215
314715
429915
548015
666515
791015
8122515
9197815
10465515
done500015
0715
11715
25215
314715
429915
548015
666515
791015
8122515
9197815
10465515
done500015
0715
11715
25215
314715
429915
548015
666515
791015
8122515
9197815
10465515
done500015
023
161
done61
023
161
done61
0919
11811
23511
33811
done3811
01118
11817
23417
34510
45210
done5210
01118
11817
23417
34510
45210
done5210
0817
11610
23610
34810
45110
done5110
0816
12016
26810
318810
434010
552510
670910
795110
8125610
9200210
10472210
done500010
0816
12016
26816
321216
449416
5112216
6287416
done500016
01147
13947
219223
3103311
done500011
01447
14947
221919
311739
done50009
01447
14947
222519
312769
done50009
0947
12847
215019
38039
440279
done50009
0933
11933
25433
314833
429733
548633
666833
790833
8121433
9197133
10452533
done500033
0816
11816
25316
314816
429916
548016
666016
790216
8119916
9193316
10450016
done500116
0947
12747
213117
37419
435949
done50009
0816
1198
2548
31498
43038
54918
66708
79128
812128
919558
1045438
done50018
0816
1198
2548
31498
43038
54918
66708
79128
812128
919558
1045438
done50018
01023
13623
210823
339423
4212823
done500023
01035
13427
210327
339827
4215127
done500027
01425
14925
215525
356225
4263525
done500025
01123
13219
29319
325219
489519
5224319
done500019
01425
14925
215725
357325
4329125
done500025
01123
13819
211819
340119
4129019
5292519
done500019
0927
12927
210327
349027
4285827
done500027
0611
1911
22211
35511
415411
530011
650311
799811
8143311
9193111
10193711
done193711
0611
11411
23511
38311
411811
515411
619311
720311
done20311
023
done23
033
161
done61
033
161
done61
033
161
done61
033
161
done61
0713
11713
24913
311613
419213
527813
637313
749213
854813
963913
1091913
11194113
done500013
079
1119
2229
3409
4469
5489
6539
7639
8839
91309
102809
118039
1231179
done50019
01219
13819
211219
338819
4172419
done500119
01121
13121
29721
337221
4146721
5375021
done500021
01219
13819
211219
334919
4128319
done500019
01121
13121
29921
334021
4128121
5363621
done500121
067
197
2177
3207
done207
089
1119
done119
078
1138
2228
3258
done258
078
1128
2308
3488
4838
51738
64568
713278
848158
done50008
01023
13123
210711
337011
413949
done50029
0817
11117
21917
32217
done2217
078
1108
2188
3218
done218
0823
12123
2829
33119
48729
523339
done50019
078
1108
2188
3218
done218
078
1108
2188
3218
done218
089
1119
done119
089
1119
done119
0811
11311
22311
34311
46111
56311
done6311
078
1108
2188
3268
4308
done308
077
1125
2235
3395
4535
done535
078
1108
done108
078
1108
done108
067
197
2177
3207
done207
0911
12811
27411
318611
442511
5122211
done500011
0813
12213
26213
316113
431813
551013
675613
7129213
8444713
done500013
01011
12211
25111
36211
4829
51209
61899
73139
85499
914949
done50009
01721
14321
210715
326915
486515
5282513
done500113
01721
14321
210715
326915
486515
5282513
done500113
01011
12111
24311
35011
4609
5729
6949
71519
83629
912969
done50009
01923
15023
211017
327817
487917
5408717
done500117
01923
15023
211017
327817
487917
5408717
done500117
01517
13617
29617
316315
430913
573613
6236413
done500013
01517
13617
29617
316315
430913
573613
6236413
done500013
01517
13617
29617
316315
430913
573613
6236413
done500013
089
1169
2329
3379
4477
5597
6817
71427
83537
912817
done50007
089
1169
2329
3379
4477
5597
6817
71427
83537
912817
done50007
089
1169
2329
3379
4477
5597
6817
71427
83537
912817
done50007

prune371.0ms

Filtered
114 candidates to 154 candidates (-35.1%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1540154
Fresh000
Picked011
Done033
Total1544158

Merged error: 0b

Counts
158 → 4

regimes78.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01417
12017
done2017

end0.0ms

sample527.0ms

Algorithm
intervals
Results
377.0ms8000×body80valid

Profiling

Loading profile data...