Details

sample46.0ms

Algorithm

intervals

Results

19.0ms	110×	body	1280	valid
7.0ms	71×	body	640	valid
4.0ms	373×	pre	80	true
4.0ms	53×	body	320	valid
2.0ms	122×	body	80	valid
1.0ms	17×	body	160	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	2
1	7	2
2	7	2

prune2.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: 58.3b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

3.4b	(- (exp x) 1.0)

rewrite5.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 x) 1.0)

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(- (exp x) 1.0)

simplify52.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	81	72
1	185	67
2	499	66
3	1399	66
4	5002	66

prune35.0ms

Filtered

12 candidates to 17 candidates (-41.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	15	2	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	3	18

Merged error: 0.0b

Counts

18 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)
0.0b	(* (pow x 2) (+ (* x 1/6) 1/2))
0.3b	(* x 1/6)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
11×	`associate-l`
10×	`add-exp-log`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`add-cbrt-cube`
6×	`associate-r`
5×	`pow1` `add-log-exp` `unswap-sqr`
4×	`unpow-prod-down` `prod-exp`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `flip3-+` `associate-r/` `-commutative` `cbrt-unprod` `flip-+` `unpow2` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-prod-down` `pow-exp` `sum-log`

Counts

3 → 62

Calls

3 calls:

8.0ms	(+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)
8.0ms	(* (pow x 2) (+ (* x 1/6) 1/2))
4.0ms	(* x 1/6)

series12.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)
6.0ms	(* (pow x 2) (+ (* x 1/6) 1/2))
2.0ms	(* x 1/6)

simplify53.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	310	355
1	1545	327
2	5001	326

prune82.0ms

Filtered

47 candidates to 71 candidates (-51.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	71	3	74

Merged error: 0.0b

Counts

74 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.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:

4.0ms	(- (exp x) 1.0)
5.0ms	(log (exp (- (exp x) 1.0)))

series4.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(- (exp x) 1.0)
2.0ms	(log (exp (- (exp x) 1.0)))

simplify63.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	120	161
1	279	146
2	654	144
3	1861	144
4	5001	144

prune44.0ms

Filtered

26 candidates to 40 candidates (-53.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	39	4	43

Merged error: 0.0b

Counts

43 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

3.4b	(- (exp x) 1.0)
3.4b	(- (exp x) 1.0)
3.5b	(log (sqrt (exp (- (exp x) 1.0))))
3.5b	(log (sqrt (exp (- (exp x) 1.0))))

rewrite23.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 x) 1.0)
4.0ms	(- (exp x) 1.0)
6.0ms	(log (sqrt (exp (- (exp x) 1.0))))
6.0ms	(log (sqrt (exp (- (exp x) 1.0))))

series43.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(- (exp x) 1.0)
4.0ms	(- (exp x) 1.0)
18.0ms	(log (sqrt (exp (- (exp x) 1.0))))
18.0ms	(log (sqrt (exp (- (exp x) 1.0))))

simplify72.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 3 (19.0ms)

Iter	Nodes	Cost
0	145	528
1	289	482
2	704	476
3	2273	472
4	5002	472

prune151.0ms

Filtered

62 candidates to 90 candidates (-45.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	0	0	0
Picked	0	1	1
Done	1	2	3
Total	90	4	94

Merged error: 0b

Counts

94 → 4

regimes148.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	5
1	13	5

end0.0ms

sample1.4s

Algorithm

intervals

Results

550.0ms	3415×	body	1280	valid
252.0ms	2479×	body	640	valid
133.0ms	12071×	pre	80	true
83.0ms	1271×	body	320	valid
65.0ms	4277×	body	80	valid
26.0ms	629×	body	160	valid

Details

sample46.0ms

simplify4.0ms

prune2.0ms

localize3.0ms

rewrite5.0ms

series2.0ms

simplify52.0ms

prune35.0ms

localize7.0ms

rewrite20.0ms

series12.0ms

simplify53.0ms

prune82.0ms

localize5.0ms

rewrite10.0ms

series4.0ms

simplify63.0ms

prune44.0ms

localize8.0ms

rewrite23.0ms

series43.0ms

simplify72.0ms

prune151.0ms

regimes148.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling