Details

sample6.1s

Algorithm

intervals

Results

5.6s	467×	body	5120	exit
166.0ms	85×	body	1280	nan
105.0ms	72×	body	640	nan
84.0ms	261×	body	80	valid
38.0ms	40×	body	320	nan
11.0ms	18×	body	160	nan
5.0ms	17×	body	80	nan

simplify111.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	148	63
1	617	63
2	4244	62
3	5001	62

prune19.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: 1.8b

Counts

2 → 2

localize60.0ms

Local error

Found 4 expressions with local error:

6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity` `add-log-exp`
12×	`add-sqr-sqrt` `diff-log` `distribute-lft-out--`
8×	`sub-neg` `associate--l+`
4×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--` `difference-of-squares`

Counts

4 → 76

Calls

4 calls:

7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)

series6.0ms

Counts

4 → 12

Calls

4 calls:

1.0ms	(- (- 1.0 z) 1.0)
1.0ms	(- (- 1.0 z) 1.0)
1.0ms	(- (- 1.0 z) 1.0)
2.0ms	(- (- 1.0 z) 1.0)

simplify67.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 4 (61.0ms)

Iter	Nodes	Cost
0	74	304
1	168	284
2	534	268
3	2386	256
4	5001	252

prune444.0ms

Filtered

88 candidates to 60 candidates (31.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	87	3	90

Merged error: 1.8b

Counts

90 → 3

localize61.0ms

Local error

Found 4 expressions with local error:

6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity` `add-log-exp`
12×	`add-sqr-sqrt` `diff-log` `distribute-lft-out--`
8×	`sub-neg` `associate--l+`
4×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--` `difference-of-squares`

Counts

4 → 76

Calls

4 calls:

7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)

series6.0ms

Counts

4 → 12

Calls

4 calls:

1.0ms	(- (- 1.0 z) 1.0)
1.0ms	(- (- 1.0 z) 1.0)
1.0ms	(- (- 1.0 z) 1.0)
2.0ms	(- (- 1.0 z) 1.0)

simplify67.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 4 (61.0ms)

Iter	Nodes	Cost
0	74	304
1	168	284
2	534	268
3	2386	256
4	5001	252

prune455.0ms

Filtered

88 candidates to 60 candidates (31.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	87	4	91

Merged error: 1.8b

Counts

91 → 4

localize72.0ms

Local error

Found 4 expressions with local error:

6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity` `add-log-exp`
12×	`add-sqr-sqrt` `diff-log` `distribute-lft-out--`
8×	`sub-neg` `associate--l+`
4×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--` `difference-of-squares`

Counts

4 → 76

Calls

4 calls:

7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)

series6.0ms

Counts

4 → 12

Calls

4 calls:

1.0ms	(- (- 1.0 z) 1.0)
2.0ms	(- (- 1.0 z) 1.0)
1.0ms	(- (- 1.0 z) 1.0)
2.0ms	(- (- 1.0 z) 1.0)

simplify70.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 4 (64.0ms)

Iter	Nodes	Cost
0	74	304
1	168	284
2	534	268
3	2389	256
4	5002	252

prune614.0ms

Filtered

88 candidates to 60 candidates (31.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	88	4	92

Merged error: 1.8b

Counts

92 → 4

localize66.0ms

Local error

Found 4 expressions with local error:

6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)
6.5b	(- (- 1.0 z) 1.0)
6.5b	(log (exp (* -1 z)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity` `add-log-exp`
11×	`add-sqr-sqrt`
9×	`diff-log` `distribute-lft-out--`
6×	`sub-neg` `associate--l+`
5×	`pow1` `add-cube-cbrt`
4×	`add-exp-log` `add-cbrt-cube`
3×	`associate--l-` `log-prod` `flip3--` `log-pow` `flip--` `difference-of-squares`
2×	`exp-neg` `mul-1-neg`
1×	`log-div` `exp-prod` `exp-to-pow` `rem-log-exp` `log-rec`

Counts

4 → 73

Calls

4 calls:

7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
2.0ms	(log (exp (* -1 z)))

series7.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(- (- 1.0 z) 1.0)
1.0ms	(- (- 1.0 z) 1.0)
1.0ms	(- (- 1.0 z) 1.0)
2.0ms	(log (exp (* -1 z)))

simplify115.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	99	291
1	248	263
2	750	234
3	3887	234
4	5003	234

prune435.0ms

Filtered

85 candidates to 59 candidates (30.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	85	4	89

Merged error: 1.8b

Counts

89 → 4

regimes160.0ms

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	87	63
1	92	63
2	92	63

end0.0ms

sample2.3m

Algorithm

intervals

Results

2.2m	11001×	body	5120	exit
4.1s	2131×	body	1280	nan
2.4s	1710×	body	640	nan
1.9s	6144×	body	80	valid
896.0ms	897×	body	320	nan
275.0ms	436×	body	160	nan
120.0ms	415×	body	80	nan

Details

sample6.1s

simplify111.0ms

prune19.0ms

localize60.0ms

rewrite29.0ms

series6.0ms

simplify67.0ms

prune444.0ms

localize61.0ms

rewrite29.0ms

series6.0ms

simplify67.0ms

prune455.0ms

localize72.0ms

rewrite29.0ms

series6.0ms

simplify70.0ms

prune614.0ms

localize66.0ms

rewrite24.0ms

series7.0ms

simplify115.0ms

prune435.0ms

regimes160.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.3m

Profiling