Details

Time bar (total: 4.9s)

analyze388.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%50%50%2
0%50%50%3
0%50%50%4
12.5%37.5%50%5
15.6%31.2%53.2%6
17.2%26.5%56.3%7
18%22.6%59.4%8
18.3%19.9%61.8%9
18.5%17.8%63.7%10
18.6%16.3%65.1%11
18.7%15.2%66.1%12
18.7%14.4%66.9%13
18.7%13.8%67.4%14

sample82.0ms

Algorithm
intervals
Results
21.0ms256×body80valid
15.0ms27×body1280nan
15.0ms36×body640nan
11.0ms85×body80overflowed
4.0ms15×body320nan
2.0ms29×body80nan
1.0ms7×body160nan
1.0ms9×body80invalid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
0498716
1498716

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.4b

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0))
0.2b
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0)))
0.2b
(*.f64 (*.f64 2.0 PI.f64) n)
0.3b
(/.f64 1.0 (sqrt.f64 k))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
62×add-sqr-sqrt_binary64
55×times-frac_binary64
49×*-un-lft-identity_binary64
46×add-exp-log_binary64
43×add-cube-cbrt_binary64
23×associate-*l*_binary64 sqrt-prod_binary64
22×prod-exp_binary64
19×pow-unpow_binary64
16×add-cbrt-cube_binary64
15×pow1_binary64
9×pow-exp_binary64
8×associate-*r*_binary64
6×pow-prod-down_binary64 associate-/r*_binary64 unswap-sqr_binary64 div-exp_binary64
5×cbrt-unprod_binary64 sqr-pow_binary64
4×add-log-exp_binary64
3×pow-to-exp_binary64 pow-pow_binary64 div-sub_binary64 pow-sub_binary64 difference-of-squares_binary64 associate-/l*_binary64 distribute-lft-out--_binary64 div-inv_binary64
2×cbrt-undiv_binary64 unpow-prod-down_binary64 *-commutative_binary64
1×associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 frac-times_binary64 associate-*l/_binary64
Counts
4 → 149
Calls
4 calls:
10.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0))
11.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0)))
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
4.0ms
(/.f64 1.0 (sqrt.f64 k))

series121.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0))
85.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0)))
4.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
10.0ms
(/.f64 1.0 (sqrt.f64 k))

simplify57.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
049812442
149812442

prune209.0ms

Filtered
107 candidates to 161 candidates (-50.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1529161
Fresh000
Picked101
Done000
Total1539162

Merged error: 0.0b

Counts
162 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0))
0.2b
(/.f64 (*.f64 1.0 (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0))) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 k 2.0))))
0.2b
(*.f64 (*.f64 2.0 PI.f64) n)
0.2b
(*.f64 (*.f64 2.0 PI.f64) n)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
176×add-exp-log_binary64
105×prod-exp_binary64
39×pow-exp_binary64
36×div-exp_binary64
26×add-cbrt-cube_binary64
20×pow1_binary64
13×pow-to-exp_binary64 *-un-lft-identity_binary64 pow-unpow_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
10×cbrt-unprod_binary64 times-frac_binary64
9×pow-prod-down_binary64
6×associate-*r*_binary64
4×add-log-exp_binary64 cbrt-undiv_binary64
3×pow-pow_binary64
2×associate-*l*_binary64 div-inv_binary64 *-commutative_binary64
1×associate-/r*_binary64 sqr-pow_binary64 clear-num_binary64 unpow-prod-down_binary64 frac-2neg_binary64 associate-/l*_binary64
Counts
4 → 118
Calls
4 calls:
7.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0))
11.0ms
(/.f64 (*.f64 1.0 (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0))) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 k 2.0))))
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
7.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

series211.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0))
178.0ms
(/.f64 (*.f64 1.0 (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0))) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 k 2.0))))
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
4.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

simplify58.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049862219
149862219

prune119.0ms

Filtered
59 candidates to 130 candidates (-120.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1291130
Fresh178
Picked011
Done000
Total1309139

Merged error: 0.0b

Counts
139 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 2.0 PI.f64) n)
0.2b
(*.f64 (*.f64 2.0 PI.f64) n)
0.2b
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (/.f64 (-.f64 1.0 k) 2.0) 2)))
0.3b
(/.f64 1.0 (sqrt.f64 k))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt_binary64
45×add-exp-log_binary64
40×times-frac_binary64
35×*-un-lft-identity_binary64 add-cube-cbrt_binary64
24×associate-*l*_binary64
23×sqrt-prod_binary64
22×prod-exp_binary64
21×add-cbrt-cube_binary64
14×pow1_binary64
11×associate-*r*_binary64
8×cbrt-unprod_binary64
6×pow-prod-down_binary64 associate-/r*_binary64 unswap-sqr_binary64 div-exp_binary64 pow-exp_binary64
4×add-log-exp_binary64 sqr-pow_binary64 div-sub_binary64
3×associate-/l*_binary64 *-commutative_binary64
2×pow-to-exp_binary64 cbrt-undiv_binary64 pow-sub_binary64 div-inv_binary64
1×associate-*r/_binary64 clear-num_binary64 unpow-prod-down_binary64 frac-2neg_binary64 frac-times_binary64 associate-*l/_binary64
Counts
4 → 131
Calls
4 calls:
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
14.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (/.f64 (-.f64 1.0 k) 2.0) 2)))
4.0ms
(/.f64 1.0 (sqrt.f64 k))

series100.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
4.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
82.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (/.f64 (-.f64 1.0 k) 2.0) 2)))
10.0ms
(/.f64 1.0 (sqrt.f64 k))

simplify39.0ms

Algorithm
egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
054732127

prune216.0ms

Filtered
94 candidates to 143 candidates (-52.1%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1412143
Fresh167
Picked011
Done011
Total14210152

Merged error: 0b

Counts
152 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0))) (pow.f64 n (/.f64 (-.f64 1.0 k) 2.0)))
0.3b
(/.f64 1.0 (sqrt.f64 k))
0.3b
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0)))
0.6b
(pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
110×add-exp-log_binary64
68×prod-exp_binary64
63×add-sqr-sqrt_binary64
55×times-frac_binary64
50×*-un-lft-identity_binary64
44×add-cube-cbrt_binary64
27×pow-exp_binary64
23×associate-*l*_binary64 sqrt-prod_binary64
20×add-cbrt-cube_binary64
19×pow-unpow_binary64
18×pow-to-exp_binary64
17×div-exp_binary64
12×associate-*r*_binary64
11×div-sub_binary64 pow-sub_binary64
7×pow1_binary64 cbrt-unprod_binary64
6×associate-/r*_binary64 sqr-pow_binary64 unswap-sqr_binary64 frac-times_binary64 associate-*l/_binary64
5×unpow-prod-down_binary64
4×add-log-exp_binary64 associate-*r/_binary64
3×cbrt-undiv_binary64 difference-of-squares_binary64 associate-/l*_binary64 distribute-lft-out--_binary64 div-inv_binary64
2×pow-pow_binary64 *-commutative_binary64
1×pow-prod-down_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 180
Calls
4 calls:
12.0ms
(*.f64 (*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0))) (pow.f64 n (/.f64 (-.f64 1.0 k) 2.0)))
4.0ms
(/.f64 1.0 (sqrt.f64 k))
10.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0)))
7.0ms
(pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0))

series183.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(*.f64 (*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0))) (pow.f64 n (/.f64 (-.f64 1.0 k) 2.0)))
10.0ms
(/.f64 1.0 (sqrt.f64 k))
36.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0)))
7.0ms
(pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0))

simplify56.0ms

Algorithm
egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
050013305

prune218.0ms

Filtered
120 candidates to 192 candidates (-60.0%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1902192
Fresh437
Picked011
Done022
Total1948202

Merged error: 0b

Counts
202 → 8

regimes152.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01924
11924

end0.0ms

sample2.4s

Algorithm
intervals
Results
685.0ms8000×body80valid
548.0ms955×body1280nan
388.0ms866×body640nan
323.0ms2439×body80overflowed
122.0ms424×body320nan
47.0ms750×body80nan
38.0ms225×body160nan
24.0ms275×body80invalid

Profiling

Loading profile data...