Details

sample36.0ms

Algorithm

intervals

Results

16.0ms	92×	body	1280	valid
5.0ms	182×	body	80	valid
4.0ms	38×	body	640	valid
1.0ms	23×	body	320	valid
1.0ms	12×	body	160	valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	18	3
2	27	3
3	50	3
4	115	3
5	329	3
6	1642	3
7	5001	3

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.7b

localize4.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`prod-diff`
8×	`add-cube-cbrt`
3×	`fma-neg` `add-log-exp`
1×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `log1p-expm1-u` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 28

Calls

1 calls:

4.0ms

(- (exp (* a x)) 1.0)

series33.0ms

Counts

1 → 3

Calls

1 calls:

33.0ms

(- (exp (* a x)) 1.0)

simplify78.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 3 (74.0ms)

Iter	Nodes	Cost
0	162	253
1	526	172
2	2608	161
3	5002	125

prune63.0ms

Filtered

31 candidates to 18 candidates (58.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 9.0b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt` `*-un-lft-identity`
18×	`prod-diff`
17×	`add-cube-cbrt`
14×	`log-prod`
11×	`exp-sum`
6×	`log-pow`
5×	`exp-prod`
4×	`add-log-exp`
3×	`pow1` `fma-neg`
2×	`add-exp-log` `expm1-log1p-u` `sub-neg` `add-cbrt-cube` `log1p-expm1-u` `distribute-lft-out--` `difference-of-squares`
1×	`log-div` `flip3--` `exp-diff` `diff-log` `rem-log-exp` `flip--`

Counts

2 → 59

Calls

2 calls:

5.0ms	(- (exp (* a x)) 1.0)
8.0ms	(log (exp (- (exp (* a x)) 1.0)))

series67.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(- (exp (* a x)) 1.0)
34.0ms	(log (exp (- (exp (* a x)) 1.0)))

simplify92.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	225	523
1	633	357
2	2823	283
3	5001	265

prune114.0ms

Filtered

65 candidates to 35 candidates (53.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 9.0b

localize10.0ms

Local error

Found 4 expressions with local error:

3.4b	(- (exp (* a x)) 1.0)
3.4b	(- (exp (* a x)) 1.0)
3.4b	(log (sqrt (exp (- (exp (* a x)) 1.0))))
3.4b	(log (sqrt (exp (- (exp (* a x)) 1.0))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt` `*-un-lft-identity`
36×	`add-cube-cbrt` `prod-diff`
34×	`log-prod`
28×	`sqrt-prod`
22×	`exp-sum`
16×	`log-pow`
12×	`sqrt-pow1`
10×	`exp-prod`
8×	`pow1` `add-log-exp`
6×	`add-exp-log` `fma-neg`
4×	`expm1-log1p-u` `sub-neg` `add-cbrt-cube` `log1p-expm1-u` `distribute-lft-out--` `difference-of-squares`
2×	`log-div` `flip3--` `pow1/2` `exp-diff` `sqrt-div` `diff-log` `rem-log-exp` `flip--`

Counts

4 → 128

Calls

4 calls:

5.0ms	(- (exp (* a x)) 1.0)
5.0ms	(- (exp (* a x)) 1.0)
7.0ms	(log (sqrt (exp (- (exp (* a x)) 1.0))))
7.0ms	(log (sqrt (exp (- (exp (* a x)) 1.0))))

series265.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(- (exp (* a x)) 1.0)
36.0ms	(- (exp (* a x)) 1.0)
98.0ms	(log (sqrt (exp (- (exp (* a x)) 1.0))))
98.0ms	(log (sqrt (exp (- (exp (* a x)) 1.0))))

simplify103.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 3 (92.0ms)

Iter	Nodes	Cost
0	272	1390
1	738	1068
2	3244	934
3	5001	802

prune356.0ms

Filtered

140 candidates to 80 candidates (57.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 9.0b

localize17.0ms

Local error

Found 4 expressions with local error:

3.4b	(- (exp (* a x)) 1.0)
3.4b	(- (exp (* a x)) 1.0)
3.4b	(- (exp (* a x)) 1.0)
3.4b	(log (sqrt (exp (- (exp (* a x)) 1.0))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt` `*-un-lft-identity`
36×	`prod-diff`
34×	`add-cube-cbrt`
17×	`log-prod`
14×	`sqrt-prod`
11×	`exp-sum`
10×	`add-log-exp`
9×	`fma-neg`
8×	`log-pow`
6×	`pow1` `sqrt-pow1`
5×	`add-exp-log` `exp-prod`
4×	`expm1-log1p-u` `sub-neg` `add-cbrt-cube` `log1p-expm1-u` `distribute-lft-out--` `difference-of-squares`
3×	`flip3--` `diff-log` `flip--`
1×	`log-div` `pow1/2` `exp-diff` `sqrt-div` `rem-log-exp`

Counts

4 → 120

Calls

4 calls:

5.0ms	(- (exp (* a x)) 1.0)
5.0ms	(- (exp (* a x)) 1.0)
5.0ms	(- (exp (* a x)) 1.0)
7.0ms	(log (sqrt (exp (- (exp (* a x)) 1.0))))

series201.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(- (exp (* a x)) 1.0)
36.0ms	(- (exp (* a x)) 1.0)
34.0ms	(- (exp (* a x)) 1.0)
97.0ms	(log (sqrt (exp (- (exp (* a x)) 1.0))))

simplify105.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 3 (94.0ms)

Iter	Nodes	Cost
0	272	1201
1	738	878
2	3244	789
3	5001	651

prune353.0ms

Filtered

132 candidates to 76 candidates (57.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 9.0b

regimes305.0ms

Accuracy

95% (1.1b remaining)

Error of 9.3b against oracle of 8.2b and baseline of 29.7b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	41
1	36	41

end0.0ms

sample898.0ms

Algorithm

intervals

Results

418.0ms	2696×	body	1280	valid
131.0ms	1324×	body	640	valid
102.0ms	5496×	body	80	valid
48.0ms	736×	body	320	valid
19.0ms	438×	body	160	valid