Details

sample34.0ms

Algorithm

intervals

Results

8.0ms	30×	body	1280	valid
6.0ms	164×	body	80	valid
6.0ms	34×	body	640	valid
2.0ms	20×	body	320	valid
1.0ms	8×	body	160	valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	3
1	12	3
2	16	3
3	17	3
4	17	3

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

localize5.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (/ (sin y) y))
0.1b	(/ (sin y) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 59

Calls

2 calls:

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

series19.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(* x (/ (sin y) y))
9.0ms	(/ (sin y) y)

simplify31.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	213	320
1	988	289
2	5001	289

prune172.0ms

Filtered

65 candidates to 48 candidates (26.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	59	6	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	7	66

Merged error: 0b

Counts

66 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.6b	(cbrt (sin y))
0.6b	(cbrt (sin y))
0.6b	(cbrt (sin y))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 44

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt (sin y))
1.0ms	(cbrt (sin y))
1.0ms	(cbrt (sin y))

series77.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
17.0ms	(cbrt (sin y))
18.0ms	(cbrt (sin y))
17.0ms	(cbrt (sin y))

simplify39.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 3 (35.0ms)

Iter	Nodes	Cost
0	108	276
1	256	257
2	874	229
3	5001	192

prune202.0ms

Filtered

56 candidates to 44 candidates (21.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	56	7	63

Merged error: 0b

Counts

63 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.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:

5.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series89.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (cbrt y) (cbrt y))
21.0ms	(cbrt y)
23.0ms	(cbrt y)
21.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

prune503.0ms

Filtered

85 candidates to 56 candidates (34.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	85	7	92

Merged error: 0b

Counts

92 → 7

localize5.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (sin y))
8.7b	(/ (* x (sin y)) y)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 39

Calls

2 calls:

4.0ms	(* x (sin y))
4.0ms	(/ (* x (sin y)) y)

series16.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* x (sin y))
9.0ms	(/ (* x (sin y)) y)

simplify25.0ms

Algorithm

egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	154	189
1	799	158
2	5001	158

prune70.0ms

Filtered

45 candidates to 29 candidates (35.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	1	2	3
Picked	0	1	1
Done	1	2	3
Total	46	6	52

Merged error: 0b

Counts

52 → 6

regimes229.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	3

end0.0ms

sample961.0ms

Algorithm

intervals

Results

255.0ms	982×	body	1280	valid
196.0ms	5171×	body	80	valid
177.0ms	1027×	body	640	valid
73.0ms	541×	body	320	valid
24.0ms	279×	body	160	valid

Details

sample34.0ms

simplify6.0ms

prune3.0ms

localize5.0ms

rewrite11.0ms

series19.0ms

simplify31.0ms

prune172.0ms

localize13.0ms

rewrite6.0ms

series77.0ms

simplify39.0ms

prune202.0ms

localize10.0ms

rewrite10.0ms

series89.0ms

simplify71.0ms

prune503.0ms

localize5.0ms

rewrite9.0ms

series16.0ms

simplify25.0ms

prune70.0ms

regimes229.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample961.0ms

Profiling