Details

analyze34.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
68.7%	31.2%	0.1%	6
68.7%	18.7%	12.6%	7
71.8%	15.6%	12.6%	8
71.8%	9.4%	18.8%	9
73.4%	7.8%	18.8%	10
73.4%	4.7%	22%	11
74.1%	3.9%	22%	12
74.1%	2.3%	23.5%	13
74.5%	2%	23.5%	14

sample25.0ms

Algorithm

intervals

Results

11.0ms	256×	body	80	valid
4.0ms	159×	body	80	invalid

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4870	6
1	4870	6

prune8.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: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (pow (exp y) y))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`associate-r`
5×	`add-exp-log`
4×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
3×	`associate-l` `prod-exp` `add-cbrt-cube` `unswap-sqr`
2×	`sqr-pow`
1×	`pow1` `pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 25

Calls

1 calls:

6.0ms

(* x (pow (exp y) y))

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

(* x (pow (exp y) y))

simplify74.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4909	211
1	4909	211

prune34.0ms

Filtered

17 candidates to 28 candidates (-64.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	2	29

Merged error: 0.0b

Counts

29 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (exp y))
0.0b	(cbrt (exp y))
0.0b	(cbrt (exp y))
0.0b	(* (cbrt (exp y)) (cbrt (exp y)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

2.0ms	(cbrt (exp y))
2.0ms	(cbrt (exp y))
2.0ms	(cbrt (exp y))
6.0ms	(* (cbrt (exp y)) (cbrt (exp y)))

series67.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt (exp y))
15.0ms	(cbrt (exp y))
15.0ms	(cbrt (exp y))
19.0ms	(* (cbrt (exp y)) (cbrt (exp y)))

simplify71.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4947	378
1	4947	378

prune83.0ms

Filtered

44 candidates to 85 candidates (-93.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	85	2	87

Merged error: 0.0b

Counts

87 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (pow (exp y) 2/3) y)
0.0b	(* (* x (pow (pow (exp y) 2/3) y)) (pow (cbrt (exp y)) y))
0.0b	(cbrt (exp y))
0.0b	(* x (pow (pow (exp y) 2/3) y))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-exp-log`
38×	`prod-exp`
30×	`unpow-prod-down`
26×	`pow-exp`
23×	`add-sqr-sqrt`
21×	`associate-r`
16×	`pow-to-exp`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`add-cbrt-cube`
7×	`sqr-pow`
6×	`cbrt-prod`
5×	`unswap-sqr`
4×	`pow1` `associate-l` `cbrt-unprod` `add-log-exp`
3×	`pow-unpow`
2×	`*-commutative`
1×	`pow-pow` `pow1/3`

Counts

4 → 106

Calls

4 calls:

4.0ms	(pow (pow (exp y) 2/3) y)
12.0ms	(* (* x (pow (pow (exp y) 2/3) y)) (pow (cbrt (exp y)) y))
2.0ms	(cbrt (exp y))
7.0ms	(* x (pow (pow (exp y) 2/3) y))

series77.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(pow (pow (exp y) 2/3) y)
37.0ms	(* (* x (pow (pow (exp y) 2/3) y)) (pow (cbrt (exp y)) y))
14.0ms	(cbrt (exp y))
18.0ms	(* x (pow (pow (exp y) 2/3) y))

simplify61.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4903	939
1	4903	939

prune124.0ms

Filtered

67 candidates to 118 candidates (-76.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.0b

Counts

120 → 2

regimes69.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	14
1	36	14

end0.0ms

sample547.0ms

Algorithm

intervals

Results

220.0ms	8000×	body	80	valid
111.0ms	4207×	body	80	invalid

Details

analyze34.0ms

sample25.0ms

simplify44.0ms

prune8.0ms

localize5.0ms

rewrite6.0ms

series13.0ms

simplify74.0ms

prune34.0ms

localize11.0ms

rewrite14.0ms

series67.0ms

simplify71.0ms

prune83.0ms

localize12.0ms

rewrite28.0ms

series77.0ms

simplify61.0ms

prune124.0ms

regimes69.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample547.0ms

Profiling