Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
62.5%	25%	12.5%	4
68.7%	12.5%	18.8%	5
71.8%	6.2%	21.9%	6
73.4%	3.1%	23.5%	7
74.2%	1.6%	24.3%	8
74.6%	0.8%	24.6%	9
75%	0.4%	24.6%	10
75.1%	0.2%	24.7%	11
75.1%	0.1%	24.8%	12
75.1%	0%	24.8%	13
75.2%	0%	24.8%	14

sample34.0ms

Algorithm

intervals

Results

16.0ms	81×	body	1280	valid
6.0ms	46×	body	640	valid
3.0ms	98×	body	80	valid
2.0ms	17×	body	320	valid
1.0ms	14×	body	160	valid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4891	6
1	4891	6

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: 38.3b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

4.3b	(- (exp 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 → 13

Calls

1 calls:

4.0ms

(- (exp x) 1.0)

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(- (exp x) 1.0)

simplify36.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4961	115
1	4961	115

prune32.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	14	2	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	3	17

Merged error: 0.0b

Counts

17 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
17×	`add-cube-cbrt` `*-un-lft-identity`
15×	`add-exp-log` `add-cbrt-cube`
13×	`pow1`
9×	`times-frac` `associate-l`
7×	`associate-r`
6×	`associate-*r/`
5×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`flip3-+` `associate-/r` `-commutative` `flip-+` `associate-/l*`
2×	`associate-/l/` `unswap-sqr`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 93

Calls

4 calls:

6.0ms	(* x (* x (+ 1/2 (* x 1/6))))
5.0ms	(* x (+ 1/2 (* x 1/6)))
3.0ms	(* x 1/6)
5.0ms	(/ (+ x (* x (* x (+ 1/2 (* x 1/6))))) x)

series21.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify56.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4939	1150
1	4939	1150

prune117.0ms

Filtered

69 candidates to 105 candidates (-52.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	105	3	108

Merged error: 0.0b

Counts

108 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 32

Calls

2 calls:

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

series4.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify45.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4886	247
1	4886	247

prune47.0ms

Filtered

26 candidates to 38 candidates (-46.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	38	3	41

Merged error: 0.0b

Counts

41 → 3

regimes68.0ms

Accuracy

98.9% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 21.7b

bsearch12.0ms

Steps

Iters	Range		Point
9	-7.421643685813516	-9.670296574357718e-08	-0.00015306962940366206

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	72	23
1	72	23

end0.0ms

sample965.0ms

Algorithm

intervals

Results

457.0ms	2314×	body	1280	valid
215.0ms	1656×	body	640	valid
79.0ms	2869×	body	80	valid
74.0ms	806×	body	320	valid
20.0ms	355×	body	160	valid
0.0ms	1×	body	80	invalid

Details

analyze4.0ms

sample34.0ms

simplify50.0ms

prune3.0ms

localize4.0ms

rewrite4.0ms

series2.0ms

simplify36.0ms

prune32.0ms

localize8.0ms

rewrite23.0ms

series21.0ms

simplify56.0ms

prune117.0ms

localize7.0ms

rewrite10.0ms

series4.0ms

simplify45.0ms

prune47.0ms

regimes68.0ms

bsearch12.0ms

simplify2.0ms

end0.0ms

sample965.0ms

Profiling