Details

sample77.0ms

Algorithm

intervals

Results

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

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	5
1	20	5
2	22	5
3	22	5

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

localize15.0ms

Local error

Found 2 expressions with local error:

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

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

6.0ms	(+ x (sin y))
7.0ms	(* z (cos y))

series92.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify105.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	125	129
1	358	114
2	805	114
3	1557	114
4	4463	114
5	5001	114

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

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (cos y)) (cbrt (cos y)))
0.4b	(cbrt (cos y))
0.4b	(cbrt (cos y))
0.4b	(cbrt (cos y))

rewrite12.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 (cos y)) (cbrt (cos y)))
1.0ms	(cbrt (cos y))
1.0ms	(cbrt (cos y))
1.0ms	(cbrt (cos y))

series462.0ms

Counts

4 → 12

Calls

4 calls:

164.0ms	(* (cbrt (cos y)) (cbrt (cos y)))
98.0ms	(cbrt (cos y))
105.0ms	(cbrt (cos y))
94.0ms	(cbrt (cos y))

simplify101.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (96.0ms)

Iter	Nodes	Cost
0	122	441
1	481	389
2	3180	357
3	5001	351

prune208.0ms

Filtered

85 candidates to 60 candidates (70.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	82	8	90

Merged error: 0.0b

Counts

90 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(* z (pow (pow (cos y) 2) 1/3))
0.2b	(* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
0.3b	(pow (cos y) 2)
0.4b	(cbrt (cos y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

8.0ms	(* z (pow (pow (cos y) 2) 1/3))
12.0ms	(* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
2.0ms	(pow (cos y) 2)
1.0ms	(cbrt (cos y))

series273.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(* z (pow (pow (cos y) 2) 1/3))
37.0ms	(* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
25.0ms	(pow (cos y) 2)
114.0ms	(cbrt (cos y))

simplify45.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	320	572
1	1417	499
2	5002	468

prune229.0ms

Filtered

102 candidates to 61 candidates (59.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	103	7	110

Merged error: 0b

Counts

110 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (* (cbrt (cos y)) (cbrt (cos y))))
0.4b	(cbrt (cos y))
0.4b	(cbrt (cos y))
0.4b	(cbrt (cos y))

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

4.0ms	(cbrt (* (cbrt (cos y)) (cbrt (cos y))))
2.0ms	(cbrt (cos y))
1.0ms	(cbrt (cos y))
1.0ms	(cbrt (cos y))

series409.0ms

Counts

4 → 12

Calls

4 calls:

119.0ms	(cbrt (* (cbrt (cos y)) (cbrt (cos y))))
97.0ms	(cbrt (cos y))
95.0ms	(cbrt (cos y))
97.0ms	(cbrt (cos y))

simplify148.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 4 (144.0ms)

Iter	Nodes	Cost
0	76	262
1	205	234
2	660	223
3	3312	223
4	5002	220

prune238.0ms

Filtered

54 candidates to 44 candidates (81.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	53	1	54
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	55	6	61

Merged error: 0b

Counts

61 → 6

regimes124.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

sample1.3s

Algorithm

intervals

Results

435.0ms	998×	body	1280	valid
308.0ms	5592×	body	80	valid
214.0ms	836×	body	640	valid
72.0ms	385×	body	320	valid
28.0ms	189×	body	160	valid

Details

sample77.0ms

simplify9.0ms

prune3.0ms

localize15.0ms

rewrite14.0ms

series92.0ms

simplify105.0ms

prune72.0ms

localize13.0ms

rewrite12.0ms

series462.0ms

simplify101.0ms

prune208.0ms

localize15.0ms

rewrite26.0ms

series273.0ms

simplify45.0ms

prune229.0ms

localize24.0ms

rewrite9.0ms

series409.0ms

simplify148.0ms

prune238.0ms

regimes124.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling