Details

Time bar (total: 8.4min)

sample24.0ms

Algorithm
intervals
Results
11.0ms299×body80valid

simplify160.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0811
11911
22611
33911
44611
56011
67311
79811
810211
910811
1011211
1112011
1212311
1312511
done12511

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 11.1b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b
(* x (+ (/ x y) 1.0))
10.4b
(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
add-exp-log add-cbrt-cube
add-sqr-sqrt
add-cube-cbrt
pow1 times-frac associate-*r/ associate-*r* associate-/r*
flip3-+ associate-*l* flip-+ distribute-lft-out
cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod associate-/l/ add-log-exp
distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num *-commutative div-inv associate-/l* unswap-sqr
Counts
2 → 50
Calls
2 calls:
11.0ms
(* x (+ (/ x y) 1.0))
14.0ms
(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

series13.0ms

Counts
2 → 6
Calls
2 calls:
6.0ms
(* x (+ (/ x y) 1.0))
8.0ms
(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

simplify48.6s

Counts
56 → 56
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01114
11814
22514
33114
43714
54614
65914
77714
89314
910014
1011714
1111914
done11914
01013
12413
23313
34413
44913
55513
66413
77713
89513
911113
1011813
1113513
1213713
done13713
0912
12312
23812
36712
48912
511112
613612
717912
820112
921512
1023712
1124712
1225312
1326012
1426512
done26512
0912
12012
22712
34212
46112
59612
615212
732912
872112
9219112
done500012
01435
15535
224117
3100417
4449115
done500115
01235
15135
221915
3107813
4423213
done500013
01025
12125
22825
34125
44825
56225
67525
710025
810425
911025
1011425
1112225
1212525
1312725
done12725
0912
12012
22712
34012
44712
56112
67412
79912
810312
910912
1011312
1112112
1212412
1312612
done12612
01035
12835
28413
338013
4196513
done500113
0912
12012
22712
34012
44712
56112
67412
79912
810312
910912
1011312
1112112
1212412
1312612
done12612
0912
12012
22712
34012
44712
56112
67412
79912
810312
910912
1011312
1112112
1212412
1312612
done12612
078
1198
2398
3608
4648
done648
044
184
2104
3114
done114
0611
1911
done911
0810
11010
done1010
056
166
done66
0810
11010
done1010
033
151
done51
079
199
done99
033
151
done51
079
199
done99
055
185
done85
0811
11911
22411
32611
done2611
01017
12617
24317
37417
49217
513017
619117
721617
822117
922217
1022417
1122517
done22517
0912
12012
22712
34012
44712
56112
67412
78312
88512
done8512
089
1207
2317
3507
4557
done557
089
1207
2317
3507
4557
done557
079
199
done99
01115
13515
25015
38015
412815
526415
669915
7257115
done500015
01015
12515
25015
310915
420015
535715
662513
7154813
done500013
01121
13319
210219
328817
475017
5181817
6373617
done500117
079
1119
2269
3599
41179
51709
62309
73529
86179
910819
1013189
1113359
done13359
067
1147
2177
3197
done197
089
1109
done109
078
1188
2228
3248
done248
078
1178
2298
3488
4818
51978
65238
717288
done50008
01023
13023
211711
342211
415329
done50009
0817
11617
21917
32117
done2117
078
1158
2188
3208
done208
0823
12623
2999
33699
49669
528629
done50009
078
1158
2188
3208
done208
078
1158
2188
3208
done208
089
1109
done109
089
1109
done109
045
175
295
done95
033
143
done43
045
175
295
done95
033
143
done43
0815
11215
21415
done1415
078
198
done98
033
161
done61
033
161
done61
078
1158
2208
3248
4268
5278
done278
078
1158
2208
3248
4268
5278
done278
067
1147
2177
3197
done197
0911
13311
28511
319811
457311
5197511
done500011
0813
11813
24113
39813
421913
535013
656613
7100113
8379213
done500013
01419
13917
210115
320615
451013
5149013
done500013
0911
11911
2379
3549
4759
51069
61309
71709
82059
92359
102629
113109
123369
done3369
0911
11911
2379
3549
4759
51069
61309
71709
82059
92359
102629
113109
123369
done3369
089
1159
2279
3349
4457
5577
6797
71457
83617
912937
done50007
089
1159
2279
3349
4457
5577
6797
71457
83617
912937
done50007
089
1159
2279
3349
4457
5577
6797
71457
83617
912937
done50007

prune94.0ms

Filtered
44 candidates to 56 candidates (-27.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New52456
Fresh000
Picked101
Done000
Total53457

Merged error: 0b

Counts
57 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
0.1b
(/ (+ x 1.0) (+ (/ x y) 1.0))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
155×*-un-lft-identity
146×times-frac
71×add-sqr-sqrt add-cube-cbrt
42×distribute-lft-out
26×associate-/r*
11×associate-/r/
add-exp-log add-cbrt-cube
associate-/l*
flip3-+ flip-+ div-inv
cbrt-undiv div-exp
pow1 frac-2neg clear-num associate-/l/ add-log-exp
Counts
2 → 146
Calls
2 calls:
20.0ms
(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
12.0ms
(/ (+ x 1.0) (+ (/ x y) 1.0))

series17.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(/ x (/ (+ x 1.0) (+ (/ x y) 1.0)))
9.0ms
(/ (+ x 1.0) (+ (/ x y) 1.0))

simplify1.1min

Counts
152 → 152
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
0911
11311
21411
done1411
0810
11310
21510
31610
done1610
0810
11010
done1010
01129
14629
214513
338611
4106111
5299411
done500011
0921
11121
done1121
0810
11010
done1010
0929
11829
25011
312211
431711
570211
6157811
7406311
done500011
0810
11010
done1010
0810
11010
done1010
044
184
2104
3114
done114
066
1106
2146
3156
done156
01123
11923
22823
33423
done3423
0911
11111
done1111
01016
11416
21616
31716
done1716
0911
11111
done1111
0711
1129
2189
3239
done239
0810
11010
done1010
0711
1129
2189
3239
done239
0810
11010
done1010
01018
11418
done1418
0911
11111
done1111
0911
11111
done1111
0911
11111
done1111
066
194
2114
done114
0810
11010
done1010
066
194
2114
done114
0810
11010
done1010
0915
11415
done1415
0810
11010
done1010
088
1118
done118
0810
11010
done1010
023
141
done41
079
199
done99
023
141
done41
079
199
done99
0915
11415
done1415
0810
11010
done1010
088
1118
done118
0810
11010
done1010
023
141
done41
079
199
done99
023
141
done41
079
199
done99
077
1107
done107
079
199
done99
0917
11317
done1317
0810
11010
done1010
055
183
2103
done103
055
183
2103
done103
0810
11010
done1010
0810
11010
done1010
079
199
done99
079
199
done99
01013
12813
25513
312013
430713
588313
6372513
done500013
0915
11915
23415
35815
49615
515915
623515
742015
8181515
done500015
01117
12715
28115
322715
457715
5144815
6282615
done500115
079
1119
2269
3599
41199
51769
62469
73779
86379
910889
1011849
1111959
done11959
01114
11914
22714
34014
44414
55214
66714
79314
810214
done10214
01013
11713
22213
32913
44213
54713
65513
77013
89613
910513
done10513
0912
11612
23412
35912
48412
511912
615612
717312
819812
922212
1023712
1124312
1225012
1325512
done25512
0912
11312
22612
35312
48412
513712
629812
764812
8204112
done500012
01435
15435
220517
387615
4456113
done500113
01235
12935
210315
341313
4185513
done500113
01025
11425
22525
34225
45725
57525
610425
710825
811425
911825
1012625
1112925
1213125
done13125
0912
11312
22412
34112
45612
57412
610312
710712
811312
911712
1012512
1112812
1213012
done13012
01035
12135
26713
332513
4164513
done500013
0912
11312
22412
34112
45612
57412
610312
710712
811312
911712
1012512
1112812
1213012
done13012
0912
11312
22412
34112
45612
57412
610312
710712
811312
911712
1012512
1112812
1213012
done13012
022
done22
0810
11210
21610
31810
42410
52810
63210
done3210
01227
12027
22927
33527
done3527
01013
11213
done1213
01116
11516
21716
31816
done1816
01013
11213
done1213
01429
12629
26229
315129
428129
537629
641329
742329
842429
done42429
01114
11514
21814
31914
42114
52314
62414
done2414
01322
12122
23922
38322
412722
514622
615122
715222
done15222
01114
11514
21814
31914
42114
52314
62414
done2414
01017
11915
24215
311715
414815
517215
617415
done17415
01013
11413
22513
34213
46013
58413
610813
711813
done11813
01017
11915
24215
311715
414815
517215
617415
done17415
01013
11413
22513
34213
46013
58413
610813
711813
done11813
01324
12124
23624
36424
410124
512424
613424
714324
done14324
01114
11514
21814
31914
42114
52314
62414
done2414
01217
11817
22717
33717
44717
55117
65317
75417
done5417
01114
11514
21814
31914
42114
52314
62414
done2414
0912
11610
22710
34910
45410
55810
66410
done6410
01013
11413
22513
34213
46013
58413
610813
711813
done11813
0912
11610
22710
34910
45410
55810
66410
done6410
01013
11413
22513
34213
46013
58413
610813
711813
done11813
01221
12121
23619
38319
419619
526119
630619
done30619
01013
11413
21713
31813
42013
52213
62313
done2313
01114
11814
22712
35312
410012
510912
done10912
01013
11413
21713
31813
42013
52213
62313
done2313
069
1127
2215
3425
4565
done565
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
069
1127
2215
3425
4565
done565
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
01221
12121
23619
38319
419619
526119
630619
done30619
01013
11413
21713
31813
42013
52213
62313
done2313
01114
11814
22712
35312
410012
510912
done10912
01013
11413
21713
31813
42013
52213
62313
done2313
069
1127
2215
3425
4565
done565
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
069
1127
2215
3425
4565
done565
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
057
195
2155
3205
done205
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
069
199
2119
3129
done129
0910
11410
2258
3408
4628
51028
61388
71488
81498
done1498
01319
13519
27919
321019
485419
5412719
done500019
01120
12518
25118
38116
412616
521116
632816
737916
847116
954916
1055016
done55016
01221
12621
25821
317421
462321
5169721
6377521
done500021
078
198
2108
done108
01124
11524
done1524
01013
11213
done1213
01013
11213
done1213
01013
11213
done1213
01326
12326
24426
37526
410126
513526
615826
716826
done16826
01114
11514
21814
31914
42114
52314
62414
done2414
01219
11819
22619
33919
44719
55319
65619
done5619
01114
11514
21814
31914
42114
52314
62414
done2414
0914
11612
22912
35612
46812
58012
68512
done8512
01013
11413
22513
34213
46013
58413
610813
711813
done11813
0914
11612
22912
35612
46812
58012
68512
done8512
01013
11413
22513
34213
46013
58413
610813
711813
done11813
01221
11821
22521
33321
43721
54621
65221
75721
done5721
01114
11514
21814
31914
42114
52314
62414
done2414
01114
11514
21814
31914
42114
52314
62414
done2414
01114
11514
21814
31914
42114
52314
62414
done2414
089
1137
2197
3247
4267
5297
6337
done337
01013
11413
22513
34213
46013
58413
610813
711813
done11813
089
1137
2197
3247
4267
5297
6337
done337
01013
11413
22513
34213
46013
58413
610813
711813
done11813
01118
11818
22516
34116
46716
58816
610816
done10816
01013
11413
21713
31813
42013
52213
62313
done2313
01011
11511
2189
3279
4369
5389
done389
01013
11413
21713
31813
42013
52213
62313
done2313
056
194
2142
3162
4202
done202
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
056
194
2142
3162
4202
done202
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
01118
11818
22516
34116
46716
58816
610816
done10816
01013
11413
21713
31813
42013
52213
62313
done2313
01011
11511
2189
3279
4369
5389
done389
01013
11413
21713
31813
42013
52213
62313
done2313
056
194
2142
3162
4202
done202
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
056
194
2142
3162
4202
done202
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
044
162
282
done82
0912
11312
22412
34112
45912
58312
613112
714512
815712
916512
1017912
1118512
1218912
done18912
056
166
done66
0910
11410
2258
3408
4628
51028
61388
71488
81498
done1498
01216
13216
27016
318016
463516
5263616
done500016
01120
12518
25118
38116
412616
521116
632816
737916
847116
954916
1055016
done55016
01118
12318
24918
313618
438218
585018
6166818
7323818
done500018
078
198
2108
done108
01123
11723
done1723
0912
11112
done1112
01012
11412
done1412
0912
11112
done1112
01325
12525
24625
37723
413723
520423
done20423
01013
11413
21713
31813
42013
52213
62313
done2313
01218
12018
22818
34116
46816
510316
done10316
01013
11413
21713
31813
42013
52213
62313
done2313
0813
11511
22611
33511
done3511
0912
11312
22412
34112
45612
57412
68712
78912
done8912
0813
11511
22611
33511
done3511
0912
11312
22412
34112
45612
57412
68712
78912
done8912
01220
12020
22720
33518
45918
57418
done7418
01013
11413
21713
31813
42013
52213
62313
done2313
01113
11713
22013
32111
43411
53911
done3911
01013
11413
21713
31813
42013
52213
62313
done2313
078
1126
2176
done176
0912
11312
22412
34112
45612
57412
68712
78912
done8912
078
1126
2176
done176
0912
11312
22412
34112
45612
57412
68712
78912
done8912
01017
11713
22613
33913
45313
55413
done5413
0912
11312
21612
31712
41912
52112
62212
done2212
0910
1146
2196
3216
4226
done226
0912
11312
21612
31712
41912
52112
62212
done2212
035
161
done61
0811
11211
22311
34011
45511
57311
610211
710611
811211
911611
1012411
1112711
1212911
done12911
035
161
done61
0811
11211
22311
34011
45511
57311
610211
710611
811211
911611
1012411
1112711
1212911
done12911
01017
11713
22613
33913
45313
55413
done5413
0912
11312
21612
31712
41912
52112
62212
done2212
0910
1146
2196
3216
4226
done226
0912
11312
21612
31712
41912
52112
62212
done2212
035
161
done61
0811
11211
22311
34011
45511
57311
610211
710611
811211
911611
1012411
1112711
1212911
done12911
035
161
done61
0811
11211
22311
34011
45511
57311
610211
710611
811211
911611
1012411
1112711
1212911
done12911
023
141
done41
0811
11211
22311
34011
45511
57311
610211
710611
811211
911611
1012411
1112711
1212911
done12911
055
185
done85
089
1139
2247
3327
4417
5467
done467
01215
13415
27215
318213
466613
5307713
done500113
01019
12417
25017
38015
412515
521015
632715
737815
847015
954815
1054915
done54915
01117
12517
25117
313815
442915
5113115
6188915
7305715
done500015
067
187
297
done97
0911
11511
22611
3439
4889
51359
61849
72039
82209
92439
102729
112919
123089
133239
done3239
0811
11211
22311
32511
42711
done2711
01023
11423
done1423
0912
11112
done1112
01225
12225
24325
37425
410025
513225
615425
716425
done16425
01118
11718
22518
33818
44618
55218
65518
done5518
0813
11511
22811
35511
46311
57211
68711
79011
done9011
0813
11511
22811
35511
46311
57211
68711
79011
done9011
01120
11720
22420
33220
43620
54520
65120
75620
done5620
01013
11413
21713
31813
42013
52213
62313
done2313
078
1126
2186
3236
done236
078
1126
2186
3236
done236
01017
11717
22415
33415
45415
58615
69815
done9815
0910
11410
2178
3238
4308
5358
done358
045
183
2131
done131
045
183
2131
done131
01017
11717
22415
33415
45415
58615
69815
done9815
0910
11410
2178
3238
4308
5358
done358
045
183
2131
done131
045
183
2131
done131
033
151
done51
045
155
done55
01115
13115
26915
317915
461615
5250215
done500015
01017
12217
24817
313517
436517
577117
6138317
7256317
done500017
0912
11312
22412
32812
43212
53412
63512
done3512
0912
11312
22412
32812
43212
53412
63512
done3512
0811
11211
22311
32511
42711
done2711
045
155
done55
011
done11
011
done11
011
done11
01419
13917
210115
320615
451013
5149013
done500013
0911
11911
2379
3549
4759
51069
61309
71709
82059
92359
102629
113109
123369
done3369
0911
11911
2379
3549
4759
51069
61309
71709
82059
92359
102629
113109
123369
done3369

prune193.0ms

Filtered
99 candidates to 152 candidates (-53.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1520152
Fresh033
Picked011
Done000
Total1524156

Merged error: 0b

Counts
156 → 4

localize11.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x))) (- x 1.0))
0.2b
(/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
72×*-un-lft-identity
69×add-sqr-sqrt
58×times-frac
30×associate-*l*
26×add-cube-cbrt
19×difference-of-squares
13×distribute-lft-out
10×distribute-lft-out--
add-exp-log add-cbrt-cube
associate-/r*
associate-*r*
pow1 flip3-- associate-/r/ flip-- associate-/l*
cbrt-undiv distribute-rgt-in frac-times sub-neg distribute-lft-in associate-*r/ div-exp prod-exp cbrt-unprod div-inv associate-/l/ add-log-exp unswap-sqr
frac-2neg flip3-+ pow-prod-down associate-*l/ clear-num *-commutative flip-+
Counts
2 → 109
Calls
2 calls:
27.0ms
(* (/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x))) (- x 1.0))
15.0ms
(/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x)))

series18.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(* (/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x))) (- x 1.0))
8.0ms
(/ (+ (/ x y) 1.0) (- x (/ (* 1.0 1.0) x)))

simplify3.9min

Counts
115 → 115
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01115
11815
22615
33415
43915
done3915
01014
11814
22714
33614
44114
done4114
01014
11514
22214
33014
43514
done3514
01341
13941
212717
337815
4122215
5433215
done500015
01129
11629
22329
33129
43629
done3629
01014
11514
22214
33014
43514
done3514
01141
12341
26215
315615
441715
5121615
6413815
done500015
01014
11514
22214
33014
43514
done3514
01014
11514
22214
33014
43514
done3514
066
1106
2146
3156
done156
068
1108
2208
3348
4537
5567
done567
01331
12431
24031
35431
45931
done5931
01115
11615
22315
33115
43615
done3615
01222
11922
22822
33722
44222
done4222
01115
11615
22315
33115
43615
done3615
0915
11413
22013
32513
done2513
01014
11514
22214
33014
43514
done3514
01323
11923
22323
32523
done2523
01216
11716
22016
32116
done2116
01121
11521
21721
31821
done1821
01014
11314
21614
done1614
0915
11413
22013
32513
done2513
01014
11514
22214
33014
43514
done3514
01224
11924
22624
33424
43924
done3924
01115
11615
22315
33115
43615
done3615
01115
11615
22315
33115
43615
done3615
01115
11615
22315
33115
43615
done3615
088
1116
2136
done136
01014
11514
22214
33014
43514
done3514
01216
11616
21816
31916
done1916
01216
11716
22016
32116
done2116
01014
11214
done1214
01014
11314
21614
done1614
088
1116
2136
done136
01014
11514
22214
33014
43514
done3514
0919
11719
22419
33219
43719
done3719
01014
11514
22214
33014
43514
done3514
0810
11410
22110
32910
43410
done3410
01014
11514
22214
33014
43514
done3514
023
141
done41
0913
11413
22113
32913
43413
done3413
0911
11411
21611
31711
done1711
01115
11615
21915
32015
done2015
079
1109
done109
0913
11213
21513
done1513
023
141
done41
0913
11413
22113
32913
43413
done3413
0919
11719
22419
33219
43719
done3719
01014
11514
22214
33014
43514
done3514
0810
11410
22110
32910
43410
done3410
01014
11514
22214
33014
43514
done3514
023
141
done41
0913
11413
22113
32913
43413
done3413
0911
11411
21611
31711
done1711
01115
11615
21915
32015
done2015
079
1109
done109
0913
11213
21513
done1513
023
141
done41
0913
11413
22113
32913
43413
done3413
079
1139
2209
3289
4339
done339
0913
11713
23013
35313
410913
515213
617013
719413
821113
922913
1025013
1127013
1228813
1329313
done29313
01123
11823
22523
33323
43823
done3823
01014
11514
22214
33014
43514
done3514
077
1105
2125
done125
01115
11515
21715
31815
done1815
0913
11113
done1113
077
1105
2125
done125
01014
11814
23114
35414
49514
512914
613314
done13314
01014
11814
23114
35414
49514
512914
613314
done13314
0913
11713
23013
35313
410913
515213
617013
719413
821113
922913
1025013
1127013
1228813
1329313
done29313
0913
11713
23013
35313
410913
515213
617013
719413
821113
922913
1025013
1127013
1228813
1329313
done29313
01217
13217
28917
334017
4150317
done500117
01121
12321
25221
314819
435617
565617
6107717
7226717
done500117
01225
13723
210623
334521
4122421
5382621
done500021
0913
11613
23513
38913
425113
552213
696413
7163013
8257713
done500013
01117
12117
24317
39017
416517
528717
652217
798517
8180517
9493317
done500017
01420
12620
24320
36020
47420
57920
68820
710520
812420
913220
done13220
01319
12419
23719
35419
46919
57819
68319
79219
810919
912819
1013619
done13619
01218
12518
25318
311018
420118
533818
658618
7106018
8222918
done500118
01218
12418
25218
311918
423318
548118
6104118
7265718
done500018
01753
15153
220223
393521
done500021
01553
13553
212521
350721
4252419
done500019
01337
12337
24537
39237
416737
529037
652437
798637
8212737
done500037
01218
12218
24418
39118
416618
529018
652518
798818
8180818
9491718
done500018
01353
13353
212419
359819
4282919
done500019
01218
12218
24418
39118
416618
529018
652518
798818
8180818
9491718
done500018
01218
12218
24418
39118
416618
529018
652518
798818
8180818
9491718
done500018
01013
12713
26313
317813
460413
5229213
done500113
01019
12817
28217
325017
482117
5211617
6431717
done500017
0913
11613
24113
313313
439513
590313
6262813
done500013
0711
11911
24411
310111
424911
544811
661611
7196411
done500011
01319
12119
22819
33619
44119
done4119
01319
12119
22819
33619
44119
done4119
01420
12420
23420
34420
45120
55220
done5220
01420
12420
23420
34420
45120
55220
done5220
01015
11815
22815
34915
47015
510315
614615
721515
826215
932715
1043915
1162315
12206215
done500015
01116
12116
23616
36216
410116
517916
631416
754414
8231714
done500113
01015
11815
22815
34915
47015
510315
614615
721515
826215
932715
1043915
1162315
12206215
done500015
01116
12116
23616
36216
410116
517916
631416
754414
8231714
done500113
01015
11815
23615
35315
48115
511515
619215
725715
832715
943915
1062515
11201415
done500015
01116
12116
24416
37516
412616
519516
635516
758016
887114
9354214
done500013
01015
11815
23615
35315
48115
511515
619215
725715
832715
943915
1062515
11201415
done500015
01116
12116
24416
37516
412616
519516
635516
758016
887114
9354214
done500013
01323
12523
24023
36723
411823
520923
640223
766923
8102523
9140323
10212223
11440723
done500123
01218
12218
23218
35318
47618
511718
618418
728518
835418
944118
1062018
1194018
12297418
done500018
01115
12113
23813
36313
49513
516513
628613
743113
858813
977213
10102613
11134613
12157813
13171313
14173613
15180013
16220113
17373213
done500013
01319
12819
25119
39419
415519
527119
642019
767119
885419
9101119
10131619
11192519
done500019
01115
12113
23813
36313
49513
516513
628613
743113
858813
977213
10102613
11134613
12157813
13171313
14173613
15180013
16220113
17373213
done500013
01218
12018
23318
34618
45518
done5518
01218
12018
23318
34618
45518
done5518
01319
12319
24519
36719
49119
510719
611719
711919
done11919
01319
12319
24519
36719
49119
510719
611719
711919
done11919
01218
12218
24418
36918
410618
516018
626918
740518
854518
9130118
done500018
01420
12420
24320
36120
48520
511120
613320
714320
814720
done14720
01218
12018
23818
35518
48118
511318
615318
718018
820418
922118
1023818
1125818
1226218
1327118
1427618
done27618
01218
12218
24418
36918
410618
516018
626918
740518
854518
9130118
done500018
01319
12319
24519
36719
49119
510719
611719
711919
done11919
01319
12319
24519
36719
49119
510719
611719
711919
done11919
01218
12218
24418
36918
410618
516018
626918
740518
854518
9130118
done500018
01420
12420
24320
36120
48520
511120
613320
714320
814720
done14720
01218
12018
23818
35518
48118
511318
615318
718018
820418
922118
1023818
1125818
1226218
1327118
1427618
done27618
01218
12218
24418
36918
410618
516018
626918
740518
854518
9130118
done500018
01218
12218
24418
38818
415118
524018
638318
769318
8129618
9222418
10270918
11301218
12302618
done302618
01218
12218
24418
38818
415118
524018
638318
769318
8129618
9222418
10270918
11301218
12302618
done302618
01117
12117
24317
39017
416517
528717
652217
798517
8180517
9493317
done500017
01319
12319
24219
38419
414719
524219
637119
762619
8111619
9196419
10261519
11319419
12334419
13338119
14341219
15343019
16343419
done343419
01117
11917
23717
37817
414417
523817
638117
765717
8116317
9203617
10276817
11355817
12419817
done500017
01117
12117
24317
39017
416517
528717
652217
798517
8180517
9493317
done500017
01218
12218
24418
38818
415118
524018
638318
769318
8129618
9222418
10270918
11301218
12302618
done302618
01218
12218
24418
38818
415118
524018
638318
769318
8129618
9222418
10270918
11301218
12302618
done302618
01117
12117
24317
39017
416517
528717
652217
798517
8180517
9493317
done500017
01319
12319
24219
38419
414719
524219
637119
762619
8111619
9196419
10261519
11319419
12334419
13338119
14341219
15343019
16343419
done343419
01117
11917
23717
37817
414417
523817
638117
765717
8116317
9203617
10276817
11355817
12419817
done500017
01117
12117
24317
39017
416517
528717
652217
798517
8180517
9493317
done500017
01117
12117
24317
39017
416517
528717
652217
798517
8180517
9493317
done500017
0913
12013
24211
39211
418311
532411
666711
7175311
8382711
done500011
01127
12921
28721
328321
487221
5248219
done500019
0711
11311
23011
37011
416811
527011
636711
750111
8118011
done500011
01421
13621
27821
324121
481421
5312621
done500021
01221
12521
25821
318321
452621
5117721
6340421
done500121
079
1119
2269
3599
41199
51769
62469
73779
86379
910889
1011849
1111959
done11959
01520
13918
210916
323016
445716
595414
6185714
7486514
done500014
01317
13217
26213
311913
426013
570013
6273413
done500013
01317
13217
26213
311913
426013
570013
6273413
done500013
01419
13917
210115
320615
451013
5149013
done500013
0911
11911
2379
3549
4759
51069
61309
71709
82059
92359
102629
113109
123369
done3369
0911
11911
2379
3549
4759
51069
61309
71709
82059
92359
102629
113109
123369
done3369

prune168.0ms

Filtered
82 candidates to 115 candidates (-40.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1150115
Fresh022
Picked011
Done011
Total1154119

Merged error: 0b

Counts
119 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b
(* x (+ (/ x y) 1.0))
0.2b
(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
10.4b
(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
50×times-frac
40×*-un-lft-identity
31×add-exp-log
28×add-sqr-sqrt
26×add-cube-cbrt
19×add-cbrt-cube
14×div-exp
12×associate-*r/
11×associate-/r* associate-/r/
cbrt-undiv flip3-+ flip-+ distribute-lft-out associate-/l*
pow1 div-inv
prod-exp
associate-*r*
rec-exp 1-exp associate-*l* cbrt-unprod add-log-exp
frac-2neg clear-num associate-/l/
distribute-rgt-in pow-flip distribute-lft-in pow-prod-down *-commutative inv-pow unswap-sqr
Counts
3 → 118
Calls
3 calls:
10.0ms
(* x (+ (/ x y) 1.0))
18.0ms
(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
13.0ms
(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

series23.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(* x (+ (/ x y) 1.0))
7.0ms
(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
11.0ms
(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

simplify2.6min

Counts
127 → 127
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01114
11814
22714
33714
44714
56314
68214
79814
810314
done10314
01013
12413
23413
34413
45413
56613
68513
711113
812113
done12113
0912
12312
23612
35012
46312
57312
68912
710812
812412
912912
done12912
0912
12012
22512
32712
done2712
01435
15535
223317
397117
4396915
done500015
01235
15135
222015
3104913
4379213
done500113
01025
12125
22625
32825
done2825
0912
12012
22512
32712
done2712
01035
12835
29513
344513
4181513
done500013
0912
12012
22512
32712
done2712
0912
12012
22512
32712
done2712
044
184
2104
3114
done114
078
1198
2398
3608
4648
done648
0611
1911
21111
31211
done1211
0810
11010
done1010
056
166
done66
0810
11010
done1010
033
153
done53
079
199
done99
033
153
done53
079
199
done99
089
1209
2259
3279
done279
0811
11911
22611
33911
44611
56011
67311
79811
810211
910811
1011211
1112011
1212311
1312511
done12511
045
155
done55
0912
12012
22712
34012
44712
56112
67412
78312
88512
done8512
0912
12012
22712
34012
44712
56112
67412
78312
88512
done8512
0811
11911
22611
33911
44611
56011
67311
79811
810211
910811
1011211
1112011
1212311
1312511
done12511
0811
11911
22611
33911
44611
56011
67311
79811
810211
910811
1011211
1112011
1212311
1312511
done12511
01115
13815
29215
320915
458915
5199715
done500015
01017
12317
25017
311517
423817
537117
659217
7102517
8390617
done500017
01219
13517
211117
337317
499417
5239417
done500017
0811
12111
24711
312811
427011
544011
664211
794611
8173111
9338211
10384811
done500011
022
151
done51
01215
11915
23115
34915
49614
511014
612714
714114
done14114
01114
12514
23814
35314
49213
510413
612113
714013
done14013
01013
12413
23713
35413
47513
512513
614213
716313
817713
done17713
01316
12415
25115
310514
424014
536414
641914
745614
done45614
01215
13014
25414
39913
420713
537413
643013
747713
done47713
01114
12713
24613
37813
415113
532713
639313
744013
847513
done47513
01417
12716
24915
310914
424414
537014
643114
746414
done46414
01316
13315
25214
310313
421213
537713
643113
747613
done47613
01215
13014
24613
38213
415513
533113
639713
744313
848213
done48213
01114
13013
25913
313612
430112
556212
678412
788212
899112
9111312
10174712
done500012
01114
12614
24814
311112
427712
555812
6122612
7346512
done500112
01841
16637
227219
3134717
done500017
01641
16237
225717
3145515
done500015
01441
14137
213215
377515
4372913
done500013
01229
12729
24729
39725
420125
535225
645325
751925
858725
970825
10133725
11468325
done500125
01114
12614
24614
39612
420212
535312
645612
752312
859912
971912
10133812
11466512
done500012
01241
13441
29315
352713
4337713
done500013
01114
12614
24614
39612
420212
535312
645612
752312
859912
971912
10133812
11466512
done500012
01114
12614
24614
39612
420212
535312
645612
752312
859912
971912
10133812
11466512
done500012
022
151
done51
0912
12212
23712
34312
46112
58311
69311
79511
done9511
01431
13329
24727
35527
done5527
01215
12514
23014
33214
done3214
01318
12816
23514
33814
done3814
01215
12514
23014
33214
done3214
01017
11915
23713
37011
49811
59911
done9911
01113
11712
22812
34510
49010
513510
616010
717910
818910
done18910
0912
11610
2258
3336
4346
done346
01113
11712
22812
34510
49010
513510
616010
717910
818910
done18910
069
1127
2213
3281
done281
01012
11611
22711
3449
4899
51369
61859
72069
82249
92479
102769
112959
123129
133279
done3279
069
1127
2213
3281
done281
01012
11611
22711
3449
4899
51369
61859
72069
82249
92479
102769
112959
123129
133279
done3279
047
183
2121
done121
01114
12613
24613
39611
420211
534911
645211
751811
859411
971611
10134911
11477311
done500011
079
1127
2145
3155
done155
01012
12411
2449
3817
41257
51787
61877
71917
done1917
01521
14819
212517
336915
4141715
done500015
01220
12817
25417
38415
412915
521415
633115
738215
847415
955215
1055315
done55315
01423
13321
27719
323417
488017
5195017
6350517
done500017
088
1127
2137
done137
01328
12827
23327
33527
done3527
01215
12514
23014
33214
done3214
01215
12514
23014
33214
done3214
01215
12514
23014
33214
done3214
0914
11613
22413
33711
44111
56611
611311
711511
done11511
01113
11712
22812
34510
49010
513510
616010
717910
818910
done18910
089
1138
2168
3176
done176
01113
11712
22812
34510
49010
513510
616010
717910
818910
done18910
056
195
2123
3171
4181
done181
01012
11611
22711
3449
4899
51369
61859
72069
82249
92479
102769
112959
123129
133279
done3279
056
195
2123
3171
4181
done181
01012
11611
22711
3449
4899
51369
61859
72069
82249
92479
102769
112959
123129
133279
done3279
034
151
done51
01114
12613
24613
39611
420211
534911
645211
751811
859411
971611
10134911
11477311
done500011
066
195
done95
01012
12411
2449
3817
41257
51787
61877
71917
done1917
01418
14517
211417
333615
4134315
done500015
01220
12817
25417
38415
412915
521415
633115
738215
847415
955215
1055315
done55315
01320
13019
26619
319517
474117
5182817
6336917
done500017
088
1127
2137
done137
01227
12727
23227
33427
done3427
01114
12414
22914
33114
done3114
01114
12414
22914
33114
done3114
01114
12414
22914
33114
done3114
0813
11513
22313
33611
44011
56511
610811
711211
done11211
01012
11612
22712
34410
48910
513610
616110
717810
818810
done18810
078
1128
2158
3166
done166
01012
11612
22712
34410
48910
513610
616110
717810
818810
done18810
045
181
done81
0911
11511
22611
3439
4889
51359
61849
72039
82209
92439
102729
112919
123089
133239
done3239
045
181
done81
0911
11511
22611
3439
4889
51359
61849
72039
82209
92439
102729
112919
123089
133239
done3239
023
141
done41
01013
12513
24513
39511
419911
534811
645111
751611
859011
971311
10133411
11474611
done500011
055
185
done85
0911
1237
2457
3987
41447
51637
61967
72017
done2017
01317
14417
211317
333015
4130915
done500015
01119
12717
25317
38315
412815
521315
633015
738115
847315
955115
1055215
done55215
01219
12919
26519
319417
474217
5183517
6338317
done500017
077
1117
2127
done127
01013
12513
24513
39511
419911
534811
645111
751611
859011
971311
10133411
11474611
done500011
01013
12511
24811
310511
412411
513411
614311
714811
done14811
01227
12727
23227
33427
done3427
01114
12414
22914
33114
done3114
0813
11513
22313
33611
44011
56511
610811
711211
done11211
078
1128
2158
3166
done166
045
181
done81
045
181
done81
023
141
done41
055
185
done85
01317
14417
211317
333015
4130915
done500015
01219
12919
26519
319417
474217
5183517
6338317
done500017
01114
12613
24513
38311
411311
512311
613211
713611
done13611
01114
12613
24513
38311
411311
512311
613211
713611
done13611
01013
12511
24811
310511
412411
513411
614311
714811
done14811
055
185
done85
067
1147
2177
3197
done197
089
1109
done109
078
1188
2228
3248
done248
078
1178
2298
3488
4818
51978
65238
717288
done50008
01023
13023
211711
342211
415329
done50009
0817
11617
21917
32117
done2117
078
1158
2188
3208
done208
0823
12623
2999
33699
49669
528629
done50009
078
1158
2188
3208
done208
078
1158
2188
3208
done208
089
1109
done109
089
1109
done109
045
175
295
done95
033
143
done43
045
175
295
done95
033
143
done43
0815
11215
21415
done1415
078
198
done98
033
161
done61
033
161
done61
078
1158
2208
3248
4268
5278
done278
078
1158
2208
3248
4268
5278
done278
067
1147
2177
3197
done197
0911
13311
28511
319811
457311
5197511
done500011
0813
11813
24113
39813
421913
535013
656613
7100113
8379213
done500013
011
done11
011
done11
011
done11
01419
13917
210115
320615
451013
5149013
done500013
0911
11911
2379
3549
4759
51069
61309
71709
82059
92359
102629
113109
123369
done3369
0911
11911
2379
3549
4759
51069
61309
71709
82059
92359
102629
113109
123369
done3369
089
1159
2279
3349
4457
5577
6797
71457
83617
912937
done50007
089
1159
2279
3349
4457
5577
6797
71457
83617
912937
done50007
089
1159
2279
3349
4457
5577
6797
71457
83617
912937
done50007

prune127.0ms

Filtered
79 candidates to 127 candidates (-60.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1270127
Fresh011
Picked011
Done022
Total1274131

Merged error: 0b

Counts
131 → 4

regimes80.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11011
done1011

end0.0ms

sample811.0ms

Algorithm
intervals
Results
523.0ms9148×body80valid

Profiling

Loading profile data...