Details

sample42.0ms

Algorithm

intervals

Results

15.0ms	35×	body	1280	valid
10.0ms	186×	body	80	valid
6.0ms	22×	body	640	valid
1.0ms	7×	body	320	valid
1.0ms	6×	body	160	valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	5
1	20	5
2	22	5
3	22	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

localize13.0ms

Local error

Found 1 expressions with local error:

0.1b	(* z (cos y))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 18

Calls

1 calls:

4.0ms

(* z (cos y))

series36.0ms

Counts

1 → 3

Calls

1 calls:

36.0ms

(* z (cos y))

simplify59.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	60	72
1	219	62
2	516	62
3	796	62
4	1892	62
5	5002	62

prune46.0ms

Filtered

21 candidates to 14 candidates (66.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	18	3	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	4	22

Merged error: 0.0b

Counts

22 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite14.0ms

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:

5.0ms	(* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
2.0ms	(cbrt (* z (cos y)))
2.0ms	(cbrt (* z (cos y)))
3.0ms	(cbrt (* z (cos y)))

series533.0ms

Counts

4 → 12

Calls

4 calls:

155.0ms	(* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
125.0ms	(cbrt (* z (cos y)))
122.0ms	(cbrt (* z (cos y)))
131.0ms	(cbrt (* z (cos y)))

simplify121.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (116.0ms)

Iter	Nodes	Cost
0	175	423
1	691	372
2	3601	342
3	5002	317

prune191.0ms

Filtered

70 candidates to 52 candidates (74.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	69	5	74

Merged error: 0.0b

Counts

74 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (* z (cos y)))
0.6b	(cbrt (cbrt (* z (cos y))))
0.6b	(cbrt (cbrt (* z (cos y))))
0.6b	(cbrt (cbrt (* z (cos y))))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

16×	`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 → 45

Calls

4 calls:

2.0ms	(cbrt (* z (cos y)))
2.0ms	(cbrt (cbrt (* z (cos y))))
2.0ms	(cbrt (cbrt (* z (cos y))))
2.0ms	(cbrt (cbrt (* z (cos y))))

series593.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(cbrt (* z (cos y)))
149.0ms	(cbrt (cbrt (* z (cos y))))
156.0ms	(cbrt (cbrt (* z (cos y))))
160.0ms	(cbrt (cbrt (* z (cos y))))

simplify43.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 3 (38.0ms)

Iter	Nodes	Cost
0	112	389
1	294	355
2	1196	343
3	5002	330

prune210.0ms

Filtered

57 candidates to 52 candidates (91.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	57	5	62

Merged error: 0.0b

Counts

62 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(* z (sqrt (cos y)))
0.1b	(sqrt (cos y))
0.1b	(sqrt (cos y))
0.1b	(* (* z (sqrt (cos y))) (sqrt (cos y)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`pow1` `sqrt-prod`
12×	`associate-r`
11×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

5.0ms	(* z (sqrt (cos y)))
1.0ms	(sqrt (cos y))
2.0ms	(sqrt (cos y))
7.0ms	(* (* z (sqrt (cos y))) (sqrt (cos y)))

series121.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* z (sqrt (cos y)))
14.0ms	(sqrt (cos y))
14.0ms	(sqrt (cos y))
40.0ms	(* (* z (sqrt (cos y))) (sqrt (cos y)))

simplify80.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	157	356
1	711	312
2	2827	306
3	5001	306

prune145.0ms

Filtered

81 candidates to 50 candidates (61.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	81	5	86

Merged error: 0.0b

Counts

86 → 5

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

445.0ms	1014×	body	1280	valid
324.0ms	5628×	body	80	valid
212.0ms	765×	body	640	valid
73.0ms	398×	body	320	valid
26.0ms	195×	body	160	valid

Details

sample42.0ms

simplify7.0ms

prune2.0ms

localize13.0ms

rewrite5.0ms

series36.0ms

simplify59.0ms

prune46.0ms

localize13.0ms

rewrite14.0ms

series533.0ms

simplify121.0ms

prune191.0ms

localize18.0ms

rewrite9.0ms

series593.0ms

simplify43.0ms

prune210.0ms

localize11.0ms

rewrite16.0ms

series121.0ms

simplify80.0ms

prune145.0ms

regimes103.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling