Details

analyze389.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
42.1%	57.7%	0.1%	9
56.9%	42.9%	0.1%	10
59.5%	40.4%	0.1%	11
68.1%	31.8%	0.1%	12
75.1%	24.4%	0.5%	13
75.7%	23.3%	1%	14

sample38.0ms

Algorithm

intervals

Results

10.0ms	34×	body	1280	valid
8.0ms	169×	body	80	valid
5.0ms	27×	body	640	valid
2.0ms	18×	body	320	valid
1.0ms	8×	body	160	valid
0.0ms	10×	body	80	invalid
0.0ms	3×	body	160	invalid
0.0ms	1×	body	320	invalid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	67	8
1	67	8

prune12.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: 0.1b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (/ (sin y) y))
0.2b	(/ (sin y) y)
3.4b	(/ (* x (/ (sin y) y)) z)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
22×	`times-frac`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
6×	`cbrt-undiv` `div-exp` `associate-/r*`
5×	`pow1`
4×	`prod-exp` `cbrt-unprod` `associate-/l*`
3×	`associate-l` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-*r/` `clear-num` `unswap-sqr`
1×	`pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 83

Calls

3 calls:

6.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)
7.0ms	(/ (* x (/ (sin y) y)) z)

series29.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)
14.0ms	(/ (* x (/ (sin y) y)) z)

simplify54.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4952	739
1	4952	739

prune93.0ms

Filtered

66 candidates to 92 candidates (-39.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	87	7	94

Merged error: 0b

Counts

94 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (* (sin y) (/ 1 y)))
0.3b	(* (sin y) (/ 1 y))
3.4b	(/ (* x (* (sin y) (/ 1 y))) z)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
31×	`add-cbrt-cube`
22×	`prod-exp`
21×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
14×	`add-cube-cbrt` `times-frac` `associate-r`
12×	`div-exp` `cbrt-unprod`
10×	`pow1`
7×	`cbrt-undiv` `associate-*r/`
6×	`associate-l`
4×	`pow-prod-down`
3×	`rec-exp` `1-exp` `associate-/r*` `un-div-inv` `add-log-exp` `unswap-sqr`
2×	`*-commutative` `div-inv` `associate-/l/`
1×	`frac-2neg` `clear-num` `associate-/l*`

Counts

3 → 89

Calls

3 calls:

7.0ms	(* x (* (sin y) (/ 1 y)))
7.0ms	(* (sin y) (/ 1 y))
10.0ms	(/ (* x (* (sin y) (/ 1 y))) z)

series31.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(* x (* (sin y) (/ 1 y)))
6.0ms	(* (sin y) (/ 1 y))
14.0ms	(/ (* x (* (sin y) (/ 1 y))) z)

simplify54.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5154	711

prune79.0ms

Filtered

56 candidates to 98 candidates (-75.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	98	7	105

Merged error: 0b

Counts

105 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (/ (sin y) y))
0.2b	(/ (sin y) y)
3.6b	(* (* x (/ (sin y) y)) (/ 1 z))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
31×	`add-sqr-sqrt` `add-cbrt-cube`
28×	`times-frac`
26×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
22×	`prod-exp`
12×	`div-exp` `cbrt-unprod`
10×	`pow1`
7×	`cbrt-undiv`
4×	`associate-r/` `associate-l*` `pow-prod-down`
3×	`rec-exp` `1-exp` `associate-/r` `div-inv` `associate-/l` `add-log-exp`
2×	`*-commutative` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-*l/` `clear-num` `un-div-inv`

Counts

3 → 105

Calls

3 calls:

8.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)
10.0ms	(* (* x (/ (sin y) y)) (/ 1 z))

series31.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)
17.0ms	(* (* x (/ (sin y) y)) (/ 1 z))

simplify50.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4979	943
1	4979	943

prune90.0ms

Filtered

70 candidates to 114 candidates (-62.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	114	7	121

Merged error: 0b

Counts

121 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt z)
0.6b	(cbrt z)
1.9b	(* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (* y (cbrt z))))
2.5b	(/ (sin y) (* y (cbrt z)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-exp-log`
35×	`add-cbrt-cube`
16×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
14×	`cbrt-undiv` `div-exp`
12×	`add-cube-cbrt` `*-un-lft-identity`
10×	`times-frac`
7×	`associate-r` `associate-l`
6×	`pow1` `cbrt-prod`
4×	`add-log-exp`
3×	`div-inv` `associate-/l*`
2×	`pow1/3` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `associate-/r` `-commutative`

Counts

4 → 89

Calls

4 calls:

1.0ms	(cbrt z)
1.0ms	(cbrt z)
12.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (* y (cbrt z))))
5.0ms	(/ (sin y) (* y (cbrt z)))

series87.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt z)
25.0ms	(cbrt z)
20.0ms	(* (/ x (* (cbrt z) (cbrt z))) (/ (sin y) (* y (cbrt z))))
21.0ms	(/ (sin y) (* y (cbrt z)))

simplify49.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4913	847
1	4913	847

prune76.0ms

Filtered

67 candidates to 101 candidates (-50.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	101	7	108

Merged error: 0b

Counts

108 → 7

regimes475.0ms

Accuracy

93.9% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	35
1	21	35

end0.0ms

sample1.1s

Algorithm

intervals

Results

299.0ms	994×	body	1280	valid
254.0ms	5301×	body	80	valid
197.0ms	945×	body	640	valid
74.0ms	510×	body	320	valid
25.0ms	513×	body	80	invalid
24.0ms	250×	body	160	valid
10.0ms	52×	body	640	invalid
6.0ms	46×	body	320	invalid
4.0ms	39×	body	160	invalid
1.0ms	4×	body	1280	invalid

Details

analyze389.0ms

sample38.0ms

simplify3.0ms

prune12.0ms

localize7.0ms

rewrite19.0ms

series29.0ms

simplify54.0ms

prune93.0ms

localize8.0ms

rewrite27.0ms

series31.0ms

simplify54.0ms

prune79.0ms

localize8.0ms

rewrite26.0ms

series31.0ms

simplify50.0ms

prune90.0ms

localize11.0ms

rewrite22.0ms

series87.0ms

simplify49.0ms

prune76.0ms

regimes475.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling