Details

analyze657.0ms

Algorithm: search

sample278.0ms

Algorithm

intervals

Results

189.0ms	143×	body	5120	exit
36.0ms	80×	body	1280	nan
16.0ms	256×	body	80	valid
13.0ms	49×	body	640	nan
6.0ms	31×	body	320	nan
2.0ms	15×	body	160	nan
0.0ms	8×	body	80	nan
0.0ms	6×	body	80	overflowed

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

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.3b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (exp (neg w)) (pow l (exp w)))
0.3b	(pow l (exp w))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 44

Calls

2 calls:

7.0ms	(* (exp (neg w)) (pow l (exp w)))
2.0ms	(pow l (exp w))

series41.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(* (exp (neg w)) (pow l (exp w)))
16.0ms	(pow l (exp w))

simplify50.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	358	408
1	1656	373
2	5002	275

prune72.0ms

Filtered

34 candidates to 50 candidates (-47.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	44	6	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	6	51

Merged error: 0.1b

Counts

51 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (exp w))
0.0b	(* (exp (neg w)) (pow (pow l (sqrt (exp w))) (sqrt (exp w))))
0.3b	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
0.3b	(pow l (sqrt (exp w)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

27×	`unpow-prod-down`
26×	`add-sqr-sqrt`
17×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow-unpow`
11×	`associate-r`
10×	`add-exp-log`
9×	`pow-exp` `sqrt-prod`
7×	`sqr-pow`
6×	`pow1` `add-cbrt-cube`
5×	`pow-to-exp` `prod-exp` `unswap-sqr`
4×	`sqrt-pow1` `add-log-exp`
3×	`exp-prod` `associate-l`
2×	`pow-pow` `associate-*l/`
1×	`neg-sub0` `exp-neg` `rem-sqrt-square` `pow1/2` `exp-diff` `*-commutative` `cbrt-unprod`

Counts

4 → 97

Calls

4 calls:

2.0ms	(sqrt (exp w))
9.0ms	(* (exp (neg w)) (pow (pow l (sqrt (exp w))) (sqrt (exp w))))
4.0ms	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
3.0ms	(pow l (sqrt (exp w)))

series90.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(sqrt (exp w))
38.0ms	(* (exp (neg w)) (pow (pow l (sqrt (exp w))) (sqrt (exp w))))
29.0ms	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
20.0ms	(pow l (sqrt (exp w)))

simplify71.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	525	1016
1	2251	944
2	5001	849

prune149.0ms

Filtered

74 candidates to 109 candidates (-47.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	106	9	115

Merged error: 0.1b

Counts

115 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cbrt (exp (neg w))) (pow (pow l (sqrt (exp w))) (sqrt (exp w))))
0.0b	(* (cbrt (exp (neg w))) (cbrt (exp (neg w))))
0.3b	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
0.3b	(pow l (sqrt (exp w)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
31×	`unpow-prod-down`
24×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
17×	`add-exp-log` `associate-r`
14×	`cbrt-div` `unswap-sqr`
12×	`pow1` `pow-unpow` `associate-l`
9×	`pow-exp` `sqr-pow`
7×	`neg-sub0` `exp-neg` `exp-diff`
6×	`pow1/3` `swap-sqr` `prod-exp` `sqrt-prod`
5×	`pow-to-exp` `add-cbrt-cube`
4×	`frac-times` `associate-*l/` `add-log-exp`
2×	`pow-pow` `associate-r/` `pow-prod-down` `pow-sqr` `-commutative` `pow-prod-up` `cbrt-unprod`
1×	`pow2` `pow-plus`

Counts

4 → 137

Calls

4 calls:

9.0ms	(* (cbrt (exp (neg w))) (pow (pow l (sqrt (exp w))) (sqrt (exp w))))
7.0ms	(* (cbrt (exp (neg w))) (cbrt (exp (neg w))))
4.0ms	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
3.0ms	(pow l (sqrt (exp w)))

series113.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* (cbrt (exp (neg w))) (pow (pow l (sqrt (exp w))) (sqrt (exp w))))
21.0ms	(* (cbrt (exp (neg w))) (cbrt (exp (neg w))))
28.0ms	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
19.0ms	(pow l (sqrt (exp w)))

simplify92.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	640	1545
1	2771	1454
2	5003	1343

prune168.0ms

Filtered

96 candidates to 149 candidates (-55.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	149	9	158

Merged error: 0.1b

Counts

158 → 9

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cbrt (exp (neg w))) (cbrt (exp (neg w))))
0.2b	(pow (pow l (* 2 (/ (fabs (cbrt (exp w))) 2))) (sqrt (cbrt (exp w))))
0.3b	(pow (pow (pow l (* 2 (/ (fabs (cbrt (exp w))) 2))) (sqrt (cbrt (exp w)))) (sqrt (exp w)))
0.3b	(pow l (* 2 (/ (fabs (cbrt (exp w))) 2)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

34×	`unpow-prod-down`
31×	`add-sqr-sqrt`
23×	`add-cube-cbrt` `*-un-lft-identity`
19×	`cbrt-prod`
16×	`pow-unpow`
14×	`pow-exp`
12×	`pow1` `add-exp-log` `cbrt-div`
9×	`sqrt-prod`
6×	`neg-sub0` `exp-neg` `pow-to-exp` `exp-diff` `pow1/3` `swap-sqr` `associate-r` `associate-l` `sqr-pow`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`pow-pow`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 124

Calls

4 calls:

7.0ms	(* (cbrt (exp (neg w))) (cbrt (exp (neg w))))
5.0ms	(pow (pow l (* 2 (/ (fabs (cbrt (exp w))) 2))) (sqrt (cbrt (exp w))))
6.0ms	(pow (pow (pow l (* 2 (/ (fabs (cbrt (exp w))) 2))) (sqrt (cbrt (exp w)))) (sqrt (exp w)))
2.0ms	(pow l (* 2 (/ (fabs (cbrt (exp w))) 2)))

series138.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (cbrt (exp (neg w))) (cbrt (exp (neg w))))
40.0ms	(pow (pow l (* 2 (/ (fabs (cbrt (exp w))) 2))) (sqrt (cbrt (exp w))))
57.0ms	(pow (pow (pow l (* 2 (/ (fabs (cbrt (exp w))) 2))) (sqrt (cbrt (exp w)))) (sqrt (exp w)))
20.0ms	(pow l (* 2 (/ (fabs (cbrt (exp w))) 2)))

simplify94.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	673	1920
1	2861	1774
2	5002	1635

prune209.0ms

Filtered

85 candidates to 136 candidates (-60.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	136	9	145

Merged error: 0.1b

Counts

145 → 9

regimes213.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	18
1	14	18

end0.0ms

analyze652.0ms

Algorithm: search

sample8.7s

Algorithm

intervals

Results

5.9s	4676×	body	5120	exit
1.1s	2415×	body	1280	nan
540.0ms	1949×	body	640	nan
508.0ms	8000×	body	80	valid
170.0ms	958×	body	320	nan
29.0ms	261×	body	160	nan
13.0ms	160×	body	80	overflowed
9.0ms	191×	body	80	nan
6.0ms	98×	body	80	invalid
2.0ms	2×	body	2560	nan

Details

analyze657.0ms

sample278.0ms

simplify32.0ms

prune7.0ms

localize7.0ms

rewrite11.0ms

series41.0ms

simplify50.0ms

prune72.0ms

localize11.0ms

rewrite20.0ms

series90.0ms

simplify71.0ms

prune149.0ms

localize14.0ms

rewrite29.0ms

series113.0ms

simplify92.0ms

prune168.0ms

localize22.0ms

rewrite23.0ms

series138.0ms

simplify94.0ms

prune209.0ms

regimes213.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze652.0ms

sample8.7s

Profiling