Details

sample35.0ms

Algorithm

intervals

Results

9.0ms	257×	body	80	valid
5.0ms	207×	body	80	nan

simplify19.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	4
1	25	4
2	41	4
3	52	4
4	85	4
5	106	4
6	141	4
7	215	4
8	236	4
9	236	4

prune3.0ms

Filtered

1 candidates to 0 candidates (100.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 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x (log y)) z)
0.0b	(- (- (* x (log y)) z) y)
0.3b	(* x (log y))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 67

Calls

3 calls:

4.0ms	(- (* x (log y)) z)
7.0ms	(- (- (* x (log y)) z) y)
4.0ms	(* x (log y))

series27.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(- (* x (log y)) z)
9.0ms	(- (- (* x (log y)) z) y)
8.0ms	(* x (log y))

simplify61.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	278	385
1	810	356
2	2394	328
3	5001	328

prune77.0ms

Filtered

76 candidates to 52 candidates (31.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	5	77

Merged error: 0.0b

Counts

77 → 5

localize14.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.6b	(cbrt y)
0.6b	(cbrt y)

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	(* x (log (cbrt y)))
9.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series87.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* x (log (cbrt y)))
24.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
21.0ms	(cbrt y)
23.0ms	(cbrt y)

simplify49.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (41.0ms)

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

prune122.0ms

Filtered

114 candidates to 87 candidates (23.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	113	6	119

Merged error: 0.0b

Counts

119 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 127

Calls

4 calls:

11.0ms	(- (- (* x (* 3 (log (cbrt y)))) z) y)
8.0ms	(* x (* 3 (log (cbrt y))))
5.0ms	(* 3 (log (cbrt y)))
1.0ms	(cbrt y)

series100.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(- (- (* x (* 3 (log (cbrt y)))) z) y)
22.0ms	(* x (* 3 (log (cbrt y))))
37.0ms	(* 3 (log (cbrt y)))
21.0ms	(cbrt y)

simplify47.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	455	966
1	1355	880
2	5001	842

prune134.0ms

Filtered

139 candidates to 90 candidates (35.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	136	3	139
Fresh	3	0	3
Picked	1	0	1
Done	1	1	2
Total	141	4	145

Merged error: 0b

Counts

145 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

30×	`log-prod`
26×	`associate--l+`
18×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`distribute-rgt-in` `distribute-lft-in`
11×	`pow1`
10×	`add-exp-log`
9×	`add-cbrt-cube` `add-log-exp`
5×	`associate-r`
4×	`log-pow`
3×	`pow1/3` `diff-log` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`sub-neg`
1×	`associate--l-` `flip3--` `rem-log-exp` `associate-l` `*-commutative` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 89

Calls

4 calls:

2.0ms	(log (cbrt y))
9.0ms	(- (- (* (* x 3) (log (cbrt y))) z) y)
6.0ms	(* (* x 3) (log (cbrt y)))
1.0ms	(cbrt y)

series100.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(log (cbrt y))
22.0ms	(- (- (* (* x 3) (log (cbrt y))) z) y)
20.0ms	(* (* x 3) (log (cbrt y)))
21.0ms	(cbrt y)

simplify42.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	353	655
1	1185	591
2	5001	557

prune91.0ms

Filtered

101 candidates to 71 candidates (29.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	101	4	105

Merged error: 0b

Counts

105 → 4

regimes200.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	4
1	8	4

end0.0ms

sample932.0ms

Algorithm

intervals

Results

294.0ms	8033×	body	80	valid
183.0ms	6668×	body	80	nan
1.0ms	2×	body	1280	valid
0.0ms	1×	body	160	valid

Details

sample35.0ms

simplify19.0ms

prune3.0ms

localize12.0ms

rewrite17.0ms

series27.0ms

simplify61.0ms

prune77.0ms

localize14.0ms

rewrite21.0ms

series87.0ms

simplify49.0ms

prune122.0ms

localize10.0ms

rewrite30.0ms

series100.0ms

simplify47.0ms

prune134.0ms

localize9.0ms

rewrite21.0ms

series100.0ms

simplify42.0ms

prune91.0ms

regimes200.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample932.0ms

Profiling