Details

Time bar (total: 7.7s)

analyze55.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%12.5%87.5%0
0%12.5%87.5%1
0%12.5%87.5%2
3.1%9.3%87.5%3
3.1%6.2%90.7%4
4.7%4.7%90.7%5
4.7%3.5%91.8%6
5.6%2.5%91.8%7
5.9%1.8%92.3%8
6.4%1.3%92.3%9
6.6%0.9%92.5%10
6.8%0.6%92.5%11
6.9%0.5%92.6%12
7%0.3%92.6%13
7.1%0.2%92.7%14

sample23.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
5.0ms259×pre80true
0.0ms3×body80invalid

simplify249.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (101.0ms)

IterNodesCost
0501419

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.1b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(*.f64 m (-.f64 1 m))
0.0b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

rewrite245.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64
18×*-un-lft-identity_binary64
12×associate-*r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
10×associate-*l*_binary64
9×add-cube-cbrt_binary64
8×flip3--_binary64 flip--_binary64
7×pow1_binary64
6×associate-*r/_binary64 difference-of-squares_binary64
4×sub-neg_binary64 frac-times_binary64
3×associate-/r*_binary64 add-log-exp_binary64 cbrt-unprod_binary64 prod-exp_binary64 distribute-lft-out--_binary64 times-frac_binary64 insert-posit16
2×pow-prod-down_binary64 associate-/l/_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 div-exp_binary64 associate-*l/_binary64 *-commutative_binary64
1×difference-of-sqr-1_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64
Counts
3 → 86
Calls
3 calls:
9.0ms
(*.f64 m (-.f64 1 m))
10.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
222.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

series840.0ms

Counts
3 → 9
Calls
3 calls:
218.0ms
(*.f64 m (-.f64 1 m))
300.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
322.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
Iterations

Useful iterations: 0 (113.0ms)

IterNodesCost
0453582
1453582
059
159
0453582
1453582
059
159
01121
11121
0313336
1313336
02426
12426
0313336
1313336
02426
12426
048963
148963
0227213
1227213
03054
13054
0227213
1227213
03054
13054
0471714
1471714

simplify101.0ms

Counts
95 → 95
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
049571514
149571514

prune101.0ms

Filtered
71 candidates to 95 candidates (-33.8%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New89695
Fresh000
Picked101
Done000
Total90696

Merged error: 0b

Counts
96 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 m (/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m)))
0.0b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.0b
(+.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 m (/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m))))
0.2b
(/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity_binary64
34×times-frac_binary64
21×add-exp-log_binary64 add-cbrt-cube_binary64
20×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
18×add-log-exp_binary64
16×associate-/r*_binary64
8×cbrt-undiv_binary64 div-exp_binary64
7×distribute-lft-out_binary64 sum-log_binary64
5×flip3-+_binary64 flip-+_binary64
4×associate-/l/_binary64 pow1_binary64 associate-*r/_binary64 frac-add_binary64 div-inv_binary64 insert-posit16
3×flip3--_binary64 cbrt-unprod_binary64 associate-/r/_binary64 prod-exp_binary64 flip--_binary64
2×diff-log_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 distribute-lft-out--_binary64 +-commutative_binary64
1×sub-neg_binary64 associate-+l+_binary64 distribute-rgt-out_binary64 distribute-rgt1-in_binary64 associate-+l-_binary64 associate-+r+_binary64
Counts
4 → 114
Calls
4 calls:
11.0ms
(+.f64 m (/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m)))
9.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
30.0ms
(+.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 m (/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m))))
12.0ms
(/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m))

series1.6s

Counts
4 → 12
Calls
4 calls:
338.0ms
(+.f64 m (/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m)))
297.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
688.0ms
(+.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 m (/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m))))
307.0ms
(/.f64 (*.f64 m (+.f64 m -1)) (/.f64 v m))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0463591
1463591
0109
1109
0463591
1463591
0109
1109
013
113
0759999
1759999
079
179
0759999
1759999
079
179
0557439
0313336
1313336
02426
12426
0313336
1313336
02426
12426
048963
148963
0504636
1504636
01112
11112
0504636
1504636
01112
11112
0113
1113

simplify85.0ms

Counts
126 → 126
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049772795
149772795

prune127.0ms

Filtered
95 candidates to 126 candidates (-32.6%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1260126
Fresh055
Picked011
Done000
Total1266132

Merged error: 0b

Counts
132 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 v (-.f64 1 m))
0.1b
(/.f64 m (/.f64 v (-.f64 1 m)))
0.1b
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
171×times-frac_binary64
155×add-sqr-sqrt_binary64
137×*-un-lft-identity_binary64
81×add-cube-cbrt_binary64
40×difference-of-squares_binary64
30×associate-/r*_binary64
18×distribute-lft-out--_binary64
13×associate-*l*_binary64
12×add-exp-log_binary64 add-cbrt-cube_binary64
11×flip3--_binary64 associate-/r/_binary64 flip--_binary64
6×associate-*r*_binary64 associate-/l*_binary64 div-inv_binary64
5×pow1_binary64
4×cbrt-undiv_binary64 div-exp_binary64 frac-times_binary64
3×add-log-exp_binary64 difference-of-sqr-1_binary64 insert-posit16
2×sub-neg_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 cbrt-unprod_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
Counts
3 → 199
Calls
3 calls:
7.0ms
(/.f64 v (-.f64 1 m))
12.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
47.0ms
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

series1.2s

Counts
3 → 9
Calls
3 calls:
399.0ms
(/.f64 v (-.f64 1 m))
414.0ms
(/.f64 m (/.f64 v (-.f64 1 m)))
434.0ms
(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))
Iterations

Useful iterations: 0 (116.0ms)

IterNodesCost
0628726
1628726
059
159
0628726
1628726
059
159
01121
11121
0467480
1467480
02326
12326
0467480
1467480
02326
12326
049123
149123
0271225
1271225
01620
11620
0271225
1271225
01620
11620
047463
147463

simplify130.0ms

Counts
208 → 208
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
050164218

prune172.0ms

Filtered
149 candidates to 208 candidates (-39.6%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2071208
Fresh134
Picked101
Done011
Total2095214

Merged error: 0b

Counts
214 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 1 (sqrt.f64 m))
0.0b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.0b
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
0.1b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
32×frac-times_binary64
30×add-sqr-sqrt_binary64
25×*-un-lft-identity_binary64
23×flip3--_binary64 flip--_binary64
16×add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l/_binary64
14×associate-*r*_binary64
12×flip3-+_binary64 associate-*r/_binary64 flip-+_binary64
11×pow1_binary64
10×difference-of-squares_binary64
9×add-cube-cbrt_binary64
8×associate-*l*_binary64
7×sqrt-prod_binary64
6×add-log-exp_binary64
5×cbrt-unprod_binary64 prod-exp_binary64 distribute-lft-out--_binary64
4×pow-prod-down_binary64 insert-posit16
3×associate-/r*_binary64 sub-neg_binary64 times-frac_binary64
2×associate-/l/_binary64 distribute-lft-out_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 div-exp_binary64 *-commutative_binary64
1×diff-log_binary64 difference-of-sqr-1_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64
Counts
4 → 130
Calls
4 calls:
6.0ms
(-.f64 1 (sqrt.f64 m))
9.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
27.0ms
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
22.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

series1.5s

Counts
4 → 12
Calls
4 calls:
349.0ms
(-.f64 1 (sqrt.f64 m))
297.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
544.0ms
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
325.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))
Iterations

Useful iterations: 0 (112.0ms)

IterNodesCost
0530675
1530675
02199
12199
0530675
1530675
02199
12199
0514765
06551047
16551047
038255
138255
06551047
16551047
038255
138255
0499366
1499366
0313336
1313336
02426
12426
0313336
1313336
02426
12426
048963
148963
0281297
1281297
0159
1159
0281297
1281297
0159
1159
0506342

simplify134.0ms

Counts
142 → 142
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
049613867
149613867

prune157.0ms

Filtered
110 candidates to 142 candidates (-29.1%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1420142
Fresh033
Picked011
Done011
Total1425147

Merged error: 0b

Counts
147 → 5

regimes30.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03231
13231

end0.0ms

sample574.0ms

Algorithm
intervals
Results
261.0ms8000×body80valid
154.0ms8062×pre80true
2.0ms62×body80invalid

Profiling

Loading profile data...