Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	33×	body	1280	valid
0.0hr	169×	body	80	valid
0.0hr	28×	body	640	valid
0.0hr	16×	body	320	valid
0.0hr	10×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

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

prune0.0hr

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

localize0.0hr

Local error

Found 2 expressions with local error:

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

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 32

Calls

2 calls:

0.0hr	(- (+ x (cos y)) (* z (sin y)))
0.0hr	(* z (sin y))

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(- (+ x (cos y)) (* z (sin y)))
0.0hr	(* z (sin y))

simplify0.0hr

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	156	201
1	579	185
2	2660	185
3	5001	185

prune0.0hr

Filtered

38 candidates to 26 candidates (31.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	33	5	38
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	6	39

Merged error: 0.0b

Counts

39 → 6

localize0.0hr

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
6.1b	(cbrt (* z (sin y)))
6.1b	(cbrt (* z (sin y)))
6.1b	(cbrt (* z (sin y)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 58

Calls

4 calls:

0.0hr	(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
0.0hr	(cbrt (* z (sin y)))
0.0hr	(cbrt (* z (sin y)))
0.0hr	(cbrt (* z (sin y)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
0.0hr	(cbrt (* z (sin y)))
0.0hr	(cbrt (* z (sin y)))
0.0hr	(cbrt (* z (sin y)))

simplify0.0hr

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	197	476
1	659	425
2	3240	368
3	5001	346

prune0.0hr

Filtered

70 candidates to 53 candidates (24.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	69	7	76

Merged error: 0.0b

Counts

76 → 7

localize0.0hr

Local error

Found 4 expressions with local error:

0.7b	(cbrt (sin y))
0.7b	(cbrt z)
6.1b	(cbrt (* z (sin y)))
6.1b	(cbrt (* z (sin y)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

0.0hr	(cbrt (sin y))
0.0hr	(cbrt z)
0.0hr	(cbrt (* z (sin y)))
0.0hr	(cbrt (* z (sin y)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt (sin y))
0.0hr	(cbrt z)
0.0hr	(cbrt (* z (sin y)))
0.0hr	(cbrt (* z (sin y)))

simplify0.0hr

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	164	280
1	394	257
2	1344	218
3	5001	194

prune0.0hr

Filtered

52 candidates to 42 candidates (19.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	52	7	59

Merged error: 0.0b

Counts

59 → 7

localize0.0hr

Local error

Found 4 expressions with local error:

0.7b	(cbrt (sin y))
0.7b	(cbrt z)
6.1b	(cbrt (* z (sin y)))
6.1b	(cbrt (* z (sin y)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

0.0hr	(cbrt (sin y))
0.0hr	(cbrt z)
0.0hr	(cbrt (* z (sin y)))
0.0hr	(cbrt (* z (sin y)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt (sin y))
0.0hr	(cbrt z)
0.0hr	(cbrt (* z (sin y)))
0.0hr	(cbrt (* z (sin y)))

simplify0.0hr

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	164	280
1	394	257
2	1344	218
3	5001	194

prune0.0hr

Filtered

52 candidates to 42 candidates (19.2%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	52	7	59

Merged error: 0.0b

Counts

59 → 7

regimes0.0hr

Accuracy

0% (0.0b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	10	5
1	10	5

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	1010×	body	1280	valid
0.0hr	5563×	body	80	valid
0.0hr	831×	body	640	valid
0.0hr	399×	body	320	valid
0.0hr	196×	body	160	valid
0.0hr	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

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

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