Details

sample48.0ms

Algorithm

intervals

Results

17.0ms	103×	body	1280	valid
9.0ms	87×	body	640	valid
4.0ms	385×	pre	80	true
2.0ms	38×	body	320	valid
2.0ms	134×	body	80	valid
1.0ms	23×	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.1b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

5.8b	(- (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 → 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 (3 fresh and 0 done)

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

Merged error: 0.0b

Counts

18 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 49

Calls

2 calls:

7.0ms	(* (pow x 2) (+ (* x 1/6) 1/2))
3.0ms	(* x 1/6)

series8.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	247	238
1	1168	215
2	5001	215

prune63.0ms

Filtered

35 candidates to 55 candidates (-57.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	55	3	58

Merged error: 0.0b

Counts

58 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.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-+l+` `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 → 193

Calls

4 calls:

9.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
25.0ms	(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
3.0ms	(pow (exp x) 3)
11.0ms	(- (pow (exp x) 3) (pow 1.0 3))

series32.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
18.0ms	(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
4.0ms	(pow (exp x) 3)
5.0ms	(- (pow (exp x) 3) (pow 1.0 3))

simplify100.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	596	3033
1	2606	2958
2	5001	2879

prune261.0ms

Filtered

110 candidates to 205 candidates (-86.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	204	1	205
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	205	3	208

Merged error: 0.0b

Counts

208 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

55×	`add-sqr-sqrt`
33×	`times-frac`
30×	`*-un-lft-identity`
20×	`add-cube-cbrt` `difference-of-squares`
15×	`difference-cubes` `add-log-exp`
11×	`associate-/l*`
6×	`add-exp-log` `exp-lft-cube` `exp-prod` `exp-to-pow` `add-cbrt-cube`
5×	`unpow-prod-down` `cube-prod` `distribute-lft-out--` `sqr-pow`
4×	`pow1`
3×	`associate-/r*`
2×	`associate-+l+` `flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `diff-log` `div-sub` `div-exp` `clear-num` `sum-log` `div-inv` `rem-exp-log`

Counts

4 → 108

Calls

4 calls:

9.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
17.0ms	(/ (- (exp (* x 3)) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
2.0ms	(exp (* x 3))
6.0ms	(- (exp (* x 3)) (pow 1.0 3))

series22.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
13.0ms	(/ (- (exp (* x 3)) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
1.0ms	(exp (* x 3))
2.0ms	(- (exp (* x 3)) (pow 1.0 3))

simplify54.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	434	1655
1	1714	1563
2	5001	1558

prune188.0ms

Filtered

82 candidates to 120 candidates (-46.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	120	3	123

Merged error: 0.0b

Counts

123 → 3

regimes29.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	5
1	13	5

end0.0ms

sample1.3s

Algorithm

intervals

Results

534.0ms	3426×	body	1280	valid
246.0ms	2507×	body	640	valid
113.0ms	11966×	pre	80	true
77.0ms	1254×	body	320	valid
57.0ms	4156×	body	80	valid
26.0ms	623×	body	160	valid

Details

sample48.0ms

simplify4.0ms

prune2.0ms

localize3.0ms

rewrite4.0ms

series2.0ms

simplify52.0ms

prune35.0ms

localize7.0ms

rewrite12.0ms

series8.0ms

simplify41.0ms

prune63.0ms

localize12.0ms

rewrite58.0ms

series32.0ms

simplify100.0ms

prune261.0ms

localize15.0ms

rewrite37.0ms

series22.0ms

simplify54.0ms

prune188.0ms

regimes29.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling