Details

analyze754.0ms

Algorithm

sampling

Space saved by range analysis: 0.195169%

Space saved by search: 74.65893%

Guaranteed chance to sample good point: 54.014423%

sample51.0ms

Algorithm

intervals

Results

11.0ms	174×	body	80	valid
10.0ms	31×	body	640	valid
9.0ms	14×	body	1280	valid
6.0ms	27×	body	320	valid
1.0ms	10×	body	160	valid
0.0ms	2×	body	80	nan
0.0ms	1×	body	80	invalid

simplify22.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	7
1	30	7
2	39	7
3	45	7
4	60	7
5	88	7
6	125	7
7	176	7
8	208	7
9	225	7
10	293	7
11	293	7

prune7.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: 10.0b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.0b	(* z (log (- 1.0 y)))
0.3b	(* x (log y))
4.8b	(log (- 1.0 y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
21×	`log-prod` `*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`pow1`
9×	`add-exp-log` `add-log-exp`
8×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `add-cbrt-cube`
6×	`associate-l`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`log-pow`
2×	`log-div` `flip3--` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `rem-log-exp` `associate--l+` `sum-log`

Counts

4 → 86

Calls

4 calls:

6.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
6.0ms	(* z (log (- 1.0 y)))
4.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

series38.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
8.0ms	(* z (log (- 1.0 y)))
7.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

simplify49.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	458	643
1	1650	563
2	5002	529

prune170.0ms

Filtered

66 candidates to 98 candidates (-48.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	90	8	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	8	99

Merged error: 0.0b

Counts

99 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
0.0b	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0b	(* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.3b	(* x (log y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `log-prod`
21×	`*-un-lft-identity`
16×	`distribute-rgt-in` `add-cube-cbrt` `distribute-lft-in`
13×	`associate--l+`
11×	`add-log-exp`
10×	`pow1` `associate-+r+` `associate-r`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-+l+` `associate-l`
5×	`sub-neg`
3×	`distribute-lft-out--`
2×	`flip3--` `diff-log` `associate-r/` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `-commutative` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

4 → 101

Calls

4 calls:

6.0ms	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
7.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
9.0ms	(* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
4.0ms	(* x (log y))

series95.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) t)
32.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
16.0ms	(* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
7.0ms	(* x (log y))

simplify58.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	444	1211
1	1686	1142
2	5002	1110

prune261.0ms

Filtered

75 candidates to 113 candidates (-50.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	112	9	121

Merged error: 0.0b

Counts

121 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (log (cbrt y)))
0.3b	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
0.7b	(cbrt y)
0.7b	(cbrt y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

48×	`log-prod`
36×	`distribute-rgt-in` `distribute-lft-in`
30×	`cbrt-prod`
26×	`add-sqr-sqrt`
24×	`add-cube-cbrt` `associate-+l+` `*-un-lft-identity`
12×	`associate-+r+`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
5×	`associate-r`
3×	`pow1/3` `associate-l`
2×	`log-pow`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 102

Calls

4 calls:

5.0ms	(* x (log (cbrt y)))
10.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series91.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* x (log (cbrt y)))
22.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
23.0ms	(cbrt y)
25.0ms	(cbrt y)

simplify51.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	362	765
1	1356	673
2	5002	593

prune252.0ms

Filtered

87 candidates to 114 candidates (-31.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	6	2	8
Picked	1	0	1
Done	0	0	0
Total	118	5	123

Merged error: 0.0b

Counts

123 → 5

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (log (cbrt y)))
0.3b	(+ (* x (* 2 (log (pow y 1/3)))) (* x (log (cbrt y))))
0.7b	(cbrt y)
5.1b	(pow y 1/3)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

52×	`log-prod`
40×	`distribute-rgt-in` `distribute-lft-in`
28×	`associate-+l+`
27×	`add-sqr-sqrt`
25×	`add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-prod` `unpow-prod-down`
12×	`associate-+r+`
8×	`pow1`
7×	`add-exp-log`
6×	`add-cbrt-cube` `add-log-exp`
5×	`associate-r` `sqr-pow`
3×	`pow-unpow` `associate-l`
2×	`pow1/3` `log-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `flip3-+` `unpow1/3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 113

Calls

4 calls:

5.0ms	(* x (log (cbrt y)))
10.0ms	(+ (* x (* 2 (log (pow y 1/3)))) (* x (log (cbrt y))))
1.0ms	(cbrt y)
2.0ms	(pow y 1/3)

series93.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* x (log (cbrt y)))
28.0ms	(+ (* x (* 2 (log (pow y 1/3)))) (* x (log (cbrt y))))
22.0ms	(cbrt y)
23.0ms	(pow y 1/3)

simplify67.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	492	803
1	1911	693
2	5001	507

prune283.0ms

Filtered

91 candidates to 125 candidates (-37.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	125	5	130

Merged error: 0.0b

Counts

130 → 5

regimes300.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	19
1	36	19

end0.0ms

analyze744.0ms

Algorithm

sampling

Space saved by range analysis: 0.195169%

Space saved by search: 74.65893%

Guaranteed chance to sample good point: 54.014423%

sample1.4s

Algorithm

intervals

Results

359.0ms	5491×	body	80	valid
318.0ms	907×	body	640	valid
284.0ms	422×	body	1280	valid
160.0ms	740×	body	320	valid
65.0ms	440×	body	160	valid
11.0ms	160×	body	80	nan
2.0ms	30×	body	80	invalid

Details

analyze754.0ms

sample51.0ms

simplify22.0ms

prune7.0ms

localize12.0ms

rewrite23.0ms

series38.0ms

simplify49.0ms

prune170.0ms

localize20.0ms

rewrite29.0ms

series95.0ms

simplify58.0ms

prune261.0ms

localize25.0ms

rewrite22.0ms

series91.0ms

simplify51.0ms

prune252.0ms

localize32.0ms

rewrite23.0ms

series93.0ms

simplify67.0ms

prune283.0ms

regimes300.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze744.0ms

sample1.4s

Profiling