Details

Time bar (total: 7.1s)

analyze4.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14

sample25.0ms

Algorithm
intervals
Results
9.0ms61×body1280valid
5.0ms41×body640valid
4.0ms129×body80valid
2.0ms21×body320valid
0.0ms4×body160valid

simplify113.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
066919
166919

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 30.3b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 x (+.f64 x 1))
0.0b
(/.f64 (+.f64 x 1) (-.f64 x 1))
2.5b
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity_binary64
60×times-frac_binary64
57×add-sqr-sqrt_binary64
25×add-cube-cbrt_binary64
20×distribute-lft-out_binary64
18×distribute-lft-out--_binary64
14×difference-of-squares_binary64
11×associate-/r*_binary64
7×add-exp-log_binary64 add-cbrt-cube_binary64 associate-/l*_binary64
5×add-log-exp_binary64 difference-of-sqr-1_binary64
4×associate-/r/_binary64
3×pow1_binary64 insert-posit16
2×flip3-+_binary64 associate-/l/_binary64 flip3--_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64 flip-+_binary64
1×sub-neg_binary64 diff-log_binary64 frac-sub_binary64
Counts
3 → 116
Calls
3 calls:
6.0ms
(/.f64 x (+.f64 x 1))
10.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
41.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series919.0ms

Counts
3 → 9
Calls
3 calls:
186.0ms
(/.f64 x (+.f64 x 1))
305.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
429.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0516961
1516961
078689
178689
0516961
1516961
078689
178689
0498944
1498944
0336543
1336543
079
179
0336543
1336543
079
179
05239
15239
0304489
1304489
03339
13339
0304489
1304489
03339
13339
011157
111157

simplify40.0ms

Counts
125 → 125
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
03732421
13732421

prune119.0ms

Filtered
87 candidates to 125 candidates (-43.7%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New11114125
Fresh000
Picked011
Done000
Total11115126

Merged error: 29.8b

Counts
126 → 15

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 x 1))
0.1b
(*.f64 (/.f64 x (+.f64 (*.f64 x x) -1)) (-.f64 x 1))
6.6b
(-.f64 (*.f64 (/.f64 x (+.f64 (*.f64 x x) -1)) (-.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
17.2b
(/.f64 x (+.f64 (*.f64 x x) -1))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
69×*-un-lft-identity_binary64
64×add-sqr-sqrt_binary64
53×times-frac_binary64
35×add-cube-cbrt_binary64
18×associate-*l*_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
12×difference-of-squares_binary64
11×associate-/r*_binary64
8×distribute-lft-out_binary64
7×associate-*r*_binary64 difference-of-sqr--1_binary64 associate-/l*_binary64
6×add-log-exp_binary64 pow1_binary64 flip3--_binary64 difference-of-sqr-1_binary64 associate-/r/_binary64 distribute-lft-out--_binary64 flip--_binary64
5×sub-neg_binary64 frac-sub_binary64
4×associate-*r/_binary64 insert-posit16 frac-times_binary64
3×flip3-+_binary64 cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64 flip-+_binary64
2×associate-/l/_binary64 cbrt-unprod_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 associate--l+_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 diff-log_binary64 *-commutative_binary64
Counts
4 → 157
Calls
4 calls:
10.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
17.0ms
(*.f64 (/.f64 x (+.f64 (*.f64 x x) -1)) (-.f64 x 1))
25.0ms
(-.f64 (*.f64 (/.f64 x (+.f64 (*.f64 x x) -1)) (-.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
11.0ms
(/.f64 x (+.f64 (*.f64 x x) -1))

series1.2s

Counts
4 → 12
Calls
4 calls:
309.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
223.0ms
(*.f64 (/.f64 x (+.f64 (*.f64 x x) -1)) (-.f64 x 1))
467.0ms
(-.f64 (*.f64 (/.f64 x (+.f64 (*.f64 x x) -1)) (-.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
207.0ms
(/.f64 x (+.f64 (*.f64 x x) -1))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0367863
1367863
0129
1129
0367863
1367863
0129
1129
013
113
07001175
17001175
0124719
1124719
07001175
17001175
0124719
1124719
0498944
1498944
0482991
1482991
0131683
1131683
0482991
1482991
0131683
1131683
013
113
0336543
1336543
079
179
0336543
1336543
079
179
05239
15239

simplify124.0ms

Counts
169 → 169
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
049122963
149122963

prune196.0ms

Filtered
126 candidates to 169 candidates (-34.1%)
Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New15910169
Fresh5813
Picked011
Done101
Total16519184

Merged error: 29.8b

Counts
184 → 19

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 x 1))
0.0b
(/.f64 1 (+.f64 x 1))
0.1b
(*.f64 (/.f64 1 (+.f64 x 1)) x)
6.6b
(-.f64 (*.f64 (/.f64 1 (+.f64 x 1)) x) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
81×*-un-lft-identity_binary64
62×add-sqr-sqrt_binary64
54×times-frac_binary64
35×add-cube-cbrt_binary64
19×add-exp-log_binary64
18×associate-*l*_binary64
15×distribute-lft-out_binary64
13×add-cbrt-cube_binary64
11×associate-/r*_binary64
10×difference-of-squares_binary64
7×pow1_binary64 associate-/l*_binary64
6×add-log-exp_binary64 associate-/r/_binary64
5×difference-of-sqr-1_binary64 distribute-lft-out--_binary64 div-exp_binary64
4×prod-exp_binary64 insert-posit16
3×flip3-+_binary64 associate-*r*_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 div-inv_binary64 flip-+_binary64
2×associate-/l/_binary64 flip3--_binary64 cbrt-unprod_binary64 1-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 flip--_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 sub-neg_binary64 diff-log_binary64 inv-pow_binary64 pow-flip_binary64 frac-sub_binary64 *-commutative_binary64
Counts
4 → 148
Calls
4 calls:
10.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
7.0ms
(/.f64 1 (+.f64 x 1))
11.0ms
(*.f64 (/.f64 1 (+.f64 x 1)) x)
21.0ms
(-.f64 (*.f64 (/.f64 1 (+.f64 x 1)) x) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series1.4s

Counts
4 → 12
Calls
4 calls:
302.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
332.0ms
(/.f64 1 (+.f64 x 1))
281.0ms
(*.f64 (/.f64 1 (+.f64 x 1)) x)
438.0ms
(-.f64 (*.f64 (/.f64 1 (+.f64 x 1)) x) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
05961009
15961009
013689
113689
05961009
15961009
013689
113689
0498944
1498944
0376735
1376735
069
169
0376735
1376735
069
169
0491114
1491114
0299435
1299435
069
169
0299435
1299435
069
169
0492111
1492111
0336543
1336543
079
179
0336543
1336543
079
179
05239
15239

simplify131.0ms

Counts
160 → 160
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
059312344

prune143.0ms

Filtered
106 candidates to 160 candidates (-50.9%)
Pruning

18 alts after pruning (16 fresh and 2 done)

PrunedKeptTotal
New1582160
Fresh31417
Picked011
Done011
Total16118179

Merged error: 29.8b

Counts
179 → 18

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
21.4b
(-.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 x 1)) (/.f64 (cbrt.f64 x) (+.f64 x -1))) (-.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
11×frac-sub_binary64
9×frac-times_binary64 cbrt-prod_binary64
7×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
6×add-log-exp_binary64 associate-*l/_binary64
5×flip3--_binary64 associate-*r/_binary64 flip--_binary64
4×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
3×sub-neg_binary64 pow1/3_binary64
2×associate--l+_binary64
1×diff-log_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
38.0ms
(-.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 x 1)) (/.f64 (cbrt.f64 x) (+.f64 x -1))) (-.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series1.5s

Counts
4 → 12
Calls
4 calls:
279.0ms
(cbrt.f64 x)
449.0ms
(cbrt.f64 x)
268.0ms
(cbrt.f64 x)
514.0ms
(-.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (+.f64 x 1)) (/.f64 (cbrt.f64 x) (+.f64 x -1))) (-.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
011002081
111002081
049171924
149171924
011002081
111002081
049171924
149171924
0513947
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050

simplify104.0ms

Counts
73 → 73
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
050261468

prune102.0ms

Filtered
69 candidates to 73 candidates (-5.8%)
Pruning

19 alts after pruning (17 fresh and 2 done)

PrunedKeptTotal
New70373
Fresh11415
Picked011
Done112
Total721991

Merged error: 29.8b

Counts
91 → 19

regimes46.0ms

Accuracy

0% (0.6b remaining)

Error of 29.3b against oracle of 28.7b and baseline of 29.3b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
05722
15722

end0.0ms

sample718.0ms

Algorithm
intervals
Results
264.0ms1737×body1280valid
151.0ms1220×body640valid
129.0ms4106×body80valid
59.0ms637×body320valid
20.0ms300×body160valid

Profiling

Loading profile data...