Details

Time bar (total: 8.7s)

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

sample86.0ms

Algorithm
intervals
Results
22.0ms256×body80valid
17.0ms29×body1280nan
14.0ms32×body640nan
11.0ms85×body80overflowed
4.0ms15×body320nan
1.0ms23×body80nan
1.0ms7×body160nan
0.0ms4×body80invalid

simplify52.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

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

localize14.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.3b
(/.f64 1.0 (sqrt.f64 k))
0.3b
(*.f64 (*.f64 2.0 PI.f64) n)

rewrite42.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))
13.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0)))
8.0ms
(/.f64 1.0 (sqrt.f64 k))
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

series124.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0))
87.0ms
(*.f64 (/.f64 1.0 (sqrt.f64 k)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 (-.f64 1.0 k) 2.0)))
11.0ms
(/.f64 1.0 (sqrt.f64 k))
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

simplify60.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049812442
149812442

prune226.0ms

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

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New15110161
Fresh000
Picked101
Done000
Total15210162

Merged error: 0.0b

Counts
162 → 10

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.3b
(*.f64 (*.f64 2.0 PI.f64) n)
0.3b
(*.f64 (*.f64 2.0 PI.f64) n)

rewrite37.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))
13.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)

series224.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0))
188.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)
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

simplify59.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049862219
149862219

prune130.0ms

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

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1273130
Fresh189
Picked101
Done000
Total12911140

Merged error: 0.0b

Counts
140 → 11

localize18.0ms

Local error

Found 4 expressions with local error:

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

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
3×associate-/l*_binary64 *-commutative_binary64
2×pow-to-exp_binary64 cbrt-undiv_binary64 div-inv_binary64
1×clear-num_binary64 unpow-prod-down_binary64 frac-2neg_binary64 associate-*l/_binary64
Counts
4 → 129
Calls
4 calls:
5.0ms
(/.f64 1.0 (sqrt.f64 k))
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 1.0 2.0)))

series130.0ms

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

simplify62.0ms

Algorithm
egg-herbie
Counts
141 → 141
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049601620
149601620

prune170.0ms

Filtered
92 candidates to 141 candidates (-53.3%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1410141
Fresh01010
Picked011
Done000
Total14111152

Merged error: 0.0b

Counts
152 → 11

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
2182×times-frac_binary64
823×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
438×sqrt-prod_binary64
310×sqr-pow_binary64 unpow-prod-down_binary64
236×add-exp-log_binary64
208×associate-/r*_binary64
129×div-exp_binary64
66×prod-exp_binary64
60×pow-exp_binary64
37×div-inv_binary64
28×add-cbrt-cube_binary64
20×pow-to-exp_binary64
14×pow1_binary64
9×cbrt-undiv_binary64 associate-/l*_binary64
6×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r*_binary64 associate-/r/_binary64
4×add-log-exp_binary64
2×associate-*l*_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
4 → 1044
Calls
4 calls:
40.0ms
(/.f64 1.0 (/.f64 (sqrt.f64 k) (/.f64 (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 k 2.0)))))
14.0ms
(/.f64 (sqrt.f64 k) (/.f64 (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 k 2.0))))
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
6.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

series357.0ms

Counts
4 → 12
Calls
4 calls:
180.0ms
(/.f64 1.0 (/.f64 (sqrt.f64 k) (/.f64 (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 k 2.0)))))
160.0ms
(/.f64 (sqrt.f64 k) (/.f64 (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 1.0 2.0)) (pow.f64 (*.f64 (*.f64 2.0 PI.f64) n) (/.f64 k 2.0))))
13.0ms
(*.f64 (*.f64 2.0 PI.f64) n)
5.0ms
(*.f64 (*.f64 2.0 PI.f64) n)

simplify297.0ms

Algorithm
egg-herbie
Counts
1056 → 1056
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
0499943593
1499943593

prune3.2s

Filtered
659 candidates to 1056 candidates (-60.2%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New105421056
Fresh279
Picked011
Done101
Total1057101067

Merged error: 0b

Counts
1067 → 10

regimes235.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01724
11724

end0.0ms

sample2.5s

Algorithm
intervals
Results
702.0ms8000×body80valid
578.0ms934×body1280nan
363.0ms832×body640nan
322.0ms2322×body80overflowed
135.0ms417×body320nan
45.0ms742×body80nan
39.0ms226×body160nan
20.0ms224×body80invalid

Profiling

Loading profile data...