Details

Time bar (total: 10.3s)

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

sample81.0ms

Algorithm
intervals
Results
22.0ms31×body1280nan
21.0ms256×body80valid
12.0ms28×body640nan
10.0ms75×body80overflowed
4.0ms14×body320nan
1.0ms19×body80nan
1.0ms6×body160nan
0.0ms5×body80invalid

simplify103.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
0465322
1465322

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 2

localize12.0ms

Local error

Found 3 expressions with local error:

0.2b
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2))
0.2b
(*.f64 (*.f64 2 PI.f64) n)
0.2b
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac_binary64
42×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
33×add-cube-cbrt_binary64
26×add-exp-log_binary64
22×pow-unpow_binary64
18×sqrt-prod_binary64
14×pow1_binary64
10×add-cbrt-cube_binary64
9×prod-exp_binary64
8×sqr-pow_binary64 unpow-prod-down_binary64
6×pow-prod-down_binary64 associate-/r*_binary64 difference-of-squares_binary64 pow-exp_binary64
5×associate-/l*_binary64 div-exp_binary64
3×add-log-exp_binary64 cbrt-unprod_binary64 associate-*r*_binary64 pow-pow_binary64 div-sub_binary64 pow-sub_binary64 distribute-lft-out--_binary64 insert-posit16
2×pow-to-exp_binary64 div-inv_binary64
1×associate-/l/_binary64 cbrt-undiv_binary64 associate-*l*_binary64 consolidate-/-/-b_binary64_1 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
3 → 119
Calls
3 calls:
13.0ms
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2))
6.0ms
(*.f64 (*.f64 2 PI.f64) n)
10.0ms
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))

series985.0ms

Counts
3 → 9
Calls
3 calls:
268.0ms
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2))
442.0ms
(*.f64 (*.f64 2 PI.f64) n)
275.0ms
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 k))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
047872682
147872682
01909
11909
047872682
147872682
01909
11909
013
113
056761926
02759
12759
056761926
02759
12759
013
113
047722619
147722619
01419
11419
047722619
147722619
01419
11419
013
113

simplify101.0ms

Counts
128 → 128
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
057043063

prune124.0ms

Filtered
81 candidates to 128 candidates (-58.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1199128
Fresh101
Picked101
Done000
Total1219130

Merged error: 0.0b

Counts
130 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 1 2))
0.2b
(*.f64 (*.f64 2 PI.f64) n)
0.2b
(*.f64 (*.f64 2 PI.f64) n)
0.2b
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 1 2)) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 k 2))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
127×add-exp-log_binary64
67×prod-exp_binary64
36×pow-exp_binary64
30×div-exp_binary64
20×pow1_binary64
19×add-cbrt-cube_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
14×times-frac_binary64
13×pow-unpow_binary64
12×pow-to-exp_binary64
9×pow-prod-down_binary64
7×cbrt-unprod_binary64
6×associate-*r*_binary64
5×associate-/l*_binary64
4×add-log-exp_binary64 insert-posit16
3×pow-pow_binary64 sqr-pow_binary64 unpow-prod-down_binary64
2×cbrt-undiv_binary64 associate-*l*_binary64 div-inv_binary64 *-commutative_binary64
1×associate-/r*_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 122
Calls
4 calls:
9.0ms
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 1 2))
6.0ms
(*.f64 (*.f64 2 PI.f64) n)
6.0ms
(*.f64 (*.f64 2 PI.f64) n)
13.0ms
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 1 2)) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 k 2))))

series1.4s

Counts
4 → 12
Calls
4 calls:
306.0ms
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 1 2))
442.0ms
(*.f64 (*.f64 2 PI.f64) n)
444.0ms
(*.f64 (*.f64 2 PI.f64) n)
199.0ms
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 1 2)) (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 k 2))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
058392763
02009
12009
058392763
02009
12009
013
113
056761926
02759
12759
056761926
02759
12759
013
113
056761926
02759
12759
056761926
02759
12759
013
113
052581944
03109
13109
052581944
03109
13109
013
113

simplify112.0ms

Counts
134 → 134
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049842387
149842387

prune106.0ms

Filtered
70 candidates to 134 candidates (-91.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1322134
Fresh268
Picked101
Done000
Total1358143

Merged error: 0b

Counts
143 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.f64 (*.f64 (*.f64 2 PI.f64) n))
0.2b
(*.f64 (*.f64 2 PI.f64) n)
0.2b
(*.f64 (*.f64 2 PI.f64) n)
0.3b
(/.f64 (sqrt.f64 (*.f64 (*.f64 2 PI.f64) n)) (sqrt.f64 k))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac_binary64
23×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 sqrt-prod_binary64
20×pow1_binary64
16×add-exp-log_binary64 add-cbrt-cube_binary64
9×pow-prod-down_binary64
6×associate-/r*_binary64 cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64
4×add-log-exp_binary64 associate-/l*_binary64 insert-posit16
3×sqrt-pow1_binary64
2×associate-*l*_binary64 *-commutative_binary64
1×pow1/2_binary64 cbrt-undiv_binary64 sqrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
4 → 99
Calls
4 calls:
5.0ms
(sqrt.f64 (*.f64 (*.f64 2 PI.f64) n))
7.0ms
(*.f64 (*.f64 2 PI.f64) n)
7.0ms
(*.f64 (*.f64 2 PI.f64) n)
10.0ms
(/.f64 (sqrt.f64 (*.f64 (*.f64 2 PI.f64) n)) (sqrt.f64 k))

series1.8s

Counts
4 → 12
Calls
4 calls:
449.0ms
(sqrt.f64 (*.f64 (*.f64 2 PI.f64) n))
440.0ms
(*.f64 (*.f64 2 PI.f64) n)
440.0ms
(*.f64 (*.f64 2 PI.f64) n)
439.0ms
(/.f64 (sqrt.f64 (*.f64 (*.f64 2 PI.f64) n)) (sqrt.f64 k))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
057022619
01259
11259
057022619
01259
11259
013
113
056761926
02759
12759
056761926
02759
12759
013
113
056761926
02759
12759
056761926
02759
12759
013
113
056791944
04319
14319
056791944
04319
14319
013
113

simplify168.0ms

Counts
111 → 111
Iterations

Useful iterations: 0 (135.0ms)

IterNodesCost
049481659
149481659

prune93.0ms

Filtered
71 candidates to 111 candidates (-56.3%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1101111
Fresh257
Picked011
Done000
Total1127119

Merged error: 0b

Counts
119 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2))
0.2b
(*.f64 (*.f64 2 PI.f64) n)
0.2b
(/.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 (sqrt.f64 k))) (sqrt.f64 (sqrt.f64 k)))
0.2b
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 (sqrt.f64 k)))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
954×times-frac_binary64 sqrt-prod_binary64
452×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
443×add-cube-cbrt_binary64
101×sqr-pow_binary64 unpow-prod-down_binary64
54×associate-/l*_binary64
46×add-exp-log_binary64
22×pow-unpow_binary64
18×associate-/r*_binary64
16×add-cbrt-cube_binary64 div-exp_binary64
15×pow1_binary64
13×div-inv_binary64
12×prod-exp_binary64
9×pow-exp_binary64
6×pow-prod-down_binary64 difference-of-squares_binary64
4×add-log-exp_binary64 cbrt-undiv_binary64 insert-posit16
3×pow-to-exp_binary64 cbrt-unprod_binary64 associate-*r*_binary64 pow-pow_binary64 div-sub_binary64 pow-sub_binary64 distribute-lft-out--_binary64
2×associate-/l/_binary64 consolidate-/-/-b_binary64_1 clear-num_binary64 frac-2neg_binary64
1×associate-*l*_binary64 *-commutative_binary64
Counts
4 → 657
Calls
4 calls:
13.0ms
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2))
7.0ms
(*.f64 (*.f64 2 PI.f64) n)
27.0ms
(/.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 (sqrt.f64 k))) (sqrt.f64 (sqrt.f64 k)))
11.0ms
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 (sqrt.f64 k)))

series1.3s

Counts
4 → 12
Calls
4 calls:
263.0ms
(pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2))
433.0ms
(*.f64 (*.f64 2 PI.f64) n)
296.0ms
(/.f64 (/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 (sqrt.f64 k))) (sqrt.f64 (sqrt.f64 k)))
283.0ms
(/.f64 (pow.f64 (*.f64 (*.f64 2 PI.f64) n) (/.f64 (-.f64 1 k) 2)) (sqrt.f64 (sqrt.f64 k)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
047902700
147902700
02029
12029
047902700
147902700
02029
12029
013
113
047482682
147482682
01909
11909
047482682
147482682
01909
11909
013
113
056761926
02759
12759
056761926
02759
12759
013
113
047722619
147722619
01419
11419
047722619
147722619
01419
11419
013
113

simplify402.0ms

Counts
669 → 669
Iterations

Useful iterations: 0 (138.0ms)

IterNodesCost
0520432456

prune410.0ms

Filtered
230 candidates to 669 candidates (-190.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New6681669
Fresh235
Picked011
Done011
Total6706676

Merged error: 0b

Counts
676 → 6

regimes52.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01531
11531

end0.0ms

sample2.4s

Algorithm
intervals
Results
685.0ms8000×body80valid
564.0ms981×body1280nan
358.0ms826×body640nan
319.0ms2424×body80overflowed
119.0ms405×body320nan
43.0ms735×body80nan
39.0ms227×body160nan
21.0ms242×body80invalid

Profiling

Loading profile data...