Details

Time bar (total: 5.0s)

analyze384.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

sample88.0ms

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

simplify52.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
0498716
1498716

prune3.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))

rewrite44.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:
11.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0))
17.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0)))
6.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
4.0ms
(/.f64 1.0 (sqrt.f64 k))

series123.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0))
88.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)
11.0ms
(/.f64 1.0 (sqrt.f64 k))

simplify57.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
049812442
149812442

prune213.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

localize18.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))
12.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)
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

series222.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0))
185.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))))
4.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
7.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

simplify55.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (40.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))

rewrite34.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)))
5.0ms
(/.f64 1.0 (sqrt.f64 k))

series106.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
6.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
86.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))

simplify40.0ms

Algorithm
egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
054732127

prune218.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

localize16.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))

rewrite46.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:
15.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))
11.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0)))
8.0ms
(pow.f64 (*.f64 2.0 PI.f64) (/.f64 (-.f64 1.0 k) 2.0))

series188.0ms

Counts
4 → 12
Calls
4 calls:
140.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))
32.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))

simplify54.0ms

Algorithm
egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
050013305

prune215.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

regimes157.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.5s

Algorithm
intervals
Results
679.0ms8000×body80valid
560.0ms955×body1280nan
371.0ms866×body640nan
327.0ms2439×body80overflowed
129.0ms424×body320nan
41.0ms750×body80nan
38.0ms225×body160nan
28.0ms275×body80invalid

Profiling

Loading profile data...