Details

analyze677.0ms

Algorithm: search

sample282.0ms

Algorithm

intervals

Results

191.0ms	143×	body	5120	exit
36.0ms	80×	body	1280	nan
17.0ms	256×	body	80	valid
14.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

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

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.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:

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

series37.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify93.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 2 (86.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)))

series86.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(sqrt (exp w))
36.0ms	(* (exp (neg w)) (pow (pow l (sqrt (exp w))) (sqrt (exp w))))
30.0ms	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
18.0ms	(pow l (sqrt (exp w)))

simplify70.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (60.0ms)

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

prune145.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)))

rewrite27.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)))

series111.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (cbrt (exp (neg w))) (pow (pow l (sqrt (exp w))) (sqrt (exp w))))
20.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)))

simplify97.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 2 (83.0ms)

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

prune163.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)))

series132.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (cbrt (exp (neg w))) (cbrt (exp (neg w))))
37.0ms	(pow (pow l (* 2 (/ (fabs (cbrt (exp w))) 2))) (sqrt (cbrt (exp w))))
54.0ms	(pow (pow (pow l (* 2 (/ (fabs (cbrt (exp w))) 2))) (sqrt (cbrt (exp w)))) (sqrt (exp w)))
19.0ms	(pow l (* 2 (/ (fabs (cbrt (exp w))) 2)))

simplify95.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 2 (79.0ms)

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

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

analyze668.0ms

Algorithm: search

sample8.8s

Algorithm

intervals

Results

6.0s	4676×	body	5120	exit
1.1s	2415×	body	1280	nan
534.0ms	1949×	body	640	nan
506.0ms	8000×	body	80	valid
172.0ms	958×	body	320	nan
27.0ms	261×	body	160	nan
11.0ms	160×	body	80	overflowed
8.0ms	191×	body	80	nan
6.0ms	98×	body	80	invalid
2.0ms	2×	body	2560	nan

Details

analyze677.0ms

sample282.0ms

simplify34.0ms

prune7.0ms

localize8.0ms

rewrite12.0ms

series37.0ms

simplify93.0ms

prune72.0ms

localize11.0ms

rewrite20.0ms

series86.0ms

simplify70.0ms

prune145.0ms

localize14.0ms

rewrite27.0ms

series111.0ms

simplify97.0ms

prune163.0ms

localize22.0ms

rewrite23.0ms

series132.0ms

simplify95.0ms

prune205.0ms

regimes213.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze668.0ms

sample8.8s

Profiling