Details

analyze413.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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
35.9%	64%	0.1%	9
47.6%	49.9%	2.5%	10
49.1%	46.8%	4%	11
51.1%	44.1%	4.8%	12
60.2%	29.9%	9.9%	13
60.6%	27.9%	11.6%	14

sample43.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5021	11

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* z z) (+ z 1.0))
14.0b	(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

7.0ms	(* (* z z) (+ z 1.0))
9.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

series19.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (* z z) (+ z 1.0))
14.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

simplify23.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5052	618

prune94.0ms

Filtered

33 candidates to 57 candidates (-72.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	49	8	57
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	51	8	59

Merged error: 0.0b

Counts

59 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ z 1.0) y)
0.1b	(/ z (/ x z))
0.4b	(/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))
6.1b	(* (/ z (/ x z)) (/ (+ z 1.0) y))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

177×	`times-frac`
121×	`add-sqr-sqrt`
114×	`*-un-lft-identity`
105×	`add-exp-log`
100×	`add-cube-cbrt`
61×	`add-cbrt-cube`
54×	`div-exp`
44×	`associate-l`
29×	`cbrt-undiv`
24×	`prod-exp`
17×	`associate-/r*`
16×	`associate-r`
12×	`cbrt-unprod` `div-inv`
10×	`associate-/l*`
9×	`pow1`
7×	`rec-exp` `1-exp` `distribute-lft-out`
6×	`unswap-sqr`
5×	`associate-/r/`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
2×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `associate-/l/`
1×	`flip3-+` `*-commutative` `flip-+` `inv-pow`

Counts

4 → 244

Calls

4 calls:

5.0ms	(/ (+ z 1.0) y)
5.0ms	(/ z (/ x z))
15.0ms	(/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))
21.0ms	(* (/ z (/ x z)) (/ (+ z 1.0) y))

series27.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (+ z 1.0) y)
3.0ms	(/ z (/ x z))
10.0ms	(/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))
10.0ms	(* (/ z (/ x z)) (/ (+ z 1.0) y))

simplify79.0ms

Algorithm

egg-herbie

Counts

256 → 256

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4967	2859
1	4967	2859

prune288.0ms

Filtered

171 candidates to 256 candidates (-49.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	251	5	256
Fresh	5	2	7
Picked	0	1	1
Done	0	0	0
Total	256	8	264

Merged error: 0b

Counts

264 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ z 1.0) y)
0.2b	(* z (/ (+ z 1.0) y))
0.4b	(/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))
3.8b	(* (/ z x) (* z (/ (+ z 1.0) y)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

105×	`add-exp-log`
61×	`add-cbrt-cube`
45×	`*-un-lft-identity`
42×	`prod-exp`
37×	`times-frac`
36×	`add-sqr-sqrt` `div-exp`
31×	`add-cube-cbrt`
22×	`cbrt-unprod`
19×	`cbrt-undiv`
17×	`pow1` `associate-r`
16×	`associate-l`
7×	`rec-exp` `1-exp` `associate-r/` `pow-prod-down` `distribute-lft-out` `associate-/l`
4×	`associate-/r*` `div-inv` `add-log-exp`
3×	`pow-flip` `associate-/r/`
2×	`frac-times` `frac-2neg` `associate-l/` `clear-num` `-commutative` `associate-/l/` `unswap-sqr`
1×	`flip3-+` `flip-+` `inv-pow`

Counts

4 → 159

Calls

4 calls:

5.0ms	(/ (+ z 1.0) y)
8.0ms	(* z (/ (+ z 1.0) y))
11.0ms	(/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))
13.0ms	(* (/ z x) (* z (/ (+ z 1.0) y)))

series29.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (+ z 1.0) y)
5.0ms	(* z (/ (+ z 1.0) y))
10.0ms	(/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))
10.0ms	(* (/ z x) (* z (/ (+ z 1.0) y)))

simplify67.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4975	1789
1	4975	1789

prune167.0ms

Filtered

97 candidates to 171 candidates (-76.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	171	8	179

Merged error: 0b

Counts

179 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (+ z 1.0) y)
0.2b	(* z (/ (+ z 1.0) y))
4.4b	(/ (/ x z) (* z (/ (+ z 1.0) y)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

56×	`times-frac`
49×	`*-un-lft-identity`
40×	`add-sqr-sqrt`
35×	`add-cube-cbrt`
31×	`add-exp-log` `add-cbrt-cube`
17×	`associate-/l*`
16×	`associate-r`
13×	`cbrt-undiv` `div-exp`
7×	`distribute-lft-out`
6×	`prod-exp` `cbrt-unprod`
5×	`pow1` `div-inv`
4×	`associate-/r*`
3×	`associate-l` `associate-/l/` `add-log-exp`
2×	`frac-2neg` `associate-*r/` `clear-num` `unswap-sqr`
1×	`flip3-+` `pow-prod-down` `associate-/r/` `*-commutative` `flip-+`

Counts

3 → 119

Calls

3 calls:

5.0ms	(/ (+ z 1.0) y)
9.0ms	(* z (/ (+ z 1.0) y))
13.0ms	(/ (/ x z) (* z (/ (+ z 1.0) y)))

series21.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(/ (+ z 1.0) y)
5.0ms	(* z (/ (+ z 1.0) y))
12.0ms	(/ (/ x z) (* z (/ (+ z 1.0) y)))

simplify40.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5387	1367

prune120.0ms

Filtered

86 candidates to 128 candidates (-48.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	128	8	136

Merged error: 0b

Counts

136 → 8

regimes352.0ms

Accuracy

7% (2.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	56
1	37	56

end0.0ms

sample1.0s

Algorithm

intervals

Results

266.0ms

8000×

body

valid

Details

analyze413.0ms

sample43.0ms

simplify54.0ms

prune11.0ms

localize8.0ms

rewrite18.0ms

series19.0ms

simplify23.0ms

prune94.0ms

localize10.0ms

rewrite57.0ms

series27.0ms

simplify79.0ms

prune288.0ms

localize10.0ms

rewrite44.0ms

series29.0ms

simplify67.0ms

prune167.0ms

localize9.0ms

rewrite31.0ms

series21.0ms

simplify40.0ms

prune120.0ms

regimes352.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling