Details

sample1.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 23.497826%

Guaranteed chance to sample good point: 65.357619%

Results

17.0ms	295×	body	80	valid
9.0ms	194×	body	80	nan

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	8
1	85	8
2	273	8
3	800	8
4	2123	8
5	5001	8

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

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.0b	(* (- a 0.5) b)
0.0b	(- (+ (+ x y) z) (* z (log t)))
0.3b	(* z (log t))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-log-exp`
18×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt` `log-prod`
10×	`sum-log`
9×	`pow1`
8×	`add-exp-log` `associate-l` `add-cbrt-cube`
7×	`associate-r`
6×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `diff-log` `associate-*l/` `flip--` `associate--r+`
4×	`frac-add`
3×	`associate-+l+`
2×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `flip3-+` `log-pow` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 90

Calls

4 calls:

12.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
6.0ms	(* (- a 0.5) b)
8.0ms	(- (+ (+ x y) z) (* z (log t)))
4.0ms	(* z (log t))

series68.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
4.0ms	(* (- a 0.5) b)
12.0ms	(- (+ (+ x y) z) (* z (log t)))
8.0ms	(* z (log t))

simplify71.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	557	780
1	2647	719
2	5001	707

prune158.0ms

Filtered

72 candidates to 102 candidates (-41.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	95	7	102
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	95	8	103

Merged error: 0.0b

Counts

103 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(* z (log (cbrt t)))
0.3b	(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite21.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	(* z (log (cbrt t)))
10.0ms	(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series92.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* z (log (cbrt t)))
23.0ms	(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
25.0ms	(cbrt t)
23.0ms	(cbrt t)

simplify49.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	358	765
1	1328	673
2	5002	593

prune158.0ms

Filtered

85 candidates to 114 candidates (-34.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	2	4	6
Picked	0	1	1
Done	1	0	1
Total	115	7	122

Merged error: 0b

Counts

122 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(* z (log (cbrt (sqrt t))))
0.6b	(cbrt t)
0.6b	(cbrt (sqrt t))
0.6b	(cbrt (sqrt t))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod`
19×	`add-sqr-sqrt`
18×	`log-prod`
17×	`add-cube-cbrt` `*-un-lft-identity`
12×	`sqrt-prod`
9×	`distribute-rgt-in` `distribute-lft-in`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1/3` `add-log-exp`
3×	`associate-l`
2×	`log-pow`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

6.0ms	(* z (log (cbrt (sqrt t))))
1.0ms	(cbrt t)
2.0ms	(cbrt (sqrt t))
2.0ms	(cbrt (sqrt t))

series76.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* z (log (cbrt (sqrt t))))
23.0ms	(cbrt t)
17.0ms	(cbrt (sqrt t))
18.0ms	(cbrt (sqrt t))

simplify134.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 3 (127.0ms)

Iter	Nodes	Cost
0	283	553
1	981	504
2	4659	464
3	5001	445

prune125.0ms

Filtered

57 candidates to 89 candidates (-56.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	89	7	96

Merged error: 0b

Counts

96 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (+ x y) z) (* z (* 3 (log (cbrt t)))))
0.3b	(* z (* 3 (log (cbrt t))))
0.3b	(* 3 (log (cbrt t)))
0.6b	(cbrt t)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

60×	`log-prod`
54×	`distribute-rgt-in` `distribute-lft-in`
33×	`cbrt-prod`
30×	`add-sqr-sqrt`
28×	`add-cube-cbrt` `*-un-lft-identity`
24×	`associate--r+`
13×	`add-log-exp`
12×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
6×	`associate-r` `associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`diff-log` `sum-log`
2×	`pow1/3` `log-pow` `*-commutative`
1×	`sub-neg` `flip3--` `associate--l+` `flip--` `unswap-sqr`

Counts

4 → 124

Calls

4 calls:

11.0ms	(- (+ (+ x y) z) (* z (* 3 (log (cbrt t)))))
6.0ms	(* z (* 3 (log (cbrt t))))
5.0ms	(* 3 (log (cbrt t)))
1.0ms	(cbrt t)

series114.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(- (+ (+ x y) z) (* z (* 3 (log (cbrt t)))))
22.0ms	(* z (* 3 (log (cbrt t))))
44.0ms	(* 3 (log (cbrt t)))
22.0ms	(cbrt t)

simplify60.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	526	1009
1	2022	924
2	5001	894

prune140.0ms

Filtered

89 candidates to 136 candidates (-52.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	137	6	143

Merged error: 0b

Counts

143 → 6

regimes1.0s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

sample2.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 23.497826%

Guaranteed chance to sample good point: 65.357619%

Results

543.0ms	9244×	body	80	valid
249.0ms	4947×	body	80	nan
1.0ms	3×	body	320	valid

Details

sample1.0s

simplify51.0ms

prune7.0ms

localize13.0ms

rewrite34.0ms

series68.0ms

simplify71.0ms

prune158.0ms

localize18.0ms

rewrite21.0ms

series92.0ms

simplify49.0ms

prune158.0ms

localize24.0ms

rewrite12.0ms

series76.0ms

simplify134.0ms

prune125.0ms

localize16.0ms

rewrite29.0ms

series114.0ms

simplify60.0ms

prune140.0ms

regimes1.0s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling