Details

sample6.5s

Algorithm

intervals

Results

5.9s	475×	body	5120	exit
226.0ms	104×	body	1280	nan
117.0ms	77×	body	640	nan
93.0ms	265×	body	80	valid
48.0ms	44×	body	320	nan
18.0ms	26×	body	160	nan
4.0ms	13×	body	80	nan
4.0ms	9×	body	80	overflowed

simplify115.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (20.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: 2.3b

Counts

2 → 2

localize63.0ms

Local error

Found 4 expressions with local error:

3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)

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

simplify71.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 4 (65.0ms)

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

prune538.0ms

Filtered

88 candidates to 60 candidates (31.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 2.3b

Counts

90 → 2

localize54.0ms

Local error

Found 4 expressions with local error:

3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)

rewrite33.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)
9.0ms	(- (- 1.0 z) 1.0)

series7.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify71.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 4 (65.0ms)

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

prune503.0ms

Filtered

88 candidates to 60 candidates (31.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 2.3b

Counts

90 → 3

localize58.0ms

Local error

Found 4 expressions with local error:

3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)
3.9b	(- 1.0 (+ 1.0 z))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity` `add-log-exp`
12×	`add-sqr-sqrt`
11×	`diff-log` `distribute-lft-out--`
7×	`sub-neg`
6×	`associate--l+`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--` `difference-of-squares`
3×	`associate--l-`
1×	`sum-log` `distribute-lft-out` `associate--r+`

Counts

4 → 74

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 (+ 1.0 z))

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 (+ 1.0 z))

simplify48.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	135	288
1	353	252
2	1340	249
3	5001	249

prune480.0ms

Filtered

86 candidates to 58 candidates (32.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Merged error: 2.3b

Counts

89 → 4

localize66.0ms

Local error

Found 4 expressions with local error:

3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (- 1.0 z) 1.0)
3.9b	(- (sqrt (- 1.0 z)) (sqrt 1.0))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity`
21×	`add-log-exp`
18×	`add-sqr-sqrt`
13×	`distribute-lft-out--`
10×	`diff-log`
8×	`sqrt-prod`
7×	`sub-neg` `difference-of-squares`
6×	`associate--l+`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--`
3×	`associate--l-`

Counts

4 → 76

Calls

4 calls:

7.0ms	(- (- 1.0 z) 1.0)
7.0ms	(- (- 1.0 z) 1.0)
8.0ms	(- (- 1.0 z) 1.0)
9.0ms	(- (sqrt (- 1.0 z)) (sqrt 1.0))

series11.0ms

Counts

4 → 12

Calls

4 calls:

1.0ms	(- (- 1.0 z) 1.0)
2.0ms	(- (- 1.0 z) 1.0)
2.0ms	(- (- 1.0 z) 1.0)
6.0ms	(- (sqrt (- 1.0 z)) (sqrt 1.0))

simplify87.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 3 (80.0ms)

Iter	Nodes	Cost
0	226	418
1	784	393
2	3156	372
3	5001	369

prune604.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	1	0	1
Done	1	1	2
Total	89	3	92

Merged error: 2.3b

Counts

92 → 3

regimes155.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	10727×	body	5120	exit
4.3s	2137×	body	1280	nan
2.6s	1805×	body	640	nan
1.9s	5923×	body	80	valid
919.0ms	889×	body	320	nan
319.0ms	465×	body	160	nan
136.0ms	426×	body	80	nan
87.0ms	230×	body	80	overflowed

Details

sample6.5s

simplify115.0ms

prune19.0ms

localize63.0ms

rewrite31.0ms

series6.0ms

simplify71.0ms

prune538.0ms

localize54.0ms

rewrite33.0ms

series7.0ms

simplify71.0ms

prune503.0ms

localize58.0ms

rewrite30.0ms

series6.0ms

simplify48.0ms

prune480.0ms

localize66.0ms

rewrite40.0ms

series11.0ms

simplify87.0ms

prune604.0ms

regimes155.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.3m

Profiling