Details

Time bar (total: 17.1min)

sample20.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify23.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01417
12817
23717
34117
done4117

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.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*
distribute-rgt-in associate-+r+ distribute-lft-in associate-*r/ 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 → 81
Calls
4 calls:
12.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
3.0ms
(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
6.0ms
(* x (+ 0.99229 (* x 0.04481)))
7.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series24.0ms

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

simplify1.8min

Counts
93 → 93
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01517
12917
23817
34217
done4217
01416
12916
23916
34416
done4416
01416
12616
23416
33816
done3816
01747
16247
220619
379717
4362617
done500017
01533
12733
23533
33933
done3933
01416
12616
23416
33816
done3816
01547
13447
27417
316617
445517
5144117
done500017
01416
12616
23416
33816
done3816
01416
12616
23416
33816
done3816
066
1116
2196
3206
done206
0910
12210
24110
38210
411210
512610
615310
721110
829510
930710
1030810
done30810
01735
13535
25235
36235
done6235
01517
12717
23517
33917
done3917
01624
13024
24024
34524
done4524
01517
12717
23517
33917
done3917
0915
11513
22113
32613
done2613
01416
12616
23416
33816
done3816
01628
13028
23828
34228
done4228
01517
12717
23517
33917
done3917
01517
12717
23517
33917
done3917
01517
12717
23517
33917
done3917
088
1126
2146
done146
01416
12616
23416
33816
done3816
01223
12623
23423
33823
done3823
01416
12616
23416
33816
done3816
01112
12312
23112
33512
done3512
01416
12616
23416
33816
done3816
023
141
done41
01315
12515
23315
33715
done3715
01011
12211
23011
33411
done3411
01315
12515
23315
33715
done3715
01527
12927
23727
34127
done4127
01416
12616
23416
33816
done3816
077
1115
2135
done135
01416
12616
23416
33816
done3816
01416
12616
23416
33816
done3816
01315
12515
23315
33715
done3715
01619
14419
29719
335519
4105619
5300019
done500019
01525
13825
210525
333825
4101925
5264725
done500025
01727
15223
214023
351323
4231223
done500023
01315
12715
25615
315315
451715
5123115
6246515
7479915
done500015
067
1157
2197
done197
089
1119
done119
078
1198
2248
done248
078
1188
2318
3528
4948
52518
67318
725888
done50008
01023
13123
212611
349411
418059
done50009
0817
11717
22117
done2117
078
1168
2208
done208
0823
12723
21019
33879
410599
529939
done50009
078
1168
2208
done208
078
1168
2208
done208
089
1119
done119
089
1119
done119
033
143
done43
045
185
295
done95
033
143
done43
045
165
295
done95
0815
11315
21515
done1515
078
1108
done108
033
161
done61
078
1168
2258
3278
done278
078
1168
2258
3278
done278
067
1157
2197
done197
0911
13411
29711
324311
449311
5144311
done500011
0813
12213
26213
316113
432213
551513
676613
7130513
8446713
done500013
01011
12410
24010
37710
413910
538210
6125610
done500010
0910
11910
22710
33110
done3110
0910
12210
23810
37010
411310
530610
6106010
7449510
done500010
01021
12021
22821
33221
done3221
0910
11910
22710
33110
done3110
01029
13329
210111
347311
4260011
done500011
0910
11910
22710
33110
done3110
0910
11910
22710
33110
done3110
01113
13713
29013
334413
4111113
5304613
done500013
01229
13821
212721
341521
4115121
5293121
done500021
01019
13119
29619
332819
4100619
5264119
done500019
089
1199
2359
3659
4899
51039
61459
72359
82659
done2659
055
175
done75
055
175
done75
01619
13018
24018
34718
45018
55618
66018
77618
88018
98718
1010018
1113118
1217218
1324218
1434118
1555118
1661318
17108818
18471918
done500018
01518
12918
23818
34218
done4218
01518
13218
24318
35018
45618
56018
67618
78018
88718
910018
1013218
1117318
1223818
1333718
1454618
1560818
16108318
17468418
done500018
01637
13037
23937
34337
done4337
01518
12918
23818
34218
done4218
01653
13153
25419
310919
427619
586919
6292119
done500019
01518
12918
23818
34218
done4218
01518
12918
23818
34218
done4218
01721
14721
29421
325221
490421
5421121
done500121
01853
14351
27551
311437
421437
550937
6140637
7440837
done500037
022
done22
01635
13735
26535
311135
423135
559335
6163735
done500035
01417
12717
23517
33917
done3917
01619
12919
23719
34119
done4119
01619
13019
23919
34319
done4319
01720
13020
23820
34220
done4220
01720
13120
24020
34420
done4420
01417
12817
23717
34117
done4117
022
done22
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
25111
36211
4829
51209
61899
73139
85499
914949
done50009
01215
12915
25911
312611
431411
59519
647939
done50009
01215
12915
25911
312611
431411
59519
647939
done50009

prune175.0ms

Filtered
75 candidates to 93 candidates (-24.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New91293
Fresh000
Picked011
Done000
Total91394

Merged error: 0.0b

Counts
94 → 3

localize21.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 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
15.4b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.4b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.4b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite30.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 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
3.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series48.0ms

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

simplify1.8min

Counts
88 → 88
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01122
12122
22922
33322
done3322
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
022
141
done41
0910
11910
22710
33110
done3110
01214
13814
29114
335714
4106914
5303514
done500014
01330
13922
212822
341322
4114522
5292322
done500022
01120
13220
29720
333120
4101220
5264620
done500020
0910
12010
23610
36610
49010
510410
614610
723610
826610
done26610
01123
12123
22923
33323
done3323
01011
12011
22811
33211
done3211
01132
12232
23212
3419
4479
5579
6789
71389
83419
912579
done50009
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01122
12122
22922
33322
done3322
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
022
141
done41
0910
11910
22710
33110
done3110
01214
13814
29114
335714
4106914
5303514
done500014
01330
13922
212822
341322
4114522
5292322
done500022
01120
13220
29720
333120
4101220
5264620
done500020
0910
12010
23610
36610
49010
510410
614610
723610
826610
done26610
01123
12123
22923
33323
done3323
01011
12011
22811
33211
done3211
01132
12232
23212
3419
4479
5579
6789
71389
83419
912579
done50009
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01122
12122
22922
33322
done3322
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
022
141
done41
0910
11910
22710
33110
done3110
01214
13814
29114
335714
4106914
5303514
done500014
01330
13922
212822
341322
4114522
5292322
done500022
01120
13220
29720
333120
4101220
5264620
done500020
0910
12010
23610
36610
49010
510410
614610
723610
826610
done26610
01123
12123
22923
33323
done3323
01011
12011
22811
33211
done3211
01132
12232
23212
3419
4479
5579
6789
71389
83419
912579
done50009
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01939
14023
26521
38721
411021
514321
620121
724421
825221
done25221
01938
13932
25823
38121
410421
513521
620221
724121
826221
926321
done26321
01938
13928
26423
38821
410621
513721
618021
724921
826521
done26521
01937
13737
25723
38121
49721
512221
616721
722921
825721
925921
done25921
01836
13936
26836
310120
414020
517420
622820
727020
830720
931020
done31020
01836
13636
25536
37136
48336
511536
619536
741736
8172236
done500036
01531
14531
211031
334931
498931
5294031
done500131
01877
15177
212535
330524
466824
5197624
done500124
01861
15161
213335
344228
4131928
5402228
done500128
021107
156107
219839
399621
4348521
done500021
01973
13773
25473
36473
done6473
01836
13636
25336
36336
done6336
019107
144107
213037
350337
4187819
5447319
done500019
01836
13636
25418
36418
done6418
01836
13636
25418
36418
done6418
0814
11314
done1314
01122
12422
23222
33622
done3622
01517
12717
23517
33917
done3917
01517
12717
23517
33917
done3917
01223
12623
23423
33823
done3823
01735
13535
25235
36235
done6235
01624
13024
24024
34524
done4524
01628
13028
24028
34528
done4528
02043
15443
211643
337443
4110043
5310143
done500043
02449
17049
218949
362949
4189649
done500049
02449
17049
218949
363549
4194549
done500049
01955
14855
212255
336155
4104055
5268855
done500055
02239
15939
212939
339939
4110939
5310039
done500039
02145
15245
213145
337645
4107145
5282845
done500145
02239
15939
212939
339939
4110839
5305039
done500039
02145
15245
213145
338145
4107745
5283545
done500045
02159
15651
211651
317551
420751
522851
624951
730251
844951
971251
1077251
1178451
1281051
1384851
1487051
1590251
1693351
1794751
1895051
done95051
02347
15943
212643
319143
421843
523843
625943
731243
845943
972243
1078243
1179643
1282243
1386243
1488443
1591643
1694743
1796143
1896443
done96443
02347
15943
212643
319143
421843
523843
625943
731243
845943
972243
1078243
1179643
1282243
1386243
1488443
1591643
1694743
1796143
1896443
done96443
01735
13735
26335
36835
done6835
02040
15136
210236
315936
419136
521236
623336
728636
843336
969636
1075636
1176836
1279436
1383236
1485436
1588636
1691736
1793136
1893436
done93436
01628
13228
24928
35328
done5328
02040
15136
210236
315936
419136
521236
623336
728636
843336
969636
1075636
1176836
1279436
1383236
1485436
1588636
1691736
1793136
1893436
done93436
01628
13228
24928
35328
done5328
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

prune467.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

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.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 (* x (+ 0.99229 (* x 0.04481)))))) 6)
3.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
13.0ms
(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 6))

series62.0ms

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

simplify7.1min

Counts
149 → 149
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01921
13621
25621
310321
430821
5213121
done500121
01921
13621
25621
310321
430821
5213121
done500121
02040
13740
25640
310240
428021
5107620
done500020
01921
13621
25321
38221
415421
535221
697320
7361720
done500020
01921
13621
25321
37821
414720
535117
6112316
7487616
done500016
01921
13621
25321
37821
414720
535117
6112316
7487616
done500016
02240
13940
25940
310640
432540
5293640
done500040
02022
13722
25722
310422
429122
5191922
done500122
02129
13829
25829
310529
430929
5235829
done500129
02022
13722
25722
310422
429122
5191922
done500122
01420
12319
23519
37319
422919
583416
625469
done50009
01921
13621
25621
310321
429621
5193121
done500021
02241
14141
26441
313441
458041
done500041
02022
13722
25722
310422
429122
5191922
done500122
02129
13829
25829
310529
430929
5235929
done500029
02022
13722
25722
310422
429122
5192022
done500022
01319
12217
23517
37417
421316
58929
634799
done50009
01921
13621
25621
310321
429621
5193121
done500021
02133
13833
25833
310533
430633
5233333
done500033
02022
13722
25722
310422
429122
5191922
done500122
02022
13722
25722
310422
429122
5191922
done500122
02022
13722
25722
310422
429122
5191922
done500122
01313
12212
23412
37212
421812
57206
620016
done50006
01921
13621
25621
310321
429621
5193121
done500021
02134
14034
26334
313334
455334
done500034
02022
13722
25722
310422
429122
5191922
done500122
02022
13722
25722
310422
429122
5192022
done500022
02022
13722
25722
310422
429122
5192022
done500022
01212
12110
23410
3636
41556
55766
623766
done50006
01921
13621
25621
310321
429621
5193121
done500021
01728
13427
25427
39627
423827
586427
6369526
done500026
01921
13621
25621
310321
430421
5212721
done500021
01617
13316
25316
39516
422916
576216
6301212
done500012
01921
13621
25621
310321
430421
5212721
done500021
068
1131
done131
01820
13520
25520
310220
430320
5210520
done500120
01729
13628
25928
312428
444827
5315215
done500015
01921
13621
25621
310321
430421
5212721
done500021
01617
13316
25316
39516
422916
576312
6301312
done500012
01921
13621
25621
310321
430421
5212821
done500121
067
1134
2211
3251
done251
01820
13520
25520
310220
430320
5210520
done500120
02241
14141
26641
314741
474141
done500141
02022
13722
25722
310422
429122
5191922
done500122
02130
14030
26530
314630
471430
done500130
02022
13722
25722
310422
429122
5191922
done500122
01421
12520
24220
310718
438916
523199
done50009
01921
13621
25621
310321
429621
5193121
done500021
02242
14542
28242
321642
4147622
done500122
02022
13722
25722
310422
429122
5191922
done500122
02130
14030
26530
314630
471430
done500128
02022
13722
25722
310422
429122
5192022
done500022
01320
12418
24518
312518
447310
531159
done50019
01921
13621
25621
310321
429621
5193121
done500021
02133
13833
25833
310533
430633
5233433
done500033
02022
13722
25722
310422
429122
5192022
done500022
02022
13722
25722
310422
429122
5192022
done500022
02022
13722
25722
310422
429122
5192022
done500022
01313
12212
23412
37212
421811
57256
634576
done50006
01921
13621
25621
310321
429621
5193221
done500121
02134
14034
26334
313334
455334
done500032
02022
13722
25722
310422
429122
5192022
done500022
02022
13722
25722
310422
429122
5192117
done500017
02022
13722
25722
310422
429122
5192117
done500017
01212
12110
23410
36310
41559
55766
623756
done50016
01921
13621
25621
310321
429621
5193221
done500121
01627
13327
25327
39527
423527
586127
6364426
done500126
01921
13621
25621
310321
430421
5212721
done500021
01516
13216
25216
39416
422816
574616
6298512
done500012
01921
13621
25621
310321
430421
5212721
done500021
067
1136
2246
3551
done551
01820
13520
25520
310220
430320
5210520
done500120
01628
13528
25828
312328
444527
5310815
done500015
01921
13621
25621
310321
430421
5212721
done500021
01516
13216
25216
39416
422816
574712
6298612
done500012
01921
13621
25621
310321
430421
5212821
done500121
056
1121
done121
01820
13520
25520
310220
430320
5210520
done500120
044
1111
done111
01820
13520
25520
310220
430320
5210520
done500120
099
1169
2259
3549
41549
54269
611928
744158
done50008
01415
13115
25115
39315
422315
575415
6307714
done500014
02124
15224
211524
341024
4131724
done500024
01633
14725
214525
347825
4180025
done500125
02030
14830
212530
339730
4131230
done500030
01213
12813
25313
311213
432113
5138313
done500113
02042
13742
25742
310442
430742
5212520
done500120
01921
13621
25621
310321
430821
5213121
done500121
01921
13621
25721
310417
430717
5212217
done500017
01921
13621
25721
310417
430717
5212217
done500017
022
141
done41
01820
13520
25520
310220
430320
5210520
done500120
02022
13720
25717
38916
415816
536516
6103416
7441716
done500016
02022
13720
25717
38916
415816
536516
6103416
7441716
done500016
02043
13743
25743
310443
430743
5212543
done500143
01921
13621
25621
310321
430821
5213121
done500121
02062
13862
25922
310819
430519
5212919
done500119
01921
13621
25621
310321
430821
5213121
done500121
01921
13621
25621
310321
430821
5213121
done500121
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01122
12122
22922
33322
done3322
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
022
141
done41
0910
11910
22710
33110
done3110
01214
13814
29114
335714
4106914
5303514
done500014
01330
13922
212822
341322
4114522
5292322
done500022
01120
13220
29720
333120
4101220
5264620
done500020
0910
12010
23610
36610
49010
510410
614610
723610
826610
done26610
01123
12123
22923
33323
done3323
01011
12011
22811
33211
done3211
01132
12232
23212
3419
4479
5579
6789
71389
83419
912579
done50009
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01122
12122
22922
33322
done3322
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
022
141
done41
0910
11910
22710
33110
done3110
01214
13814
29114
335714
4106914
5303514
done500014
01330
13922
212822
341322
4114522
5292322
done500022
01120
13220
29720
333120
4101220
5264620
done500020
0910
12010
23610
36610
49010
510410
614610
723610
826610
done26610
01123
12123
22923
33323
done3323
01011
12011
22811
33211
done3211
01132
12232
23212
3419
4479
5579
6789
71389
83419
912579
done50009
01011
12011
22811
33211
done3211
01011
12011
22811
33211
done3211
01921
13421
24921
35821
46321
done6321
01820
13420
24420
35520
46020
56520
done6520
01820
13420
24420
35520
46020
56520
done6520
033
161
done61
01923
13523
25023
37823
413523
529623
690723
7332223
done500023
01820
13420
24720
36920
410920
522220
659820
7222320
done500020
01719
13617
25117
36617
49017
515417
636617
7128817
done500017
01939
13639
25539
310139
427220
5108719
done500019
01820
13520
25220
38120
415320
535320
698620
7367120
done500020
01820
13520
25220
37720
414619
534819
6113315
done500015
01820
13520
25220
37720
414619
534819
6113315
done500015
02139
13839
25839
310539
432739
5295139
done500039
01921
13621
25621
310321
429021
5190821
done500021
02028
13728
25728
310428
430828
5234428
done500028
01921
13621
25621
310321
429021
5190821
done500021
01319
12218
23418
37218
422918
583315
625548
done50008
01820
13520
25520
310220
429320
5191320
done500020
02140
14040
26340
313340
457940
done500140
01921
13621
25621
310321
429021
5190821
done500021
02028
13728
25728
310428
430828
5234528
done500128
01921
13621
25621
310321
429021
5190921
done500021
01218
12116
23416
37316
421415
58988
634368
done50008
01820
13520
25520
310220
429320
5191320
done500020
02032
13732
25732
310432
430532
5235032
done500032
01921
13621
25621
310321
429021
5190821
done500021
01921
13621
25621
310321
429021
5190821
done500021
01921
13621
25621
310321
429021
5190821
done500021
01212
12111
23311
37111
421711
57085
620055
done50005
01820
13520
25520
310220
429320
5191320
done500020
02033
13933
26233
313233
455033
done500033
01921
13621
25621
310321
429021
5190821
done500021
01921
13621
25621
310321
429021
5190921
done500021
01921
13621
25621
310321
429021
5190921
done500021
01111
1209
2339
3625
41545
55745
623835
done50015
01820
13520
25520
310220
429320
5191320
done500020
01627
13326
25326
39526
423526
587926
6368825
done500025
01820
13520
25520
310220
430120
5210520
done500120
01516
13215
25215
39415
422815
577215
6301511
done500011
01820
13520
25520
310220
430120
5210520
done500120
057
1121
done121
01719
13419
25419
310119
430619
5212419
done500019
01628
13527
25827
312327
444926
5308617
done500017
01820
13520
25520
310220
430120
5210520
done500120
01516
13215
25215
39415
422815
577314
6301611
done500111
01820
13520
25520
310220
430120
5210920
done500120
056
1123
2201
done201
01719
13419
25419
310119
430619
5212419
done500019
02140
14040
26540
314640
474540
done500140
01921
13621
25621
310321
429021
5190821
done500021
02029
13929
26429
314529
471429
done500029
01921
13621
25621
310321
429021
5190821
done500021
01320
12419
24119
310617
437915
522918
done50018
01820
13520
25520
310220
429320
5191320
done500020
02141
14441
28141
321541
4147321
done500021
01921
13621
25621
310321
429021
5190821
done500021
02029
13929
26429
314529
471429
done500027
01921
13621
25621
310321
429021
5190921
done500021
01219
12317
24417
312417
44679
530658
done50008
01820
13520
25520
310220
429320
5191320
done500020
02032
13732
25732
310432
430532
5235132
done500032
01921
13621
25621
310321
429021
5190921
done500021
01921
13621
25621
310321
429021
5190921
done500021
01921
13621
25621
310321
429021
5190921
done500021
01212
12111
23311
37111
421710
57138
635165
done50005
01820
13520
25520
310220
429320
5191720
done500120
02033
13933
26233
313233
455033
done500131
01921
13621
25621
310321
429021
5190921
done500021
01921
13621
25621
310321
429021
5191019
done500019
01921
13621
25621
310321
429021
5191019
done500019
01111
1209
2339
3629
41548
55745
623825
done50005
01820
13520
25520
310220
429320
5191720
done500120
01526
13226
25226
39426
423426
587426
6361125
done500025
01820
13520
25520
310220
430120
5210520
done500120
01415
13115
25115
39315
422415
575515
6297411
done500011
01820
13520
25520
310220
430120
5210520
done500120
056
1125
2235
3541
4681
5721
done721
01719
13419
25419
310119
430619
5212419
done500019
01527
13427
25727
312227
444826
5312717
done500017
01820
13520
25520
310220
430120
5210520
done500120
01415
13115
25115
39315
422415
575614
6297511
done500011
01820
13520
25520
310220
430120
5210920
done500120
045
1111
done111
01719
13419
25419
310119
430619
5212419
done500019
033
1101
done101
01719
13419
25419
310119
430619
5212419
done500019
088
1158
2248
3538
41518
54178
611798
742948
done50018
01314
13014
25014
39214
422214
575014
6308114
done500014
02023
15123
211423
340223
4131723
done500023
01532
14624
214424
347624
4180424
done500124
01929
14729
212429
339929
4130029
done500029
01112
12712
25212
311112
432212
5138412
done500012
01820
13720
26320
312218
440118
5271718
done500018
01820
13520
25720
311320
434420
5239720
done500020
01941
13641
25641
310341
430841
5213119
done500119
01820
13520
25520
310220
430320
5210520
done500120
01959
14039
27421
319721
4116717
done500017
01820
13520
25620
310316
430816
5213016
done500116
01820
13520
25620
310316
430816
5213016
done500116
01921
13519
25619
38815
415715
536015
6102615
7439515
done500115
01921
13519
25619
38815
415715
536015
6102615
7439515
done500115
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

prune712.0ms

Filtered
116 candidates to 149 candidates (-28.4%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1490149
Fresh011
Picked011
Done022
Total1494153

Merged error: 0b

Counts
153 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.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
18×associate-*r/
11×prod-exp cbrt-unprod
flip3-+ flip-+
distribute-rgt-in distribute-lft-in associate-*r* difference-of-squares
frac-times
flip3-- associate-/r* associate-/r/ pow-sqr pow-prod-up flip-- add-log-exp
associate-*l/ *-commutative associate-/l* unswap-sqr
cbrt-undiv sub-neg pow-plus div-exp div-inv associate-/l/
pow2 frac-2neg swap-sqr clear-num
Counts
4 → 148
Calls
4 calls:
7.0ms
(* x (+ 0.99229 (* x 0.04481)))
13.0ms
(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
15.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series42.0ms

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

simplify6.3min

Counts
160 → 160
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01735
14435
214235
355417
4206215
done500015
02038
14938
213838
344938
4141019
5395517
done500017
01937
14737
213437
344837
4141018
5396416
done500116
01836
14836
215236
358618
4213916
done500016
01836
14736
215136
359418
4222016
done500016
023107
174107
231841
3198139
done500139
021107
158107
223139
3122339
done500039
01973
14673
214473
355537
4205433
done500133
01836
14536
214336
355918
4206016
done500016
019107
156107
222337
3129019
done500019
01836
14536
214336
355918
4206016
done500016
01836
14536
214336
355918
4206016
done500016
01619
14619
213019
361019
4329919
done500019
01449
15141
220241
3105041
done500241
01525
13925
212225
346925
4205325
done500125
01229
14029
214929
370029
4353429
done500029
01937
14437
212337
342137
4134437
5382137
done500037
01937
14437
212337
342137
4134437
5382137
done500037
02038
14738
212738
342438
4133638
5385438
done500038
02038
14738
212738
342438
4133638
5385438
done500038
01627
14227
211627
338027
4113727
5310327
done500027
01734
14934
216434
369434
4245234
done500134
01627
14227
211627
338027
4113727
5310327
done500027
01734
14934
216434
369434
4245234
done500134
01627
14227
212527
339427
4115927
5313227
done500027
01734
14934
216734
370734
4234034
done500034
01627
14227
212527
339427
4115927
5313227
done500027
01734
14934
216734
370734
4234034
done500034
01947
14847
213947
349147
4159247
5485847
done500047
01836
14536
213136
346236
4146236
5432136
done500036
01727
14525
212625
339725
4119525
5336325
done500025
01836
14336
212836
345036
4144936
5404836
done500136
01836
14336
212836
345036
4144936
5404836
done500136
01937
14637
213837
348937
4161737
5440637
done500037
01937
14637
213837
348937
4161737
5440637
done500037
01836
14536
214336
353318
4189816
done500016
01526
13126
26226
31578
44126
519676
done50016
01937
14637
213837
348937
4161737
5440637
done500037
01937
14637
213837
348937
4161737
5440637
done500037
01836
14536
214336
353318
4189816
done500016
01526
13126
26226
31578
44126
519676
done50016
01836
14536
213736
351236
4177736
done500036
01836
14536
213736
351236
4177736
done500036
01735
14435
214235
355417
4206215
done500015
01425
13025
26125
31807
45735
526285
done50005
01735
14435
214235
355417
4206215
done500015
01431
14131
213929
359011
4269711
done500111
01669
15653
226645
3135443
done500243
01229
13229
210029
333429
4131429
done500029
02039
16239
220439
392539
done500039
01645
14245
213445
35747
429555
done50005
01315
12715
25715
314615
443815
5107415
6226015
7492915
done500015
01727
14227
211127
334927
4103827
5269327
done500027
01626
14226
211426
335826
4105326
5269226
done500126
01626
13926
210626
333626
4101426
5264026
done500126
01977
16377
223329
3108227
done500027
01753
14053
210753
333853
4101953
5265453
done500153
01626
13926
210626
333626
4101426
5264026
done500126
01777
14777
215727
362927
4268627
done500027
01626
13926
210626
333626
4101426
5264026
done500126
01626
13926
210626
333626
4101426
5264026
done500126
066
1116
2196
3206
done206
01120
13220
210420
337520
4137619
5483519
done500019
01955
14855
212255
336155
4104055
5268855
done500055
01727
14027
210527
333727
4101727
5265927
done500027
01834
14334
211034
334434
4102934
5265034
done500034
01727
14027
210527
333727
4101727
5265927
done500027
0915
11513
22113
32613
done2613
01626
13926
210626
333626
4101226
5263226
done500126
01523
12923
23923
34423
done4423
01416
12716
24316
37316
49616
511016
615216
724216
827216
done27216
01848
14348
210848
334048
4102548
5266148
done500148
01727
14027
210527
333727
4101727
5265927
done500027
01727
14027
210527
333727
4101727
5265927
done500027
01727
14027
210527
333727
4101727
5265927
done500027
088
1126
2146
done146
01626
13926
210626
333626
4101226
5263226
done500126
01416
12616
23416
33816
done3816
01416
12716
24316
37316
49616
511016
615216
724216
827216
done27216
01443
13943
210443
333643
4101743
5265943
done500043
01626
13926
210426
333426
4101326
5266626
done500026
01322
13622
210122
333322
4101422
5264622
done500122
01626
13926
210426
333426
4101326
5266626
done500026
023
141
done41
01525
13825
210525
333825
4101925
5264725
done500025
01011
12211
23011
33411
done3411
01315
12615
24215
37215
49515
510915
615115
724115
827115
done27115
01221
13521
210221
333421
4101321
5266421
done500121
01525
14125
212025
339325
4125925
5367925
done500025
01747
14247
210747
334047
4101847
5265747
done500047
01626
13926
210426
333426
4101326
5266626
done500026
077
1115
2135
done135
01315
12515
23315
33715
done3715
01626
14226
212126
339326
4125226
5368626
done500126
01626
14226
212126
339326
4125226
5368626
done500126
01525
14125
212025
339325
4125925
5367925
done500025
01829
15529
220119
3101619
done500019
01745
14845
216529
386619
4427719
done500019
01937
16433
221633
394533
done500133
01525
14025
212725
348425
4222425
done500025
023
161
done61
023
161
done61
023
161
done61
023
161
done61
0715
12315
26515
316915
432415
548315
666715
793515
8121515
9211915
done500115
0715
12315
26515
316915
432415
548315
666715
793515
8121515
9211915
done500115
0715
12315
26515
316915
432415
548315
666715
793515
8121515
9211915
done500115
0715
12315
26515
316915
432415
548315
666715
793515
8121515
9211915
done500115
023
161
done61
023
161
done61
0919
11811
23511
33811
done3811
01118
12417
23617
34410
45110
done5110
01118
12417
23617
34410
45110
done5110
0817
12210
23810
34710
45010
done5010
0816
12616
28110
321010
436310
552210
670510
797110
8125410
9217010
done500010
0816
12616
28416
323916
452216
5119016
6350016
done500016
01147
13947
221123
3117011
done500111
01447
15547
226219
314599
done50009
01447
15547
226219
314249
done50009
0947
13447
217419
39679
447739
done50009
0933
12533
26733
317533
432533
548933
667333
794433
8123433
9216233
done500033
0816
12416
26616
317016
431816
547516
665916
792816
8121616
9213116
done500016
0947
13347
216817
310499
done50009
0816
1258
2678
31768
43268
54888
66728
79438
812278
921318
done50008
0816
1258
2678
31768
43268
54888
66728
79438
812278
921318
done50008
01023
14223
214323
357023
4296523
done500023
01035
13427
210327
339827
4215127
done500027
01425
15525
218225
366425
4371225
done500025
01123
13219
29319
325219
489519
5224319
done500019
01425
15525
219025
377125
4471325
done500025
01123
13819
211819
340119
4129019
5292519
done500019
0927
12927
210327
347527
4270827
done500027
0611
1911
22211
35511
415411
530011
650311
799811
8143311
9193111
10193711
done193711
023
done23
0611
11411
23511
38311
411811
515411
619311
720311
done20311
033
161
done61
033
161
done61
033
161
done61
033
161
done61
0811
12111
24411
39511
413511
514711
615211
717011
821211
933611
1073111
11217711
done500011
0813
12313
25113
313813
423411
525611
630511
747011
894911
9265211
done500011
0811
12111
24511
39611
414211
515211
615711
717511
821911
934111
1073211
11218211
done500011
0813
12113
24813
313413
423011
525611
630511
747011
895311
9267011
done500111
0811
12111
25811
312011
414911
515111
615611
717411
821811
934011
1072411
11215711
done500111
0813
12313
26513
317713
424811
525911
630811
746811
895111
9265811
done500111
0811
12111
25611
312111
415911
516411
618211
722811
834711
973911
10217511
done500011
0813
12113
26013
316713
423411
525311
630211
746811
894911
9265711
done500111
079
1179
2299
3389
4409
5459
6559
7739
81229
92679
107949
1130949
done50019
0713
11713
23813
39513
418913
527213
636613
748313
852113
955513
1064913
1193013
12195613
done500013
01219
15019
215319
359119
4254319
done500019
01121
13621
210121
339321
4154921
5387621
done500021
01219
15019
215319
350819
4194419
done500019
01121
13621
211021
338921
4153221
5405521
done500021
067
1157
2197
done197
089
1119
done119
078
1198
2248
done248
078
1188
2318
3528
4948
52518
67318
725888
done50008
01023
13123
212611
349411
418059
done50009
0817
11717
22117
done2117
078
1168
2208
done208
0823
12723
21019
33879
410599
529939
done50009
078
1168
2208
done208
078
1168
2208
done208
089
1119
done119
089
1119
done119
033
143
done43
045
185
295
done95
033
143
done43
045
165
295
done95
0815
11315
21515
done1515
078
1108
done108
033
161
done61
078
1168
2258
3278
done278
078
1168
2258
3278
done278
067
1157
2197
done197
0911
13411
29711
324311
449311
5144311
done500011
0813
12213
26213
316113
432213
551513
676613
7130513
8446713
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

prune387.0ms

Filtered
121 candidates to 160 candidates (-32.2%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1600160
Fresh000
Picked011
Done033
Total1604164

Merged error: 0b

Counts
164 → 4

regimes80.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

sample548.0ms

Algorithm
intervals
Results
384.0ms8000×body80valid

Profiling

Loading profile data...