Details

sample34.0ms

Algorithm

intervals

Results

15.0ms	89×	body	1280	valid
4.0ms	43×	body	640	valid
4.0ms	176×	body	80	valid
1.0ms	19×	body	320	valid
1.0ms	15×	body	160	valid

simplify59.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	1614	3
7	5002	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: 30.3b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

2×	`exp-prod`
1×	`sub-neg` `flip3--` `*-commutative` `flip--`

Counts

2 → 6

Calls

2 calls:

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

series51.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify178.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	91	56
1	261	55
2	870	53
3	4413	53
4	5001	53

prune28.0ms

Filtered

12 candidates to 7 candidates (58.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	8	4	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	5	13

Merged error: 8.5b

Counts

13 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* a x))
0.0b	(exp (* a x))
0.0b	(exp (* a x))
3.3b	(- (pow (exp (* a x)) 3) (pow 1.0 3))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

6×	`exp-prod`
3×	`*-commutative`
2×	`sqr-pow`
1×	`difference-cubes` `sub-neg` `flip3--` `flip--` `difference-of-squares`

Counts

4 → 12

Calls

4 calls:

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

series94.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(exp (* a x))
12.0ms	(exp (* a x))
12.0ms	(exp (* a x))
53.0ms	(- (pow (exp (* a x)) 3) (pow 1.0 3))

simplify64.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 2 (14.0ms)

Iter	Nodes	Cost
0	136	114
1	431	113
2	1823	112
3	5002	112

prune79.0ms

Filtered

24 candidates to 16 candidates (66.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	19	5	24
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	21	8	29

Merged error: 8.5b

Counts

29 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* a x))
0.0b	(exp (* a x))
0.0b	(pow (exp (* a x)) 6)
3.2b	(- (pow (pow (exp (* a x)) 3) 3) (pow (pow 1.0 3) 3))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

9×	`sqr-pow`
6×	`exp-prod`
4×	`unpow-prod-down` `difference-of-squares`
3×	`*-commutative`
2×	`pow-pow`
1×	`difference-cubes` `pow-to-exp` `sub-neg` `flip3--` `pow-exp` `flip--`

Counts

4 → 18

Calls

4 calls:

2.0ms	(exp (* a x))
2.0ms	(exp (* a x))
3.0ms	(pow (exp (* a x)) 6)
8.0ms	(- (pow (pow (exp (* a x)) 3) 3) (pow (pow 1.0 3) 3))

series136.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(exp (* a x))
12.0ms	(exp (* a x))
36.0ms	(pow (exp (* a x)) 6)
75.0ms	(- (pow (pow (exp (* a x)) 3) 3) (pow (pow 1.0 3) 3))

simplify171.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	207	189
1	723	189
2	3588	188
3	5001	188

prune143.0ms

Filtered

30 candidates to 21 candidates (70.0%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	29	1	30
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	29	9	38

Merged error: 8.5b

Counts

38 → 9

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* a x))
0.0b	(exp (* a x))
0.0b	(exp (* a x))
3.4b	(- (pow (exp (* a x)) 3/2) (pow 1.0 3/2))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

6×	`exp-prod`
3×	`*-commutative`
2×	`sqr-pow`
1×	`sub-neg` `flip3--` `flip--` `difference-of-squares`

Counts

4 → 11

Calls

4 calls:

2.0ms	(exp (* a x))
2.0ms	(exp (* a x))
2.0ms	(exp (* a x))
5.0ms	(- (pow (exp (* a x)) 3/2) (pow 1.0 3/2))

series205.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(exp (* a x))
13.0ms	(exp (* a x))
18.0ms	(exp (* a x))
162.0ms	(- (pow (exp (* a x)) 3/2) (pow 1.0 3/2))

simplify50.0ms

Algorithm

egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 3 (47.0ms)

Iter	Nodes	Cost
0	112	102
1	361	102
2	1402	101
3	5001	100

prune63.0ms

Filtered

23 candidates to 14 candidates (60.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	21	2	23
Fresh	0	5	5
Picked	0	1	1
Done	1	2	3
Total	22	10	32

Merged error: 8.5b

Counts

32 → 10

regimes311.0ms

Accuracy

93.9% (1.3b remaining)

Error of 9.4b against oracle of 8.1b and baseline of 29.6b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	25
1	41	25

end0.0ms

sample945.0ms

Algorithm

intervals

Results

446.0ms	2769×	body	1280	valid
128.0ms	1270×	body	640	valid
113.0ms	5431×	body	80	valid
50.0ms	738×	body	320	valid
22.0ms	428×	body	160	valid