Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample20.0ms

Algorithm

intervals

Results

8.0ms	73×	body	640	valid
4.0ms	130×	body	80	valid
3.0ms	32×	body	320	valid
1.0ms	21×	body	160	valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	649	11
1	649	11

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 17.2b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1.0 (- x 1.0))
0.0b	(/ 1.0 (+ x 1.0))
3.7b	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

84×	`*-un-lft-identity`
55×	`times-frac`
50×	`add-sqr-sqrt`
30×	`add-cube-cbrt`
25×	`distribute-lft-out--`
10×	`distribute-lft-out`
9×	`associate-/r*`
8×	`difference-of-squares`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/r/` `associate-/l*`
5×	`add-log-exp`
4×	`div-inv`
3×	`pow1` `flip--`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip-+`
1×	`sub-neg` `flip3-+` `diff-log` `frac-sub`

Counts

3 → 101

Calls

3 calls:

5.0ms	(/ 1.0 (- x 1.0))
5.0ms	(/ 1.0 (+ x 1.0))
25.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series12.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(/ 1.0 (- x 1.0))
2.0ms	(/ 1.0 (+ x 1.0))
8.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify69.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4905	1239
1	4905	1239

prune137.0ms

Filtered

80 candidates to 110 candidates (-37.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	110	1	111

Merged error: 0.4b

Counts

111 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.4b	(/ (* 1.0 (* 1.0 -2)) (- (* x x) (* 1.0 1.0)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log` `add-cbrt-cube`
4×	`times-frac` `associate-/r*`
3×	`cbrt-undiv` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-exp` `prod-exp` `cbrt-unprod`
2×	`associate-/r/` `difference-of-squares`
1×	`pow1` `flip3--` `frac-2neg` `clear-num` `flip--` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 27

Calls

1 calls:

9.0ms

(/ (* 1.0 (* 1.0 -2)) (- (* x x) (* 1.0 1.0)))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ (* 1.0 (* 1.0 -2)) (- (* x x) (* 1.0 1.0)))

simplify32.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5043	445

prune53.0ms

Filtered

22 candidates to 30 candidates (-36.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	25	5	30
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	26	5	31

Merged error: 0.0b

Counts

31 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 1.0 (+ 1.0 x))
0.1b	(/ (* (/ 1.0 (+ 1.0 x)) (* 1.0 -2)) (- x 1.0))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

25×	`*-un-lft-identity`
22×	`add-exp-log` `add-cbrt-cube`
17×	`add-sqr-sqrt` `times-frac`
13×	`add-cube-cbrt`
9×	`associate-/r*`
8×	`cbrt-undiv` `div-exp`
6×	`prod-exp` `cbrt-unprod`
4×	`associate-/r/` `distribute-lft-out` `associate-/l*`
2×	`pow1` `frac-2neg` `clear-num` `div-inv` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
1×	`flip3--` `flip3-+` `associate-*l/` `flip--` `flip-+` `associate-/l/`

Counts

2 → 67

Calls

2 calls:

5.0ms	(/ 1.0 (+ 1.0 x))
12.0ms	(/ (* (/ 1.0 (+ 1.0 x)) (* 1.0 -2)) (- x 1.0))

series7.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(/ 1.0 (+ 1.0 x))
5.0ms	(/ (* (/ 1.0 (+ 1.0 x)) (* 1.0 -2)) (- x 1.0))

simplify39.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5200	858

prune94.0ms

Filtered

50 candidates to 73 candidates (-46.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	73	5	78

Merged error: 0.0b

Counts

78 → 5

localize8.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ 1.0 (- (* (/ x -2) (/ x 1.0)) (* -1/2 1.0)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
3×	`add-exp-log` `associate-/r` `add-cbrt-cube` `associate-/l`
2×	`associate-/r/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 29

Calls

1 calls:

9.0ms

(/ 1.0 (- (* (/ x -2) (/ x 1.0)) (* -1/2 1.0)))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(/ 1.0 (- (* (/ x -2) (/ x 1.0)) (* -1/2 1.0)))

simplify42.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4985	616
1	4985	616

prune53.0ms

Filtered

27 candidates to 32 candidates (-18.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	31	1	32
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	31	6	37

Merged error: 0.0b

Counts

37 → 6

regimes40.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	13
1	22	13

end0.0ms

sample565.0ms

Algorithm

intervals

Results

210.0ms	1889×	body	640	valid
120.0ms	4177×	body	80	valid
105.0ms	1253×	body	320	valid
37.0ms	681×	body	160	valid

Details

analyze4.0ms

sample20.0ms

simplify42.0ms

prune4.0ms

localize6.0ms

rewrite43.0ms

series12.0ms

simplify69.0ms

prune137.0ms

localize7.0ms

rewrite10.0ms

series6.0ms

simplify32.0ms

prune53.0ms

localize7.0ms

rewrite20.0ms

series7.0ms

simplify39.0ms

prune94.0ms

localize8.0ms

rewrite10.0ms

series4.0ms

simplify42.0ms

prune53.0ms

regimes40.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample565.0ms

Profiling