Details

analyze2.1s

Algorithm

sampling

Space saved by range analysis: 0.097632%

Space saved by search: 27.372003%

Guaranteed chance to sample good point: 51.313912%

sample321.0ms

Algorithm

intervals

Results

217.0ms	176×	body	5120	exit
42.0ms	92×	body	1280	nan
21.0ms	79×	body	640	nan
16.0ms	256×	body	80	valid
7.0ms	41×	body	320	nan
0.0ms	3×	body	160	nan
0.0ms	3×	body	80	invalid
0.0ms	3×	body	80	nan

simplify32.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	14	5
1	29	5
2	69	4
3	243	4
4	925	4
5	5001	4

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.3b

Counts

2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (pow l (exp w)) (exp w))
0.3b	(pow l (exp w))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

21×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`unpow-prod-down`
7×	`associate-/l*`
5×	`add-exp-log` `sqr-pow`
4×	`add-cbrt-cube`
3×	`pow1` `pow-unpow` `div-exp` `associate-/r*`
2×	`pow-to-exp` `pow-exp` `add-log-exp`
1×	`cbrt-undiv` `pow-pow` `frac-2neg` `clear-num` `div-inv`

Counts

2 → 62

Calls

2 calls:

8.0ms	(/ (pow l (exp w)) (exp w))
2.0ms	(pow l (exp w))

series39.0ms

Counts

2 → 6

Calls

2 calls:

22.0ms	(/ (pow l (exp w)) (exp w))
16.0ms	(pow l (exp w))

simplify47.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	333	626
1	1482	578
2	5001	468

prune78.0ms

Filtered

49 candidates to 68 candidates (-38.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	66	4	70

Merged error: 0.1b

Counts

70 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (exp w))
0.0b	(/ (pow (pow l (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w))) (exp w))
0.2b	(pow (pow l (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))
0.3b	(pow l (* (cbrt (exp w)) (cbrt (exp w))))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

53×	`unpow-prod-down`
34×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
33×	`times-frac`
11×	`associate-/l*` `sqr-pow`
10×	`add-exp-log`
9×	`pow-exp`
7×	`pow-unpow`
6×	`cbrt-prod` `add-cbrt-cube`
5×	`pow1` `pow-to-exp` `div-exp`
4×	`add-log-exp`
3×	`associate-/r*`
2×	`pow-pow`
1×	`cbrt-undiv` `frac-2neg` `pow1/3` `clear-num` `div-inv`

Counts

4 → 115

Calls

4 calls:

2.0ms	(cbrt (exp w))
8.0ms	(/ (pow (pow l (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w))) (exp w))
4.0ms	(pow (pow l (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))
2.0ms	(pow l (* (cbrt (exp w)) (cbrt (exp w))))

series152.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(cbrt (exp w))
58.0ms	(/ (pow (pow l (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w))) (exp w))
51.0ms	(pow (pow l (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w)))
29.0ms	(pow l (* (cbrt (exp w)) (cbrt (exp w))))

simplify74.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	541	2041
1	2342	1889
2	5002	1798

prune136.0ms

Filtered

92 candidates to 127 candidates (-38.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	126	5	131

Merged error: 0.1b

Counts

131 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (pow (pow (pow l (cbrt (exp w))) (cbrt (exp w))) (cbrt (exp w))) (exp w))
0.2b	(pow (pow (pow l (cbrt (exp w))) (cbrt (exp w))) (cbrt (exp w)))
0.3b	(pow (pow l (cbrt (exp w))) (cbrt (exp w)))
0.3b	(pow l (cbrt (exp w)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

118×	`unpow-prod-down`
48×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
45×	`times-frac`
23×	`pow-exp`
18×	`pow-unpow` `sqr-pow`
15×	`associate-/l*`
14×	`add-exp-log`
9×	`cbrt-prod` `pow-to-exp`
7×	`div-exp`
6×	`add-cbrt-cube`
5×	`pow1`
4×	`add-log-exp`
3×	`pow-pow` `associate-/r*`
1×	`cbrt-undiv` `frac-2neg` `clear-num` `div-inv`

Counts

4 → 159

Calls

4 calls:

11.0ms	(/ (pow (pow (pow l (cbrt (exp w))) (cbrt (exp w))) (cbrt (exp w))) (exp w))
5.0ms	(pow (pow (pow l (cbrt (exp w))) (cbrt (exp w))) (cbrt (exp w)))
4.0ms	(pow (pow l (cbrt (exp w))) (cbrt (exp w)))
3.0ms	(pow l (cbrt (exp w)))

series164.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(/ (pow (pow (pow l (cbrt (exp w))) (cbrt (exp w))) (cbrt (exp w))) (exp w))
52.0ms	(pow (pow (pow l (cbrt (exp w))) (cbrt (exp w))) (cbrt (exp w)))
34.0ms	(pow (pow l (cbrt (exp w))) (cbrt (exp w)))
19.0ms	(pow l (cbrt (exp w)))

simplify90.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	688	2724
1	2892	2620
2	5002	2488

prune229.0ms

Filtered

130 candidates to 171 candidates (-31.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	169	2	171
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	170	6	176

Merged error: 0.1b

Counts

176 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (pow (pow l (pow (exp (* 1/3 w)) 2)) (cbrt (exp w))) (exp w))
0.2b	(pow (pow l (pow (exp (* 1/3 w)) 2)) (cbrt (exp w)))
0.3b	(pow l (pow (exp (* 1/3 w)) 2))
0.3b	(* 1/3 w)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

56×	`unpow-prod-down`
39×	`add-sqr-sqrt`
37×	`add-cube-cbrt` `*-un-lft-identity`
33×	`times-frac`
14×	`pow-unpow`
12×	`add-exp-log` `sqr-pow`
11×	`associate-/l*`
9×	`pow-exp`
8×	`add-cbrt-cube`
7×	`pow1`
5×	`pow-to-exp` `div-exp`
4×	`add-log-exp`
3×	`cbrt-prod` `associate-r` `associate-l` `associate-/r*`
2×	`pow-pow`
1×	`cbrt-undiv` `frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unpow2` `unswap-sqr`

Counts

4 → 129

Calls

4 calls:

7.0ms	(/ (pow (pow l (pow (exp (* 1/3 w)) 2)) (cbrt (exp w))) (exp w))
4.0ms	(pow (pow l (pow (exp (* 1/3 w)) 2)) (cbrt (exp w)))
3.0ms	(pow l (pow (exp (* 1/3 w)) 2))
4.0ms	(* 1/3 w)

series101.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(/ (pow (pow l (pow (exp (* 1/3 w)) 2)) (cbrt (exp w))) (exp w))
37.0ms	(pow (pow l (pow (exp (* 1/3 w)) 2)) (cbrt (exp w)))
19.0ms	(pow l (pow (exp (* 1/3 w)) 2))
2.0ms	(* 1/3 w)

simplify79.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	613	1752
1	2549	1664
2	5002	1537

prune285.0ms

Filtered

101 candidates to 141 candidates (-39.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	139	2	141
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	141	6	147

Merged error: 0.1b

Counts

147 → 6

regimes111.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	9	17

end0.0ms

analyze2.0s

Algorithm

sampling

Space saved by range analysis: 0.097632%

Space saved by search: 27.372003%

Guaranteed chance to sample good point: 51.313912%

sample8.8s

Algorithm

intervals

Results

6.1s	4731×	body	5120	exit
1.0s	2395×	body	1280	nan
575.0ms	2105×	body	640	nan
492.0ms	8000×	body	80	valid
169.0ms	999×	body	320	nan
23.0ms	230×	body	160	nan
6.0ms	87×	body	80	overflowed
6.0ms	77×	body	80	nan
4.0ms	65×	body	80	invalid
1.0ms	1×	body	2560	nan

Details

analyze2.1s

sample321.0ms

simplify32.0ms

prune9.0ms

localize6.0ms

rewrite12.0ms

series39.0ms

simplify47.0ms

prune78.0ms

localize11.0ms

rewrite19.0ms

series152.0ms

simplify74.0ms

prune136.0ms

localize12.0ms

rewrite29.0ms

series164.0ms

simplify90.0ms

prune229.0ms

localize14.0ms

rewrite21.0ms

series101.0ms

simplify79.0ms

prune285.0ms

regimes111.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze2.0s

sample8.8s

Profiling