Details

sample45.0ms

Algorithm

intervals

Results

15.0ms	36×	body	1280	valid
9.0ms	174×	body	80	valid
9.0ms	33×	body	640	valid
1.0ms	8×	body	320	valid
1.0ms	5×	body	160	valid

simplify22.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	5
1	28	5
2	37	5
3	43	5
4	52	5
5	66	5
6	101	5
7	166	5
8	212	5
9	236	5
10	250	5
11	270	5
12	270	5

prune2.0ms

Filtered

1 candidates to 0 candidates (0.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 2 expressions with local error:

0.0b	(+ x (cos y))
0.1b	(* z (sin y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
3×	`associate-r` `associate-l`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

2 → 30

Calls

2 calls:

3.0ms	(+ x (cos y))
4.0ms	(* z (sin y))

series63.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(+ x (cos y))
38.0ms	(* z (sin y))

simplify126.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	140	133
1	414	118
2	1285	118
3	4868	118
4	5002	118

prune78.0ms

Filtered

36 candidates to 25 candidates (69.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	32	4	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	5	37

Merged error: 0.0b

Counts

37 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt z) (cbrt z))
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite11.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 z) (cbrt z))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series762.0ms

Counts

4 → 12

Calls

4 calls:

213.0ms	(* (cbrt z) (cbrt z))
186.0ms	(cbrt z)
187.0ms	(cbrt z)
176.0ms	(cbrt z)

simplify91.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (86.0ms)

Iter	Nodes	Cost
0	115	288
1	472	261
2	2959	238
3	5003	235

prune213.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	84	6	90

Merged error: 0.0b

Counts

90 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (sin y)) (cbrt (sin y)))
0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))
0.7b	(cbrt (sin 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:

6.0ms	(* (cbrt (sin y)) (cbrt (sin y)))
2.0ms	(cbrt (sin y))
2.0ms	(cbrt (sin y))
2.0ms	(cbrt (sin y))

series440.0ms

Counts

4 → 12

Calls

4 calls:

120.0ms	(* (cbrt (sin y)) (cbrt (sin y)))
102.0ms	(cbrt (sin y))
112.0ms	(cbrt (sin y))
104.0ms	(cbrt (sin y))

simplify92.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (87.0ms)

Iter	Nodes	Cost
0	154	453
1	551	401
2	3082	369
3	5002	363

prune219.0ms

Filtered

85 candidates to 60 candidates (70.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	84	7	91

Merged error: 0.0b

Counts

91 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))

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

2.0ms	(cbrt (sin y))
2.0ms	(cbrt (sin y))
2.0ms	(cbrt (sin y))
2.0ms	(cbrt (sin y))

series425.0ms

Counts

4 → 12

Calls

4 calls:

107.0ms	(cbrt (sin y))
107.0ms	(cbrt (sin y))
107.0ms	(cbrt (sin y))
104.0ms	(cbrt (sin y))

simplify149.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	59	244
1	124	224
2	321	216
3	984	216
4	4844	216
5	5002	216

prune169.0ms

Filtered

56 candidates to 44 candidates (78.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

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

Merged error: 0.0b

Counts

63 → 7

regimes130.0ms

Accuracy

0% (0.0b 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	10	5
1	10	5

end0.0ms

sample1.2s

Algorithm

intervals

Results

417.0ms	999×	body	1280	valid
301.0ms	5593×	body	80	valid
225.0ms	835×	body	640	valid
67.0ms	387×	body	320	valid
27.0ms	185×	body	160	valid
1.0ms	1×	body	2560	valid

Iter	Nodes	Cost
0	14	5
1	28	5
2	37	5
3	43	5
4	52	5
5	66	5
6	101	5
7	166	5
8	212	5
9	236	5
10	250	5
11	270	5
12	270	5

Iter	Nodes	Cost
0	14	5
1	28	5
2	37	5
3	43	5
4	52	5
5	66	5
6	101	5
7	166	5
8	212	5
9	236	5
10	250	5
11	270	5
12	270	5

Details

sample45.0ms

simplify22.0ms

prune2.0ms

localize12.0ms

rewrite8.0ms

series63.0ms

simplify126.0ms

prune78.0ms

localize12.0ms

rewrite11.0ms

series762.0ms

simplify91.0ms

prune213.0ms

localize13.0ms

rewrite13.0ms

series440.0ms

simplify92.0ms

prune219.0ms

localize17.0ms

rewrite8.0ms

series425.0ms

simplify149.0ms

prune169.0ms

regimes130.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling

Iter	Nodes	Cost
0	14	5
1	28	5
2	37	5
3	43	5
4	52	5
5	66	5
6	101	5
7	166	5
8	212	5
9	236	5
10	250	5
11	270	5
12	270	5