Details

sample51.0ms

Algorithm

intervals

Results

14.0ms	23×	body	1280	valid
13.0ms	184×	body	80	valid
8.0ms	27×	body	640	valid
3.0ms	14×	body	320	valid
1.0ms	8×	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.0b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

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:

6.0ms	(- (+ x (cos y)) (* z (sin y)))
4.0ms	(* z (sin y))

series87.0ms

Counts

2 → 6

Calls

2 calls:

49.0ms	(- (+ x (cos y)) (* z (sin y)))
38.0ms	(* z (sin y))

simplify71.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 1 (5.0ms)

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

prune78.0ms

Filtered

38 candidates to 26 candidates (68.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	34	4	38
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	5	39

Merged error: 0.0b

Counts

39 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (sin y)) (cbrt (sin y)))
0.6b	(cbrt (sin y))
0.6b	(cbrt (sin y))
0.6b	(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)))
1.0ms	(cbrt (sin y))
1.0ms	(cbrt (sin y))
1.0ms	(cbrt (sin y))

series401.0ms

Counts

4 → 12

Calls

4 calls:

110.0ms	(* (cbrt (sin y)) (cbrt (sin y)))
95.0ms	(cbrt (sin y))
96.0ms	(cbrt (sin y))
99.0ms	(cbrt (sin y))

simplify92.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (86.0ms)

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

prune215.0ms

Filtered

85 candidates to 60 candidates (70.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	85	5	90

Merged error: 0.0b

Counts

90 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (sin y))
0.6b	(cbrt (sin y))
0.6b	(cbrt (sin y))
0.6b	(cbrt (* (cbrt (sin y)) (cbrt (sin y))))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 42

Calls

4 calls:

1.0ms	(cbrt (sin y))
1.0ms	(cbrt (sin y))
1.0ms	(cbrt (sin y))
4.0ms	(cbrt (* (cbrt (sin y)) (cbrt (sin y))))

series400.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(cbrt (sin y))
95.0ms	(cbrt (sin y))
100.0ms	(cbrt (sin y))
110.0ms	(cbrt (* (cbrt (sin y)) (cbrt (sin y))))

simplify108.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 4 (103.0ms)

Iter	Nodes	Cost
0	111	274
1	241	246
2	762	235
3	2830	235
4	5002	232

prune177.0ms

Filtered

54 candidates to 44 candidates (81.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	54	5	59

Merged error: 0.0b

Counts

59 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (sin y) 2)
0.3b	(* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))
0.6b	(cbrt (sin y))
17.9b	(pow (pow (sin y) 2) 1/3)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log`
14×	`unpow-prod-down`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
11×	`prod-exp`
9×	`pow-exp`
8×	`add-cbrt-cube`
7×	`pow1`
6×	`cbrt-prod` `pow-unpow` `associate-r`
5×	`pow-to-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`sqr-pow`
2×	`pow-pow` `unpow1/3` `unpow2`
1×	`pow1/3` `associate-l` `pow-prod-down` `*-commutative`

Counts

4 → 79

Calls

4 calls:

2.0ms	(pow (sin y) 2)
9.0ms	(* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))
1.0ms	(cbrt (sin y))
4.0ms	(pow (pow (sin y) 2) 1/3)

series320.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(pow (sin y) 2)
57.0ms	(* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))
127.0ms	(cbrt (sin y))
117.0ms	(pow (pow (sin y) 2) 1/3)

simplify51.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	363	483
1	1456	412
2	5002	395

prune204.0ms

Filtered

91 candidates to 54 candidates (59.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	91	5	96

Merged error: 0.0b

Counts

96 → 5

regimes109.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

423.0ms	998×	body	1280	valid
303.0ms	5618×	body	80	valid
212.0ms	778×	body	640	valid
72.0ms	409×	body	320	valid
24.0ms	196×	body	160	valid
2.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

sample51.0ms

simplify22.0ms

prune2.0ms

localize9.0ms

rewrite11.0ms

series87.0ms

simplify71.0ms

prune78.0ms

localize13.0ms

rewrite13.0ms

series401.0ms

simplify92.0ms

prune215.0ms

localize17.0ms

rewrite10.0ms

series400.0ms

simplify108.0ms

prune177.0ms

localize18.0ms

rewrite19.0ms

series320.0ms

simplify51.0ms

prune204.0ms

regimes109.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