Details

sample681.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 47.04159%

Guaranteed chance to sample good point: 0%

Results

20.0ms	276×	body	80	nan
11.0ms	177×	body	80	valid
9.0ms	15×	body	1280	valid
9.0ms	27×	body	640	valid
5.0ms	24×	body	320	valid
2.0ms	17×	body	160	valid

simplify20.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

prune4.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.5b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 84

Calls

4 calls:

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

series47.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(+ (* x (log y)) (* z (log (- 1.0 y))))
22.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
7.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

simplify45.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	481	692
1	1599	636
2	5002	590

prune345.0ms

Filtered

72 candidates to 96 candidates (-33.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	90	6	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	6	97

Merged error: 0.0b

Counts

97 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

90×	`add-sqr-sqrt`
80×	`times-frac`
78×	`associate-r`
56×	`unpow-prod-down`
53×	`*-un-lft-identity`
50×	`add-cube-cbrt`
31×	`add-exp-log`
24×	`log-prod` `unpow2` `sqr-pow`
19×	`unswap-sqr`
16×	`distribute-rgt-in` `distribute-lft-in`
13×	`add-cbrt-cube`
12×	`pow1` `prod-exp` `associate--l+`
10×	`associate-+r+`
9×	`div-exp` `associate-l`
6×	`pow-to-exp` `associate-+l+` `pow-exp` `add-log-exp`
4×	`sub-neg` `cbrt-unprod`
3×	`associate-r/` `pow-prod-down` `-commutative`
2×	`log-pow` `distribute-lft-out--`
1×	`cbrt-undiv` `+-commutative` `flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 195

Calls

4 calls:

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

series58.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
5.0ms	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
28.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
7.0ms	(* x (log y))

simplify103.0ms

Algorithm

egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 2 (81.0ms)

Iter	Nodes	Cost
0	880	1531
1	3697	1356
2	5002	1353

prune401.0ms

Filtered

132 candidates to 207 candidates (-56.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	207	6	213

Merged error: 0.0b

Counts

213 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.7b	(cbrt y)
0.7b	(cbrt y)
0.7b	(cbrt y)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

8.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series95.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (cbrt y) (cbrt y))
22.0ms	(cbrt y)
22.0ms	(cbrt y)
22.0ms	(cbrt y)

simplify71.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (66.0ms)

Iter	Nodes	Cost
0	148	349
1	471	322
2	2276	265
3	5002	252

prune164.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	85	6	91

Merged error: 0.0b

Counts

91 → 6

localize28.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt y)
0.7b	(cbrt (cbrt y))
0.7b	(cbrt (cbrt y))
1.1b	(pow (cbrt (cbrt y)) 5)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-prod`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`unpow-prod-down`
5×	`pow1` `add-exp-log`
4×	`pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `sqr-pow`

Counts

4 → 63

Calls

4 calls:

1.0ms	(cbrt y)
2.0ms	(cbrt (cbrt y))
2.0ms	(cbrt (cbrt y))
3.0ms	(pow (cbrt (cbrt y)) 5)

series136.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
31.0ms	(cbrt (cbrt y))
31.0ms	(cbrt (cbrt y))
49.0ms	(pow (cbrt (cbrt y)) 5)

simplify59.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (53.0ms)

Iter	Nodes	Cost
0	186	380
1	479	358
2	1507	324
3	5001	308

prune171.0ms

Filtered

57 candidates to 75 candidates (-31.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	74	7	81

Merged error: 0.0b

Counts

81 → 7

regimes319.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	13
1	26	13

end0.0ms

sample3.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 47.04159%

Guaranteed chance to sample good point: 0%

Results

566.0ms	8996×	body	80	nan
363.0ms	5635×	body	80	valid
302.0ms	877×	body	640	valid
256.0ms	385×	body	1280	valid
144.0ms	683×	body	320	valid
59.0ms	454×	body	160	valid

Details

sample681.0ms

simplify20.0ms

prune4.0ms

localize11.0ms

rewrite23.0ms

series47.0ms

simplify45.0ms

prune345.0ms

localize18.0ms

rewrite49.0ms

series58.0ms

simplify103.0ms

prune401.0ms

localize24.0ms

rewrite13.0ms

series95.0ms

simplify71.0ms

prune164.0ms

localize28.0ms

rewrite9.0ms

series136.0ms

simplify59.0ms

prune171.0ms

regimes319.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.0s

Profiling