Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	74.6%	25.4%	0
0%	74.6%	25.4%	1
37.3%	37.3%	25.4%	2
37.3%	18.7%	44%	3
46.7%	9.3%	44%	4
46.7%	4.7%	48.7%	5
49%	2.3%	48.7%	6
49%	1.2%	49.8%	7
49.6%	0.6%	49.8%	8
49.9%	0.3%	49.8%	9
49.9%	0.1%	50%	10
49.9%	0.1%	50.1%	11
49.9%	0%	50.1%	12
49.9%	0%	50.1%	13
49.9%	0%	50.1%	14

sample37.0ms

Algorithm

intervals

Results

18.0ms	114×	body	1280	valid
6.0ms	67×	body	640	valid
3.0ms	45×	body	320	valid
3.0ms	256×	pre	80	true
1.0ms	25×	body	160	valid
0.0ms	5×	body	80	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	68	4
1	68	4

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

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

7.9b	(- (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)

simplify63.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4883	115
1	4883	115

prune32.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

17 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
9×	`associate-l`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-r`
6×	`associate-*r/`
5×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`*-commutative` `add-log-exp`
2×	`flip3-+` `flip-+` `unswap-sqr`

Counts

3 → 64

Calls

3 calls:

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

series14.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify50.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4918	560
1	4918	560

prune67.0ms

Filtered

48 candidates to 73 candidates (-52.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	73	2	75

Merged error: 0.0b

Counts

75 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0)))
0.0b	(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))))
0.0b	(pow (exp x) 3)
7.8b	(- (pow (exp x) 3) (pow 1.0 3))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

158×	`add-sqr-sqrt`
88×	`*-un-lft-identity`
80×	`difference-of-squares`
75×	`times-frac`
63×	`unpow-prod-down` `cube-prod`
41×	`sqr-pow`
38×	`add-cube-cbrt`
25×	`associate-/l*` `distribute-lft-out--`
8×	`add-log-exp`
7×	`add-cbrt-cube`
6×	`add-exp-log`
5×	`pow1` `difference-cubes`
4×	`pow-pow`
3×	`pow-unpow` `exp-prod` `associate-/r*`
2×	`associate-+r+` `flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `cube-mult` `pow-to-exp` `sub-neg` `frac-2neg` `distribute-lft-in` `diff-log` `unpow3` `div-sub` `div-exp` `pow-exp` `clear-num` `sum-log` `div-inv` `rem-cube-cbrt`

Counts

4 → 192

Calls

4 calls:

5.0ms	(+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0)))
20.0ms	(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))))
3.0ms	(pow (exp x) 3)
12.0ms	(- (pow (exp x) 3) (pow 1.0 3))

series37.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0)))
21.0ms	(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (pow (exp x) 2) (* 1.0 (+ (exp x) 1.0))))
4.0ms	(pow (exp x) 3)
5.0ms	(- (pow (exp x) 3) (pow 1.0 3))

simplify59.0ms

Algorithm

egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5219	5008

prune296.0ms

Filtered

110 candidates to 204 candidates (-85.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	203	1	204
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	203	3	206

Merged error: 0.0b

Counts

206 → 3

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (pow (exp x) 3) 3)
0.0b	(/ (- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3)) (+ (pow (exp x) 6) (+ (pow 1.0 6) (* (pow (exp x) 3) (pow 1.0 3)))))
0.0b	(pow (exp x) 6)
7.7b	(- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3))

rewrite200.0ms

Algorithm

rewrite-expression-head

Rules

985×	`add-sqr-sqrt`
957×	`unpow-prod-down`
954×	`cube-prod`
649×	`*-un-lft-identity`
600×	`difference-of-squares`
500×	`times-frac`
364×	`sqr-pow`
145×	`add-cube-cbrt`
126×	`distribute-lft-out` `distribute-lft-out--`
125×	`associate-/l*`
7×	`add-exp-log` `add-cbrt-cube`
6×	`difference-cubes` `pow-unpow` `add-log-exp`
5×	`pow1` `pow-pow` `pow-exp`
4×	`associate-/r*`
3×	`cube-mult` `pow-to-exp` `exp-prod` `unpow3`
2×	`flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-sub` `div-exp` `clear-num` `flip-+` `div-inv` `rem-cube-cbrt`

Counts

4 → 842

Calls

4 calls:

4.0ms	(pow (pow (exp x) 3) 3)
73.0ms	(/ (- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3)) (+ (pow (exp x) 6) (+ (pow 1.0 6) (* (pow (exp x) 3) (pow 1.0 3)))))
3.0ms	(pow (exp x) 6)
44.0ms	(- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3))

series70.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(pow (pow (exp x) 3) 3)
46.0ms	(/ (- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3)) (+ (pow (exp x) 6) (+ (pow 1.0 6) (* (pow (exp x) 3) (pow 1.0 3)))))
6.0ms	(pow (exp x) 6)
10.0ms	(- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3))

simplify392.0ms

Algorithm

egg-herbie

Counts

854 → 854

Iterations

Useful iterations: 0 (223.0ms)

Iter	Nodes	Cost
0	5242	35581

prune1.0s

Filtered

167 candidates to 854 candidates (-411.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	853	1	854
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	854	3	857

Merged error: 0.0b

Counts

857 → 3

regimes60.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	11
1	13	11

end0.0ms

sample1.1s

Algorithm

intervals

Results

518.0ms	3378×	body	1280	valid
240.0ms	2496×	body	640	valid
93.0ms	8004×	pre	80	true
77.0ms	1268×	body	320	valid
26.0ms	647×	body	160	valid
4.0ms	211×	body	80	valid
0.0ms	4×	body	80	invalid

Details

analyze3.0ms

sample37.0ms

simplify4.0ms

prune2.0ms

localize3.0ms

rewrite4.0ms

series2.0ms

simplify63.0ms

prune32.0ms

localize6.0ms

rewrite17.0ms

series14.0ms

simplify50.0ms

prune67.0ms

localize11.0ms

rewrite52.0ms

series37.0ms

simplify59.0ms

prune296.0ms

localize21.0ms

rewrite200.0ms

series70.0ms

simplify392.0ms

prune1.0s

regimes60.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling