Details

sample38.0ms

Algorithm

intervals

Results

14.0ms	79×	body	1280	valid
5.0ms	42×	body	640	valid
5.0ms	182×	body	80	valid
2.0ms	26×	body	320	valid
1.0ms	18×	body	160	valid

simplify62.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	11	3
1	18	3
2	26	3
3	48	3
4	110	3
5	318	3
6	1623	3
7	5001	3

prune3.0ms

Filtered

1 candidates to 0 candidates (100.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: 29.9b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp (* a x))
5.1b	(- (exp (* a x)) 1.0)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
4×	`add-sqr-sqrt` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
1×	`sub-neg` `exp-prod` `flip3--` `exp-to-pow` `diff-log` `flip--` `rem-exp-log` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 24

Calls

2 calls:

2.0ms	(exp (* a x))
4.0ms	(- (exp (* a x)) 1.0)

series11.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(exp (* a x))
7.0ms	(- (exp (* a x)) 1.0)

simplify42.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	115	135
1	333	127
2	1116	125
3	5001	125

prune58.0ms

Filtered

30 candidates to 20 candidates (33.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	23	7	30
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	24	7	31

Merged error: 9.0b

Counts

31 → 7

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* a x))
0.1b	(pow (- (exp (* a x)) 1.0) 3)
0.1b	(cbrt (pow (- (exp (* a x)) 1.0) 3))
5.1b	(- (exp (* a x)) 1.0)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `*-un-lft-identity`
16×	`cbrt-prod`
10×	`add-cube-cbrt` `unpow-prod-down` `cube-prod`
8×	`add-log-exp`
5×	`pow1` `add-exp-log` `add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
4×	`cube-div`
3×	`pow-unpow` `flip3--` `flip--`
2×	`cube-mult` `cbrt-div` `unpow3` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `exp-prod` `exp-to-pow` `pow-pow` `pow1/3` `diff-log` `pow-exp` `rem-cbrt-cube` `rem-exp-log` `rem-cube-cbrt`

Counts

4 → 80

Calls

4 calls:

2.0ms	(exp (* a x))
5.0ms	(pow (- (exp (* a x)) 1.0) 3)
7.0ms	(cbrt (pow (- (exp (* a x)) 1.0) 3))
4.0ms	(- (exp (* a x)) 1.0)

series31.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(exp (* a x))
13.0ms	(pow (- (exp (* a x)) 1.0) 3)
7.0ms	(cbrt (pow (- (exp (* a x)) 1.0) 3))
7.0ms	(- (exp (* a x)) 1.0)

simplify39.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	269	550
1	1076	527
2	5001	516

prune111.0ms

Filtered

92 candidates to 46 candidates (50.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	91	8	99

Merged error: 9.0b

Counts

99 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (- (exp (* a x)) 1.0))
5.1b	(- (exp (* a x)) 1.0)
5.1b	(- (exp (* a x)) 1.0)
5.1b	(- (exp (* a x)) 1.0)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-log-exp`
5×	`cbrt-prod` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `flip3--` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`
3×	`sub-neg` `diff-log`
2×	`cbrt-div`
1×	`pow1/3`

Counts

4 → 57

Calls

4 calls:

4.0ms	(cbrt (- (exp (* a x)) 1.0))
4.0ms	(- (exp (* a x)) 1.0)
4.0ms	(- (exp (* a x)) 1.0)
4.0ms	(- (exp (* a x)) 1.0)

series46.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt (- (exp (* a x)) 1.0))
9.0ms	(- (exp (* a x)) 1.0)
7.0ms	(- (exp (* a x)) 1.0)
7.0ms	(- (exp (* a x)) 1.0)

simplify67.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 3 (61.0ms)

Iter	Nodes	Cost
0	172	466
1	517	418
2	2052	400
3	5002	398

prune139.0ms

Filtered

69 candidates to 50 candidates (27.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	65	4	69
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	66	11	77

Merged error: 9.0b

Counts

77 → 11

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (exp (* a x)) 1.0))
4.9b	(- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0))
5.1b	(- (exp (* a x)) 1.0)
5.1b	(- (exp (* a x)) 1.0)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-un-lft-identity`
10×	`add-log-exp`
9×	`add-sqr-sqrt`
5×	`add-cube-cbrt`
4×	`pow1` `add-exp-log` `cbrt-prod` `add-cbrt-cube`
3×	`sub-neg` `flip3--` `diff-log` `flip--` `difference-of-squares`
2×	`cbrt-div` `distribute-lft-out--`
1×	`flip3-+` `pow1/3` `flip-+` `distribute-lft-out`

Counts

4 → 55

Calls

4 calls:

3.0ms	(cbrt (+ (exp (* a x)) 1.0))
5.0ms	(- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0))
4.0ms	(- (exp (* a x)) 1.0)
4.0ms	(- (exp (* a x)) 1.0)

series49.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt (+ (exp (* a x)) 1.0))
11.0ms	(- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0))
7.0ms	(- (exp (* a x)) 1.0)
7.0ms	(- (exp (* a x)) 1.0)

simplify107.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	247	490
1	842	434
2	3374	426
3	5002	426

prune120.0ms

Filtered

67 candidates to 50 candidates (25.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	63	4	67
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	67	11	78

Merged error: 9.0b

Counts

78 → 11

regimes540.0ms

Accuracy

93.8% (1.3b remaining)

Error of 9.8b against oracle of 8.5b and baseline of 30.0b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	39
1	47	39

end0.0ms

sample1.2s

Algorithm

intervals

Results

490.0ms	2635×	body	1280	valid
162.0ms	1326×	body	640	valid
141.0ms	5435×	body	80	valid
65.0ms	803×	body	320	valid
24.0ms	421×	body	160	valid

Details

sample38.0ms

simplify62.0ms

prune3.0ms

localize5.0ms

rewrite6.0ms

series11.0ms

simplify42.0ms

prune58.0ms

localize7.0ms

rewrite19.0ms

series31.0ms

simplify39.0ms

prune111.0ms

localize10.0ms

rewrite16.0ms

series46.0ms

simplify67.0ms

prune139.0ms

localize18.0ms

rewrite18.0ms

series49.0ms

simplify107.0ms

prune120.0ms

regimes540.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling