Details

analyze782.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
25%	74.9%	0.1%	8
25%	74.9%	0.1%	9
25%	64%	11.1%	10
31.2%	54.6%	14.2%	11
39%	44.1%	16.9%	12
39%	41.5%	19.5%	13
42.9%	37%	20.1%	14

sample98.0ms

Algorithm

intervals

Results

20.0ms	39×	body	1280	invalid
15.0ms	32×	body	1280	valid
12.0ms	38×	body	640	valid
11.0ms	145×	body	80	valid
10.0ms	32×	body	640	invalid
6.0ms	27×	body	320	valid
4.0ms	19×	body	320	invalid
3.0ms	14×	body	160	valid
1.0ms	9×	body	160	invalid
1.0ms	14×	body	80	invalid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	105	13
1	105	13

prune11.0ms

Filtered

1 candidates to 1 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.3b

Counts

2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
0.3b	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.7b	(/ (cos th) (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
70×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
44×	`associate-l` `sqrt-prod`
32×	`add-exp-log` `add-cbrt-cube`
14×	`pow1`
12×	`prod-exp` `associate-/r*` `cbrt-unprod`
6×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*` `unswap-sqr`
4×	`div-inv` `add-log-exp`
2×	`frac-2neg` `associate-r` `associate-l/` `clear-num` `-commutative`

Counts

4 → 168

Calls

4 calls:

11.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
9.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
4.0ms	(/ (cos th) (sqrt 2.0))
4.0ms	(/ (cos th) (sqrt 2.0))

series42.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
16.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
5.0ms	(/ (cos th) (sqrt 2.0))
5.0ms	(/ (cos th) (sqrt 2.0))

simplify53.0ms

Algorithm

egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5045	1808

prune325.0ms

Filtered

118 candidates to 180 candidates (-52.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	172	8	180
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	173	9	182

Merged error: 0b

Counts

182 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.3b	(* (/ (cos th) (sqrt 2.0)) a1)
0.7b	(/ (cos th) (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
74×	`add-sqr-sqrt`
61×	`add-cube-cbrt` `*-un-lft-identity`
44×	`associate-l` `sqrt-prod`
25×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r*`
11×	`pow1`
8×	`prod-exp` `cbrt-unprod`
6×	`associate-/l*` `unswap-sqr`
5×	`cbrt-undiv` `div-exp`
4×	`associate-r` `pow-prod-down` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-l/` `clear-num` `-commutative`

Counts

4 → 165

Calls

4 calls:

9.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
8.0ms	(* (/ (cos th) (sqrt 2.0)) a1)
4.0ms	(/ (cos th) (sqrt 2.0))
4.0ms	(/ (cos th) (sqrt 2.0))

series37.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
11.0ms	(* (/ (cos th) (sqrt 2.0)) a1)
5.0ms	(/ (cos th) (sqrt 2.0))
5.0ms	(/ (cos th) (sqrt 2.0))

simplify66.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5075	1702

prune295.0ms

Filtered

119 candidates to 177 candidates (-48.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	177	0	177
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	177	9	186

Merged error: 0b

Counts

186 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
0.4b	(* (/ (cos th) (sqrt 2.0)) a2)
0.7b	(/ (cos th) (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
74×	`add-sqr-sqrt`
61×	`add-cube-cbrt` `*-un-lft-identity`
44×	`associate-l` `sqrt-prod`
25×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r*`
11×	`pow1`
8×	`prod-exp` `cbrt-unprod`
6×	`associate-/l*` `unswap-sqr`
5×	`cbrt-undiv` `div-exp`
4×	`associate-r` `pow-prod-down` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-l/` `clear-num` `-commutative`

Counts

4 → 165

Calls

4 calls:

9.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
8.0ms	(* (/ (cos th) (sqrt 2.0)) a2)
4.0ms	(/ (cos th) (sqrt 2.0))
4.0ms	(/ (cos th) (sqrt 2.0))

series40.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
11.0ms	(* (/ (cos th) (sqrt 2.0)) a2)
5.0ms	(/ (cos th) (sqrt 2.0))
5.0ms	(/ (cos th) (sqrt 2.0))

simplify61.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5145	1702

prune291.0ms

Filtered

119 candidates to 177 candidates (-48.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	176	1	177
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	177	9	186

Merged error: 0b

Counts

186 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cos th) (/ a2 (sqrt 2.0)))
0.3b	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
0.4b	(/ a2 (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
74×	`add-sqr-sqrt`
61×	`add-cube-cbrt` `*-un-lft-identity`
44×	`sqrt-prod`
25×	`add-exp-log` `associate-l` `add-cbrt-cube`
23×	`associate-r`
12×	`associate-/r*`
11×	`pow1`
8×	`prod-exp` `cbrt-unprod`
6×	`associate-/l*` `unswap-sqr`
5×	`cbrt-undiv` `div-exp`
4×	`pow-prod-down` `div-inv` `add-log-exp`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`associate-r/` `associate-l/`

Counts

4 → 165

Calls

4 calls:

9.0ms	(* (cos th) (/ a2 (sqrt 2.0)))
9.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
4.0ms	(/ a2 (sqrt 2.0))
4.0ms	(/ (cos th) (sqrt 2.0))

series39.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (cos th) (/ a2 (sqrt 2.0)))
14.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
5.0ms	(/ a2 (sqrt 2.0))
8.0ms	(/ (cos th) (sqrt 2.0))

simplify65.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4963	1625
1	4963	1625

prune245.0ms

Filtered

114 candidates to 177 candidates (-55.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	176	1	177
Fresh	1	5	6
Picked	1	0	1
Done	0	2	2
Total	178	8	186

Merged error: 0b

Counts

186 → 8

regimes546.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	19
1	16	19

end0.0ms

sample2.8s

Algorithm

intervals

Results

579.0ms	1305×	body	1280	valid
497.0ms	1105×	body	1280	invalid
364.0ms	1164×	body	640	valid
352.0ms	4638×	body	80	valid
302.0ms	964×	body	640	invalid
134.0ms	593×	body	320	valid
116.0ms	484×	body	320	invalid
46.0ms	300×	body	160	valid
45.0ms	510×	body	80	invalid
40.0ms	236×	body	160	invalid

Details

analyze782.0ms

sample98.0ms

simplify4.0ms

prune11.0ms

localize12.0ms

rewrite36.0ms

series42.0ms

simplify53.0ms

prune325.0ms

localize14.0ms

rewrite32.0ms

series37.0ms

simplify66.0ms

prune295.0ms

localize12.0ms

rewrite32.0ms

series40.0ms

simplify61.0ms

prune291.0ms

localize13.0ms

rewrite32.0ms

series39.0ms

simplify65.0ms

prune245.0ms

regimes546.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.8s

Profiling