Details

Time bar (total: 7.0min)

sample47.0ms

Algorithm
intervals
Results
13.0ms276×body80valid
13.0ms291×body80nan

simplify96.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01214
12414
24714
37514
49214
510914
612414
715514
816414
done16414

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.2b
(* 3.0 (sqrt x))
0.2b
(/ y (* 3.0 (sqrt x)))
0.3b
(/ 1.0 (* x 9.0))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
16×add-exp-log *-un-lft-identity add-cbrt-cube
11×add-cube-cbrt
add-log-exp
pow1 times-frac associate-*r* associate-/l*
cbrt-undiv div-exp sqrt-prod
diff-log associate-*l* prod-exp cbrt-unprod distribute-lft-out--
sub-neg flip3-- frac-2neg associate--l+ clear-num associate-/r* frac-sub flip-- div-inv unswap-sqr
associate--l- pow-prod-down *-commutative difference-of-squares
Counts
4 → 85
Calls
4 calls:
11.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
6.0ms
(* 3.0 (sqrt x))
7.0ms
(/ y (* 3.0 (sqrt x)))
5.0ms
(/ 1.0 (* x 9.0))

series27.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
4.0ms
(* 3.0 (sqrt x))
10.0ms
(/ y (* 3.0 (sqrt x)))
2.0ms
(/ 1.0 (* x 9.0))

simplify1.5min

Counts
97 → 97
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
088
1138
2228
3328
4428
5588
6778
7938
8988
done988
077
1137
2207
3287
4377
5497
6687
7947
81047
done1047
066
1126
2226
3346
4476
5586
6746
7936
81096
91146
done1146
066
196
2116
done116
01117
12617
211411
352411
418849
done50009
0917
12817
21309
36697
421907
540577
done50007
0713
11013
21213
done1213
066
196
2116
done116
0717
11717
2657
33217
412057
527187
645137
done50007
066
196
2116
done116
066
196
2116
done116
022
done22
044
194
2114
done114
057
177
297
3107
done107
044
done44
044
done44
044
done44
033
153
done53
033
done33
055
1105
2125
done125
055
185
2125
3155
4165
done165
033
done33
066
196
2136
3166
4176
done176
066
196
2136
3166
4176
done176
055
185
2125
3155
4165
done165
099
1149
2239
3339
4459
5619
6809
7969
81019
done1019
088
1148
2218
3298
4388
5508
6698
7958
81058
done1058
077
1137
2237
3357
4487
5587
6747
7937
81097
91147
done1147
077
1107
2127
done127
01220
12716
211312
350112
4167010
5396210
done500110
01020
12920
213110
36608
421958
542718
done50008
0815
11115
21315
done1315
077
1107
2127
done127
0820
11820
2668
33208
412238
527128
644748
done50018
077
1107
2127
done127
077
1107
2127
done127
022
done22
055
1105
2125
done125
057
177
297
3107
done107
055
done55
044
done44
055
done55
033
153
done53
044
done44
066
1116
2136
done136
066
196
2136
3166
4176
done176
033
done33
077
1107
2147
3177
4187
done187
077
1107
2147
3177
4187
done187
066
196
2136
3166
4176
done176
044
154
done54
066
176
done76
055
195
2105
done105
055
185
2145
3225
4455
51015
62405
76945
826975
done50015
0814
11510
2388
3708
4988
51448
62648
76538
820918
done50008
0611
1711
done711
055
165
done65
0614
11714
2466
3886
41056
51496
62806
77356
827396
done50006
055
165
done65
055
165
done65
066
176
done76
066
176
done76
066
176
done76
066
176
done76
069
199
2119
done119
068
185
done85
055
165
done65
044
173
done73
055
165
done65
033
161
done61
055
165
done65
055
165
done65
044
154
done54
01517
12516
23815
35515
48415
512415
617715
725715
833915
941815
1042115
done42115
01416
12715
24615
38415
412615
518215
626215
734415
842515
943215
done43215
01315
12515
24815
37615
49115
510815
612315
715415
816515
done16515
01315
12815
26015
310615
416115
523115
631515
745215
847215
done47215
01431
12631
24931
37731
49231
510931
612431
715531
816631
done16631
01315
12515
24815
37615
49115
510815
612315
715415
816515
done16515
01444
12744
26416
320316
497616
done500016
01315
12515
24815
37615
49115
510815
612315
715415
816515
done16515
01315
12515
24815
37615
49115
510815
612315
715415
816515
done16515
02142
15536
218536
386336
4497936
done500036
01428
13022
29522
334622
498222
5299522
done500022
01630
13530
210130
334922
4121422
5426722
done500122
01012
11812
23412
36912
414512
530712
647612
752312
852912
done52912
01518
14118
211818
343718
4230018
done500018
01644
13737
211137
336536
4104832
5260332
done500032
077
1127
2207
3227
done227
01429
13129
28729
328829
491925
5254525
done500125
01214
12314
24114
36214
48114
59614
610414
712114
814514
915514
done15514
01416
12316
23216
33816
done3816
01416
12416
23416
34016
done4016
01214
12414
24714
37514
49214
510914
612414
715514
816414
done16414
01214
12414
24714
37514
49214
510914
612414
715514
816414
done16414
01213
12213
23913
34913
done4913
01213
12213
23913
34913
done4913
01112
11812
22212
done2212
077
1127
2207
3227
done227
033
done33
033
done33
033
done33
02027
16025
218121
352119
4142417
5396617
done500117
02231
16629
222427
374125
4328223
done500123
01013
12211
24011
36411
49811
511111
done11111
01825
15623
218021
345721
4133119
5499417
done500017
01621
14519
211617
323317
456817
5175417
done500017
01621
14619
212417
328417
477117
5253717
done500117
01313
12713
24511
38211
413011
518311
629611
738911
840411
940911
done40911
01721
14819
214219
340417
4165215
done500015
01215
12813
25913
311913
424313
541513
660713
783513
884813
985213
done85213

prune197.0ms

Filtered
80 candidates to 97 candidates (-21.3%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New871097
Fresh000
Picked101
Done000
Total881098

Merged error: 0.0b

Counts
98 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
0.2b
(/ (/ 1.0 x) 9.0)
0.2b
(* 3.0 (sqrt x))
0.2b
(/ y (* 3.0 (sqrt x)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
57×add-sqr-sqrt
56×*-un-lft-identity
51×add-cube-cbrt
16×add-exp-log add-cbrt-cube associate-/l*
add-log-exp
pow1 associate-*r* div-inv
cbrt-undiv div-exp
associate-/r* sqrt-prod
diff-log associate-*l* distribute-lft-out--
sub-neg flip3-- frac-2neg prod-exp associate--l+ clear-num frac-sub flip-- cbrt-unprod unswap-sqr
associate--l- pow-prod-down *-commutative associate-/l/ difference-of-squares
Counts
4 → 134
Calls
4 calls:
22.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
8.0ms
(/ (/ 1.0 x) 9.0)
9.0ms
(* 3.0 (sqrt x))
6.0ms
(/ y (* 3.0 (sqrt x)))

series28.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
2.0ms
(/ (/ 1.0 x) 9.0)
4.0ms
(* 3.0 (sqrt x))
11.0ms
(/ y (* 3.0 (sqrt x)))

simplify1.5min

Counts
146 → 146
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
099
1149
2239
3339
4459
5619
6809
7969
81019
done1019
088
1148
2218
3298
4388
5508
6698
7958
81058
done1058
077
1137
2237
3357
4487
5587
6747
7937
81097
91147
done1147
077
1107
2127
done127
01220
12716
211312
350112
4167010
5396210
done500110
01020
12920
213110
36608
421958
542718
done50008
0815
11115
21315
done1315
077
1107
2127
done127
0820
11820
2668
33208
412238
527128
644748
done50018
077
1107
2127
done127
077
1107
2127
done127
022
done22
055
1105
2125
done125
057
177
297
3107
done107
055
done55
044
done44
055
done55
033
153
done53
044
done44
066
1116
2136
done136
066
196
2136
3166
4176
done176
033
done33
077
1107
2147
3177
4187
done187
077
1107
2147
3177
4187
done187
066
196
2136
3166
4176
done176
044
154
done54
066
176
done76
055
195
2105
done105
055
185
2145
3225
4455
51015
62405
76945
826975
done50015
0814
11510
2388
3708
4988
51448
62648
76538
820918
done50008
0611
1711
done711
055
165
done65
0614
11714
2466
3886
41056
51496
62806
77356
827396
done50006
055
165
done65
055
165
done65
066
176
done76
066
176
done76
066
176
done76
066
176
done76
069
199
2119
done119
068
185
done85
055
165
done65
044
173
done73
055
165
done65
033
161
done61
055
165
done65
055
165
done65
044
154
done54
088
1148
2258
3418
4508
5588
6738
7998
81088
done1088
077
1127
2197
3347
4487
5527
6607
7757
81017
91107
done1107
066
1116
2216
3336
4506
5626
6706
7836
8976
91136
101176
done1176
066
186
2116
done116
01117
12517
210011
34489
417917
done50007
0917
12417
2819
33137
412427
533237
done50007
0713
1913
21213
done1213
066
186
2116
done116
0717
11617
2507
31957
48867
524797
644537
done50017
066
186
2116
done116
066
186
2116
done116
044
164
done64
022
done22
0915
11515
22415
33015
done3015
077
done77
0812
11012
21212
31312
done1312
077
done77
0711
1119
2179
3229
done229
066
done66
0810
11010
done1010
077
done77
077
done77
077
done77
066
184
2104
done104
066
done66
01117
12117
25617
314417
427017
530417
done30417
088
1108
2138
done138
01014
11814
24114
37814
411914
512514
done12514
088
1108
2138
done138
0913
11911
24611
39511
412511
done12511
077
197
2127
done127
01014
11614
23214
36814
411014
512014
done12014
088
1108
2138
done138
0911
11311
22411
33711
44711
done4711
088
1108
2138
done138
0810
1148
2298
3468
4568
done568
077
197
2127
done127
0913
11711
24611
310311
412111
done12111
077
197
2127
done127
0810
1148
2348
3568
4578
done578
077
197
2127
done127
069
1125
2165
3215
done215
066
186
2116
done116
01014
11614
22814
35514
46014
done6014
088
1108
2138
done138
0911
11311
21911
32711
done2711
088
1108
2138
done138
0810
1148
2248
3408
done408
077
197
2127
done127
0911
11311
21911
32511
done2511
088
1108
2138
done138
088
1108
2138
done138
088
1108
2138
done138
077
1115
2185
3205
done205
077
197
2127
done127
0810
1148
2238
3318
done318
077
197
2127
done127
077
1115
2175
done175
077
197
2127
done127
056
192
done92
066
186
2116
done116
0913
11713
22913
35613
46213
done6213
077
197
2127
done127
0810
11410
22010
32810
done2810
077
197
2127
done127
069
1127
2227
3327
done327
066
186
2116
done116
0810
11410
22010
32610
done2610
077
197
2127
done127
077
1117
2147
done147
077
197
2127
done127
056
194
2164
done164
066
186
2116
done116
069
1127
2167
3267
4287
done287
066
186
2116
done116
056
194
2114
3154
done154
066
186
2116
done116
035
171
done71
055
175
2105
done105
057
197
done97
066
186
2116
done116
044
164
done64
066
186
2116
done116
023
141
done41
055
175
2105
done105
057
177
done77
066
1106
2136
done136
044
done44
066
1106
2136
done136
033
151
done51
055
195
2125
done125
033
153
done53
055
175
2105
3115
4135
5155
6165
done165
079
1119
2179
3239
done239
066
186
2116
done116
055
193
2163
done163
066
done66
066
done66
077
197
2127
3137
4157
5177
6187
done187
077
197
2127
3137
4157
5177
6187
done187
066
186
2116
3126
4146
5166
6176
done176
077
197
2127
3137
4157
5177
6187
done187
077
197
2127
3137
4157
5177
6187
done187
066
186
2116
3126
4146
5166
6176
done176
066
186
2116
3126
4146
5166
6176
done176
066
186
2116
3126
4146
5166
6176
done176
055
175
2105
3115
4135
5155
6165
done165
055
175
2105
3115
4135
5155
6165
done165
055
195
2123
3183
4253
5303
done303
033
143
done43
01517
12416
23815
35515
48415
512415
617715
725715
833915
941815
1042115
done42115
01416
12615
24615
38415
412615
518215
626215
734415
842515
943215
done43215
01315
12415
24815
37615
49115
510815
612315
715415
816515
done16515
01315
12715
26015
310615
416115
523115
631515
745215
847215
done47215
01431
12531
24931
37731
49231
510931
612431
715531
816631
done16631
01315
12415
24815
37615
49115
510815
612315
715415
816515
done16515
01444
12644
26416
320316
497616
done500016
01315
12415
24815
37615
49115
510815
612315
715415
816515
done16515
01315
12415
24815
37615
49115
510815
612315
715415
816515
done16515
02142
15936
216936
365336
4345636
done500036
01428
13322
28122
328322
486222
5269022
done500022
01630
13430
29430
331422
4106122
5355522
done500022
01012
11712
23412
36912
414512
530712
647612
752212
852812
done52812
01518
14018
211818
343718
4229518
done500118
01644
13637
211137
336536
4104832
5261032
done500032
077
1127
2207
3227
done227
01429
13029
28729
328829
491925
5254325
done500125
01214
12214
24114
36214
48114
59614
610414
712114
814514
915714
done15714
01416
12216
23216
33816
done3816
01416
12316
23416
34016
done4016
01214
12314
24714
37514
49214
510914
612414
715514
816414
done16414
01214
12314
24714
37514
49214
510914
612414
715514
816414
done16414
01213
12113
23613
34813
done4813
01213
12113
23613
34813
done4813
01112
11712
22212
done2212
077
1127
2207
3227
done227
02027
16025
218121
352119
4142417
5396617
done500117
02231
16629
222427
374125
4328223
done500123
01013
12211
24011
36411
49811
511111
done11111
01825
15623
218021
345721
4133119
5499417
done500017
01621
14519
211617
323317
456817
5175417
done500017
01621
14619
212417
328417
477117
5253717
done500117
033
done33
033
done33
033
done33
01313
12713
24511
38211
413011
518311
629611
738911
840411
940911
done40911
01721
14819
214219
340417
4165215
done500015
01215
12813
25913
311913
424313
541513
660713
783513
884813
985213
done85213

prune274.0ms

Filtered
122 candidates to 146 candidates (-19.7%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1460146
Fresh099
Picked011
Done000
Total14610156

Merged error: 0.0b

Counts
156 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
0.3b
(/ y (sqrt x))
0.3b
(/ 1.0 (* x 9.0))
0.4b
(* (/ 1 3.0) (/ y (sqrt x)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
68×add-sqr-sqrt
60×times-frac
44×*-un-lft-identity
41×add-cube-cbrt
33×add-exp-log
24×sqrt-prod
23×add-cbrt-cube
22×associate-*r*
13×associate-*l*
11×div-exp
prod-exp add-log-exp unswap-sqr
cbrt-undiv associate-/r*
pow1 frac-sub associate-/l*
cbrt-unprod
flip3-- flip-- div-inv
frac-times diff-log associate-*r/ associate-*l/
sub-neg rec-exp frac-2neg 1-exp associate--l+ clear-num
associate--l- pow-prod-down *-commutative
Counts
4 → 150
Calls
4 calls:
9.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
5.0ms
(/ y (sqrt x))
5.0ms
(/ 1.0 (* x 9.0))
17.0ms
(* (/ 1 3.0) (/ y (sqrt x)))

series32.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
9.0ms
(/ y (sqrt x))
2.0ms
(/ 1.0 (* x 9.0))
10.0ms
(* (/ 1 3.0) (/ y (sqrt x)))

simplify2.5min

Counts
162 → 162
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
088
1158
2246
3636
4986
51316
61416
done1416
01010
11510
2239
3379
4489
5589
6759
7979
81049
done1049
099
1139
2208
3338
4488
5538
6638
7808
81028
91098
done1098
01111
12010
2459
31069
42579
53509
63679
done3679
01010
1189
2398
3898
42218
53148
63248
done3248
01212
12311
24610
31159
42669
53599
63759
done3759
01111
12110
2399
3928
42218
53098
63228
done3228
01111
12210
2379
3839
41789
52999
63099
done3099
01010
1209
2328
3678
41508
52728
63648
73678
done3678
099
1199
2397
31007
42027
53957
65387
75997
done5997
099
1189
2337
3907
41717
53547
69437
738127
done50007
01626
14018
213412
379712
4389812
done500112
01426
13622
210710
346610
4218310
done500010
01426
13722
213314
357014
4281512
done500012
01226
13326
210612
336812
415028
done50018
01019
11719
22615
36515
49815
513115
614215
done14215
099
1169
2257
3647
4997
51327
61447
done1447
01026
12726
21098
35168
418028
done50008
099
1169
2257
3647
4997
51327
61447
done1447
099
1169
2257
3647
4997
51327
61447
done1447
033
161
done61
044
154
done54
01010
11310
done1310
01010
11310
done1310
01111
11611
21911
32311
42411
done2411
01111
11611
21911
32311
42411
done2411
01111
11611
21911
32311
42411
done2411
01111
11611
21911
32311
42411
done2411
01111
11610
21910
3218
4358
done358
01111
11610
21910
3218
4358
done358
01212
11911
22811
3459
4989
51399
61429
done1429
01212
11911
22811
3459
4989
51399
61429
done1429
01212
11911
22811
3459
4989
51399
61429
done1429
01212
11911
22811
3459
4989
51399
61429
done1429
01010
11510
2188
3318
4368
done368
01010
11510
2188
3318
4368
done368
01111
11811
2279
3669
41109
51529
61589
done1589
01111
11811
2279
3669
41109
51529
61589
done1589
01111
11811
2279
3669
41109
51529
61589
done1589
01111
11811
2279
3669
41109
51529
61589
done1589
01015
11715
22513
35313
47013
done7013
099
1149
2177
3307
4357
done357
01217
12517
26615
321415
450915
581815
684215
done84215
01216
12213
24011
311711
423311
529911
631011
done31011
01113
12013
23811
311511
423211
529811
631011
done31011
0912
11811
2369
31137
42497
52517
done2517
01113
12013
23811
311511
423211
529811
631011
done31011
0811
1179
2437
31687
42437
52497
done2497
01114
12014
23912
311112
423812
538112
639112
done39112
01113
11910
2288
3678
41118
51498
61568
done1568
01010
11710
2268
3658
41168
51608
61698
done1698
089
1158
2246
3634
41324
51364
done1364
01010
11710
2268
3658
41168
51608
61698
done1698
078
1146
2274
3714
4954
5994
done994
0913
11813
23611
38511
413311
done13311
0912
1179
2267
3457
4547
done547
089
1159
2247
3437
4527
done527
068
1137
2213
3273
4373
done373
089
1159
2247
3437
4527
done527
057
1123
2163
3233
done233
045
193
done93
055
1105
2133
done133
099
1149
2179
3219
4229
done229
099
1149
2179
3219
4229
done229
01010
1179
2269
3437
4737
51047
61157
71167
done1167
01010
1179
2269
3437
4737
51047
61157
71167
done1167
099
1168
2258
3426
4726
51026
61156
71166
done1166
01010
1179
2269
3437
4737
51047
61157
71167
done1167
01010
1179
2269
3437
4737
51047
61157
71167
done1167
099
1168
2258
3426
4726
51026
61156
71166
done1166
099
1169
2257
3647
4997
51307
61417
done1417
099
1169
2257
3647
4997
51307
61417
done1417
088
1158
2246
3636
4986
51316
61416
done1416
088
1158
2246
3636
4986
51316
61416
done1416
088
1158
2246
3636
4986
51316
61416
done1416
055
1105
2133
done133
066
1114
2214
3234
4264
5284
done284
088
1138
2228
3328
4428
5588
6778
7938
8988
done988
077
1137
2207
3287
4377
5497
6687
7947
81047
done1047
066
1126
2226
3346
4476
5586
6746
7936
81096
91146
done1146
066
196
2116
done116
01117
12617
211411
352411
418849
done50009
0917
12817
21309
36697
421907
540577
done50007
0713
11013
21213
done1213
066
196
2116
done116
0717
11717
2657
33217
412057
527187
645137
done50007
066
196
2116
done116
066
196
2116
done116
022
done22
044
194
2114
done114
057
177
297
3107
done107
044
done44
044
done44
044
done44
033
153
done53
033
done33
055
1105
2125
done125
055
185
2125
3155
4165
done165
033
done33
066
196
2136
3166
4176
done176
066
196
2136
3166
4176
done176
055
185
2125
3155
4165
done165
066
186
296
done96
055
185
2105
3115
done115
055
done55
0814
11710
2438
3938
41318
51748
63048
78088
831928
done50008
0611
done611
055
done55
0614
11314
2296
3676
41326
51936
63126
77786
834116
done50006
055
done55
055
done55
022
done22
033
done33
0813
11413
22313
32913
done2913
066
done66
0812
1119
2139
3149
done149
066
done66
079
199
2119
3129
done129
066
done66
068
1107
2127
3135
4205
done205
055
done55
079
199
2119
3129
done129
066
done66
057
195
2155
3205
done205
055
done55
0710
1910
done910
066
done66
079
186
done86
066
done66
066
done66
066
done66
055
174
done74
055
done55
066
done66
066
done66
044
162
282
done82
055
done55
069
1109
done109
055
done55
068
195
done95
055
done55
055
175
done75
055
done55
034
153
done53
044
done44
055
175
done75
055
done55
023
141
done41
044
done44
044
164
done64
044
done44
069
189
done89
068
175
done75
055
done55
044
163
done63
055
done55
033
151
done51
055
done55
055
done55
044
done44
01719
13318
25915
314115
430215
577915
6233715
done500115
01618
13517
26715
317515
438715
597615
6342015
done500015
01517
13117
26715
316015
428415
554615
681415
795015
897915
done97915
01517
13417
28315
320915
444515
5111415
6328915
done500015
01635
13235
26831
316131
429231
556031
683131
797531
8100231
done100231
01517
13117
26715
316015
428415
554615
681415
795015
897915
done97915
01650
13350
28316
331516
4164016
done500016
01517
13117
26715
316015
428415
554615
681415
795015
897915
done97915
01517
13117
26715
316015
428415
554615
681415
795015
897915
done97915
02344
16236
219736
392136
done500236
01428
13022
29522
334622
498222
5299522
done500022
02344
16138
220436
3100336
done500036
01226
12520
28420
326620
459320
5119920
6215418
7263518
8275518
9282918
10285018
11287118
12288018
done288018
02344
16136
221636
398636
done500036
01225
12519
28419
326619
459319
5119919
6215417
7263517
8275517
9282917
10285017
11287117
12288017
done288017
01832
14230
211330
339730
4165322
done500122
01012
11812
23412
36912
414512
530712
647612
752312
852912
done52912
01832
14132
211830
341422
4132122
5408922
done500022
0810
11310
22310
33210
45410
57810
69110
79310
done9310
01832
14130
213030
341130
4148122
5453522
done500022
089
1139
2239
3329
4549
5789
6919
7939
done939
01720
14720
215518
371518
4333718
done500018
01850
14641
215837
356936
4192736
done500136
099
1209
2447
31157
42287
53627
64427
74537
84557
done4557
01633
14033
213229
349929
4178829
done500029
01416
12916
25414
312114
421214
544614
682114
7103914
8109714
9110914
done110914
01415
12815
25813
313313
423013
536013
644113
745213
845413
done45413
01415
12815
25813
313313
423013
536013
644113
745213
845413
done45413
01314
12414
23512
37412
410712
514012
614912
done14912
099
1209
2447
31157
42287
53627
64427
74537
84557
done4557
02027
16025
218121
352119
4142417
5396617
done500117
02231
16629
222427
374125
4328223
done500123
01013
12211
24011
36411
49811
511111
done11111
033
done33
033
done33
033
done33
01621
14521
212719
329017
463915
5171815
done500115
01825
15125
215425
342223
4153821
done500121
079
1119
2159
3189
4199
done199
01313
12713
24511
38211
413011
518311
629611
738911
840411
940911
done40911
01721
14819
214219
340417
4165215
done500015
01215
12813
25913
311913
424313
541513
660713
783513
884813
985213
done85213

prune244.0ms

Filtered
123 candidates to 162 candidates (-31.7%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1611162
Fresh178
Picked011
Done011
Total16210172

Merged error: 0.0b

Counts
172 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (sqrt x)) 3.0))
0.3b
(/ y (sqrt x))
0.3b
(/ (/ y (sqrt x)) 3.0)
0.3b
(/ 1.0 (* x 9.0))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
164×times-frac
109×add-sqr-sqrt
101×*-un-lft-identity
96×add-cube-cbrt
49×sqrt-prod
28×associate-/l*
16×add-exp-log add-cbrt-cube
10×associate-/r*
add-log-exp
div-inv
cbrt-undiv div-exp
pow1 difference-of-squares
frac-2neg diff-log clear-num distribute-lft-out--
sub-neg flip3-- associate--l+ frac-sub flip--
associate--l- prod-exp cbrt-unprod associate-/l/
Counts
4 → 190
Calls
4 calls:
38.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (sqrt x)) 3.0))
5.0ms
(/ y (sqrt x))
10.0ms
(/ (/ y (sqrt x)) 3.0)
5.0ms
(/ 1.0 (* x 9.0))

series32.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y (sqrt x)) 3.0))
8.0ms
(/ y (sqrt x))
11.0ms
(/ (/ y (sqrt x)) 3.0)
2.0ms
(/ 1.0 (* x 9.0))

simplify1.5min

Counts
202 → 202
Iterations

Useful iterations: 2 (2.0ms)

IterNodesCost
088
1138
2228
3328
4428
5588
6778
7938
8988
done988
077
1137
2207
3287
4377
5497
6687
7947
81047
done1047
066
1126
2226
3346
4476
5586
6746
7936
81096
91146
done1146
066
196
2116
done116
01117
12617
211411
352411
418849
done50009
0917
12817
21309
36697
421907
540577
done50007
0713
11013
21213
done1213
066
196
2116
done116
0717
11717
2657
33217
412057
527187
645137
done50007
066
196
2116
done116
066
196
2116
done116
022
done22
044
194
2114
done114
057
177
297
3107
done107
044
done44
044
done44
044
done44
033
153
done53
033
done33
055
1105
2125
done125
055
185
2125
3155
4165
done165
033
done33
066
196
2136
3166
4176
done176
066
196
2136
3166
4176
done176
055
185
2125
3155
4165
done165
099
1159
2269
3429
4519
5599
6749
71009
81099
done1099
088
1138
2208
3358
4498
5538
6618
7768
81028
91118
done1118
077
1127
2227
3347
4517
5637
6717
7847
8987
91147
101187
done1187
077
197
2127
done127
01220
12616
29512
339012
4143912
5357110
done500010
01020
12520
28210
33148
412478
533138
done50008
0815
11015
21315
done1315
077
197
2127
done127
0820
11720
2518
31968
48918
524958
644608
done50008
077
197
2127
done127
077
197
2127
done127
055
175
done75
022
done22
01017
11617
22517
33117
done3117
088
done88
0914
11114
21314
31414
done1414
088
done88
0813
11211
21811
32311
done2311
077
done77
0911
11111
done1111
088
done88
088
done88
088
done88
077
195
2115
done115
077
done77
01219
12219
25719
314519
427319
530919
done30919
099
1119
2149
done149
01116
11916
24216
37916
412016
512516
done12516
099
1119
2149
done149
01015
12013
24713
39613
412613
512713
done12713
088
1108
2138
done138
01218
11915
23515
37115
411115
512115
done12115
099
1119
2149
done149
01115
11612
22712
34012
45012
done5012
099
1119
2149
done149
01014
1179
2329
3499
4599
done599
088
1108
2138
done138
01115
11715
23315
36915
410915
511915
done11915
099
1119
2149
done149
01012
11412
22512
33812
44812
done4812
099
1119
2149
done149
0911
1159
2309
3479
4579
done579
088
1108
2138
done138
01014
11813
23413
36711
410411
510511
done10511
088
1108
2138
done138
0911
11510
22610
3398
4578
5588
done588
088
1108
2138
done138
0710
1137
2237
3305
done305
077
197
2127
done127
01115
11715
23315
36915
410915
511915
done11915
099
1119
2149
done149
01012
11412
22512
33812
44812
done4812
099
1119
2149
done149
0911
1159
2309
3479
4579
done579
088
1108
2138
done138
0913
11711
24611
310311
412111
done12111
088
1108
2138
done138
0810
1148
2348
3568
4578
done578
088
1108
2138
done138
069
1125
2165
3215
done215
077
197
2127
done127
01116
11716
22916
35616
46016
done6016
099
1119
2149
done149
01013
11413
22013
32813
done2813
099
1119
2149
done149
0912
11510
22510
34110
done4110
088
1108
2138
done138
01115
11612
22212
32812
done2812
099
1119
2149
done149
01012
1139
2169
done169
099
1119
2149
done149
0911
1146
2216
3236
done236
088
1108
2138
done138
01012
11412
22012
32612
done2612
099
1119
2149
done149
099
1119
2149
done149
099
1119
2149
done149
088
1126
2196
3216
done216
088
1108
2138
done138
0911
11510
22110
3278
4378
done378
088
1108
2138
done138
088
1127
2157
done155
088
1108
2138
done138
067
1104
2134
done132
077
197
2127
done127
01012
11412
22012
32612
done2612
099
1119
2149
done149
099
1119
2149
done149
099
1119
2149
done149
088
1126
2196
3216
done216
088
1108
2138
done138
0810
1148
2238
3318
done318
088
1108
2138
done138
077
1115
2175
done175
088
1108
2138
done138
056
192
done92
077
197
2127
done127
01015
11815
23015
35715
46315
done6315
088
1108
2138
done138
0912
11512
22112
32912
done2912
088
1108
2138
done138
0711
1139
2239
3339
done339
077
197
2127
done127
01014
11711
22311
32911
done2911
088
1108
2138
done138
0911
1148
2178
done178
088
1108
2138
done138
0710
1125
2195
done195
077
197
2127
done127
0911
11511
22111
32711
done2711
088
1108
2138
done138
088
1128
2158
done158
088
1108
2138
done138
067
1105
2175
done175
077
197
2127
done127
0710
1139
2199
3257
4357
done357
077
197
2127
done127
067
1106
2136
done134
077
197
2127
done127
046
183
2111
done111
066
186
2116
done116
0911
11511
22111
32711
done2711
088
1108
2138
done138
088
1128
2158
done158
088
1108
2138
done138
067
1105
2175
done175
077
197
2127
done127
069
1127
2167
3267
4287
done287
077
197
2127
done127
056
194
2114
3154
done154
077
197
2127
done127
035
171
done71
066
186
2116
done116
057
197
done97
077
197
2127
done127
044
164
done64
077
197
2127
done127
023
141
done41
066
186
2116
done116
057
177
done77
077
1117
2147
done147
044
done44
077
1117
2147
done147
033
151
done51
066
1106
2136
done136
033
153
done53
066
186
2116
3126
4146
5166
6176
done176
0810
11210
21810
32410
done2410
077
197
2127
done127
066
1104
2174
3194
done194
077
done77
077
done77
088
1108
2138
3148
4168
5188
6198
done198
088
1108
2138
3148
4168
5188
6198
done198
088
1108
2138
3148
4168
5188
6198
done198
077
197
2127
3137
4157
5177
6187
done187
088
1108
2138
3148
4168
5188
6198
done198
077
197
2127
3137
4157
5177
6187
done187
088
1108
2138
3148
4168
5188
6198
done198
088
1108
2138
3148
4168
5188
6198
done198
088
1108
2138
3148
4168
5188
6198
done198
077
197
2127
3137
4157
5177
6187
done187
088
1108
2138
3148
4168
5188
6198
done198
077
197
2127
3137
4157
5177
6187
done187
077
197
2127
3137
4157
5177
6187
done187
077
197
2127
3137
4157
5177
6187
done187
077
197
2127
3137
4157
5177
6187
done187
066
186
2116
3126
4146
5166
6176
done176
077
197
2127
3137
4157
5177
6187
done187
066
186
2116
3126
4146
5166
6176
done176
066
186
2116
3126
4146
5166
6176
done176
066
1106
2134
3194
4264
5314
done314
044
154
done54
066
186
296
done96
055
185
2105
3115
done115
055
done55
0814
11710
2438
3938
41318
51748
63048
78088
831928
done50008
0611
done611
055
done55
0614
11314
2296
3676
41326
51936
63126
77786
834116
done50006
055
done55
055
done55
022
done22
033
done33
0813
11413
22313
32913
done2913
066
done66
0812
1119
2139
3149
done149
066
done66
079
199
2119
3129
done129
066
done66
068
1107
2127
3135
4205
done205
055
done55
079
199
2119
3129
done129
066
done66
057
195
2155
3205
done205
055
done55
0710
1910
done910
066
done66
079
186
done86
066
done66
066
done66
066
done66
055
174
done74
055
done55
066
done66
066
done66
044
162
282
done82
055
done55
069
1109
done109
055
done55
068
195
done95
055
done55
055
175
done75
055
done55
034
153
done53
044
done44
055
175
done75
055
done55
023
141
done41
044
done44
044
164
done64
044
done44
069
189
done89
068
175
done75
055
done55
044
163
done63
055
done55
033
151
done51
055
done55
055
done55
044
done44
01517
12416
23815
35515
48415
512415
617715
725715
833915
941815
1042115
done42115
01416
12615
24615
38415
412615
518215
626215
734415
842515
943215
done43215
01315
12415
24815
37615
49115
510815
612315
715415
816715
done16715
01315
12715
26015
310615
416115
523115
631515
745215
847215
done47215
01431
12531
24931
37731
49231
510931
612431
715531
816431
done16431
01315
12415
24815
37615
49115
510815
612315
715415
816715
done16715
01444
12644
26416
320316
497616
done500016
01315
12415
24815
37615
49115
510815
612315
715415
816715
done16715
01315
12415
24815
37615
49115
510815
612315
715415
816715
done16715
02142
15436
218336
387236
4483536
done500036
01225
12519
28419
326619
459319
5119919
6215417
7263517
8275517
9282917
10285017
11287117
12288017
done288017
01630
13430
29730
332722
499022
5277722
done500122
089
1139
2239
3329
4549
5789
6919
7939
done939
01518
14018
211718
340818
4181818
done500118
01644
13637
29637
332136
498036
5255232
done500132
077
1117
2177
3217
done217
01429
13029
27929
325229
486529
5252325
done500125
01214
12214
24114
36214
48114
59614
610414
712114
814514
915714
done15714
01416
12216
23216
33816
done3816
01416
12316
23416
34016
done4016
01517
12117
22817
33417
done3417
01517
12217
23217
33817
done3817
01618
12418
23418
34018
done4018
01618
12518
24018
35218
done5218
01618
12418
23418
34018
done4018
01618
12518
24018
35218
done5218
01214
12314
24714
37514
49214
510914
612414
715514
816614
done16614
01214
12314
24714
37514
49214
510914
612414
715514
816614
done16614
01213
12113
23913
34913
done4913
01213
12113
23913
34913
done4913
01112
11712
22212
done2212
077
1117
2177
3217
done217
033
done33
033
done33
033
done33
02027
16025
218121
352119
4142417
5396617
done500117
02231
16629
222427
374125
4328223
done500123
01013
12211
24011
36411
49811
511111
done11111
01621
14521
212719
329017
463915
5171815
done500115
01825
15125
215425
342223
4153821
done500121
079
1119
2159
3189
4199
done199
01313
12713
24511
38211
413011
518311
629611
738911
840411
940911
done40911
01721
14819
214219
340417
4165215
done500015
01215
12813
25913
311913
424313
541513
660713
783513
884813
985213
done85213

prune268.0ms

Filtered
154 candidates to 202 candidates (-31.2%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New2020202
Fresh077
Picked011
Done022
Total20210212

Merged error: 0.0b

Counts
212 → 10

regimes132.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01214
11314
done1314

end0.0ms

sample1.3s

Algorithm
intervals
Results
442.0ms8561×body80valid
389.0ms8672×body80nan

Profiling

Loading profile data...