Details

sample40.0ms

Algorithm

intervals

Results

19.0ms	91×	body	1280	valid
4.0ms	190×	body	80	valid
4.0ms	37×	body	640	valid
2.0ms	23×	body	320	valid
1.0ms	13×	body	160	valid

simplify62.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

prune2.0ms

Filtered

1 candidates to 0 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: 28.1b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp (* a x))
3.7b	(- (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)

series50.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(exp (* a x))
38.0ms	(- (exp (* a x)) 1.0)

simplify41.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 2 (10.0ms)

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

prune67.0ms

Filtered

30 candidates to 20 candidates (66.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

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

Merged error: 6.7b

Counts

31 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(exp (* a x))
3.7b	(log (exp (- (exp (* a x)) 1.0)))
3.7b	(- (exp (* a x)) 1.0)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 44

Calls

3 calls:

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

series86.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(exp (* a x))
39.0ms	(log (exp (- (exp (* a x)) 1.0)))
34.0ms	(- (exp (* a x)) 1.0)

simplify45.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	151	255
1	414	234
2	1256	231
3	5001	231

prune89.0ms

Filtered

53 candidates to 32 candidates (60.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	6	6
Picked	0	1	1
Done	1	0	1
Total	53	8	61

Merged error: 6.6b

Counts

61 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (- (exp (* a x)) 1.0))
3.7b	(- (exp (* a x)) 1.0)
3.7b	(- (exp (* a x)) 1.0)
3.7b	(- (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)

series202.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(cbrt (- (exp (* a x)) 1.0))
38.0ms	(- (exp (* a x)) 1.0)
33.0ms	(- (exp (* a x)) 1.0)
33.0ms	(- (exp (* a x)) 1.0)

simplify65.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 3 (59.0ms)

Iter	Nodes	Cost
0	167	460
1	491	412
2	1911	395
3	5001	391

prune175.0ms

Filtered

69 candidates to 50 candidates (72.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	66	3	69
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	67	10	77

Merged error: 6.6b

Counts

77 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0)))
3.7b	(- (exp (* a x)) 1.0)
3.7b	(- (exp (* a x)) 1.0)
3.8b	(- (sqrt (exp (* a x))) (sqrt 1.0))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 61

Calls

4 calls:

6.0ms	(cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0)))
4.0ms	(- (exp (* a x)) 1.0)
4.0ms	(- (exp (* a x)) 1.0)
6.0ms	(- (sqrt (exp (* a x))) (sqrt 1.0))

series465.0ms

Counts

4 → 12

Calls

4 calls:

338.0ms	(cbrt (+ (sqrt (exp (* a x))) (sqrt 1.0)))
34.0ms	(- (exp (* a x)) 1.0)
34.0ms	(- (exp (* a x)) 1.0)
59.0ms	(- (sqrt (exp (* a x))) (sqrt 1.0))

simplify108.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 3 (101.0ms)

Iter	Nodes	Cost
0	266	589
1	885	549
2	3458	536
3	5002	535

prune227.0ms

Filtered

73 candidates to 50 candidates (68.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	72	11	83

Merged error: 6.6b

Counts

83 → 11

regimes373.0ms

Accuracy

92.4% (1.6b remaining)

Error of 9.6b against oracle of 8.0b and baseline of 29.6b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	36
1	48	36

end0.0ms

sample1.0s

Algorithm

intervals

Results

476.0ms	2725×	body	1280	valid
147.0ms	1326×	body	640	valid
139.0ms	5646×	body	80	valid
54.0ms	719×	body	320	valid
20.0ms	390×	body	160	valid

Details

sample40.0ms

simplify62.0ms

prune2.0ms

localize5.0ms

rewrite6.0ms

series50.0ms

simplify41.0ms

prune67.0ms

localize8.0ms

rewrite11.0ms

series86.0ms

simplify45.0ms

prune89.0ms

localize12.0ms

rewrite16.0ms

series202.0ms

simplify65.0ms

prune175.0ms

localize16.0ms

rewrite21.0ms

series465.0ms

simplify108.0ms

prune227.0ms

regimes373.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling