Details

analyze45.0ms

Algorithm: search

sample36.0ms

Algorithm

intervals

Results

15.0ms	85×	body	1280	valid
5.0ms	43×	body	640	valid
2.0ms	95×	body	80	valid
2.0ms	25×	body	320	valid
0.0ms	8×	body	160	valid
0.0ms	4×	body	80	invalid

simplify58.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

prune3.0ms

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

localize4.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 14

Calls

1 calls:

4.0ms

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

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

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

simplify37.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 2 (9.0ms)

Iter	Nodes	Cost
0	103	100
1	300	92
2	1055	90
3	5001	90

prune34.0ms

Filtered

12 candidates to 17 candidates (-41.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	13	4	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	5	18

Merged error: 9.0b

Counts

18 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 34

Calls

2 calls:

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

series15.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	142	220
1	387	199
2	1201	196
3	5001	196

prune56.0ms

Filtered

25 candidates to 40 candidates (-60.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	40	5	45

Merged error: 9.0b

Counts

45 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt` `*-un-lft-identity`
16×	`log-prod` `log-pow`
12×	`sqrt-pow1`
10×	`add-cube-cbrt` `exp-prod` `sqrt-prod`
8×	`pow1` `add-log-exp`
6×	`add-exp-log`
4×	`sub-neg` `exp-sum` `add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
2×	`log-div` `flip3--` `pow1/2` `exp-diff` `sqrt-div` `diff-log` `rem-log-exp` `flip--`

Counts

4 → 78

Calls

4 calls:

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

series53.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 3 (41.0ms)

Iter	Nodes	Cost
0	171	658
1	425	600
2	1342	592
3	5002	586

prune184.0ms

Filtered

62 candidates to 90 candidates (-45.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Merged error: 7.6b

Counts

95 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (sqrt (exp (* a x))) (sqrt 1.0))
3.2b	(- (exp (* a x)) 1.0)
3.2b	(log (sqrt (exp (- (exp (* a x)) 1.0))))
3.2b	(- (sqrt (exp (* a x))) (sqrt 1.0))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 70

Calls

4 calls:

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

series46.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ (sqrt (exp (* a x))) (sqrt 1.0))
8.0ms	(- (exp (* a x)) 1.0)
18.0ms	(log (sqrt (exp (- (exp (* a x)) 1.0))))
9.0ms	(- (sqrt (exp (* a x))) (sqrt 1.0))

simplify69.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 3 (62.0ms)

Iter	Nodes	Cost
0	264	629
1	765	578
2	2511	572
3	5001	570

prune150.0ms

Filtered

56 candidates to 82 candidates (-46.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	0	3	3
Picked	1	0	1
Done	1	0	1
Total	82	5	87

Merged error: 7.6b

Counts

87 → 5

regimes361.0ms

Accuracy

89.1% (2.4b remaining)

Error of 9.8b against oracle of 7.4b and baseline of 29.5b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	32
1	46	32

end0.0ms

analyze46.0ms

Algorithm: search

sample968.0ms

Algorithm

intervals

Results

491.0ms	2663×	body	1280	valid
159.0ms	1334×	body	640	valid
73.0ms	2829×	body	80	valid
65.0ms	772×	body	320	valid
22.0ms	402×	body	160	valid
4.0ms	146×	body	80	invalid

Details

analyze45.0ms

sample36.0ms

simplify58.0ms

prune3.0ms

localize4.0ms

rewrite4.0ms

series7.0ms

simplify37.0ms

prune34.0ms

localize7.0ms

rewrite11.0ms

series15.0ms

simplify41.0ms

prune56.0ms

localize10.0ms

rewrite21.0ms

series53.0ms

simplify49.0ms

prune184.0ms

localize16.0ms

rewrite23.0ms

series46.0ms

simplify69.0ms

prune150.0ms

regimes361.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze46.0ms

sample968.0ms

Profiling