Details

analyze620.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
74.9%	25%	0.2%	7
74.9%	25%	0.2%	8
74.9%	25%	0.2%	9
74.9%	25%	0.2%	10
87.3%	12.5%	0.2%	11
87.3%	12.5%	0.2%	12
87.3%	12.5%	0.2%	13
87.3%	12.5%	0.2%	14

sample90.0ms

Algorithm

intervals

Results

33.0ms	192×	body	128	valid
29.0ms	33×	body	1024	valid
12.0ms	19×	body	512	valid
5.0ms	12×	body	256	valid

simplify46.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5324	39

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 2.0b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 kx) 2)
0.9b	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
2.5b	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
9.0b	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64`
30×	`*-un-lft-identity_binary64`
26×	`add-cube-cbrt_binary64`
21×	`times-frac_binary64`
19×	`add-exp-log_binary64`
15×	`sqrt-prod_binary64`
13×	`unpow-prod-down_binary64`
12×	`associate-l_binary64`
8×	`add-cbrt-cube_binary64`
6×	`associate-/r*_binary64` `pow1_binary64` `prod-exp_binary64`
5×	`associate-r_binary64`
4×	`add-log-exp_binary64` `unswap-sqr_binary64` `pow-exp_binary64` `sqrt-div_binary64`
3×	`flip3-+_binary64` `pow-unpow_binary64` `unpow2_binary64` `sqr-pow_binary64` `associate-/l*_binary64` `div-exp_binary64` `flip-+_binary64`
2×	`pow-to-exp_binary64` `distribute-lft-out_binary64` `associate-*r/_binary64` `associate-/r/_binary64` `div-inv_binary64`
1×	`pow1/2_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `pow-pow_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`

Counts

4 → 113

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 kx) 2)
7.0ms	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
17.0ms	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
4.0ms	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))

series2.1s

Counts

4 → 12

Calls

4 calls:

26.0ms	(pow.f64 (sin.f64 kx) 2)
1.1s	(/.f64 1/2 (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
297.0ms	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
678.0ms	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))

simplify60.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	4962	4123
1	4962	4123

prune182.0ms

Filtered

83 candidates to 125 candidates (-50.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	3	126

Merged error: 0b

Counts

126 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

0.7b	(.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))
1.0b	(/.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
2.5b	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
9.0b	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-sqr-sqrt_binary64`
97×	`sqrt-prod_binary64`
83×	`times-frac_binary64`
68×	`*-un-lft-identity_binary64`
64×	`add-cube-cbrt_binary64`
47×	`associate-r_binary64`
23×	`add-exp-log_binary64`
18×	`associate-l_binary64`
14×	`unswap-sqr_binary64`
13×	`add-cbrt-cube_binary64`
10×	`unpow-prod-down_binary64`
8×	`prod-exp_binary64`
7×	`pow1_binary64`
6×	`associate-/r_binary64` `associate-/l_binary64` `sqrt-div_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `associate-/r/_binary64` `div-exp_binary64` `flip-+_binary64`
3×	`cbrt-unprod_binary64` `associate-*r/_binary64` `div-inv_binary64` `pow-exp_binary64`
2×	`distribute-lft-out_binary64` `unpow2_binary64` `cbrt-undiv_binary64` `sqr-pow_binary64` `sqrt-undiv_binary64` `*-commutative_binary64`
1×	`pow-to-exp_binary64` `pow-prod-down_binary64` `pow1/2_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `sqrt-unprod_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 190

Calls

4 calls:

21.0ms	(.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))
8.0ms	(/.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
17.0ms	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
4.0ms	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))

series3.3s

Counts

4 → 12

Calls

4 calls:

1.2s	(.f64 (sqrt.f64 1/2) (/.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (*.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))))
1.2s	(/.f64 (sqrt.f64 1/2) (sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2))))))
312.0ms	(.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))
654.0ms	(sqrt.f64 (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 2 l) Om) 2) (+.f64 (pow.f64 (sin.f64 kx) 2) (pow.f64 (sin.f64 ky) 2)))))

simplify96.0ms

Algorithm

egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5091	8607

prune322.0ms

Filtered

115 candidates to 202 candidates (-75.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	202	3	205

Merged error: 0b

Counts

205 → 3

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify6.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune1.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	1	1
Total	3	3

Merged error: 0b

Counts

3 → 3

localize3.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify6.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune0.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	2	2
Total	3	3

Merged error: 0b

Counts

3 → 3

regimes204.0ms

Accuracy

32.1% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 1.0b

bsearch1.0ms

Steps

Iters	Range		Point
0	0.0	3.95252516673e-323	1.976262583365e-323

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	66
1	34	66

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.1s	6306×	body	128	valid
732.0ms	783×	body	1024	valid
350.0ms	567×	body	512	valid
136.0ms	344×	body	256	valid

Details

analyze620.0ms

sample90.0ms

simplify46.0ms

prune6.0ms

localize25.0ms

rewrite43.0ms

series2.1s

simplify60.0ms

prune182.0ms

localize23.0ms

rewrite83.0ms

series3.3s

simplify96.0ms

prune322.0ms

localize4.0ms

rewrite0.0ms

series0.0ms

simplify6.0ms

prune1.0ms

localize3.0ms

rewrite0.0ms

series0.0ms

simplify6.0ms

prune0.0ms

regimes204.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample2.6s

Profiling