Details

analyze36.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
65.6%	34.3%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

sample11.0ms

Algorithm

intervals

Results

4.0ms

256×

body

valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	2
1	5	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: 0.0b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ x (+ x y))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 33

Calls

1 calls:

8.0ms

(/ x (+ x y))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ x (+ x y))

simplify80.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	118	153
1	378	144
2	1010	144
3	3606	144
4	5001	144

prune35.0ms

Filtered

25 candidates to 36 candidates (-44.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	4	37

Merged error: 0b

Counts

37 → 4

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ x y) x)
0.8b	(/ 1 (/ (+ x y) x))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
92×	`*-un-lft-identity`
60×	`add-sqr-sqrt` `add-cube-cbrt`
19×	`associate-/r*`
16×	`distribute-lft-out`
15×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`div-exp`
7×	`associate-/l*`
6×	`div-inv`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`pow-flip` `flip3-+` `associate-/r/` `flip-+` `inv-pow`

Counts

2 → 121

Calls

2 calls:

8.0ms	(/ (+ x y) x)
7.0ms	(/ 1 (/ (+ x y) x))

series9.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ (+ x y) x)
5.0ms	(/ 1 (/ (+ x y) x))

simplify44.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	346	798
1	1531	700
2	5001	610

prune64.0ms

Filtered

59 candidates to 127 candidates (-115.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	128	3	131

Merged error: 0b

Counts

131 → 3

localize9.0ms

Local error

Found 1 expressions with local error:

0.8b	(/ 1 (+ (/ y x) 1))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
12×	`times-frac`
10×	`add-sqr-sqrt` `add-cube-cbrt`
5×	`add-exp-log`
4×	`associate-/r*` `distribute-lft-out`
3×	`add-cbrt-cube` `associate-/l*`
2×	`pow1` `div-exp` `associate-/r/`
1×	`cbrt-undiv` `rec-exp` `pow-flip` `frac-2neg` `flip3-+` `1-exp` `clear-num` `flip-+` `div-inv` `inv-pow` `add-log-exp`

Counts

1 → 37

Calls

1 calls:

14.0ms

(/ 1 (+ (/ y x) 1))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(/ 1 (+ (/ y x) 1))

simplify146.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	126	202
1	546	162
2	1369	161
3	3707	161
4	5001	161

prune38.0ms

Filtered

18 candidates to 40 candidates (-122.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	40	3	43

Merged error: 0b

Counts

43 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(exp (/ x (+ x y)))
0.0b	(/ x (+ x y))
2.4b	(log (exp (/ x (+ x y))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

49×	`*-un-lft-identity`
36×	`exp-prod` `times-frac`
29×	`add-sqr-sqrt` `add-cube-cbrt`
19×	`log-pow`
10×	`distribute-lft-out`
6×	`associate-/r/`
5×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `associate-/r*` `add-log-exp`
3×	`log-prod` `flip3-+` `flip-+` `div-inv` `associate-/l*`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `rem-exp-log`

Counts

3 → 89

Calls

3 calls:

5.0ms	(exp (/ x (+ x y)))
6.0ms	(/ x (+ x y))
13.0ms	(log (exp (/ x (+ x y))))

series22.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(exp (/ x (+ x y)))
5.0ms	(/ x (+ x y))
5.0ms	(log (exp (/ x (+ x y))))

simplify98.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	174	391
1	460	364
2	1133	362
3	3930	362
4	5001	362

prune102.0ms

Filtered

71 candidates to 98 candidates (-38.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	98	3	101

Merged error: 0b

Counts

101 → 3

regimes136.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	2
1	5	2

end0.0ms

analyze34.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
65.6%	34.3%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

sample316.0ms

Algorithm

intervals

Results

176.0ms

8000×

body

valid

Details

analyze36.0ms

sample11.0ms

simplify3.0ms

prune2.0ms

localize3.0ms

rewrite9.0ms

series6.0ms

simplify80.0ms

prune35.0ms

localize4.0ms

rewrite21.0ms

series9.0ms

simplify44.0ms

prune64.0ms

localize9.0ms

rewrite17.0ms

series8.0ms

simplify146.0ms

prune38.0ms

localize12.0ms

rewrite27.0ms

series22.0ms

simplify98.0ms

prune102.0ms

regimes136.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze34.0ms

sample316.0ms

Profiling